401 research outputs found
UHE tau neutrino flux regeneration while skimming the Earth
The detection of Earth-skimming tau neutrinos has turned into a very
promising strategy for the observation of ultra-high energy cosmic neutrinos.
The sensitivity of this channel crucially depends on the parameters of the
propagation of the tau neutrinos through the terrestrial crust, which governs
the flux of emerging tau leptons that can be detected. One of the
characteristics of this propagation is the possibility of regeneration through
multiple conversions, which are often neglected
in the standard picture. In this paper, we solve the transport equations
governing the propagation and compare the flux of emerging tau
leptons obtained allowing regeneration or not. We discuss the validity of the
approximation of neglecting the regeneration using different
scenarios for the neutrino-nucleon cross-sections and the tau energy losses.Comment: 8 pages, 8 figure
Guided Unfoldings for Finding Loops in Standard Term Rewriting
In this paper, we reconsider the unfolding-based technique that we have
introduced previously for detecting loops in standard term rewriting. We
improve it by guiding the unfolding process, using distinguished positions in
the rewrite rules. This results in a depth-first computation of the unfoldings,
whereas the original technique was breadth-first. We have implemented this new
approach in our tool NTI and compared it to the previous one on a bunch of
rewrite systems. The results we get are promising (better times, more
successful proofs).Comment: Pre-proceedings paper presented at the 28th International Symposium
on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), Frankfurt
am Main, Germany, 4-6 September 2018 (arXiv:1808.03326
Efficient Set Sharing Using ZBDDs
Set sharing is an abstract domain in which each concrete object is represented by the set of local variables from which it might be reachable. It is a useful abstraction to detect parallelism opportunities, since it contains definite information about which variables do not share in memory, i.e., about when the memory regions reachable from those variables are disjoint. Set sharing is a more precise alternative to pair sharing, in which each domain element is a set of all pairs of local variables from which a common object may be reachable. However, the exponential complexity of some set sharing operations has limited its wider application. This work introduces an efficient implementation of the set sharing domain using Zero-suppressed Binary Decision Diagrams (ZBDDs). Because ZBDDs were designed to represent sets of combinations (i.e., sets of sets), they naturally represent elements of the set sharing domain. We show how to synthesize the operations needed in the set sharing transfer functions from basic ZBDD operations. For some of the operations, we devise custom ZBDD algorithms that perform better in practice. We also compare our implementation of the abstract domain with an efficient, compact, bit set-based alternative, and show that the ZBDD version scales better in terms of both memory usage and running time
Radio emission of extensive air shower at CODALEMA: Polarization of the radio emission along the v*B vector
Cosmic rays extensive air showers (EAS) are associated with transient radio
emission, which could provide an efficient new detection method of high energy
cosmic rays, combining a calorimetric measurement with a high duty cycle. The
CODALEMA experiment, installed at the Radio Observatory in Nancay, France, is
investigating this phenomenon in the 10^17 eV region. One challenging point is
the understanding of the radio emission mechanism. A first observation
indicating a linear relation between the electric field produced and the cross
product of the shower axis with the geomagnetic field direction has been
presented (B. Revenu, this conference). We will present here other strong
evidences for this linear relationship, and some hints on its physical origin.Comment: Contribution to the 31st International Cosmic Ray Conference, Lodz,
Poland, July 2009. 4 pages, 8 figures. v2: Typo fixed, arxiv references adde
Tritiated Steel Micro-Particles: Computational Dosimetry and Prediction of Radiation-Induced DNA Damage for In Vitro Cell Culture Exposures.
Biological effects of radioactive particles can be experimentally investigated in vitro as a function of particle concentration, specific activity and exposure time. However, a careful dosimetric analysis is needed to elucidate the role of radiation emitted by radioactive products in inducing cyto- and geno-toxicity: the quantification of radiation dose is essential to eventually inform dose-risk correlations. This is even more fundamental when radioactive particles are short-range emitters and when they have a chemical speciation that might further concur to the heterogeneity of energy deposition at the cellular and sub-cellular level. To this aim, we need to use computational models. In this work, we made use of a Monte Carlo radiation transport code to perform a computational dosimetric reconstruction for in vitro exposure of cells to tritiated steel particles of micrometric size. Particles of this kind have been identified as worth of attention in nuclear power industry and research: tritium easily permeates in steel elements of nuclear reactor machinery, and mechanical operations on these elements (e.g., sawing) during decommissioning of old facilities can result in particle dispersion, leading to human exposure via inhalation. Considering the software replica of a representative in vitro setup to study the effect of such particles, we therefore modelled the radiation field due to the presence of particles in proximity of cells. We developed a computational approach to reconstruct the dose range to individual cell nuclei in contact with a particle, as well as the fraction of "hit" cells and the average dose for the whole cell population, as a function of particle concentration in the culture medium. The dosimetric analysis also provided the basis to make predictions on tritium-induced DNA damage: we estimated the dose-dependent expected yield of DNA double strand breaks due to tritiated steel particle radiation, as an indicator of their expected biological effectiveness
High intensity neutrino oscillation facilities in Europe
The EUROnu project has studied three possible options for future, high intensity neutrino oscillation facilities in Europe. The first is a Super Beam, in which the neutrinos come from the decay of pions created by bombarding targets with a 4 MW proton beam from the CERN High Power Superconducting Proton Linac. The far detector for this facility is the 500 kt MEMPHYS water Cherenkov, located in the Fréjus tunnel. The second facility is the Neutrino Factory, in which the neutrinos come from the decay of μ+ and μ− beams in a storage ring. The far detector in this case is a 100 kt magnetized iron neutrino detector at a baseline of 2000 km. The third option is a Beta Beam, in which the neutrinos come from the decay of beta emitting isotopes, in particular He6 and Ne18, also stored in a ring. The far detector is also the MEMPHYS detector in the Fréjus tunnel. EUROnu has undertaken conceptual designs of these facilities and studied the performance of the detectors. Based on this, it has determined the physics reach of each facility, in particular for the measurement of CP violation in the lepton sector, and estimated the cost of construction. These have demonstrated that the best facility to build is the Neutrino Factory. However, if a powerful proton driver is constructed for another purpose or if the MEMPHYS detector is built for astroparticle physics, the Super Beam also becomes very attractive
Topical Review on "Beta-beams"
Neutrino physics is traversing an exciting period, after the important
discovery that neutrinos are massive particles, that has implications from
high-energy physics to cosmology. A new method for the production of intense
and pure neutrino beams has been proposed recently: the ``beta-beam''. It
exploits boosted radioactive ions decaying through beta-decay. This novel
concept has been the starting point for a new possible future facility. Its
main goal is to address the crucial issue of the existence of CP violation in
the lepton sector. Here we review the status and the recent developments with
beta-beams. We discuss the original, the medium and high-energy scenarios as
well as mono-chromatic neutrino beams produced through ion electron-capture.
The issue of the degeneracies is mentioned. An overview of low energy
beta-beams is also presented. These beams can be used to perform experiments of
interest for nuclear structure, for the study of fundamental interactions and
for nuclear astrophysics.Comment: Topical Review for Journal of Physics G: Nuclear and Particle
Physics, published version, minor corrections, references adde
Asteroids' physical models from combined dense and sparse photometry and scaling of the YORP effect by the observed obliquity distribution
The larger number of models of asteroid shapes and their rotational states
derived by the lightcurve inversion give us better insight into both the nature
of individual objects and the whole asteroid population. With a larger
statistical sample we can study the physical properties of asteroid
populations, such as main-belt asteroids or individual asteroid families, in
more detail. Shape models can also be used in combination with other types of
observational data (IR, adaptive optics images, stellar occultations), e.g., to
determine sizes and thermal properties. We use all available photometric data
of asteroids to derive their physical models by the lightcurve inversion method
and compare the observed pole latitude distributions of all asteroids with
known convex shape models with the simulated pole latitude distributions. We
used classical dense photometric lightcurves from several sources and
sparse-in-time photometry from the U.S. Naval Observatory in Flagstaff,
Catalina Sky Survey, and La Palma surveys (IAU codes 689, 703, 950) in the
lightcurve inversion method to determine asteroid convex models and their
rotational states. We also extended a simple dynamical model for the spin
evolution of asteroids used in our previous paper. We present 119 new asteroid
models derived from combined dense and sparse-in-time photometry. We discuss
the reliability of asteroid shape models derived only from Catalina Sky Survey
data (IAU code 703) and present 20 such models. By using different values for a
scaling parameter cYORP (corresponds to the magnitude of the YORP momentum) in
the dynamical model for the spin evolution and by comparing synthetics and
observed pole-latitude distributions, we were able to constrain the typical
values of the cYORP parameter as between 0.05 and 0.6.Comment: Accepted for publication in A&A, January 15, 201
Status and Recent Results of the Acoustic Neutrino Detection Test System AMADEUS
The AMADEUS system is an integral part of the ANTARES neutrino telescope in
the Mediterranean Sea. The project aims at the investigation of techniques for
acoustic neutrino detection in the deep sea. Installed at a depth of more than
2000m, the acoustic sensors of AMADEUS are based on piezo-ceramics elements for
the broad-band recording of signals with frequencies ranging up to 125kHz.
AMADEUS was completed in May 2008 and comprises six "acoustic clusters", each
one holding six acoustic sensors that are arranged at distances of roughly 1m
from each other. The clusters are installed with inter-spacings ranging from
15m to 340m. Acoustic data are continuously acquired and processed at a
computer cluster where online filter algorithms are applied to select a
high-purity sample of neutrino-like signals. 1.6 TB of data were recorded in
2008 and 3.2 TB in 2009. In order to assess the background of neutrino-like
signals in the deep sea, the characteristics of ambient noise and transient
signals have been investigated. In this article, the AMADEUS system will be
described and recent results will be presented.Comment: 7 pages, 8 figures. Proceedings of ARENA 2010, the 4th International
Workshop on Acoustic and Radio EeV Neutrino Detection Activitie
- …