1,056 research outputs found
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
Measurement of the tt¯tt¯ production cross section in pp collisions at √s=13 TeV with the ATLAS detector
A measurement of four-top-quark production using proton-proton collision data at a centre-of-mass energy of 13 TeV collected by the ATLAS detector at the Large Hadron Collider corresponding to an integrated luminosity of 139 fb−1 is presented. Events are selected if they contain a single lepton (electron or muon) or an opposite-sign lepton pair, in association with multiple jets. The events are categorised according to the number of jets and how likely these are to contain b-hadrons. A multivariate technique is then used to discriminate between signal and background events. The measured four-top-quark production cross section is found to be 26+17−15 fb, with a corresponding observed (expected) significance of 1.9 (1.0) standard deviations over the background-only hypothesis. The result is combined with the previous measurement performed by the ATLAS Collaboration in the multilepton final state. The combined four-top-quark production cross section is measured to be 24+7−6 fb, with a corresponding observed (expected) signal significance of 4.7 (2.6) standard deviations over the background-only predictions. It is consistent within 2.0 standard deviations with the Standard Model expectation of 12.0 ± 2.4 fb
Measurements of Higgs bosons decaying to bottom quarks from vector boson fusion production with the ATLAS experiment at √=13TeV
The paper presents a measurement of the Standard Model Higgs Boson decaying to b-quark pairs in the vector boson fusion (VBF) production mode. A sample corresponding to 126 fb−1 of s√=13TeV proton–proton collision data, collected with the ATLAS experiment at the Large Hadron Collider, is analyzed utilizing an adversarial neural network for event classification. The signal strength, defined as the ratio of the measured signal yield to that predicted by the Standard Model for VBF Higgs production, is measured to be 0.95+0.38−0.36 , corresponding to an observed (expected) significance of 2.6 (2.8) standard deviations from the background only hypothesis. The results are additionally combined with an analysis of Higgs bosons decaying to b-quarks, produced via VBF in association with a photon
- …