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 $A$. 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{$6\times 10^{19}$eV}. The anisotropy was measured by the fraction of arrival directions that are less than $3.1^\circ$ from the position of an active galactic nucleus within 75 Mpc (using the V\'eron-Cetty and V\'eron $12^{\rm th}$ 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 $(38^{+7}_{-6})$, compared with $21$ expected for isotropic cosmic rays. This is down from the early estimate of $(69^{+11}_{-13})$. 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 $E>E_{th}=5.5\times 10^{19}$ 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 $E>E_{th}$ are heavy nuclei with charge $Z$, the proton component of the sources should lead to excesses in the same regions at energies $E/Z$. We here report the lack of anisotropies in these directions at energies above $E_{th}/Z$ (for illustrative values of $Z=6,\ 13,\ 26$). If the anisotropies above $E_{th}$ are due to nuclei with charge $Z$, 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