524 research outputs found
Learning Moore Machines from Input-Output Traces
The problem of learning automata from example traces (but no equivalence or
membership queries) is fundamental in automata learning theory and practice. In
this paper we study this problem for finite state machines with inputs and
outputs, and in particular for Moore machines. We develop three algorithms for
solving this problem: (1) the PTAP algorithm, which transforms a set of
input-output traces into an incomplete Moore machine and then completes the
machine with self-loops; (2) the PRPNI algorithm, which uses the well-known
RPNI algorithm for automata learning to learn a product of automata encoding a
Moore machine; and (3) the MooreMI algorithm, which directly learns a Moore
machine using PTAP extended with state merging. We prove that MooreMI has the
fundamental identification in the limit property. We also compare the
algorithms experimentally in terms of the size of the learned machine and
several notions of accuracy, introduced in this paper. Finally, we compare with
OSTIA, an algorithm that learns a more general class of transducers, and find
that OSTIA generally does not learn a Moore machine, even when fed with a
characteristic sample
Robust averaging protects decisions from noise in neural computations
An ideal observer will give equivalent weight to sources of information that are equally reliable. However, when averaging visual information, human observers tend to downweight or discount features that are relatively outlying or deviant (‘robust averaging’). Why humans adopt an integration policy that discards important decision information remains unknown. Here, observers were asked to judge the average tilt in a circular array of high-contrast gratings, relative to an orientation boundary defined by a central reference grating. Observers showed robust averaging of orientation, but the extent to which they did so was a positive predictor of their overall performance. Using computational simulations, we show that although robust averaging is suboptimal for a perfect integrator, it paradoxically enhances performance in the presence of “late” noise, i.e. which corrupts decisions during integration. In other words, robust decision strategies increase the brain’s resilience to noise arising in neural computations during decision-making
The cost-effectiveness of increasing alcohol taxes: a modelling study
<p>Abstract</p> <p>Background</p> <p>Excessive alcohol use increases risks of chronic diseases such as coronary heart disease and several types of cancer, with associated losses of quality of life and life-years. Alcohol taxes can be considered as a public health instrument as they are known to be able to decrease alcohol consumption. In this paper, we estimate the cost-effectiveness of an alcohol tax increase for the entire Dutch population from a health-care perspective focusing on health benefits and health-care costs in alcohol users.</p> <p>Methods</p> <p>The chronic disease model of the National Institute for Public Health and the Environment was used to extrapolate from decreased alcohol consumption due to tax increases to effects on health-care costs, life-years gained and quality-adjusted life-years gained, A Dutch scenario in which tax increases for beer are planned, and a Swedish scenario representing one of the highest alcohol taxes in Europe, were compared with current practice in the Netherlands. To estimate cost-effectiveness ratios, yearly differences in model outcomes between intervention and current practice scenarios were discounted and added over the time horizon of 100 years to find net present values for incremental life-years gained, quality-adjusted life-years gained, and health-care costs.</p> <p>Results</p> <p>In the Swedish scenario, many more quality-adjusted life-years were gained than in the Dutch scenario, but both scenarios had almost equal incremental cost-effectiveness ratios: €5100 per quality-adjusted life-year and €5300 per quality-adjusted life-year, respectively.</p> <p>Conclusion</p> <p>Focusing on health-care costs and health consequences for drinkers, an alcohol tax increase is a cost-effective policy instrument.</p
Anisotropy studies around the galactic centre at EeV energies with the Auger Observatory
Data from the Pierre Auger Observatory are analyzed to search for
anisotropies near the direction of the Galactic Centre at EeV energies. The
exposure of the surface array in this part of the sky is already significantly
larger than that of the fore-runner experiments. Our results do not support
previous findings of localized excesses in the AGASA and SUGAR data. We set an
upper bound on a point-like flux of cosmic rays arriving from the Galactic
Centre which excludes several scenarios predicting sources of EeV neutrons from
Sagittarius . Also the events detected simultaneously by the surface and
fluorescence detectors (the `hybrid' data set), which have better pointing
accuracy but are less numerous than those of the surface array alone, do not
show any significant localized excess from this direction.Comment: Matches published versio
Measurement of the Depth of Maximum of Extensive Air Showers above 10^18 eV
We describe the measurement of the depth of maximum, Xmax, of the
longitudinal development of air showers induced by cosmic rays. Almost four
thousand events above 10^18 eV observed by the fluorescence detector of the
Pierre Auger Observatory in coincidence with at least one surface detector
station are selected for the analysis. The average shower maximum was found to
evolve with energy at a rate of (106 +35/-21) g/cm^2/decade below 10^(18.24 +/-
0.05) eV and (24 +/- 3) g/cm^2/decade above this energy. The measured
shower-to-shower fluctuations decrease from about 55 to 26 g/cm^2. The
interpretation of these results in terms of the cosmic ray mass composition is
briefly discussed.Comment: Accepted for publication by PR
The Pierre Auger Observatory III: Other Astrophysical Observations
Astrophysical observations of ultra-high-energy cosmic rays with the Pierre
Auger ObservatoryComment: Contributions to the 32nd International Cosmic Ray Conference,
Beijing, China, August 201
Update on the correlation of the highest energy cosmic rays with nearby extragalactic matter
Data collected by the Pierre Auger Observatory through 31 August 2007 showed
evidence for anisotropy in the arrival directions of cosmic rays above the
Greisen-Zatsepin-Kuz'min energy threshold, \nobreak{eV}. The
anisotropy was measured by the fraction of arrival directions that are less
than from the position of an active galactic nucleus within 75 Mpc
(using the V\'eron-Cetty and V\'eron catalog). An updated
measurement of this fraction is reported here using the arrival directions of
cosmic rays recorded above the same energy threshold through 31 December 2009.
The number of arrival directions has increased from 27 to 69, allowing a more
precise measurement. The correlating fraction is , compared
with expected for isotropic cosmic rays. This is down from the early
estimate of . The enlarged set of arrival directions is
examined also in relation to other populations of nearby extragalactic objects:
galaxies in the 2 Microns All Sky Survey and active galactic nuclei detected in
hard X-rays by the Swift Burst Alert Telescope. A celestial region around the
position of the radiogalaxy Cen A has the largest excess of arrival directions
relative to isotropic expectations. The 2-point autocorrelation function is
shown for the enlarged set of arrival directions and compared to the isotropic
expectation.Comment: Accepted for publication in Astroparticle Physics on 31 August 201
Anisotropy and chemical composition of ultra-high energy cosmic rays using arrival directions measured by the Pierre Auger Observatory
The Pierre Auger Collaboration has reported evidence for anisotropy in the
distribution of arrival directions of the cosmic rays with energies
eV. These show a correlation with the distribution
of nearby extragalactic objects, including an apparent excess around the
direction of Centaurus A. If the particles responsible for these excesses at
are heavy nuclei with charge , the proton component of the
sources should lead to excesses in the same regions at energies . We here
report the lack of anisotropies in these directions at energies above
(for illustrative values of ). If the anisotropies
above are due to nuclei with charge , and under reasonable
assumptions about the acceleration process, these observations imply stringent
constraints on the allowed proton fraction at the lower energies
Atmospheric effects on extensive air showers observed with the Surface Detector of the Pierre Auger Observatory
Atmospheric parameters, such as pressure (P), temperature (T) and density,
affect the development of extensive air showers initiated by energetic cosmic
rays. We have studied the impact of atmospheric variations on extensive air
showers by means of the surface detector of the Pierre Auger Observatory. The
rate of events shows a ~10% seasonal modulation and ~2% diurnal one. We find
that the observed behaviour is explained by a model including the effects
associated with the variations of pressure and density. The former affects the
longitudinal development of air showers while the latter influences the Moliere
radius and hence the lateral distribution of the shower particles. The model is
validated with full simulations of extensive air showers using atmospheric
profiles measured at the site of the Pierre Auger Observatory.Comment: 24 pages, 9 figures, accepted for publication in Astroparticle
Physic
The exposure of the hybrid detector of the Pierre Auger Observatory
The Pierre Auger Observatory is a detector for ultra-high energy cosmic rays.
It consists of a surface array to measure secondary particles at ground level
and a fluorescence detector to measure the development of air showers in the
atmosphere above the array. The "hybrid" detection mode combines the
information from the two subsystems. We describe the determination of the
hybrid exposure for events observed by the fluorescence telescopes in
coincidence with at least one water-Cherenkov detector of the surface array. A
detailed knowledge of the time dependence of the detection operations is
crucial for an accurate evaluation of the exposure. We discuss the relevance of
monitoring data collected during operations, such as the status of the
fluorescence detector, background light and atmospheric conditions, that are
used in both simulation and reconstruction.Comment: Paper accepted by Astroparticle Physic
- …