Machine Learning for Quantum-Enhanced Gravitational-Wave Observatories

Machine learning has become an effective tool for processing the extensive data sets produced by large physics experiments. Gravitational-wave detectors are now listening to the universe with quantum-enhanced sensitivity, accomplished with the injection of squeezed vacuum states. Squeezed state preparation and injection is operationally complicated, as well as highly sensitive to environmental fluctuations and variations in the interferometer state. Achieving and maintaining optimal squeezing levels is a challenging problem and will require development of new techniques to reach the lofty targets set by design goals for future observing runs and next-generation detectors. We use machine learning techniques to predict the squeezing level during the third observing run of the Laser Interferometer Gravitational-Wave Observatory (LIGO) based on auxiliary data streams, and offer interpretations of our models to identify and quantify salient sources of squeezing degradation. The development of these techniques lays the groundwork for future efforts to optimize squeezed state injection in gravitational-wave detectors, with the goal of enabling closed-loop control of the squeezer subsystem by an agent based on machine learning

Markovian Dynamics on Complex Reaction Networks

Complex networks, comprised of individual elements that interact with each other through reaction channels, are ubiquitous across many scientific and engineering disciplines. Examples include biochemical, pharmacokinetic, epidemiological, ecological, social, neural, and multi-agent networks. A common approach to modeling such networks is by a master equation that governs the dynamic evolution of the joint probability mass function of the underling population process and naturally leads to Markovian dynamics for such process. Due however to the nonlinear nature of most reactions, the computation and analysis of the resulting stochastic population dynamics is a difficult task. This review article provides a coherent and comprehensive coverage of recently developed approaches and methods to tackle this problem. After reviewing a general framework for modeling Markovian reaction networks and giving specific examples, the authors present numerical and computational techniques capable of evaluating or approximating the solution of the master equation, discuss a recently developed approach for studying the stationary behavior of Markovian reaction networks using a potential energy landscape perspective, and provide an introduction to the emerging theory of thermodynamic analysis of such networks. Three representative problems of opinion formation, transcription regulation, and neural network dynamics are used as illustrative examples.Comment: 52 pages, 11 figures, for freely available MATLAB software, see http://www.cis.jhu.edu/~goutsias/CSS%20lab/software.htm

Characterization of human Sec16B: indications of specialized, non-redundant functions

The endoplasmic reticulum (ER) represents the entry point into the secretory pathway and from here newly synthesized proteins and lipids are delivered to the Golgi. The selective cargo export from the ER is mediated by COPII-assembly at specific sites of the ER, the so-called transitional ER (tER). The peripheral membrane protein Sec16, first identified in yeast, localizes to transitional ER and plays a key role in organization of these sites. Sec16 defines the tER and is thought to act as a scaffold for the COPII coat assembly. In humans two isoforms of Sec16 are present, the larger Sec16A and the smaller Sec16B. Nevertheless, the functional differences between the two isoforms are ill-defined. Here we describe characterization of the localization and dynamics of Sec16B relative to Sec16A, provide evidence that Sec16B is likely a minor or perhaps specialized form of Sec16, and that it is not functionally redundant with Sec16A

The Breadth, but Not the Magnitude, of Circulating Memory B Cell Responses to P. falciparum Increases with Age/Exposure in an Area of Low Transmission

BACKGROUND: Malaria caused by Plasmodium falciparum remains a major cause of death in sub-Saharan Africa. Immunity against symptoms of malaria requires repeated exposure, suggesting either that the parasite is poorly immunogenic or that the development of effective immune responses to malaria may be impaired. METHODS: We carried out two age-stratified cross-sectional surveys of anti-malarial humoral immune responses in a Gambian village where P. falciparum malaria transmission is low and sporadic. Circulating antibodies and memory B cells (MBC) to four malarial antigens were measured using ELISA and cultured B cell ELISpot. FINDINGS AND CONCLUSIONS: The proportion of individuals with malaria-specific MBC and antibodies, and the average number of antigens recognised by each individual, increased with age but the magnitude of these responses did not. Malaria-specific antibody levels did not correlate with either the prevalence or median number of MBC, indicating that these two assays are measuring different aspects of the humoral immune response. Among those with immunological evidence of malaria exposure (defined as a positive response to at least one malarial antigen either by ELISA or ELISPOT), the median number of malaria-specific MBC was similar to median numbers of diphtheria-specific MBC, suggesting that the circulating memory cell pool for malaria antigens is of similar size to that for other antigens

Developing GUI Applications in a Verified Setting

Although there have been major achievements in verified software, work on verifying graphical user interfaces (GUI) applications is underdeveloped relative to their ubiquity and societal importance.In this paper, we present a library for the development of verified, state-dependent GUI applications in the dependently typed programming language Agda. The library uses Agda's expressive type system to ensure that the GUI, its controller, and the underlying model are all consistent, significantly reducing the scope for GUI-related bugs.We provide a way to specify and prove correctness properties of GUI applications in terms of user interactions and state transitions. Critically, GUI applications and correctness properties are not restricted to finite state machines and may involve the execution of arbitrary interactive programs. Additionally, the library connects to a standard, imperative GUI framework, enabling the development of native GUI applications with expected features, such as concurrency.We present applications of our library to building GUI applications to manage healthcare processes. The correctness properties we consider are the following: (1) That a state can only be reached by passing through a particular intermediate state, for example, that a particular treatment can only be reached after having conducted an X-Ray. (2) That one eventually reaches a particular state, for example, that one eventually decides on a treatment. The specification of such properties is defined in terms of a GUI application simulator, which simulates all possible sequences of interactions carried out by the user

Reputation and identity conflict in management consulting

This is the author accepted manuscript. The final version is available from SAGE Publications via the DOI in this record.Based on a case study of a large consulting firm, this paper makes two contributions to the literature on reputation and identity by examining how an organization responds when its identity is substantially misaligned with the experience and perceptions of external stakeholders that form the basis of reputational judgments. First, rather than triggering some form of identity adaptation, it outlines how other forms of identity can come into play to remediate this gap, buffering the organization’s identity from change. This shift to other individual identities is facilitated by a low organizational identity context even when the identity of the firm is coherent and strong. The second contribution concerns the conceptualization of consulting and other professional service firms. We explain how reputation and identity interact in the context of the distinctive organizational features of these firms. Notably, their loosely coupled structure and the central importance of expert knowledge claims enable individual consultants both to reinforce and supplement corporate reputation via individual identity work

Quantitative trait loci for sensitivity to ethanol intoxication in a C57BL/6J × 129S1/SvImJ inbred mouse cross

Individual variation in sensitivity to acute ethanol (EtOH) challenge is associated with alcohol drinking and is a predictor of alcohol abuse. Previous studies have shown that the C57BL/6J (B6) and 129S1/SvImJ (S1) inbred mouse strains differ in responses on certain measures of acute EtOH intoxication. To gain insight into genetic factors contributing to these differences, we performed quantitative trait locus (QTL) analysis of measures of EtOH-induced ataxia (accelerating rotarod), hypothermia, and loss of righting reflex (LORR) duration in a B6 × S1 F2 population. We confirmed that S1 showed greater EtOH-induced hypothermia (specifically at a high dose) and longer LORR compared to B6. QTL analysis revealed several additive and interacting loci for various phenotypes, as well as examples of genotype interactions with sex. QTLs for different EtOH phenotypes were largely non-overlapping, suggesting separable genetic influences on these behaviors. The most compelling main-effect QTLs were for hypothermia on chromosome 16 and for LORR on chromosomes 4 and 6. Several QTLs overlapped with loci repeatedly linked to EtOH drinking in previous mouse studies. The architecture of the traits we examined was complex but clearly amenable to dissection in future studies. Using integrative genomics strategies, plausible functional and positional candidates may be found. Uncovering candidate genes associated with variation in these phenotypes in this population could ultimately shed light on genetic factors underlying sensitivity to EtOH intoxication and risk for alcoholism in humans

Health risk behaviours among adolescents in the English-speaking Caribbean: a review

<p>Abstract</p> <p>Background</p> <p>The aim of this paper was to review and summarize research on prevalence of health risk behaviours, their outcomes as well as risk and protective factors among adolescents in the English-speaking Caribbean.</p> <p>Methods</p> <p>Searching of online databases and the World Wide Web as well as hand searching of the <it>West Indian Medical Journal </it>were conducted. Papers on research done on adolescents aged 10 – 19 years old and published during the period 1980 – 2005 were included.</p> <p>Results</p> <p>Ninety-five relevant papers were located. Five papers were published in the 1980s, 47 in the 1990s, and from 2000–2005, 43 papers. Health risk behaviours and outcomes were divided into seven themes. Prevalence data obtained for these, included lifetime prevalence of <b>substance use</b>: cigarettes-24% and marijuana-17%; <b>high risk sexual behaviour</b>: initiation of sexual activity ≤ 10 years old-19% and those having more than six partners-19%; <b>teenage pregnancy</b>: teens account for 15–20% of all pregnancies and one-fifth of these teens were in their second pregnancy; <b>Sexually-Transmitted Infections (STIs)</b>: population prevalence of gonorrhoea and/or chlamydia in 18–21 year-olds was 26%; <b>mental health</b>: severe depression in the adolescent age group was 9%, and attempted suicide-12%; <b>violence and juvenile delinquency</b>: carrying a weapon to school in the last 30 days-10% and almost always wanting to kill or injure someone-5%; <b>eating disorders and obesity</b>: overweight-11%, and obesity-7%. Many of the risk behaviours in adolescents were shown to be related to the adolescent's family of origin, home environment and parent-child relationships. Also, the protective effects of family and school connectedness as well as increased religiosity noted in studies from the United States were also applicable in the Caribbean.</p> <p>Conclusion</p> <p>There is a substantial body of literature on Caribbean adolescents documenting prevalence and correlates of health risk behaviours. Future research should emphasize the designing and testing of interventions to alleviate this burden.</p