On Uniformly Sampling Traces of a Transition System (Extended Version)

A key problem in constrained random verification (CRV) concerns generation of input stimuli that result in good coverage of the system's runs in targeted corners of its behavior space. Existing CRV solutions however provide no formal guarantees on the distribution of the system's runs. In this paper, we take a first step towards solving this problem. We present an algorithm based on Algebraic Decision Diagrams for sampling bounded traces (i.e. sequences of states) of a sequential circuit with provable uniformity (or bias) guarantees, while satisfying given constraints. We have implemented our algorithm in a tool called TraceSampler. Extensive experiments show that TraceSampler outperforms alternative approaches that provide similar uniformity guarantees.Comment: Extended version of paper that will appear in proceedings of International Conference on Computer-Aided Design (ICCAD '20); changed wrong text color in sec 7; added 'extended version

Variation in the Ovine Abomasal Lymph Node Transcriptome between Breeds Known to Differ in Resistance to the Gastrointestinal Nematode

Texel lambs are known to be more resistant to gastrointestinal nematode (GIN) infection than Suffolk lambs, with a greater ability to limit infection. The objectives of this study were to: 1) profile the whole transcriptome of abomasal lymph node tissue of GIN-free Texel and Suffolk lambs; 2) identify differentially expressed genes and characterize the immune-related biological pathways and networks associated with these genes. Abomasal lymph nodes were collected from Texel (n = 6) and Suffolk (n = 4) lambs aged 19 weeks that had been GIN-free since 6 weeks of age. Whole transcriptome profiling was performed using RNA-seq on the Illumina platform. At the time of conducting this study, a well annotated Ovine genome was not available and hence the sequence reads were aligned with the Bovine (UMD3.1) genome. Identification of differentially expressed genes was followed by pathway and network analysis. The Suffolk breed accounted for significantly more of the differentially expressed genes, (276 more highly expressed in Suffolk v 162 in Texel; P < 0.001). The four most significant differentially expressed pathways were all related to immunity and were classified as: Role of Pattern Recognition Receptors in Recognition of Bacteria and Viruses, Activation of IRF by Cytosolic Pattern Recognition Receptors, Role of RIG-I-like Receptors in Antiviral Innate Immunity, and Interferon Signaling. Of significance is the fact that all of these four pathways were more highly expressed in the Suffolk. These data suggest that in a GIN-free environment, Suffolk lambs have a more active immune profile relative to the Texel: this immune profile may contribute to the poorer efficiency of response to a GIN challenge in the Suffolk breed compared to the Texel breed

Antimicrobial resistance among migrants in Europe: a systematic review and meta-analysis

BACKGROUND: Rates of antimicrobial resistance (AMR) are rising globally and there is concern that increased migration is contributing to the burden of antibiotic resistance in Europe. However, the effect of migration on the burden of AMR in Europe has not yet been comprehensively examined. Therefore, we did a systematic review and meta-analysis to identify and synthesise data for AMR carriage or infection in migrants to Europe to examine differences in patterns of AMR across migrant groups and in different settings. METHODS: For this systematic review and meta-analysis, we searched MEDLINE, Embase, PubMed, and Scopus with no language restrictions from Jan 1, 2000, to Jan 18, 2017, for primary data from observational studies reporting antibacterial resistance in common bacterial pathogens among migrants to 21 European Union-15 and European Economic Area countries. To be eligible for inclusion, studies had to report data on carriage or infection with laboratory-confirmed antibiotic-resistant organisms in migrant populations. We extracted data from eligible studies and assessed quality using piloted, standardised forms. We did not examine drug resistance in tuberculosis and excluded articles solely reporting on this parameter. We also excluded articles in which migrant status was determined by ethnicity, country of birth of participants' parents, or was not defined, and articles in which data were not disaggregated by migrant status. Outcomes were carriage of or infection with antibiotic-resistant organisms. We used random-effects models to calculate the pooled prevalence of each outcome. The study protocol is registered with PROSPERO, number CRD42016043681. FINDINGS: We identified 2274 articles, of which 23 observational studies reporting on antibiotic resistance in 2319 migrants were included. The pooled prevalence of any AMR carriage or AMR infection in migrants was 25·4% (95% CI 19·1-31·8; I2 =98%), including meticillin-resistant Staphylococcus aureus (7·8%, 4·8-10·7; I2 =92%) and antibiotic-resistant Gram-negative bacteria (27·2%, 17·6-36·8; I2 =94%). The pooled prevalence of any AMR carriage or infection was higher in refugees and asylum seekers (33·0%, 18·3-47·6; I2 =98%) than in other migrant groups (6·6%, 1·8-11·3; I2 =92%). The pooled prevalence of antibiotic-resistant organisms was slightly higher in high-migrant community settings (33·1%, 11·1-55·1; I2 =96%) than in migrants in hospitals (24·3%, 16·1-32·6; I2 =98%). We did not find evidence of high rates of transmission of AMR from migrant to host populations. INTERPRETATION: Migrants are exposed to conditions favouring the emergence of drug resistance during transit and in host countries in Europe. Increased antibiotic resistance among refugees and asylum seekers and in high-migrant community settings (such as refugee camps and detention facilities) highlights the need for improved living conditions, access to health care, and initiatives to facilitate detection of and appropriate high-quality treatment for antibiotic-resistant infections during transit and in host countries. Protocols for the prevention and control of infection and for antibiotic surveillance need to be integrated in all aspects of health care, which should be accessible for all migrant groups, and should target determinants of AMR before, during, and after migration. FUNDING: UK National Institute for Health Research Imperial Biomedical Research Centre, Imperial College Healthcare Charity, the Wellcome Trust, and UK National Institute for Health Research Health Protection Research Unit in Healthcare-associated Infections and Antimictobial Resistance at Imperial College London

Quantitative response of wheat to sowing dates and irrigation regimes using ceres-wheat model

An experiment was conducted at Punjab Agricultural University, Ludhiana during 2014–15 and 2015–16, keeping four sowing dates {25th Oct (D1), 10th Nov (D2), 25th Nov (D3) and 10th Dec (D4)} in main plots and five irrigation schedules {irrigation at 15 (FC15), 25 (FC25), 35 (FC35) and 45 (FC45) % depletion of soil moisture from field capacity (FC) and a conventional practice} in sub plots. The objective of the study was to evaluate the performance of CERES-Wheat model for simulating yield and water use under varying planting and soil moisture regimes. The simulated and observed grain yield was higher in D1, with irrigation applied at FC15 as compared to all other sowing date and irrigation regime combinations. Simulated grain yield decreased by 19% with delay in sowing from 25th October to 10th December because of 8% reduction in simulated crop evapotranspiration. Simulated evapotranspiration decreased by 16%, wheat grain yield by 23% and water productivity by 15% in drip irrigation at 45% depletion from field capacity as compared to drip irrigation at 15% of field capacity. It was further revealed that the model performed well in simulating the phenology, water use and yield of wheat

FlexOracle: predicting flexible hinges by identification of stable domains

<p>Abstract</p> <p>Background</p> <p>Protein motions play an essential role in catalysis and protein-ligand interactions, but are difficult to observe directly. A substantial fraction of protein motions involve hinge bending. For these proteins, the accurate identification of flexible hinges connecting rigid domains would provide significant insight into motion. Programs such as GNM and FIRST have made global flexibility predictions available at low computational cost, but are not designed specifically for finding hinge points.</p> <p>Results</p> <p>Here we present the novel FlexOracle hinge prediction approach based on the ideas that energetic interactions are stronger <it>within </it>structural domains than <it>between </it>them, and that fragments generated by cleaving the protein at the hinge site are independently stable. We implement this as a tool within the Database of Macromolecular Motions, MolMovDB.org. For a given structure, we generate pairs of fragments based on scanning all possible cleavage points on the protein chain, compute the energy of the fragments compared with the undivided protein, and predict hinges where this quantity is minimal. We present three specific implementations of this approach. In the first, we consider only pairs of fragments generated by cutting at a <it>single </it>location on the protein chain and then use a standard molecular mechanics force field to calculate the enthalpies of the two fragments. In the second, we generate fragments in the same way but instead compute their free energies using a knowledge based force field. In the third, we generate fragment pairs by cutting at <it>two </it>points on the protein chain and then calculate their free energies.</p> <p>Conclusion</p> <p>Quantitative results demonstrate our method's ability to predict known hinges from the Database of Macromolecular Motions.</p

Novel molecular approach to define pest species status and tritrophic interactions from historical Bemisia specimens

Museum specimens represent valuable genomic resources for understanding host-endosymbiont/parasitoid evolutionary relationships, resolving species complexes and nomenclatural problems. However, museum collections suffer DNA degradation, making them challenging for molecular-based studies. Here, the mitogenomes of a single 1912 Sri Lankan Bemisia emiliae cotype puparium, and of a 1942 Japanese Bemisia puparium are characterised using a Next-Generation Sequencing approach. Whiteflies are small sap-sucking insects including B. tabaci pest species complex. Bemisia emiliae’s draft mitogenome showed a high degree of homology with published B. tabaci mitogenomes, and exhibited 98–100% partial mitochondrial DNA Cytochrome Oxidase I (mtCOI) gene identity with the B. tabaci species known as Asia II-7. The partial mtCOI gene of the Japanese specimen shared 99% sequence identity with the Bemisia ‘JpL’ genetic group. Metagenomic analysis identified bacterial sequences in both Bemisia specimens, while hymenopteran sequences were also identified in the Japanese Bemisia puparium, including complete mtCOI and rRNA genes, and various partial mtDNA genes. At 88–90% mtCOI sequence identity to Aphelinidae wasps, we concluded that the 1942 Bemisia nymph was parasitized by an Eretmocerus parasitoid wasp. Our approach enables the characterisation of genomes and associated metagenomic communities of museum specimens using 1.5 ng gDNA, and to infer historical tritrophic relationships in Bemisia whiteflies.© The Author(s) 2017. This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/. The attached file is the published pdf

Small individual loans and mental health: a randomized controlled trial among South African adults

<p>Abstract</p> <p>Background</p> <p>In the developing world, access to small, individual loans has been variously hailed as a poverty-alleviation tool – in the context of "microcredit" – but has also been criticized as "usury" and harmful to vulnerable borrowers. Prior studies have assessed effects of access to credit on traditional economic outcomes for poor borrowers, but effects on mental health have been largely ignored.</p> <p>Methods</p> <p>Applicants who had previously been rejected (n = 257) for a loan (200% annual percentage rate – APR) from a lender in South Africa were randomly assigned to a "second-look" that encouraged loan officers to approve their applications. This randomized encouragement resulted in 53% of applicants receiving a loan they otherwise would not have received. All subjects were assessed 6–12 months later with questions about demographics, socio-economic status, and two indicators of mental health: the Center for Epidemiologic Studies – Depression Scale (CES-D) and Cohen's Perceived Stress scale. Intent-to-treat analyses were calculated using multinomial probit regressions.</p> <p>Results</p> <p>Randomization into receiving a "second look" for access to credit increased perceived stress in the combined sample of women and men; the findings were stronger among men. Credit access was associated with reduced depressive symptoms in men, but not women.</p> <p>Conclusion</p> <p>Our findings suggest that a mechanism used to reduce the economic stress of extremely poor individuals can have mixed effects on their experiences of psychological stress and depressive symptomatology. Our data support the notion that mental health should be included as a measure of success (or failure) when examining potential tools for poverty alleviation. Further longitudinal research is needed in South Africa and other settings to understand how borrowing at high interest rates affects gender roles and daily life activities. CCT: ISRCTN 10734925</p

Mapping local patterns of childhood overweight and wasting in low- and middle-income countries between 2000 and 2017

A double burden of malnutrition occurs when individuals, household members or communities experience both undernutrition and overweight. Here, we show geospatial estimates of overweight and wasting prevalence among children under 5 years of age in 105 low- and middle-income countries (LMICs) from 2000 to 2017 and aggregate these to policy-relevant administrative units. Wasting decreased overall across LMICs between 2000 and 2017, from 8.4% (62.3 (55.1–70.8) million) to 6.4% (58.3 (47.6–70.7) million), but is predicted to remain above the World Health Organization’s Global Nutrition Target of <5% in over half of LMICs by 2025. Prevalence of overweight increased from 5.2% (30 (22.8–38.5) million) in 2000 to 6.0% (55.5 (44.8–67.9) million) children aged under 5 years in 2017. Areas most affected by double burden of malnutrition were located in Indonesia, Thailand, southeastern China, Botswana, Cameroon and central Nigeria. Our estimates provide a new perspective to researchers, policy makers and public health agencies in their efforts to address this global childhood syndemic

Effect of Fibrin Glue on the Biomechanical Properties of Human Descemet's Membrane

10.1371/journal.pone.0037456PLoS ONE75

Global economic burden of unmet surgical need for appendicitis

Background: There is a substantial gap in provision of adequate surgical care in many low-and middle-income countries. This study aimed to identify the economic burden of unmet surgical need for the common condition of appendicitis. Methods: Data on the incidence of appendicitis from 170 countries and two different approaches were used to estimate numbers of patients who do not receive surgery: as a fixed proportion of the total unmet surgical need per country (approach 1); and based on country income status (approach 2). Indirect costs with current levels of access and local quality, and those if quality were at the standards of high-income countries, were estimated. A human capital approach was applied, focusing on the economic burden resulting from premature death and absenteeism. Results: Excess mortality was 4185 per 100 000 cases of appendicitis using approach 1 and 3448 per 100 000 using approach 2. The economic burden of continuing current levels of access and local quality was US $92 492 million using approach 1 and$73 141 million using approach 2. The economic burden of not providing surgical care to the standards of high-income countries was $95 004 million using approach 1 and$75 666 million using approach 2. The largest share of these costs resulted from premature death (97.7 per cent) and lack of access (97.0 per cent) in contrast to lack of quality. Conclusion: For a comparatively non-complex emergency condition such as appendicitis, increasing access to care should be prioritized. Although improving quality of care should not be neglected, increasing provision of care at current standards could reduce societal costs substantially