DeepDyve: Dynamic Verification for Deep Neural Networks

Deep neural networks (DNNs) have become one of the enabling technologies in many safety-critical applications, e.g., autonomous driving and medical image analysis. DNN systems, however, suffer from various kinds of threats, such as adversarial example attacks and fault injection attacks. While there are many defense methods proposed against maliciously crafted inputs, solutions against faults presented in the DNN system itself (e.g., parameters and calculations) are far less explored. In this paper, we develop a novel lightweight fault-tolerant solution for DNN-based systems, namely DeepDyve, which employs pre-trained neural networks that are far simpler and smaller than the original DNN for dynamic verification. The key to enabling such lightweight checking is that the smaller neural network only needs to produce approximate results for the initial task without sacrificing fault coverage much. We develop efficient and effective architecture and task exploration techniques to achieve optimized risk/overhead trade-off in DeepDyve. Experimental results show that DeepDyve can reduce 90% of the risks at around 10% overhead

Structure, function and diversity of the healthy human microbiome

Author Posting. © The Authors, 2012. This article is posted here by permission of Nature Publishing Group. The definitive version was published in Nature 486 (2012): 207-214, doi:10.1038/nature11234.Studies of the human microbiome have revealed that even healthy individuals differ remarkably in the microbes that occupy habitats such as the gut, skin and vagina. Much of this diversity remains unexplained, although diet, environment, host genetics and early microbial exposure have all been implicated. Accordingly, to characterize the ecology of human-associated microbial communities, the Human Microbiome Project has analysed the largest cohort and set of distinct, clinically relevant body habitats so far. We found the diversity and abundance of each habitat’s signature microbes to vary widely even among healthy subjects, with strong niche specialization both within and among individuals. The project encountered an estimated 81–99% of the genera, enzyme families and community configurations occupied by the healthy Western microbiome. Metagenomic carriage of metabolic pathways was stable among individuals despite variation in community structure, and ethnic/racial background proved to be one of the strongest associations of both pathways and microbes with clinical metadata. These results thus delineate the range of structural and functional configurations normal in the microbial communities of a healthy population, enabling future characterization of the epidemiology, ecology and translational applications of the human microbiome.This research was supported in part by National Institutes of Health grants U54HG004969 to B.W.B.; U54HG003273 to R.A.G.; U54HG004973 to R.A.G., S.K.H. and J.F.P.; U54HG003067 to E.S.Lander; U54AI084844 to K.E.N.; N01AI30071 to R.L.Strausberg; U54HG004968 to G.M.W.; U01HG004866 to O.R.W.; U54HG003079 to R.K.W.; R01HG005969 to C.H.; R01HG004872 to R.K.; R01HG004885 to M.P.; R01HG005975 to P.D.S.; R01HG004908 to Y.Y.; R01HG004900 to M.K.Cho and P. Sankar; R01HG005171 to D.E.H.; R01HG004853 to A.L.M.; R01HG004856 to R.R.; R01HG004877 to R.R.S. and R.F.; R01HG005172 to P. Spicer.; R01HG004857 to M.P.; R01HG004906 to T.M.S.; R21HG005811 to E.A.V.; M.J.B. was supported by UH2AR057506; G.A.B. was supported by UH2AI083263 and UH3AI083263 (G.A.B., C. N. Cornelissen, L. K. Eaves and J. F. Strauss); S.M.H. was supported by UH3DK083993 (V. B. Young, E. B. Chang, F. Meyer, T. M. S., M. L. Sogin, J. M. Tiedje); K.P.R. was supported by UH2DK083990 (J. V.); J.A.S. and H.H.K. were supported by UH2AR057504 and UH3AR057504 (J.A.S.); DP2OD001500 to K.M.A.; N01HG62088 to the Coriell Institute for Medical Research; U01DE016937 to F.E.D.; S.K.H. was supported by RC1DE0202098 and R01DE021574 (S.K.H. and H. Li); J.I. was supported by R21CA139193 (J.I. and D. S. Michaud); K.P.L. was supported by P30DE020751 (D. J. Smith); Army Research Office grant W911NF-11-1-0473 to C.H.; National Science Foundation grants NSF DBI-1053486 to C.H. and NSF IIS-0812111 to M.P.; The Office of Science of the US Department of Energy under Contract No. DE-AC02-05CH11231 for P.S. C.; LANL Laboratory-Directed Research and Development grant 20100034DR and the US Defense Threat Reduction Agency grants B104153I and B084531I to P.S.C.; Research Foundation - Flanders (FWO) grant to K.F. and J.Raes; R.K. is an HHMI Early Career Scientist; Gordon&BettyMoore Foundation funding and institutional funding fromthe J. David Gladstone Institutes to K.S.P.; A.M.S. was supported by fellowships provided by the Rackham Graduate School and the NIH Molecular Mechanisms in Microbial Pathogenesis Training Grant T32AI007528; a Crohn’s and Colitis Foundation of Canada Grant in Aid of Research to E.A.V.; 2010 IBM Faculty Award to K.C.W.; analysis of the HMPdata was performed using National Energy Research Scientific Computing resources, the BluBioU Computational Resource at Rice University

Finishing the euchromatic sequence of the human genome

The sequence of the human genome encodes the genetic instructions for human physiology, as well as rich information about human evolution. In 2001, the International Human Genome Sequencing Consortium reported a draft sequence of the euchromatic portion of the human genome. Since then, the international collaboration has worked to convert this draft into a genome sequence with high accuracy and nearly complete coverage. Here, we report the result of this finishing process. The current genome sequence (Build 35) contains 2.85 billion nucleotides interrupted by only 341 gaps. It covers ∼99% of the euchromatic genome and is accurate to an error rate of ∼1 event per 100,000 bases. Many of the remaining euchromatic gaps are associated with segmental duplications and will require focused work with new methods. The near-complete sequence, the first for a vertebrate, greatly improves the precision of biological analyses of the human genome including studies of gene number, birth and death. Notably, the human enome seems to encode only 20,000-25,000 protein-coding genes. The genome sequence reported here should serve as a firm foundation for biomedical research in the decades ahead

Comparative transcriptomes reveal molecular mechanisms of apple blossoms of different tolerance genotypes to chilling injury

Apple (Malus domestica, Borkh.) is one of the four largest fruits in the world. Freezing damage during the flowering period of apples is one of the main factors leading to the reduction or even extinction of apple production. Molecular breeding of hardy apples is a good solution to these problems. However, the current screening of cold tolerance genes still needs to be resolved. Therefore, in this article, the transcriptome detection and cold tolerance gene screening during the cold adaptation process of apple were studied in order to obtain potential cold-resistant genes. Herein, two high-quality apple tree species (Malus robusta Rehd and M. domestica) were used for cold adaptation experiments and studied under different low-temperature stress conditions (0, −2 and −4°C). The antioxidant levels of two apple flower tissues were tested, and the transcriptome of the flowers after cold culture was tested by next-generation sequencing technology. Antioxidant test results show that the elimination of peroxides in M. robusta Rehd and the adjustment of the expression of antioxidant enzymes promote the cold resistance of this variety of apples. Functional enrichment found that the expression of enzyme activity, cell wall and cell membrane structure, glucose metabolism/gluconeogenesis, and signal transmission are the main biological processes that affect the differences in the cold resistance characteristics of the two apples. In addition, three potential cold-resistant genes AtERF4, RuBisCO activase 1, and an unknown gene (ID: MD09G1075000) were screened. In this study, three potential cold-resistant genes (AtERF4, RuBisCO activase 1, and an unknown gene [ID: MD09G1075000]) and three cold-repressed differential genes (AtDTX29, XTH1, and TLP) were screened

Highly Sensitive, Portable Detection System for Multiplex Chemiluminescence Analysis

Chemiluminescence (CL) has emerged as a critical tool for the sensing and quantification of various bioanalytes in virtually all clinical fields. However, the rapid nature of many CL reactions raises challenges for typical low-cost optical sensors such as cameras to achieve accurate and sensitive detection. Meanwhile, classic sensors such as photomultiplier tubes are highly sensitive but lack spatial multiplexing capabilities and are generally not suited for point-of-care applications outside a standard laboratory setting. To address this issue, in this paper, a miniaturized and versatile silicon-photomultiplier-based fiber-integrated CL device (SFCD) was designed for sensitive multiplex CL detection. The SFCD comprises a silicon photomultiplier array coupled to an array of high numerical aperture plastic optical fibers to achieve 16-plex detection. The optical fibers ensure efficient light collection while allowing the fixed detector to be mated with diverse sample geometries (e.g., circular or grid), simply by adjusting the fiber configuration. In a head-to-head comparison with a lens-based camera system featuring a cooled detector, the SFCD achieved a 14-fold improved limit of detection in both direct and enzyme-mediated CL reactions. The SFCD also features improved compactness and lower cost, as well as faster temporal resolution compared with camera-based systems while preserving spatial multiplexing and good environmental robustness. Thus, the SFCD has excellent potential for point-of-care biosensing applications

Evaluation of MyTeen – a SMS-based mobile intervention for parents of adolescents: a randomised controlled trial protocol

Abstract Background Parents play an important role in the lives of adolescents and efforts aimed at strengthening parenting skills and increasing knowledge on adolescent development hold much promise to prevent and mitigate adolescent mental health problems. Innovative interventions that make use of technology-based platforms might be an effective and efficient way to deliver such support to parents. This protocol presents the design of a randomised controlled trial to investigate the effectiveness of a SMS-based mobile intervention (MyTeen) for parents of adolescents on promoting parental competence and mental health literacy. Methods A parallel two-arm randomised controlled trial will be conducted in New Zealand, aiming to recruit 214 parents or primary caregivers of adolescents aged 10–15 years via community outreach and social media. Eligible participants will be allocated 1:1 into the control or the intervention group, stratified by ethnicity. The intervention group will receive a tailored programme of text messages aimed at improving their parental competence and mental health literacy, over 4 weeks. The control group (care-as-usual) will receive no intervention from the research team, but can access alternative services if they wish, and will be offered the intervention programme upon completion of a 3-month post-randomisation follow-up assessment. Data will be obtained at baseline, post intervention (1-month), and 3-month follow up. The primary outcome is parental competence assessed by the Parental Sense of Competence Scale at 1-month follow up. Secondary outcomes include: mental health literacy; knowledge of help-seeking; parental distress; parent-adolescent communication; and programme satisfaction. Discussion To our knowledge this is the first randomised controlled trial on the effectiveness of delivering a parenting support intervention for parents of adolescents solely via a SMS-based mobile intervention. If effective, it could have great potential to reach and support parents of adolescents. Trial registration Australian New Zealand Clinical Trial Registry (ACTRN12618000117213) Registered on 29/01/2018

Multilevel resistive switching in stable all-inorganic n-i-p double perovskite memristor

Summary: Memristors are promising information storage devices for commercial applications because of their long endurance and low power consumption. Particularly, perovskite memristors have revealed excellent resistive switching (RS) properties owing to the fast ion migration and solution fabrication process. Here, an n-i-p type double perovskite memristor with “ITO/SnO2/Cs2AgBiBr6/NiOx/Ag” architecture was developed and demonstrated to reveal three resistance states because of the p-n junction electric field coupled with ion migration. The devices exhibited reliable filamentary with an on/off ratio exceeding 50. The RS characteristics remained unchanged after 1000 s read and 300 switching cycles. The synaptic functions were examined through long-term depression and potentiation measurements. Significantly, the device still worked after one year to reveal long-term stability because of the all-inorganic layers. This work indicates a novel idea for designing a multistate memristor by utilizing the p-n junction unidirectional conductivity during the forward and reverse scanning