388 research outputs found
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
Loops under Strategies ... Continued
While there are many approaches for automatically proving termination of term
rewrite systems, up to now there exist only few techniques to disprove their
termination automatically. Almost all of these techniques try to find loops,
where the existence of a loop implies non-termination of the rewrite system.
However, most programming languages use specific evaluation strategies, whereas
loop detection techniques usually do not take strategies into account. So even
if a rewrite system has a loop, it may still be terminating under certain
strategies.
Therefore, our goal is to develop decision procedures which can determine
whether a given loop is also a loop under the respective evaluation strategy.
In earlier work, such procedures were presented for the strategies of
innermost, outermost, and context-sensitive evaluation. In the current paper,
we build upon this work and develop such decision procedures for important
strategies like leftmost-innermost, leftmost-outermost,
(max-)parallel-innermost, (max-)parallel-outermost, and forbidden patterns
(which generalize innermost, outermost, and context-sensitive strategies). In
this way, we obtain the first approach to disprove termination under these
strategies automatically.Comment: In Proceedings IWS 2010, arXiv:1012.533
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
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
Measurement of Atmospheric Neutrino Oscillations with the ANTARES Neutrino Telescope
The data taken with the ANTARES neutrino telescope from 2007 to 2010, a total
live time of 863 days, are used to measure the oscillation parameters of
atmospheric neutrinos. Muon tracks are reconstructed with energies as low as 20
GeV. Neutrino oscillations will cause a suppression of vertical upgoing muon
neutrinos of such energies crossing the Earth. The parameters determining the
oscillation of atmospheric neutrinos are extracted by fitting the event rate as
a function of the ratio of the estimated neutrino energy and reconstructed
flight path through the Earth. Measurement contours of the oscillation
parameters in a two-flavour approximation are derived. Assuming maximum mixing,
a mass difference of eV is
obtained, in good agreement with the world average value.Comment: 9 pages, 5 figure
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
A First Search for coincident Gravitational Waves and High Energy Neutrinos using LIGO, Virgo and ANTARES data from 2007
We present the results of the first search for gravitational wave bursts
associated with high energy neutrinos. Together, these messengers could reveal
new, hidden sources that are not observed by conventional photon astronomy,
particularly at high energy. Our search uses neutrinos detected by the
underwater neutrino telescope ANTARES in its 5 line configuration during the
period January - September 2007, which coincided with the fifth and first
science runs of LIGO and Virgo, respectively. The LIGO-Virgo data were analysed
for candidate gravitational-wave signals coincident in time and direction with
the neutrino events. No significant coincident events were observed. We place
limits on the density of joint high energy neutrino - gravitational wave
emission events in the local universe, and compare them with densities of
merger and core-collapse events.Comment: 19 pages, 8 figures, science summary page at
http://www.ligo.org/science/Publication-S5LV_ANTARES/index.php. Public access
area to figures, tables at
https://dcc.ligo.org/cgi-bin/DocDB/ShowDocument?docid=p120000
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
- …