Miracle-dz/UniFAR-FTUs huggingface dataset:
Short-Packet Downlink Transmission With Non-Orthogonal Multiple Access

This paper introduces downlink non-orthogonal multiple access (NOMA) into short-packet communications. NOMA has great potential to improve fairness and spectral efficiency with respect to orthogonal multiple access (OMA) for low-latency downlink transmission, thus making it attractive for the emerging Internet of Things. We consider a two-user downlink NOMA system with finite blocklength constraints, in which the transmission rates and power allocation are optimized. To this end, we investigate the trade-off among the transmission rate, decoding error probability, and the transmission latency measured in blocklength. Then, a 1-D search algorithm is proposed to resolve the challenges mainly due to the achievable rate affected by the finite blocklength and the unguaranteed successive interference cancellation. We also analyze the performance of OMA as a benchmark to fully demonstrate the benefit of NOMA. Our simulation results show that NOMA significantly outperforms OMA in terms of achieving a higher effective throughput subject to the same finite blocklength constraint, or incurring a lower latency to achieve the same effective throughput target. Interestingly, we further find that with the finite blocklength, the advantage of NOMA relative to OMA is more prominent when the effective throughput targets at the two users become more comparable.
Joint cache policy and transmit power for cache-enabled D2D networks

The cache-enabled device-to-device (D2D) communication is a burgeoning technique to offload cellular traffic. In this study, the authors conducted the joint cache policy and transmit power to maximise the content-related energy efficiency (CREE) for the cache-enabled D2D network. Specifically, the authors model the random distribution of mobile users by the Poisson point process and derive the closed-form CREE via considering the D2D establishment threshold and signal-to-interference ratio threshold at the same time. Then the authors aim to determine the optimal cache policy and transmit power for maximising the CREE in two practical cases, respectively. Since the optimisation problem in both cases are non-linear non-convex problems and share the same mathematical form, the authors focus on the first case and propose a two-step iterative algorithm to find a stationary solution due to its intractability. This iterative algorithm builds on two subproblems which are proved to have optimal solutions. Numerical simulations show that the joint optimisation can obtain more than two times the CREE compared with either of the single optimisation for cache policy or transmit power.
Translating Healthy Living Messages to Postpartum Women and Their Partners After Gestational Diabetes (GDM): Body Habitus, A1C, Lifestyle Habits, and Program Engagement Results From the Families Defeating Diabetes (FDD) Randomized Trial

Purpose: The Families Defeating Diabetes intervention evaluated a postpartum healthy living program for women with recent gestational diabetes mellitus (GDM). Design: Randomized controlled trial. Setting: Tertiary centers in London, Calgary, and Victoria, Canada. Participants: Women with GDM and partners; 46% of eligible maternal participants agreed to participate. Intervention: Interventional (INT) participants received a healthy living seminar at 3 months; access to a walking group/Website; biweekly e-mails. Control (CON) participants received a contemporary postpartum diabetes prevention handout. Measures: Maternal, partner, and offspring demographics at baseline, 3, and 12 months. Analysis: Percentages of women losing ≥7% of postpartum weight were compared by χ2 testing; body habitus comparisons by analysis of covariance (ANCOVA); maternal A1C comparisons by unpaired t tests; participant outcome associations by Pearson correlation coefficients. Results: Maternal participants were 170 (89 INT and 81 CON) with 63 partners (30 INT and 33 CON); 103 (73 maternal; 30 partners) were lost to follow-up; 57% of maternal participants completed 12 months; 33% INT women (n = 50) lost ≥7% weight versus 25% CON women (n = 47), P = . 43. Interventional participant results did not correlate with accession of study elements. Maternal completion was significantly associated with partner involvement, breastfeeding, higher income, and education. Paternal weights correlated significantly with maternal and offspring weights. Conclusion: Families Defeating Diabetes outcomes were not significantly different for INT maternal or paternal participants versus CON participants. Secondary outcomes of future value included statistically significant positive associations between paternal participation, socioeconomic indicators, and maternal study completion, significant correlations between maternal, paternal, and offspring weights as well as insights into study component engagement.
Monkey see, monkey do: effective generation of GUI tests with inferred macro events

Automated testing is an important part of validating the behavior of software with complex graphical user interfaces, such as web, mobile, and desktop applications. Despite recent advances in UI-level test generation, existing approaches often fail to create complex sequences of events that represent realistic user interactions. As a result, these approaches cannot reach particular parts of the application under test, which then remain untested. This paper presents a UI-level test generation approach that exploits execution traces of human users to automatically create complex sequences of events that go beyond the recorded traces. The key idea is to infer so-called macro events, i.e., sequences of low-level UI events that correspond to a single logical step of interaction, such as choosing an item of a drop-down menu or filling and submitting a form. The approach builds upon and adapts well-known data mining techniques, in particular frequent subsequence mining and inference of finite state machines. We implement the approach for client-side web applications and apply it to four real-world applications. Our results show that macro-based test generation reaches more pages, exercises more usage scenarios, and covers more code within a fixed testing budget than a purely random test generator.
Stochastic Optimization of Program Obfuscation

Program obfuscation is a common practice in software development to obscure source code or binary code, in order to prevent humans from understanding the purpose or logic of software. It protects intellectual property and deters malicious attacks. While tremendous efforts have been devoted to the development of various obfuscation techniques, we have relatively little knowledge on how to most effectively use them together. The biggest challenge lies in identifying the most effective combination of obfuscation techniques. This paper presents a unified framework to optimize program obfuscation. Given an input program P and a set T of obfuscation transformations, our technique can automatically identify a sequence seq = ‹t1, t2, …, tn› (∀i ∈ [1, n]. ti ∈ T), such that applying ti in order on P yields the optimal obfuscation performance. We model the process of searching for seq as a mathematical optimization problem. The key technical contributions of this paper are: (1) an obscurity language model to assess obfuscation effectiveness/optimality, and (2) a guided stochastic algorithm based on Markov chain Monte Carlo methods to search for the optimal solution seq. We have realized the framework in a tool Closure* for JavaScript, and evaluated it on 25 most starred JavaScript projects on GitHub (19K lines of code). Our machinery study shows that Closure* outperforms the well-known Google Closure Compiler by defending 26% of the attacks initiated by JSNice. Our human study also reveals that Closure* is practical and can reduce the human attack success rate by 30%.
CRISPR/Cas9: A tool for immunological research

The CRISPR/Cas9‐system was originally identified as part of the adaptive immune system in bacteria and has since been adapted for the genetic manipulation of eukaryotic cells. The technique is of particular value for biomedical sciences, as it enables the genetic manipulation of cell lines and primary cells as well as whole organisms with unprecedented ease and efficiency. Furthermore, the CRISPR/Cas9‐technology has the potential for future therapeutic applications in the clinic. Here, we discuss the use of CRISPR/Cas9 for the genetic modification of haematopoietic cells and the generation of mouse models for immunological research. Additionally, we explain how the technique can be applied as a screening‐tool to identify genes involved in different immunological processes. Moreover, we will talk about recent extensions of using the CRISPR/Cas9 technology, such as a transcriptional activator or repressor. Finally, we discuss the first clinical trials that use CRISPR/Cas9 and discuss potential future applications.
A Study of Users with Suicidal Ideation on Sina Weibo.

BACKGROUND Suicide is a leading cause of death in China, and so suicide intervention on social media is an important issue in the field of public health. Sina Weibo (Weibo) is an emerging surveillance tool that may provide online assistance for users at the risk of suicide. MATERIALS AND METHODS Keyword-based methods and supervised classifiers were employed to conduct this research. A control group was established to explore the differences between Weibo users with suicidal ideation (USI) and the general population. RESULTS A total of 114 USI were detected from 1 million active Weibo users. By studying the negative postings of these USI, disclosure of the reasons for their bad moods was the most common theme. The emotions of USI tend to be particularly down between 05:00 pm and midnight. Use of the first-person pronoun by Weibo USI is significantly frequent. CONCLUSIONS Our findings may help to identify individuals with suicidal ideation who are not identified by the traditional clinical approach. Consequently, detecting and helping individuals who may be at risk of committing suicide may become more efficient.
A new advantage distillation scheme over MIMO wiretap channels based on feedback bits

We first generalize the extended orthogonal space time block codes (EO-STBCs). Then, based on the generalized EO-STBCs (GEO-STBCs) and channel state information (CSI), the feedback bits are generated at the receiver. By using the feedback bits from the legitimate receiver, we propose a new advantage distillation scheme for multiple-input multiple-output (MIMO) wiretap channels.
Chromosome arm‐specific patterns of polymorphism associated with chromosomal inversions in the major African malaria vector, Anopheles funestus

Chromosomal inversions facilitate local adaptation of beneficial mutations and modulate genetic polymorphism, but the extent of their effects within the genome is still insufficiently understood. The genome of Anopheles funestus, a malaria mosquito endemic to sub‐Saharan Africa, contains an impressive number of paracentric polymorphic inversions, which are unevenly distributed among chromosomes and provide an excellent framework for investigating the genomic impacts of chromosomal rearrangements. Here, we present results of a fine‐scale analysis of genetic variation within the genome of two weakly differentiated populations of Anopheles funestus inhabiting contrasting moisture conditions in Cameroon. Using population genomic analyses, we found that genetic divergence between the two populations is centred on regions of the genome corresponding to three inversions, which are characterized by high values of FST, absolute sequence divergence and fixed differences. Importantly, in contrast to the 2L chromosome arm, which is collinear, nucleotide diversity is significantly reduced along the entire length of three autosome arms bearing multiple overlapping chromosomal rearrangements. These findings support the idea that interactions between reduced recombination and natural selection within inversions contribute to sculpt nucleotide polymorphism across chromosomes in An. funestus.
An iterative approach to the optimal co-design of linear control systems

ABSTRACT This paper investigates the optimal co-design of both physical plants and control policies for a class of continuous-time linear control systems. The optimal co-design of a specific linear control system is commonly formulated as a nonlinear non-convex optimisation problem (NNOP), and solved by using iterative techniques, where the plant parameters and the control policy are updated iteratively and alternately. This paper proposes a novel iterative approach to solve the NNOP, where the plant parameters are updated by solving a standard semi-definite programming problem, with non-convexity no longer involved. The proposed system design is generally less conservative in terms of the system performance compared to the conventional system-equivalence-based design, albeit the range of applicability is slightly reduced. A practical optimisation algorithm is proposed to compute a sub-optimal solution ensuring the system stability, and the convergence of the algorithm is established. The effectiveness of the proposed algorithm is illustrated by its application to the optimal co-design of a physical load positioning system.
An economic evaluation of vector control in the age of a dengue vaccine

Introduction Dengue is a rapidly emerging vector-borne Neglected Tropical Disease, with a 30-fold increase in the number of cases reported since 1960. The economic cost of the illness is measured in the billions of dollars annually. Environmental change and unplanned urbanization are conspiring to raise the health and economic cost even further beyond the reach of health systems and households. The health-sector response has depended in large part on control of the Aedes aegypti and Ae. albopictus (mosquito) vectors. The cost-effectiveness of the first-ever dengue vaccine remains to be evaluated in the field. In this paper, we examine how it might affect the cost-effectiveness of sustained vector control. Methods We employ a dynamic Markov model of the effects of vector control on dengue in both vectors and humans over a 15-year period, in six countries: Brazil, Columbia, Malaysia, Mexico, the Philippines, and Thailand. We evaluate the cost (direct medical costs and control programme costs) and cost-effectiveness of sustained vector control, outbreak response and/or medical case management, in the presence of a (hypothetical) highly targeted and low cost immunization strategy using a (non-hypothetical) medium-efficacy vaccine. Results Sustained vector control using existing technologies would cost little more than outbreak response, given the associated costs of medical case management. If sustained use of existing or upcoming technologies (of similar price) reduce vector populations by 70–90%, the cost per disability-adjusted life year averted is 2013 US$ 679–1331 (best estimates) relative to no intervention. Sustained vector control could be highly cost-effective even with less effective technologies (50–70% reduction in vector populations) and in the presence of a highly targeted and low cost immunization strategy using a medium-efficacy vaccine. Discussion Economic evaluation of the first-ever dengue vaccine is ongoing. However, even under very optimistic assumptions about a highly targeted and low cost immunization strategy, our results suggest that sustained vector control will continue to play an important role in mitigating the impact of environmental change and urbanization on human health. If additional benefits for the control of other Aedes borne diseases, such as Chikungunya, yellow fever and Zika fever are taken into account, the investment case is even stronger. High-burden endemic countries should proceed to map populations to be covered by sustained vector control.
Influence of surface pre-treatments on the growth of InAs nanowires on Si substrates: experiments and ab-initio simulations

This thesis reports about the influence of silicon surface pre-treatment on the nucleation and growth of indium arsenide nanowires. Several processes are applied on a silicon(111) substrate before nanowires growth takes place through a solid state Molecular Beam Epitaxy system. In particular, the influence of hydrofluoric cleaning, thermal annealing and hydrogen plasma treatment is investigated. The key point in the experimental procedure is that the growth is performed without an external catalyst, so by self assisted and/or selective area epitaxy. Thus, in this framework it is expected that the surface conditions are more relevant then in an catalyst assisted growth. Scanning Electron Microscope and Transmission Electron Microscope are used as main characterization tools for fully grown samples, while Ellipsometry and Atomic Force Microscope are used to analyze surface treatments effects. At the same time, a simulation activity has been carried out: even if several physical models have been elaborated on nanowires nucleation, none of them goes entirely thorough the physical phenomena happening. With this uncertain theoretical background, a first principles approach has been used to better understand how $As$ and $In$ interact on simple possible surface configurations. The aim is to acquire sufficient information to elaborate a kinetic Monte Carlo simulation about the nucleation stage.
The Stigma of Mental Illness in Children & Adolescents: A Systematic Review

One in ten children and adolescents suffer with mental health difficulties at any given time, yet less than one third seek treatment. Untreated mental illness predisposes to longstanding individual difficulties and presents a great public health burden. Large scale initiatives to reduce stigmatization of mental illness, identified as a key deterrent to treatment, have been disappointing. This indicates the need for a clearer understanding of the stigmatizing processes faced by young people, so that more effective interventions are employed. A systematic review of the literature, assessing public stigma and self-stigma (i.e. internalized public stigma) specifically in children and adolescents with mental health difficulties (YP-MHD), was conducted. Forty-two studies were identified, confirming that stigmatization of YP-MHD is a universal and disabling problem, present amongst both children and adults. There was some variation by diagnosis and gender, and stigmatization was for the most part unaffected by labelling. Self-stigmatization led to more secrecy and an avoidance of interventions. The findings confirm that stigmatization of mental illness is poorly understood due to a lack of research and methodological discrepancies between existing studies. Implications for the findings are discussed, and suggestions made for future research.
Dyslexia risk variant rs600753 is linked with dyslexia-specific differential allelic expression of DYX1C1

Abstract An increasing number of genetic variants involved in dyslexia development were discovered during the last years, yet little is known about the molecular functional mechanisms of these SNPs. In this study we investigated whether dyslexia candidate SNPs have a direct, disease-specific effect on local expression levels of the assumed target gene by using a differential allelic expression assay. In total, 12 SNPs previously associated with dyslexia and related phenotypes were suitable for analysis. Transcripts corresponding to four SNPs were sufficiently expressed in 28 cell lines originating from controls and a family affected by dyslexia. We observed a significant effect of rs600753 on expression levels of DYX1C1 in forward and reverse sequencing approaches. The expression level of the rs600753 risk allele was increased in the respective seven cell lines from members of the dyslexia family which might be due to a disturbed transcription factor binding sites. When considering our results in the context of neuroanatomical dyslexia-specific findings, we speculate that this mechanism may be part of the pathomechanisms underlying the dyslexia-specific brain phenotype. Our results suggest that allele-specific DYX1C1 expression levels depend on genetic variants of rs600753 and contribute to dyslexia. However, these results are preliminary and need replication.
The Hidden Sexuality of Alexandrium Minutum: An Example of Overlooked Sex in Dinoflagellates

Dinoflagellates are haploid eukaryotic microalgae in which rapid proliferation causes dense blooms, with harmful health and economic effects to humans. The proliferation mode is mainly asexual, as the sexual cycle is believed to be rare and restricted to stressful environmental conditions. However, sexuality is key to explaining the recurrence of many dinoflagellate blooms because in many species the fate of the planktonic zygotes (planozygotes) is the formation of resistant cysts in the seabed (encystment). Nevertheless, recent research has shown that individually isolated planozygotes in the lab can enter other routes besides encystment, a behavior of which the relevance has not been explored at the population level. In this study, using imaging flow cytometry, cell sorting, and Fluorescence In Situ Hybridization (FISH), we followed DNA content and nuclear changes in a population of the toxic dinoflagellate Alexandrium minutum that was induced to encystment. Our results first show that planozygotes behave like a population with an “encystment-independent” division cycle, which is light-controlled and follows the same Light:Dark (L:D) pattern as the cycle governing the haploid mitosis. Resting cyst formation was the fate of just a small fraction of the planozygotes formed and was restricted to a period of strongly limited nutrient conditions. The diploid-haploid turnover between L:D cycles was consistent with two-step meiosis. However, the diel and morphological division pattern of the planozygote division also suggests mitosis, which would imply that this species is not haplontic, as previously considered, but biphasic, because individuals could undergo mitotic divisions in both the sexual (diploid) and the asexual (haploid) phases. We also report incomplete genome duplication processes. Our work calls for a reconsideration of the dogma of rare sex in dinoflagellates.
Lipid nanoparticles (SLN & NLC) for delivery of vitamin E: a comprehensive review

The antioxidative and photoprotective properties of vitamin E have caused it to be included as an active agent in various pharmaceutical and cosmetic products. However, its lipophilicity, chemical instability and poor skin penetration have limited the effectiveness of these formulations. For that reason, many attempts to include it in different drug delivery systems have been made. In recent decades, lipid nanoparticles have received special attention due to their advantages of compatibility with the skin, ability to enhance penetration of drugs in the stratum corneum, protection of the encapsulated substance against degradation induced by the external medium and control of drug release. This work reviews the current status of the encapsulation of vitamin E in lipid nanoparticles. We describe the most important methods for obtaining and characterizing lipid nanoparticles containing vitamin E (LNP‐VE), various techniques for the evaluation of vitamin E's properties after encapsulation, the main in vitro and in vivo studies of the potential effectiveness or toxicity of LNP‐VE, the formulations and stability studies of this delivery system, the commercial products based on LNP‐VE and the regulatory aspects related to lipid nanoparticles. Finally, we discuss the most relevant advantages of encapsulating vitamin E in such particles and critical aspects that still demand attention to enhance the potential of solid lipid nanoparticles to deliver vitamin E.