Effective Interactive Resolution of Static Analysis Alarms

We propose an interactive approach to resolve static analysis alarms. Our approach synergistically combines a sound but imprecise analysis with precise but unsound heuristics, through user interaction. In each iteration, it solves an optimization problem to find a set of questions for the user such that the expected payoff is maximized. We have implemented our approach in a tool, Ursa, that enables interactive alarm resolution for any analysis specified in the declarative logic programming language Datalog. We demonstrate the effectiveness of Ursa on a state-of-the-art static datarace analysis using a suite of 8 Java programs comprising 41-194 KLOC each. Ursa is able to eliminate 74% of the false alarms per benchmark with an average payoff of 12 per question. Moreover, Ursa prioritizes user effort effectively by posing questions that yield high payoffs earlier

Detecting single viruses and nanoparticles using whispering gallery microlasers

Detection and characterization of individual nano-scale particles, virions, and pathogens are of paramount importance to human health, homeland security, diagnostic and environmental monitoring[1]. There is a strong demand for high-resolution, portable, and cost-effective systems to make label-free detection and measurement of individual nanoparticles, molecules, and viruses [2-6]. Here, we report an easily accessible, real-time and label-free detection method with single nanoparticle resolution that surpasses detection limit of existing micro- and nano-photonic devices. This is achieved by using an ultra-narrow linewidth whispering gallery microlaser, whose lasing line undergoes frequency splitting upon the binding of individual nano-objects. We demonstrate detection of polystyrene and gold nanoparticles as small as 15 nm and 10 nm in radius, respectively, and Influenza A virions by monitoring changes in self-heterodyning beat note of the split lasing modes. Experiments are performed in both air and aqueous environment. The built-in self-heterodyne interferometric method achieved in a microlaser provides a self-reference scheme with extraordinary sensitivity [7,8], and paves the way for detection and spectroscopy of nano-scale objects using micro- and nano-lasers.Comment: Main Text: 14 pages, 5 figures, 27 references. Supplement: 26 pages, 12 figures, 26 reference

Twist-2 Controls Myeloid Lineage Development and Function

Basic helix-loop-helix (bHLH) transcription factors play critical roles in lymphoid and erythroid development; however, little is known about their role in myeloid lineage development. In this study, we identify the bHLH transcription factor Twist-2 as a key negative regulator of myeloid lineage development, as manifested by marked increases in mature myeloid populations of macrophages, neutrophils, and basophils in Twist-2–deficient mice. Mechanistic studies demonstrate that Twist-2 inhibits the proliferation as well as differentiation of granulocyte macrophage progenitors (GMP) by interacting with and inhibiting the transcription factors Runx1 and C/EBPα. Moreover, Twist-2 was found to have a contrasting effect on cytokine production: inhibiting the production of proinflammatory cytokines such as interleukin-12 (IL-12) and interferon-γ (IFNγ) while promoting the regulatory cytokine IL-10 by myeloid cells. The data from further analyses suggest that Twist-2 activates the transcription factor c-Maf, leading to IL-10 expression. In addition, Twist-2 was found to be essential for endotoxin tolerance. Thus, this study reveals the critical role of Twist-2 in regulating the development of myeloid lineages, as well as the function and inflammatory responses of mature myeloid cells

Apnea of prematurity: from cause to treatment

Apnea of prematurity (AOP) is a common problem affecting premature infants, likely secondary to a “physiologic” immaturity of respiratory control that may be exacerbated by neonatal disease. These include altered ventilatory responses to hypoxia, hypercapnia, and altered sleep states, while the roles of gastroesophageal reflux and anemia remain controversial. Standard clinical management of the obstructive subtype of AOP includes prone positioning and continuous positive or nasal intermittent positive pressure ventilation to prevent pharyngeal collapse and alveolar atelectasis, while methylxanthine therapy is a mainstay of treatment of central apnea by stimulating the central nervous system and respiratory muscle function. Other therapies, including kangaroo care, red blood cell transfusions, and CO2 inhalation, require further study. The physiology and pathophysiology behind AOP are discussed, including the laryngeal chemoreflex and sensitivity to inhibitory neurotransmitters, as are the mechanisms by which different therapies may work and the potential long-term neurodevelopmental consequences of AOP and its treatment

Busulphan-Cyclophosphamide Cause Endothelial Injury, Remodeling of Resistance Arteries and Enhanced Expression of Endothelial Nitric Oxide Synthase

Stem cell transplantation (SCT) is a curative treatment for malignant and non malignant diseases. However, transplantation-related complications including cardiovascular disease deteriorate the clinical outcome and quality of life. We have investigated the acute effects of conditioning regimen on the pharmacology, physiology and structure of large elastic arteries and small resistance-sized arteries in a SCT mouse model. Mesenteric resistance arteries and aorta were dissected from Balb/c mice conditioned with busulphan (Bu) and cyclophosphamide (Cy). In vitro isometric force development and pharmacology, in combination with RT-PCR, Western blotting and electron microscopy were used to study vascular properties. Compared with controls, mesenteric resistance arteries from the Bu-Cy group had larger internal circumference, showed enhanced endothelium mediated relaxation and increased expression of endothelial nitric oxide synthase (eNOS). Bu-Cy treated animals had lower mean blood pressure and signs of endothelial injury. Aortas of treated animals had a higher reactivity to noradrenaline. We conclude that short-term consequences of Bu-Cy treatment divergently affect large and small arteries of the cardiovascular system. The increased noradrenaline reactivity of large elastic arteries was not associated with increased blood pressure at rest. Instead, Bu-Cy treatment lowered blood pressure via augmented microvascular endothelial dependent relaxation, increased expression of vascular eNOS and remodeling toward a larger lumen. The changes in the properties of resistance arteries can be associated with direct effects of the compounds on vascular wall or possibly indirectly induced via altered translational activity associated with the reduced hematocrit and shear stress. This study contributes to understanding the mechanisms that underlie the early effects of conditioning regimen on resistance arteries and may help in designing further investigations to understand the late effects on vascular system

Global, regional, and national incidence, prevalence, and mortality of HIV, 1980–2017, and forecasts to 2030, for 195 countries and territories: a systematic analysis for the Global Burden of Diseases, Injuries, and Risk Factors Study 2017

Background Understanding the patterns of HIV/AIDS epidemics is crucial to tracking and monitoring the progress of prevention and control efforts in countries. We provide a comprehensive assessment of the levels and trends of HIV/AIDS incidence, prevalence, mortality, and coverage of antiretroviral therapy (ART) for 1980–2017 and forecast these estimates to 2030 for 195 countries and territories. Methods We determined a modelling strategy for each country on the basis of the availability and quality of data. For countries and territories with data from population-based seroprevalence surveys or antenatal care clinics, we estimated prevalence and incidence using an open-source version of the Estimation and Projection Package—a natural history model originally developed by the UNAIDS Reference Group on Estimates, Modelling, and Projections. For countries with cause-specific vital registration data, we corrected data for garbage coding (ie, deaths coded to an intermediate, immediate, or poorly defined cause) and HIV misclassification. We developed a process of cohort incidence bias adjustment to use information on survival and deaths recorded in vital registration to back-calculate HIV incidence. For countries without any representative data on HIV, we produced incidence estimates by pulling information from observed bias in the geographical region. We used a re-coded version of the Spectrum model (a cohort component model that uses rates of disease progression and HIV mortality on and off ART) to produce age-sex-specific incidence, prevalence, and mortality, and treatment coverage results for all countries, and forecast these measures to 2030 using Spectrum with inputs that were extended on the basis of past trends in treatment scale-up and new infections. Findings Global HIV mortality peaked in 2006 with 1·95 million deaths (95% uncertainty interval 1·87–2·04) and has since decreased to 0·95 million deaths (0·91–1·01) in 2017. New cases of HIV globally peaked in 1999 (3·16 million, 2·79–3·67) and since then have gradually decreased to 1·94 million (1·63–2·29) in 2017. These trends, along with ART scale-up, have globally resulted in increased prevalence, with 36·8 million (34·8–39·2) people living with HIV in 2017. Prevalence of HIV was highest in southern sub-Saharan Africa in 2017, and countries in the region had ART coverage ranging from 65·7% in Lesotho to 85·7% in eSwatini. Our forecasts showed that 54 countries will meet the UNAIDS target of 81% ART coverage by 2020 and 12 countries are on track to meet 90% ART coverage by 2030. Forecasted results estimate that few countries will meet the UNAIDS 2020 and 2030 mortality and incidence targets. Interpretation Despite progress in reducing HIV-related mortality over the past decade, slow decreases in incidence, combined with the current context of stagnated funding for related interventions, mean that many countries are not on track to reach the 2020 and 2030 global targets for reduction in incidence and mortality. With a growing population of people living with HIV, it will continue to be a major threat to public health for years to come. The pace of progress needs to be hastened by continuing to expand access to ART and increasing investments in proven HIV prevention initiatives that can be scaled up to have population-level impact

Prevalence and attributable health burden of chronic respiratory diseases, 1990–2017: A systematic analysis for the global burden of disease study 2017

© 2020 The Author(s). Published by Elsevier Ltd. This is an Open Access article under the CC BY 4.0 license Background: Previous attempts to characterise the burden of chronic respiratory diseases have focused only on specific disease conditions, such as chronic obstructive pulmonary disease (COPD) or asthma. In this study, we aimed to characterise the burden of chronic respiratory diseases globally, providing a comprehensive and up-to-date analysis on geographical and time trends from 1990 to 2017. Methods: Using data from the Global Burden of Diseases, Injuries, and Risk Factors Study (GBD) 2017, we estimated the prevalence, morbidity, and mortality attributable to chronic respiratory diseases through an analysis of deaths, disability-adjusted life-years (DALYs), and years of life lost (YLL) by GBD super-region, from 1990 to 2017, stratified by age and sex. Specific diseases analysed included asthma, COPD, interstitial lung disease and pulmonary sarcoidosis, pneumoconiosis, and other chronic respiratory diseases. We also assessed the contribution of risk factors (smoking, second-hand smoke, ambient particulate matter and ozone pollution, household air pollution from solid fuels, and occupational risks) to chronic respiratory disease-attributable DALYs. Findings: In 2017, 544·9 million people (95% uncertainty interval [UI] 506·9–584·8) worldwide had a chronic respiratory disease, representing an increase of 39·8% compared with 1990. Chronic respiratory disease prevalence showed wide variability across GBD super-regions, with the highest prevalence among both males and females in high-income regions, and the lowest prevalence in sub-Saharan Africa and south Asia. The age-sex-specific prevalence of each chronic respiratory disease in 2017 was also highly variable geographically. Chronic respiratory diseases were the third leading cause of death in 2017 (7·0% [95% UI 6·8–7·2] of all deaths), behind cardiovascular diseases and neoplasms. Deaths due to chronic respiratory diseases numbered 3 914 196 (95% UI 3 790 578–4 044 819) in 2017, an increase of 18·0% since 1990, while total DALYs increased by 13·3%. However, when accounting for ageing and population growth, declines were observed in age-standardised prevalence (14·3% decrease), age-standardised death rates (42·6%), and age-standardised DALY rates (38·2%). In males and females, most chronic respiratory disease-attributable deaths and DALYs were due to COPD. In regional analyses, mortality rates from chronic respiratory diseases were greatest in south Asia and lowest in sub-Saharan Africa, also across both sexes. Notably, although absolute prevalence was lower in south Asia than in most other super-regions, YLLs due to chronic respiratory diseases across the subcontinent were the highest in the world. Death rates due to interstitial lung disease and pulmonary sarcoidosis were greater than those due to pneumoconiosis in all super-regions. Smoking was the leading risk factor for chronic respiratory disease-related disability across all regions for men. Among women, household air pollution from solid fuels was the predominant risk factor for chronic respiratory diseases in south Asia and sub-Saharan Africa, while ambient particulate matter represented the leading risk factor in southeast Asia, east Asia, and Oceania, and in the Middle East and north Africa super-region. Interpretation: Our study shows that chronic respiratory diseases remain a leading cause of death and disability worldwide, with growth in absolute numbers but sharp declines in several age-standardised estimators since 1990. Premature mortality from chronic respiratory diseases seems to be highest in regions with less-resourced health systems on a per-capita basis. Funding: Bill & Melinda Gates Foundation

The global distribution of lymphatic filariasis, 2000–18: a geospatial analysis

Background Lymphatic filariasis is a neglected tropical disease that can cause permanent disability through disruption of the lymphatic system. This disease is caused by parasitic filarial worms that are transmitted by mosquitos. Mass drug administration (MDA) of antihelmintics is recommended by WHO to eliminate lymphatic filariasis as a public health problem. This study aims to produce the first geospatial estimates of the global prevalence of lymphatic filariasis infection over time, to quantify progress towards elimination, and to identify geographical variation in distribution of infection. Methods A global dataset of georeferenced surveyed locations was used to model annual 2000–18 lymphatic filariasis prevalence for 73 current or previously endemic countries. We applied Bayesian model-based geostatistics and time series methods to generate spatially continuous estimates of global all-age 2000–18 prevalence of lymphatic filariasis infection mapped at a resolution of 5 km2 and aggregated to estimate total number of individuals infected. Findings We used 14 927 datapoints to fit the geospatial models. An estimated 199 million total individuals (95% uncertainty interval 174–234 million) worldwide were infected with lymphatic filariasis in 2000, with totals for WHO regions ranging from 3·1 million (1·6–5·7 million) in the region of the Americas to 107 million (91–134 million) in the South-East Asia region. By 2018, an estimated 51 million individuals (43–63 million) were infected. Broad declines in prevalence are observed globally, but focal areas in Africa and southeast Asia remain less likely to have attained infection prevalence thresholds proposed to achieve local elimination. Interpretation Although the prevalence of lymphatic filariasis infection has declined since 2000, MDA is still necessary across large populations in Africa and Asia. Our mapped estimates can be used to identify areas where the probability of meeting infection thresholds is low, and when coupled with large uncertainty in the predictions, indicate additional data collection or intervention might be warranted before MDA programmes cease

Mapping inequalities in exclusive breastfeeding in low- and middle-income countries, 2000–2018

Exclusive breastfeeding (EBF)-giving infants only breast-milk for the first 6 months of life-is a component of optimal breastfeeding practices effective in preventing child morbidity and mortality. EBF practices are known to vary by population and comparable subnational estimates of prevalence and progress across low- and middle-income countries (LMICs) are required for planning policy and interventions. Here we present a geospatial analysis of EBF prevalence estimates from 2000 to 2018 across 94 LMICs mapped to policy-relevant administrative units (for example, districts), quantify subnational inequalities and their changes over time, and estimate probabilities of meeting the World Health Organization's Global Nutrition Target (WHO GNT) of ≥70% EBF prevalence by 2030. While six LMICs are projected to meet the WHO GNT of ≥70% EBF prevalence at a national scale, only three are predicted to meet the target in all their district-level units by 2030.This work was primarily supported by grant no. OPP1132415 from the Bill & Melinda Gates Foundation. Co-authors used by the Bill & Melinda Gates Foundation (E.G.P. and R.R.3) provided feedback on initial maps and drafts of this manuscript. L.G.A. has received support from Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, Brasil (CAPES), Código de Financiamento 001 and Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) (grant nos. 404710/2018-2 and 310797/2019-5). O.O.Adetokunboh acknowledges the National Research Foundation, Department of Science and Innovation and South African Centre for Epidemiological Modelling and Analysis. M.Ausloos, A.Pana and C.H. are partially supported by a grant from the Romanian National Authority for Scientific Research and Innovation, CNDS-UEFISCDI, project no. PN-III-P4-ID-PCCF-2016-0084. P.C.B. would like to acknowledge the support of F. Alam and A. Hussain. T.W.B. was supported by the Alexander von Humboldt Foundation through the Alexander von Humboldt Professor award, funded by the German Federal Ministry of Education and Research. K.Deribe is supported by the Wellcome Trust (grant no. 201900/Z/16/Z) as part of his international intermediate fellowship. C.H. and A.Pana are partially supported by a grant of the Romanian National Authority for Scientific Research and Innovation, CNDS-UEFISCDI, project no. PN-III-P2-2.1-SOL-2020-2-0351. B.Hwang is partially supported by China Medical University (CMU109-MF-63), Taichung, Taiwan. M.Khan acknowledges Jatiya Kabi Kazi Nazrul Islam University for their support. A.M.K. acknowledges the other collaborators and the corresponding author. Y.K. was supported by the Research Management Centre, Xiamen University Malaysia (grant no. XMUMRF/2020-C6/ITM/0004). K.Krishan is supported by a DST PURSE grant and UGC Centre of Advanced Study (CAS II) awarded to the Department of Anthropology, Panjab University, Chandigarh, India. M.Kumar would like to acknowledge FIC/NIH K43 TW010716-03. I.L. is a member of the Sistema Nacional de Investigación (SNI), which is supported by the Secretaría Nacional de Ciencia, Tecnología e Innovación (SENACYT), Panamá. M.L. was supported by China Medical University, Taiwan (CMU109-N-22 and CMU109-MF-118). W.M. is currently a programme analyst in Population and Development at the United Nations Population Fund (UNFPA) Country Office in Peru, which does not necessarily endorses this study. D.E.N. acknowledges Cochrane South Africa, South African Medical Research Council. G.C.P. is supported by an NHMRC research fellowship. P.Rathi acknowledges support from Kasturba Medical College, Mangalore, Manipal Academy of Higher Education, Manipal, India. Ramu Rawat acknowledges the support of the GBD Secretariat for supporting the reviewing and collaboration of this paper. B.R. acknowledges support from Manipal College of Health Professions, Manipal Academy of Higher Education, Manipal. A.Ribeiro was supported by National Funds through FCT, under the programme of ‘Stimulus of Scientific Employment—Individual Support’ within the contract no. info:eu-repo/grantAgreement/FCT/CEEC IND 2018/CEECIND/02386/2018/CP1538/CT0001/PT. S.Sajadi acknowledges colleagues at Global Burden of Diseases and Local Burden of Disease. A.M.S. acknowledges the support from the Egyptian Fulbright Mission Program. F.S. was supported by the Shenzhen Science and Technology Program (grant no. KQTD20190929172835662). A.Sheikh is supported by Health Data Research UK. B.K.S. acknowledges Kasturba Medical College, Mangalore, Manipal Academy of Higher Education, Manipal for all the academic support. B.U. acknowledges support from Manipal Academy of Higher Education, Manipal. C.S.W. is supported by the South African Medical Research Council. Y.Z. was supported by Science and Technology Research Project of Hubei Provincial Department of Education (grant no. Q20201104) and Outstanding Young and Middle-aged Technology Innovation Team Project of Hubei Provincial Department of Education (grant no. T2020003). The funders of the study had no role in study design, data collection and analysis, decision to publish or preparation of the manuscript. The corresponding author had full access to all the data in the study and had final responsibility for the decision to submit for publication. All maps presented in this study are generated by the authors and no permissions are required to publish them