Environmental Policy Update 2012: Development Strategies and Environmental Policy in East Africa

The seven chapters that comprise this report explore ways to integrate sustainability goals and objectives into Ethiopia's current development strategies

FreezeML:Complete and Easy Type Inference for First-Class Polymorphism

ML is remarkable in providing statically typed polymorphism without the programmer ever having to write any type annotations. The cost of this parsimony is that the programmer is limited to a form of polymorphism in which quantifiers can occur only at the outermost level of a type and type variables can be instantiated only with monomorphic types. Type inference for unrestricted System F-style polymorphism is undecidable in general. Nevertheless, the literature abounds with a range of proposals to bridge the gap between ML and System F. We put forth a new proposal, FreezeML, a conservative extension of ML with two new features. First, let- and lambda-binders may be annotated with arbitrary System F types. Second, variable occurrences may be frozen, explicitly disabling instantiation. FreezeML is equipped with type-preserving translations back and forth between System F and admits a type inference algorithm, an extension of algorithm W, that is sound and complete and which yields principal types.Comment: 48 pages, 23 Figures. Accepted for PLDI 202

Resonant Cavity Perturbation: A Promising New Method for the Assessment of Total Body Water in Children

The accurate measurement of total body water (TBW) in children has important clinical and nutritional applications. Resonant cavity perturbation (RCP) is a new method for estimating TBW. This method measures the dielectric properties of the body which are related to body water. For RCP measurements, each subject lay supine on a bed inside a screened room which acts as a resonant cavity. A network analyser measures the frequencies of two low-order cavity resonances of the room, with electric-field vectors that were respectively vertical and horizontal, the resonant frequency shifts relative to the empty room are then derived. These frequency shifts correlates with TBW. The aims of this present study were to a) develop TBWRCP predictive equations for children using TBWdil as the criterion method, b) cross-validate the derived equations, c) determine precision of the TBWRCP method, and d) compare the criterion method TBWdil with three methods of estimating TBW: RCP, MFBIS and Anthropometry. Predictive equations, independent of sex, were developed with linear regression in a group of 36 children. The relationship between combined RCP frequency shifts and TBWdilution had an r2=0.90 and standard error of the estimate (SEE) =1.42kg. Multiple regression analysis, that included a term for body mass index, only had a small effect on r2=0.93 and SEE=1.25kg. In-vivo TBW precision for the vertical, horizontal and combined frequency modes ranged from 0.7 to 3.4%. Bland Altman analysis indicated close agreement between the criterion method TBWdil and the three other methods of TBW estimation. Mean differences were TBWRCP(2) = 0.01+/-1.34kg, TBWMFBIS = 0.45+/-1.35kg, TBWAnthropometry = 0.29+/-1.29kg. Currently the RCP method does not significantly improve the prediction of TBW compared to MFBIS and anthropometry in this initial study. However the derived equation was independent of sex and body size had only a small effect

Decision-Making in Research Tasks with Sequential Testing

Background: In a recent controversial essay, published by JPA Ioannidis in PLoS Medicine, it has been argued that in some research fields, most of the published findings are false. Based on theoretical reasoning it can be shown that small effect sizes, error-prone tests, low priors of the tested hypotheses and biases in the evaluation and publication of research findings increase the fraction of false positives. These findings raise concerns about the reliability of research. However, they are based on a very simple scenario of scientific research, where single tests are used to evaluate independent hypotheses. Methodology/Principal Findings: In this study, we present computer simulations and experimental approaches for analyzing more realistic scenarios. In these scenarios, research tasks are solved sequentially, i.e. subsequent tests can be chosen depending on previous results. We investigate simple sequential testing and scenarios where only a selected subset of results can be published and used for future rounds of test choice. Results from computer simulations indicate that for the tasks analyzed in this study, the fraction of false among the positive findings declines over several rounds of testing if the most informative tests are performed. Our experiments show that human subjects frequently perform the most informative tests, leading to a decline of false positives as expected from the simulations. Conclusions/Significance: For the research tasks studied here, findings tend to become more reliable over time. We also find that the performance in those experimental settings where not all performed tests could be published turned out to be surprisingly inefficient. Our results may help optimize existing procedures used in the practice of scientific research and provide guidance for the development of novel forms of scholarly communication.Engineering and Applied SciencesPsycholog

The Long-Baseline Neutrino Experiment: Exploring Fundamental Symmetries of the Universe

The preponderance of matter over antimatter in the early Universe, the dynamics of the supernova bursts that produced the heavy elements necessary for life and whether protons eventually decay --- these mysteries at the forefront of particle physics and astrophysics are key to understanding the early evolution of our Universe, its current state and its eventual fate. The Long-Baseline Neutrino Experiment (LBNE) represents an extensively developed plan for a world-class experiment dedicated to addressing these questions. LBNE is conceived around three central components: (1) a new, high-intensity neutrino source generated from a megawatt-class proton accelerator at Fermi National Accelerator Laboratory, (2) a near neutrino detector just downstream of the source, and (3) a massive liquid argon time-projection chamber deployed as a far detector deep underground at the Sanford Underground Research Facility. This facility, located at the site of the former Homestake Mine in Lead, South Dakota, is approximately 1,300 km from the neutrino source at Fermilab -- a distance (baseline) that delivers optimal sensitivity to neutrino charge-parity symmetry violation and mass ordering effects. This ambitious yet cost-effective design incorporates scalability and flexibility and can accommodate a variety of upgrades and contributions. With its exceptional combination of experimental configuration, technical capabilities, and potential for transformative discoveries, LBNE promises to be a vital facility for the field of particle physics worldwide, providing physicists from around the globe with opportunities to collaborate in a twenty to thirty year program of exciting science. In this document we provide a comprehensive overview of LBNE's scientific objectives, its place in the landscape of neutrino physics worldwide, the technologies it will incorporate and the capabilities it will possess.Comment: Major update of previous version. This is the reference document for LBNE science program and current status. Chapters 1, 3, and 9 provide a comprehensive overview of LBNE's scientific objectives, its place in the landscape of neutrino physics worldwide, the technologies it will incorporate and the capabilities it will possess. 288 pages, 116 figure

Seven features of safety in maternity units: a framework based on multisite ethnography and stakeholder consultation

Background: Reducing avoidable harm in maternity services is a priority globally. As well as learning from mistakes, it is important to produce rigorous descriptions of ‘what good looks like’. Objective: We aimed to characterise features of safety in maternity units and to generate a plain language framework that could be used to guide learning and improvement. Methods: We conducted a multisite ethnography involving 401 hours of non-participant observations 33 semistructured interviews with staff across six maternity units, and a stakeholder consultation involving 65 semistructured telephone interviews and one focus group. Results: We identified seven features of safety in maternity units and summarised them into a framework, named For Us (For Unit Safety). The features include: (1) commitment to safety and improvement at all levels, with everyone involved; (2) technical competence, supported by formal training and informal learning; (3) teamwork, cooperation and positive working relationships; (4) constant reinforcing of safe, ethical and respectful behaviours; (5) multiple problem-sensing systems, used as basis of action; (6) systems and processes designed for safety, and regularly reviewed and optimised; (7) effective coordination and ability to mobilise quickly. These features appear to have a synergistic character, such that each feature is necessary but not sufficient on its own: the features operate in concert through multiple forms of feedback and amplification. Conclusions: This large qualitative study has enabled the generation of a new plain language framework—For Us—that identifies the behaviours and practices that appear to be features of safe care in hospital-based maternity units

Muon reconstruction and identification efficiency in ATLAS using the full Run 2 pp collision data set at \sqrt{s}=13 TeV

This article documents the muon reconstruction and identification efficiency obtained by the ATLAS experiment for 139 \hbox {fb}^{-1} of pp collision data at \sqrt{s}=13 TeV collected between 2015 and 2018 during Run 2 of the LHC. The increased instantaneous luminosity delivered by the LHC over this period required a reoptimisation of the criteria for the identification of prompt muons. Improved and newly developed algorithms were deployed to preserve high muon identification efficiency with a low misidentification rate and good momentum resolution. The availability of large samples of Z\rightarrow \mu \mu and J/\psi \rightarrow \mu \mu decays, and the minimisation of systematic uncertainties, allows the efficiencies of criteria for muon identification, primary vertex association, and isolation to be measured with an accuracy at the per-mille level in the bulk of the phase space, and up to the percent level in complex kinematic configurations. Excellent performance is achieved over a range of transverse momenta from 3 GeV to several hundred GeV, and across the full muon detector acceptance of |\eta |<2.7

Measurement of hadronic event shapes in high-p T multijet final states at √s = 13 TeV with the ATLAS detector

A measurement of event-shape variables in proton-proton collisions at large momentum transfer is presented using data collected at s = 13 TeV with the ATLAS detector at the Large Hadron Collider. Six event-shape variables calculated using hadronic jets are studied in inclusive multijet events using data corresponding to an integrated luminosity of 139 fb−1. Measurements are performed in bins of jet multiplicity and in different ranges of the scalar sum of the transverse momenta of the two leading jets, reaching scales beyond 2 TeV. These measurements are compared with predictions from Monte Carlo event generators containing leading-order or next-to-leading order matrix elements matched to parton showers simulated to leading-logarithm accuracy. At low jet multiplicities, shape discrepancies between the measurements and the Monte Carlo predictions are observed. At high jet multiplicities, the shapes are better described but discrepancies in the normalisation are observed. [Figure not available: see fulltext.