157 research outputs found
Computing, Design, Art: Reflections on an Innovative Moment in History
The paper is concerned with the role of art and design in the history and philosophy of computing. It offers insights arising from research into a period in the 1960s and 70s, particularly in the UK, when computing became more available to artists and designers, focusing on John Lansdown (1929-1999) and Bruce Archer (1922-2005) in London. Models of computing interacted with conceptualisations of art, design and related creative activities in important ways
Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries
We explore the application of graph database technology to
spatio-temporal model checking of cooperating cyber-physical systems-of-systems such as vehicle platoons. We present a translation of spatio-temporal automata (STA) and the spatio-temporal logic STAL to semantically equivalent property graphs and graph queries respectively. We prove a sound reduction of the spatio-temporal verification problem to graph database query solving. The practicability and efficiency of this approach is evaluated by introducing NeoMC, a prototype implementation of our explicit model checking approach based on Neo4j. To evaluate NeoMC we consider case studies of verifying vehicle platooning models. Our evaluation demonstrates the effectiveness of our approach in terms
of execution time and counterexample detection
Performance study of a 3 x 1 x 1 m(3) dual phase liquid Argon Time Projection Chamber exposed to cosmic rays
This work would not have been possible without the support of the Swiss National Science Foundation, Switzerland; CEA and CNRS/IN2P3, France; KEK and the JSPS program, Japan; Ministerio de Ciencia e Innovacion in Spain under grants FPA2016-77347-C2, SEV-2016-0588 and MdM-2015-0509, Comunidad de Madrid, the CERCA program of the Generalitat de Catalunya and the fellowship (LCF/BQ/DI18/11660043) from "La Caixa" Foundation (ID 100010434); the Programme PNCDI III, CERN-RO, under Contract 2/2020, Romania; the U.S. Department of Energy under Grant No. DE-SC0011686. This project has received funding from the European Union's Horizon 2020 Research and Innovation program under Grant Agreement no. 654168. The authors are also grateful to the French government operated by the National Research Agency (ANR) for the LABEX Enigmass, LABEX Lyon Institute of Origins (ANR-10-LABX-0066) of the Universite de Lyon for its financial support within the program "Investissements d'Avenir" (ANR-11-IDEX-0007).We report the results of the analyses of the cosmic ray data collected with a 4 tonne (3x1x1 m(3)) active mass (volume) Liquid Argon Time-Projection Chamber (TPC) operated in a dual-phase mode. We present a detailed study of the TPC's response, its main detector parameters and performance. The results are important for the understanding and further developments of the dual-phase technology, thanks to the verification of key aspects, such as the extraction of electrons from liquid to gas and their amplification through the entire one square metre readout plain, gain stability, purity and charge sharing between readout views.Swiss National Science Foundation (SNSF)French Atomic Energy CommissionCentre National de la Recherche Scientifique (CNRS)High Energy Accelerator Research Organization (KEK)Ministry of Education, Culture, Sports, Science and Technology, Japan (MEXT)Japan Society for the Promotion of ScienceSpanish Government FPA2016-77347-C2
SEV-2016-0588MdM-2015-0509Comunidad de MadridCERCA program of the Generalitat de CatalunyaLa Caixa Foundation LCF/BQ/DI18/11660043
100010434Programme PNCDI III, RomaniaCERN-RO, Romania 2/2020United States Department of Energy (DOE) SC0011686European Commission 654168Universite de Lyon ANR-10-LABX-0066
ANR-11-IDEX-000
Low-Energy Physics in Neutrino LArTPCs
In this white paper, we outline some of the scientific opportunities and challenges related to detection and reconstruction of low-energy (less than 100 MeV) signatures in liquid argon time-projection chamber (LArTPC) detectors. Key takeaways are summarized as follows. 1) LArTPCs have unique sensitivity to a range of physics and astrophysics signatures via detection of event features at and below the few tens of MeV range. 2) Low-energy signatures are an integral part of GeV-scale accelerator neutrino interaction final states, and their reconstruction can enhance the oscillation physics sensitivities of LArTPC experiments. 3) BSM signals from accelerator and natural sources also generate diverse signatures in the low-energy range, and reconstruction of these signatures can increase the breadth of BSM scenarios accessible in LArTPC-based searches. 4) Neutrino interaction cross sections and other nuclear physics processes in argon relevant to sub-hundred-MeV LArTPC signatures are poorly understood. Improved theory and experimental measurements are needed. Pion decay-at-rest sources and charged particle and neutron test beams are ideal facilities for experimentally improving this understanding. 5) There are specific calibration needs in the low-energy range, as well as specific needs for control and understanding of radiological and cosmogenic backgrounds. 6) Novel ideas for future LArTPC technology that enhance low-energy capabilities should be explored. These include novel charge enhancement and readout systems, enhanced photon detection, low radioactivity argon, and xenon doping. 7) Low-energy signatures, whether steady-state or part of a supernova burst or larger GeV-scale event topology, have specific triggering, DAQ and reconstruction requirements that must be addressed outside the scope of conventional GeV-scale data collection and analysis pathways
Low exposure long-baseline neutrino oscillation sensitivity of the DUNE experiment
The Deep Underground Neutrino Experiment (DUNE) will produce world-leading
neutrino oscillation measurements over the lifetime of the experiment. In this
work, we explore DUNE's sensitivity to observe charge-parity violation (CPV) in
the neutrino sector, and to resolve the mass ordering, for exposures of up to
100 kiloton-megawatt-years (kt-MW-yr). The analysis includes detailed
uncertainties on the flux prediction, the neutrino interaction model, and
detector effects. We demonstrate that DUNE will be able to unambiguously
resolve the neutrino mass ordering at a 3 (5) level, with a 66
(100) kt-MW-yr far detector exposure, and has the ability to make strong
statements at significantly shorter exposures depending on the true value of
other oscillation parameters. We also show that DUNE has the potential to make
a robust measurement of CPV at a 3 level with a 100 kt-MW-yr exposure
for the maximally CP-violating values \delta_{\rm CP}} = \pm\pi/2.
Additionally, the dependence of DUNE's sensitivity on the exposure taken in
neutrino-enhanced and antineutrino-enhanced running is discussed. An equal
fraction of exposure taken in each beam mode is found to be close to optimal
when considered over the entire space of interest
Identification and reconstruction of low-energy electrons in the ProtoDUNE-SP detector
Measurements of electrons from interactions are crucial for the Deep
Underground Neutrino Experiment (DUNE) neutrino oscillation program, as well as
searches for physics beyond the standard model, supernova neutrino detection,
and solar neutrino measurements. This article describes the selection and
reconstruction of low-energy (Michel) electrons in the ProtoDUNE-SP detector.
ProtoDUNE-SP is one of the prototypes for the DUNE far detector, built and
operated at CERN as a charged particle test beam experiment. A sample of
low-energy electrons produced by the decay of cosmic muons is selected with a
purity of 95%. This sample is used to calibrate the low-energy electron energy
scale with two techniques. An electron energy calibration based on a cosmic ray
muon sample uses calibration constants derived from measured and simulated
cosmic ray muon events. Another calibration technique makes use of the
theoretically well-understood Michel electron energy spectrum to convert
reconstructed charge to electron energy. In addition, the effects of detector
response to low-energy electron energy scale and its resolution including
readout electronics threshold effects are quantified. Finally, the relation
between the theoretical and reconstructed low-energy electron energy spectrum
is derived and the energy resolution is characterized. The low-energy electron
selection presented here accounts for about 75% of the total electron deposited
energy. After the addition of lost energy using a Monte Carlo simulation, the
energy resolution improves from about 40% to 25% at 50~MeV. These results are
used to validate the expected capabilities of the DUNE far detector to
reconstruct low-energy electrons.Comment: 19 pages, 10 figure
A Gaseous Argon-Based Near Detector to Enhance the Physics Capabilities of DUNE
This document presents the concept and physics case for a magnetized gaseous argon-based detector system (ND-GAr) for the Deep Underground Neutrino Experiment (DUNE) Near Detector. This detector system is required in order for DUNE to reach its full physics potential in the measurement of CP violation and in delivering precision measurements of oscillation parameters. In addition to its critical role in the long-baseline oscillation program, ND-GAr will extend the overall physics program of DUNE. The LBNF high-intensity proton beam will provide a large flux of neutrinos that is sampled by ND-GAr, enabling DUNE to discover new particles and search for new interactions and symmetries beyond those predicted in the Standard Model
Snowmass Neutrino Frontier: DUNE Physics Summary
The Deep Underground Neutrino Experiment (DUNE) is a next-generation long-baseline neutrino oscillation experiment with a primary physics goal of observing neutrino and antineutrino oscillation patterns to precisely measure the parameters governing long-baseline neutrino oscillation in a single experiment, and to test the three-flavor paradigm. DUNE's design has been developed by a large, international collaboration of scientists and engineers to have unique capability to measure neutrino oscillation as a function of energy in a broadband beam, to resolve degeneracy among oscillation parameters, and to control systematic uncertainty using the exquisite imaging capability of massive LArTPC far detector modules and an argon-based near detector. DUNE's neutrino oscillation measurements will unambiguously resolve the neutrino mass ordering and provide the sensitivity to discover CP violation in neutrinos for a wide range of possible values of δCP. DUNE is also uniquely sensitive to electron neutrinos from a galactic supernova burst, and to a broad range of physics beyond the Standard Model (BSM), including nucleon decays. DUNE is anticipated to begin collecting physics data with Phase I, an initial experiment configuration consisting of two far detector modules and a minimal suite of near detector components, with a 1.2 MW proton beam. To realize its extensive, world-leading physics potential requires the full scope of DUNE be completed in Phase II. The three Phase II upgrades are all necessary to achieve DUNE's physics goals: (1) addition of far detector modules three and four for a total FD fiducial mass of at least 40 kt, (2) upgrade of the proton beam power from 1.2 MW to 2.4 MW, and (3) replacement of the near detector's temporary muon spectrometer with a magnetized, high-pressure gaseous argon TPC and calorimeter
Long-baseline neutrino oscillation physics potential of the DUNE experiment
The sensitivity of the Deep Underground Neutrino Experiment (DUNE) to neutrino oscillation is determined, based on a full simulation, reconstruction, and event selection of the far detector and a full simulation and parameterized analysis of the near detector. Detailed uncertainties due to the flux prediction, neutrino interaction model, and detector effects are included. DUNE will resolve the neutrino mass ordering to a precision of 5σ, for all ΑCP values, after 2 years of running with the nominal detector design and beam configuration. It has the potential to observe charge-parity violation in the neutrino sector to a precision of 3σ (5σ) after an exposure of 5 (10) years, for 50% of all ΑCP values. It will also make precise measurements of other parameters governing long-baseline neutrino oscillation, and after an exposure of 15 years will achieve a similar sensitivity to sin22θ13 to current reactor experiments
Snowmass Neutrino Frontier: DUNE Physics Summary
The Deep Underground Neutrino Experiment (DUNE) is a next-generation
long-baseline neutrino oscillation experiment with a primary physics goal of
observing neutrino and antineutrino oscillation patterns to precisely measure
the parameters governing long-baseline neutrino oscillation in a single
experiment, and to test the three-flavor paradigm. DUNE's design has been
developed by a large, international collaboration of scientists and engineers
to have unique capability to measure neutrino oscillation as a function of
energy in a broadband beam, to resolve degeneracy among oscillation parameters,
and to control systematic uncertainty using the exquisite imaging capability of
massive LArTPC far detector modules and an argon-based near detector. DUNE's
neutrino oscillation measurements will unambiguously resolve the neutrino mass
ordering and provide the sensitivity to discover CP violation in neutrinos for
a wide range of possible values of . DUNE is also uniquely
sensitive to electron neutrinos from a galactic supernova burst, and to a broad
range of physics beyond the Standard Model (BSM), including nucleon decays.
DUNE is anticipated to begin collecting physics data with Phase I, an initial
experiment configuration consisting of two far detector modules and a minimal
suite of near detector components, with a 1.2 MW proton beam. To realize its
extensive, world-leading physics potential requires the full scope of DUNE be
completed in Phase II. The three Phase II upgrades are all necessary to achieve
DUNE's physics goals: (1) addition of far detector modules three and four for a
total FD fiducial mass of at least 40 kt, (2) upgrade of the proton beam power
from 1.2 MW to 2.4 MW, and (3) replacement of the near detector's temporary
muon spectrometer with a magnetized, high-pressure gaseous argon TPC and
calorimeter.Comment: Contribution to Snowmass 202
- …