Miracle-dz/UniFAR-FTUs huggingface dataset:
Cross-Layer Management for Multiple Adaptive Streaming Clients in Wireless Home Networks

SUMMARY In this letter, we propose a solution for managing multiple adaptive streaming clients running on di ﬀ erent devices in a wireless home network. Our solution consists of two main aspects: a manager that determines bandwidth allocated for each client and a client-based throughput control mechanism that regulates the video tra ﬃ c throughput of each client. The experimental results using a real test-bed show that our solution is able to e ﬀ ectively improve the quality for concurrent streaming clients.
Clinical and epidemiologic profile and predictors of outcome of poisonous snake bites – an analysis of 1,500 cases from a tertiary care center in Malabar, North Kerala, India

Background Snake bites are a neglected public health problem in all tropical countries, and particularly in Malabar region of Kerala, India. Demographic characteristics and clinical parameters vary in this part of the world, and studies based on them are scarce. Increased incidence of capillary leak syndrome (CLS) in hemotoxic snake bites and emergence of cases of hump-nosed pit viper (HNPV, Hypnale hypnale) envenomation are some notable features seen here. Objectives The study was conducted to assess the epidemiological profile and clinical features to identify factors contributing to outcome in patients with venomous snakebites. Materials and methods An observational cross-sectional study was done among patients with snakebite envenomation, admitted to Government Medical College, Kozhikode, Kerala, from January 2012 to October 2016. Results There were 1,500 cases of toxic snake bites, of which 65% of these cases were males. Forty eight percent of them were aged between 21 and 40 years. Hemotoxic snake bites predominated, accounting for 912 cases. Viperine bite was the most commonly observed snakebite, and 70% of this was due to Russell’s viper and 25% due to HNPV. Among the neurotoxic bites, common krait bites predominated. Overall mortality was 8.8%. CLS was the major cause of death (80%). The mean dose of antivenom given for neuroparalytic snakebite was 10.25 vials, and 18.5 vials for hemotoxic bites. Albuminuria, neutrophilic leucocytosis, thrombocytopenia, acute kidney injury (AKI), and early onset of symptoms were associated with poor outcome. Conclusion This study emphasizes the importance of snakebite as a significant threat to the community in the tropics. CLS in hemotoxic snake bites is the leading cause of mortality and is often refractory to any treatment measures. This study also brings to light the graveness of complications caused by HNPV envenomation. Anti-snake venom with activity against HNPV venom needs to be manufactured. Lack of awareness, delayed presentation to the hospital, and treatment by nonmedical personnel also add to the risk of mortality.
Exploring Hygge as a Desirable Design Vision for the Sustainable Smart Home

In this paper, we present an exploratory study of hygge as a low-energy design vision for the smart home. Hygge is a Danish concept that embodies aesthetic experiences related to conviviality, often shaped by orchestrating atmospheres through low-level lighting. To explore this vision, we probe two Australian households that already live with smart home lighting technology. We report on household reflections of embedding hygge into everyday life. We conclude by outlining future directions for exploring desirable and sus¬tainable smart home visions.
Fourth-Party Evaluation of Third-Party Pro-social Help and Punishment: An ERP Study

Pro-social behaviors have been adequately studied by neuroscientists. However, few neural studies have focused on the social evaluation of pro-social behaviors, and none has compared the neural correlates of different pro-social decision evaluations. By fourth-party evaluation of third-party punishment/help dictator game paradigm, we explored the third-party pro-social behaviors and derived feedback-related negativity (FRN) from the electroencephalogram. Different from previous event-related potentials (ERP) studies, we simultaneously focused on two different third-party pro-social behaviors, which were called third-party help and third-party punishment. For the first time, we compared the different neural processes of fourth-party evaluation on third-party help and punishment. Behavioral results showed that fourth-party bystanders appreciated the help behavior of the third party even more than the punishment behavior. ERP results revealed that fourth-party bystanders’ FRN amplitudes were modulated by the third-party behaviors. Under the assignment condition (70:30) with help/punishment magnitude 45 and (90:10) with magnitude 80, the third-party help elicited a larger FRN than third-party punishment; whereas under the condition (90:10) with help/punishment magnitude 45, the difference between FRN amplitudes disappeared. These results indicated that fourth-party bystanders ultimately agreed more with helpful third parties; however, after they witnessed the norm violation, they expected the third parties to punish the norm violators immediately. This phenomenon appears only when the third-party actors can achieve justice between norm violators and victims.
Effects of Corneal Hydration on Brillouin Microscopy In Vivo

Purpose To investigate how corneal hydration affects the Brillouin frequency of corneal stroma. Methods From a simple analytical model considering the volume fraction of water in corneal stroma, we derived the dependence of Brillouin frequency on hydration and hydration-induced corneal thickness variation. The Brillouin frequencies of fresh ex vivo porcine corneas were measured as their hydration was varied in dextran solution and water. Healthy volunteers (8 eyes) were scanned in vivo repeatedly over the course of 9 hours, and the diurnal variations of Brillouin frequency and central corneal thickness (CCT) were measured. Results The measured dependence of Brillouin frequency on hydration, both ex vivo and in vivo, agreed well with the theoretical prediction. The Brillouin frequencies of human corneas scanned immediately after waking were on average ∼25 MHz lower than their daytime average values. For stabilized corneas, the typical variation of Brillouin frequency was ± 7.2 MHz. With respect to CCT increase or swelling, the Brillouin frequency decreased with a slope of −1.06 MHz/μm in vivo. Conclusions The ex vivo and in vivo data agree with our theoretical model and support that the effect of corneal hydration on Brillouin frequency comes predominantly from the dependence of the tissue compressibility on the water. Corneal hydration correlates negatively with the Brillouin frequency. During daytime activities, the influence of physiological hydration changes in human corneas is < ± 10 MHz. The sensitivity to hydration may potentially be useful in detecting abnormal hydration change in patients with endothelial disorders.
Psychometric Properties of the 20-Item Toronto Alexithymia Scale in the Chilean Population

Alexithymia can be defined as inability to identify and describe emotions in the self. Has shown to be related to several psychological and pathological processes that can result in unsatisfactory interpersonal relationships and decreased social adjustment. Advances in research of alexithymia require the development and validation of assessment instruments, and its application to different population. With this aim, we studied the psychometric properties of the Twenty-Item Toronto Alexithymia Scale (TAS-20) in Chilean population using various modeling procedures (e.g., CFA, ESEM) in different structures (i.e., Correlated, Unidimensional, Hierarchical or Wording factors). Among the 10 models tested, the four-dimensional structure offered the best fit but with item-loading problems in the last factor (Pragmatic Thinking). We suggest that the studied version of the scale needs improvement (theoretical and empirical) to ensure optimal indices of validation for Chilean population.
Bringing letters to life: handwriting with haptic-enabled tangible robots

In this paper, we present a robotic approach to improve the teaching of handwriting using the tangible, haptic-enabled and classroom-friendly Cellulo robots. Our efforts presented here are in line with the philosophy of the Cellulo platform: we aim to create a ready-to-use tool (i.e. a set of robot-assisted activities) to be used for teaching handwriting, one that is to coexist harmoniously with traditional tools and will contribute new added values to the learning process, complementing existing teaching practices. To maximize our potential contributions to this learning process, we focus on two promising aspects of handwriting: the visual perception and the visual-motor coordination. These two aspects enhance in particular two sides of the representation of letters in the mind of the learner: the shape of the letter (the grapheme) and the way it is drawn, namely the dynamics of the letter (the ductus). With these two aspects in mind, we do a detailed content analysis for the process of learning the representation of letters, which leads us to discriminate the specific skills involved in letter representation. We then compare our robotic method with traditional methods as well as with the combination of the two methods, in order to discover which of these skills can benefit from the use of Cellulo. As handwriting is taught from age 5, we conducted our experiments with 17 five-year-old children in a public school. Results show a clear potential of our robot-assisted learning activities, with a visible improvement in certain skills of handwriting, most notably in creating the ductus of the letters, discriminating a letter among others and in the average handwriting speed. Moreover, we show that the benefit of our learning activities to the handwriting process increases when it is used after traditional learning methods. These results lead to the initial insights into how such a tangible robotic learning technology may be used to create cost-effective collaborative scenarios for the learning of handwriting.
ATOMO: Communication-efficient Learning via Atomic Sparsification

Distributed model training suffers from communication overheads due to frequent gradient updates transmitted between compute nodes. To mitigate these overheads, several studies propose the use of sparsified stochastic gradients. We argue that these are facets of a general sparsification method that can operate on any possible atomic decomposition. Notable examples include element-wise, singular value, and Fourier decompositions. We present ATOMO, a general framework for atomic sparsification of stochastic gradients. Given a gradient, an atomic decomposition, and a sparsity budget, ATOMO gives a random unbiased sparsification of the atoms minimizing variance. We show that methods such as QSGD and TernGrad are special cases of ATOMO and show that sparsifiying gradients in their singular value decomposition (SVD), rather than the coordinate-wise one, can lead to significantly faster distributed training.
Acinetobacter baumannii: Epidemiological and Beta-Lactamase Data From Two Tertiary Academic Hospitals in Tshwane, South Africa

Acinetobacter baumannii is an opportunistic pathogen that is increasingly responsible for hospital-acquired infections. The increasing prevalence of carbapenem resistant A. baumannii has left clinicians with limited treatment options. Last line antimicrobials (i.e., polymyxins and glycylcyclines) are often used as treatment options. The aim of this study was to determine the prevalence of selected β-lactamase genes from A. baumannii isolates obtained from patients with hospital-acquired infections and to determine the genetic relationship and epidemiological profiles among clinical A. baumannii isolates collected from two tertiary academic hospitals in the Tshwane region, South Africa (SA). Multiplex-PCR (M-PCR) assays were performed to detect selected resistance genes. The collected isolates’ genetic relatedness was determined by using pulsed field gel electrophoresis (PFGE) and multilocus sequence typing (MLST). The acquired oxacillinase (OXA) genes, notably blaOXA-23-like were prevalent in the A. baumannii isolates. The M-PCR assays showed that the isolates collected from hospital A contained the OXA-23-like (96%; n = 69/72) genes and the isolates collected from hospital B contained the OXA-23-like (91%; n = 63/69) and OXA-58-like (4%; n = 3/69) genes. Colistin resistance was found in 1% of the isolates (n = 2/141) and tigecycline intermediate resistance was found in 6% of the isolates (n = 8/141). The A. baumannii isolates were genetically diverse. Molecular epidemiological data showed that specific sequence types (STs) (ST106, ST229, ST258 and ST208) were established in both hospitals, while ST848 was established in hospital A and ST502, ST339 and the novel ST1552 were established in hospital B. ST848 (established in hospital A) was predominately detected in ICU wards whereas ST208, ST339 and the novel ST1552 (established in hospital B) were detected in ICUs and the general wards. The origin of the A. baumannii isolates in the hospitals may be due to the dissemination and adaptation of a diverse group of successful clones. Poor infection control and prevention strategies and possibly the overuse of antimicrobials contributed to the establishment of these A. baumannii clones in the studied hospitals.
Speedoo: Prioritizing Performance Optimization Opportunities

Performance problems widely exist in modern software systems. Existing performance optimization techniques, including profiling-based and pattern-based techniques, usually fail to consider the architectural impacts among methods that easily slow down the overall system performance. This paper contributes a new approach, named Speedoo, to identify groups of methods that should be treated together and deserve high priorities for performance optimization. The uniqueness of Speedoo is to measure and rank the performance optimization opportunities of a method based on 1) the architectural impact and 2) the optimization potential. For each highly ranked method, we locate a respective Optimization Space based on 5 performance patterns generalized from empirical observations. The top ranked optimization spaces are suggested to developers as potential optimization opportunities. Our evaluation on three real-life projects has demonstrated that 18.52% to 42.86% of methods in the top ranked optimization spaces indeed undertook performance optimization in the projects. This outperforms one of the state-of-the-art profiling tools YourKit by 2 to 3 times. An important implication of this study is that developers should treat methods in an optimization space together as a group rather than as individuals in performance optimization. The proposed approach can provide guidelines and reduce developers' manual effort.
Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)

Equational reasoning is one of the key features of pure functional languages such as Haskell. To date, however, such reasoning always took place externally to Haskell, either manually on paper, or mechanised in a theorem prover. This article shows how equational reasoning can be performed directly and seamlessly within Haskell itself, and be checked using Liquid Haskell. In particular, language learners --- to whom external theorem provers are out of reach --- can benefit from having their proofs mechanically checked. Concretely, we show how the equational proofs and derivations from Graham's textbook can be recast as proofs in Haskell (spoiler: they look essentially the same).
Interweaving Visual and Audio-Haptic Augmented Reality for Urban Exploration

While ordinary touchscreen-based interfaces on urban explorer applications draw much of a user's attention onto the screen, visual and audio-haptic augmented reality interfaces have emerged as the two main streams for enabling direct focus on the surroundings. However, neither interface alone satisfies users in the highly dynamic urban environment. This research investigates how the two complementary augmentation can coexist on one system and how people adapt to the situation by selecting the more suitable interface. A prototype was deployed in a field experiment in which participants explored points of interest in an urban environment with both interfaces. The engagement with the surroundings was compared with a touchscreen-based application. Most participants spontaneously switched between the two interfaces, which manifests the value of the availability of both interfaces on one system. The results point at the situated advantages of either interface and reveal the users' preferences when both interfaces are available.
A critical revision of the fossil record, stratigraphy and diversity of the Neogene seal genus Monotherium (Carnivora, Phocidae)

Historically, Monotherium had been one of the few genera of extinct Phocidae (true seals) that served as a wastebin taxon. Consequently, it did neither aid in understanding phylogenetic relationships of extinct Phocidae, nor in understanding seal diversity in deep time. This urged the reassessment of the genus. Before our review, Monotherium included five different species: Monotherium aberratum, Monotherium affine, and Monotherium delognii from Belgium; Monotherium gaudini from Italy; and Monotherium? wymani from the east coast USA. In this work we redescribe the fossil record of the genus, retaining the type species M. delognii. Monotherium aberratum and M. affine are reassigned to the new phocine genus Frisiphoca. Monotherium gaudini is renamed and considered a stem-monachine (Noriphoca gaudini). The holotype of the monachine M. wymani requires further study pending the discovery of new fossil material that could be attributed to the same taxon. Reinvestigating the stratigraphic context reveals that N. gaudini most likely represents one of the two oldest named phocid seals, or even the oldest, dated to the late Oligocene–earliest Miocene. Our results allow questioning the widespread idea that Phocidae originated in the western Atlantic and better appreciate their palaeobiogeography during the late Oligocene–Miocene interval in the North Atlantic realm.
Facial Expression Synthesis by U-Net Conditional Generative Adversarial Networks

High-level manipulation of facial expressions in images such as expression synthesis is challenging because facial expression changes are highly non-linear, and vary depending on the facial appearance. Identity of the person should also be well preserved in the synthesized face. In this paper, we propose a novel U-Net Conditioned Generative Adversarial Network (UC-GAN) for facial expression generation. U-Net helps retain the property of the input face, including the identity information and facial details. We also propose an identity preserving loss, which further improves the performance of our model. Both qualitative and quantitative experiments are conducted on the Oulu-CASIA and KDEF datasets, and the results show that our method can generate faces with natural and realistic expressions while preserve the identity information. Comparison with the state-of-the-art approaches also demonstrates the competency of our method.
Utility-Energy Efficiency Oriented User Association With Power Control in Heterogeneous Networks

This letter investigates optimizing utility-energy efficiency, defined as the achieved network utility when consuming a unit of power, rather than a typical energy efficiency metric, in a heterogeneous network. To tackle the nonconvexity of the problem due to integer constraints and coupled variables, we devise an alternating optimization algorithm. It applies Lagrangian dual analysis with auxiliary variables, which successfully transforms each subproblem to a convex one with efficient solutions. The proposed algorithm is consequently guaranteed to converge to a local optimum with noticeable performance gain via simulation verifications.
Initial Unilateral Exposure to Deep Brain Stimulation in Treatment-Resistant Depression Patients Alters Spectral Power in the Subcallosal Cingulate

Background: High-frequency Deep Brain Stimulation (DBS) of the subcallosal cingulate (SCC) region is an emerging strategy for treatment-resistant depression (TRD). This study examined changes in SCC local field potentials (LFPs). The LFPs were recorded from the DBS leads following transient, unilateral stimulation at the neuroimaging-defined optimal electrode contact. The goal was identifying a putative electrophysiological measure of target engagement during implantation. Methods: Fourteen consecutive patients underwent bilateral SCC DBS lead implantation. LFP recordings were collected from all electrodes during randomized testing of stimulation on each DBS contact (eight total). Analyses evaluated changes in spectral power before and after 3 min of unilateral stimulation at the contacts that later facilitated antidepressant response, as a potential biomarker of optimal contact selection in each hemisphere. Results: Lateralized and asymmetric power spectral density changes were detected in the SCC with acute unilateral SCC stimulation at those contacts subsequently selected for chronic, therapeutic stimulation. Left stimulation induced broadband ipsilateral decreases in theta, alpha, beta and gamma bands. Right stimulation effects were restricted to ipsilateral beta and gamma decreases. These asymmetric effects contrasted with identical white matter stimulation maps used in each hemisphere. More variable ipsilateral decreases were seen with stimulation at the adjacent “suboptimal” contacts, but changes were not statistically different from the “optimal” contact in either hemisphere despite obvious differences in impacted white matter bundles. Change in theta power was, however, most robust and specific with left-sided optimal stimulation, which suggested a putative functional biomarker on the left with no such specificity inferred on the right. Conclusion: Hemisphere-specific oscillatory changes can be detected from the DBS lead with acute intraoperative testing at contacts that later engender antidepressant effects. Our approach defined potential target engagement signals for further investigation, particularly left-sided theta decreases following initial exposure to stimulation. More refined models combining tractography, bilateral SCC LFP, and cortical recordings may further improve the precision and specificity of these putative biomarkers. It may also optimize and standardize the lead implantation procedure and provide input signals for next generation closed-loop therapy and/or monitoring technologies for TRD.
Are Existing Knowledge Transfer Techniques Effective for Deep Learning with Edge Devices?

With the emergence of edge computing paradigm, many applications such as image recognition and augmented reality require to perform machine learning (ML) and artificial intelligence (AI) tasks on edge devices. Most AI and ML models are large and computational-heavy, whereas edge devices are usually equipped with limited computational and storage resources. Such models can be compressed and reduced for deployment on edge devices, but they may lose their capability and not perform well. Recent works used knowledge transfer techniques to transfer information from a large network (termed teacher) to a small one (termed student) in order to improve the performance of the latter. This approach seems to be promising for learning on edge devices, but a thorough investigation on its effectiveness is lacking. This paper provides an extensive study on the performance (in both accuracy and convergence speed) of knowledge transfer, considering different student architectures and different techniques for transferring knowledge from teacher to student. The results show that the performance of KT does vary by architectures and transfer techniques. A good performance improvement is obtained by transferring knowledge from both the intermediate layers and last layer of the teacher to a shallower student. But other architectures and transfer techniques do not fare so well and some of them even lead to negative performance impact.