43 research outputs found
Homotopy Theoretic Models of Type Theory
We introduce the notion of a logical model category which is a Quillen model
category satisfying some additional conditions. Those conditions provide enough
expressive power that one can soundly interpret dependent products and sums in
it. On the other hand, those conditions are easy to check and provide a wide
class of models some of which are listed in the paper.Comment: Corrected version of the published articl
Recommended from our members
Developing theory and practice: Creation of a Community of Practice through Action Research produced excellence in stroke care
The study was funded by a grant from the Special Trustees of the Trust. Copyright @ 2010 Informa UK, Ltd.This article has been made available through the Brunel Open Access Publishing Fund.This article has been made available through the Brunel Open Access Publishing Fund.Much emphasis is placed on expert knowledge like evidence-based stroke guidelines, with insufficient attention paid to processes required to translate this into delivery of everyday good care. This paper highlights the worth of creating a Community of Practice (CoP) as a means to achieve this. Drawing on findings from a study conducted in 2000/2002 of processes involved in establishing a nationally lauded high quality Stroke Unit, it demonstrates how successful development of a new service was linked to creation of a CoP. Recent literature suggests CoPs have a key in implementing evidence-based practice; this study supports this claim whilst revealing for the first time the practical knowledge and skills required to develop this style of working. Findings indicate that participatory and democratic characteristics of Action Research are congruent with the collaborative approach required for developing a CoP. The study is an exemplar of how practitioner researchers can capture learning from changing practice, thus contributing to evidence-based healthcare with theoretical and practical knowledge. Findings are relevant to those developing stroke services globally but also to those interested in evidencebased practice.This article is available through the Brunel Open Access Publishing Fund
Particle Acceleration in Cosmic Sites - Astrophysics Issues in our Understanding of Cosmic Rays
Laboratory experiments to explore plasma conditions and stimulated particle
acceleration can illuminate aspects of the cosmic particle acceleration
process. Here we discuss the cosmic-ray candidate source object variety, and
what has been learned about their particle-acceleration characteristics. We
identify open issues as discussed among astrophysicists. -- The cosmic ray
differential intensity spectrum is a rather smooth power-law spectrum, with two
kinks at the "knee" (~10^15 eV) and at the "ankle" (~3 10^18 eV). It is unclear
if these kinks are related to boundaries between different dominating sources,
or rather related to characteristics of cosmic-ray propagation. We believe that
Galactic sources dominate up to 10^17 eV or even above, and the extragalactic
origin of cosmic rays at highest energies merges rather smoothly with Galactic
contributions throughout the 10^15--10^18 eV range. Pulsars and supernova
remnants are among the prime candidates for Galactic cosmic-ray production,
while nuclei of active galaxies are considered best candidates to produce
ultrahigh-energy cosmic rays of extragalactic origin. Acceleration processes
are related to shocks from violent ejections of matter from energetic sources
such as supernova explosions or matter accretion onto black holes. Details of
such acceleration are difficult, as relativistic particles modify the structure
of the shock, and simple approximations or perturbation calculations are
unsatisfactory. This is where laboratory plasma experiments are expected to
contribute, to enlighten the non-linear processes which occur under such
conditions.Comment: accepted for publication in EPJD, topical issue on Fundamental
physics and ultra-high laser fields. From review talk at "Extreme Light
Infrastructure" workshop, Sep 2008. Version-2 May 2009: adjust some wordings
and references at EPJD proofs stag
Relic neutrino masses and the highest energy cosmic rays
We consider the possibility that a large fraction of the ultrahigh energy
cosmic rays are decay products of Z bosons which were produced in the
scattering of ultrahigh energy cosmic neutrinos on cosmological relic
neutrinos. We compare the observed ultrahigh energy cosmic ray spectrum with
the one predicted in the above Z-burst scenario and determine the required mass
of the heaviest relic neutrino as well as the necessary ultrahigh energy cosmic
neutrino flux via a maximum likelihood analysis. We show that the value of the
neutrino mass obtained in this way is fairly robust against variations in
presently unknown quantities, like the amount of neutrino clustering, the
universal radio background, and the extragalactic magnetic field, within their
anticipated uncertainties. Much stronger systematics arises from different
possible assumptions about the diffuse background of ordinary cosmic rays from
unresolved astrophysical sources. In the most plausible case that these
ordinary cosmic rays are protons of extragalactic origin, one is lead to a
required neutrino mass in the range 0.08 eV - 1.3 eV at the 68 % confidence
level. This range narrows down considerably if a particular universal radio
background is assumed, e.g. to 0.08 eV - 0.40 eV for a large one. The required
flux of ultrahigh energy cosmic neutrinos near the resonant energy should be
detected in the near future by AMANDA, RICE, and the Pierre Auger Observatory,
otherwise the Z-burst scenario will be ruled out.Comment: 19 pages, 22 figures, REVTeX
Energy and Flux Measurements of Ultra-High Energy Cosmic Rays Observed During the First ANITA Flight
The first flight of the Antarctic Impulsive Transient Antenna (ANITA)
experiment recorded 16 radio signals that were emitted by cosmic-ray induced
air showers. For 14 of these events, this radiation was reflected from the ice.
The dominant contribution to the radiation from the deflection of positrons and
electrons in the geomagnetic field, which is beamed in the direction of motion
of the air shower. This radiation is reflected from the ice and subsequently
detected by the ANITA experiment at a flight altitude of 36km. In this paper,
we estimate the energy of the 14 individual events and find that the mean
energy of the cosmic-ray sample is 2.9 EeV. By simulating the ANITA flight, we
calculate its exposure for ultra-high energy cosmic rays. We estimate for the
first time the cosmic-ray flux derived only from radio observations. In
addition, we find that the Monte Carlo simulation of the ANITA data set is in
agreement with the total number of observed events and with the properties of
those events.Comment: Added more explanation of the experimental setup and textual
improvement
The Antarctic Impulsive Transient Antenna Ultra-high Energy Neutrino Detector Design, Performance, and Sensitivity for 2006-2007 Balloon Flight
We present a detailed report on the experimental details of the Antarctic
Impulsive Transient Antenna (ANITA) long duration balloon payload, including
the design philosophy and realization, physics simulations, performance of the
instrument during its first Antarctic flight completed in January of 2007, and
expectations for the limiting neutrino detection sensitivity. Neutrino physics
results will be reported separately.Comment: 50 pages, 49 figures, in preparation for PR
Graph Neural Networks for low-energy event classification & reconstruction in IceCube
IceCube, a cubic-kilometer array of optical sensors built to detect atmospheric and astrophysical neutrinos between 1 GeV and 1 PeV, is deployed 1.45 km to 2.45 km below the surface of the ice sheet at the South Pole. The classification and reconstruction of events from the in-ice detectors play a central role in the analysis of data from IceCube. Reconstructing and classifying events is a challenge due to the irregular detector geometry, inhomogeneous scattering and absorption of light in the ice and, below 100 GeV, the relatively low number of signal photons produced per event. To address this challenge, it is possible to represent IceCube events as point cloud graphs and use a Graph Neural Network (GNN) as the classification and reconstruction method. The GNN is capable of distinguishing neutrino events from cosmic-ray backgrounds, classifying different neutrino event types, and reconstructing the deposited energy, direction and interaction vertex. Based on simulation, we provide a comparison in the 1 GeVâ100 GeV energy range to the current state-of-the-art maximum likelihood techniques used in current IceCube analyses, including the effects of known systematic uncertainties. For neutrino event classification, the GNN increases the signal efficiency by 18% at a fixed background rate, compared to current IceCube methods. Alternatively, the GNN offers a reduction of the background (i.e. false positive) rate by over a factor 8 (to below half a percent) at a fixed signal efficiency. For the reconstruction of energy, direction, and interaction vertex, the resolution improves by an average of 13%â20% compared to current maximum likelihood techniques in the energy range of 1 GeVâ30 GeV. The GNN, when run on a GPU, is capable of processing IceCube events at a rate nearly double of the median IceCube trigger rate of 2.7 kHz, which opens the possibility of using low energy neutrinos in online searches for transient events.Peer Reviewe
A muon-track reconstruction exploiting stochastic losses for large-scale Cherenkov detectors
IceCube is a cubic-kilometer Cherenkov telescope operating at the South Pole. The main goal of IceCube is the detection of astrophysical neutrinos and the identification of their sources. High-energy muon neutrinos are observed via the secondary muons produced in charge current interactions with nuclei in the ice. Currently, the best performing muon track directional reconstruction is based on a maximum likelihood method using the arrival time distribution of Cherenkov photons registered by the experiment\u27s photomultipliers. A known systematic shortcoming of the prevailing method is to assume a continuous energy loss along the muon track. However at energies >1 TeV the light yield from muons is dominated by stochastic showers. This paper discusses a generalized ansatz where the expected arrival time distribution is parametrized by a stochastic muon energy loss pattern. This more realistic parametrization of the loss profile leads to an improvement of the muon angular resolution of up to 20% for through-going tracks and up to a factor 2 for starting tracks over existing algorithms. Additionally, the procedure to estimate the directional reconstruction uncertainty has been improved to be more robust against numerical errors
Genetic determinants of telomere length from 109,122 ancestrally diverse whole-genome sequences in TOPMed
Genetic studies on telomere length are important for understanding age-related diseases. Prior GWASs for leukocyte TL have been limited to European and Asian populations. Here, we report the first sequencing-based association study for TL across ancestrally diverse individuals (European, African, Asian, and Hispanic/Latino) from the NHLBI Trans-Omics for Precision Medicine (TOPMed) program. We used whole-genome sequencing (WGS) of whole blood for variant genotype calling and the bioinformatic estimation of telomere length in n = 109,122 individuals. We identified 59 sentinel variants (p < 5 Ă 10â9) in 36 loci associated with telomere length, including 20 newly associated loci (13 were replicated in external datasets). There was little evidence of effect size heterogeneity across populations. Fine-mapping at OBFC1 indicated that the independent signals colocalized with cell-type-specific eQTLs for OBFC1 (STN1). Using a multi-variant gene-based approach, we identified two genes newly implicated in telomere length, DCLRE1B (SNM1B) and PARN. In PheWAS, we demonstrated that our TL polygenic trait scores (PTSs) were associated with an increased risk of cancer-related phenotypes