107 research outputs found
A Visual {DSL} for the certification of open source software
Quality assessment of open source software is becoming an important and active research area. One of the reasons for this recent interest is the consequence of Internet popularity. Nowadays, programming also involves looking for the large set of open source libraries and tools that may be reused when developing our software applications. In order to reuse such open source software artifacts, programmers not only need the guarantee that the reused artifact is certified, but also that independently developed artifacts can be easily combined into a coherent piece of software. In this paper we improve over previous works and describe a visual language that allows programmers to graphically describe how software artifacts can be combined into powerful software certification processes. This paper introduces the visual language and describes how its elements are available to the user through an intuitive interface.(undefined
Watch out for that tree! A tutorial on shortcut deforestation
Functional programmers are strong enthusiasts of modular solutions to programming problems. Since software characteristics such as readability or maintainability are often directly proportional to modularity, this programming style naturally contributes to the beauty of functional programs. Unfortunately, in return of this beauty we often sacrifice efficiency: modular programs rely, at runtime, on the creation, use and elimination of intermediate data structures to connect its components. In this tutorial paper, we study an advanced technique that attempts to retain the best of this two worlds: (i) it allows programmers to implement beautiful, modular programs (ii) it shows how to transform such programs, in a way that can be incorporated in a compiler, into programs that do not construct any intermediate structure.- (undefined
Constraints on inelastic dark matter from XENON10
It has been suggested that dark matter particles which scatter inelastically
from detector target nuclei could explain the apparent incompatibility of the
DAMA modulation signal (interpreted as evidence for particle dark matter) with
the null results from CDMS-II and XENON10. Among the predictions of
inelastically interacting dark matter are a suppression of low-energy events,
and a population of nuclear recoil events at higher nuclear recoil equivalent
energies. This is in stark contrast to the well-known expectation of a falling
exponential spectrum for the case of elastic interactions. We present a new
analysis of XENON10 dark matter search data extending to E keV
nuclear recoil equivalent energy. Our results exclude a significant region of
previously allowed parameter space in the model of inelastically interacting
dark matter. In particular, it is found that dark matter particle masses
GeV are disfavored.Comment: 8 pages, 4 figure
First Results from the XENON10 Dark Matter Experiment at the Gran Sasso National Laboratory
The XENON10 experiment at the Gran Sasso National Laboratory uses a 15 kg
xenon dual phase time projection chamber (XeTPC) to search for dark matter
weakly interacting massive particles (WIMPs). The detector measures
simultaneously the scintillation and the ionization produced by radiation in
pure liquid xenon, to discriminate signal from background down to 4.5 keV
nuclear recoil energy. A blind analysis of 58.6 live days of data, acquired
between October 6, 2006 and February 14, 2007, and using a fiducial mass of 5.4
kg, excludes previously unexplored parameter space, setting a new 90% C.L.
upper limit for the WIMP-nucleon spin-independent cross-section of 8.8 x
10^{-44} cm^2 for a WIMP mass of 100 GeV/c^2, and 4.5 x 10^{-44} cm^2 for a
WIMP mass of 30 GeV/c^2. This result further constrains predictions of
supersymmetric models.Comment: accepted for publication in Phys. Rev. Let
A search for light dark matter in XENON10 data
We report results of a search for light (<10 GeV) particle dark matter with
the XENON10 detector. The event trigger was sensitive to a single electron,
with the analysis threshold of 5 electrons corresponding to 1.4 keV nuclear
recoil energy. Considering spin-independent dark matter-nucleon scattering, we
exclude cross sections \sigma_n>3.5x10^{-42} cm^2, for a dark matter particle
mass m_{\chi}=8 GeV. We find that our data strongly constrain recent elastic
dark matter interpretations of excess low-energy events observed by CoGeNT and
CRESST-II, as well as the DAMA annual modulation signal.Comment: Manuscript identical to v2 (published version) but also contains
erratum. Note v3==v2 but without \linenumber
The scintillation and ionization yield of liquid xenon for nuclear recoils
XENON10 is an experiment designed to directly detect particle dark matter. It
is a dual phase (liquid/gas) xenon time-projection chamber with 3D position
imaging. Particle interactions generate a primary scintillation signal (S1) and
ionization signal (S2), which are both functions of the deposited recoil energy
and the incident particle type. We present a new precision measurement of the
relative scintillation yield \leff and the absolute ionization yield Q_y, for
nuclear recoils in xenon. A dark matter particle is expected to deposit energy
by scattering from a xenon nucleus. Knowledge of \leff is therefore crucial for
establishing the energy threshold of the experiment; this in turn determines
the sensitivity to particle dark matter. Our \leff measurement is in agreement
with recent theoretical predictions above 15 keV nuclear recoil energy, and the
energy threshold of the measurement is 4 keV. A knowledge of the ionization
yield \Qy is necessary to establish the trigger threshold of the experiment.
The ionization yield \Qy is measured in two ways, both in agreement with
previous measurements and with a factor of 10 lower energy threshold.Comment: 8 pages, 9 figures. To be published in Nucl. Instrum. Methods
Status of the LUX Dark Matter Search
The Large Underground Xenon (LUX) dark matter search experiment is currently
being deployed at the Homestake Laboratory in South Dakota. We will highlight
the main elements of design which make the experiment a very strong competitor
in the field of direct detection, as well as an easily scalable concept. We
will also present its potential reach for supersymmetric dark matter detection,
within various timeframes ranging from 1 year to 5 years or more.Comment: 4 pages, in proceedings of the SUSY09 conferenc
- …