67 research outputs found
Cross-sections of large-angle hadron production in proton-and pion-nucleus interactions VIII: Aluminium nuclei and beam momenta from ±3 GeV/c to ±15 GeV/c
No full textWe report on double-differential inclusive crosssections of the production of secondary protons, charged pions, and deuterons, in the interactions with a 5% λint thick stationary aluminium target, of proton and pion beams with momentum from ±3 GeV/c to ±15 GeV/c. Results are given for secondary particles with production angles 20° < θ < 125°. Cross-sections on aluminium nuclei are compared with cross-sections on beryllium, carbon, copper, tin, tantalum and lead nuclei. © The Author(s) 2012
Cross-sections of large-angle hadron production in proton- and pion-nucleus interactions VI: Carbon nuclei and beam momenta from ±3 GeV/c to ±15 GeV/c
No full textWe report on double-differential inclusive cross-sections of the production of secondary protons, charged pions, and deuterons, in the interactions with a 5% lambda (int) thick stationary carbon target, of proton and pion beams with momentum from +/- 3 GeV/c to +/- 15 GeV/c. Results are given for secondary particles with production angles 20A degree
Is there any “LSND anomaly”?
No full textThe LSND Collaboration reported a 3.8 σ excess of ν ̄e over background, in an experiment that dumped 800 MeV protons into a water target. They interpreted this excess as evidence for ν ̄μ → ν ̄e oscillations, which led to the suggestion of 'sterile' neutrinos. LSND's claim was not confirmed by the MiniBooNE Collaboration, yet the origins of the LSND result were never clarified. The data from the HARP-CDP group on pion production by 800 MeV protons are used in an independent calculation of LSND's ν ̄e background, also taking into account pion production by neutrons which had been ignored in LSND's calculations. We conclude that LSND's claim of a 3.8 σ excess cannot be upheld
HARP-CDP hadroproduction data: Comparison with FLUKA and GEANT4 simulations
No full textWe report on the comparison of production characteristics of secondary protons and charged pions in the interactions of protons and charged pions with momentum between 3 GeV/c and 15 GeV/c with beryllium, copper, and tantalum nuclei, with simulations by the FLUKA and Geant4 Monte Carlo tool kits. Overall production cross-sections are reasonably well reproduced, within factors of two. In more detail, there are areas with poor agreement that are unsatisfactory and call for modelling improvements. Overall, the current FLUKA simulation fares better than the current Geant4 simulation.We report on the comparison of production characteristics of secondary protons and charged pions in the interactions of protons and charged pions with momentum between 3 GeV/c and 15 GeV/c with beryllium, copper, and tantalum nuclei, with simulations by the FLUKA and Geant4 Monte Carlo tool kits. Overall production cross-sections are reasonably well reproduced, within factors of two. In more detail, there are areas with poor agreement that are unsatisfactory and call for modelling improvements. Overall, the current FLUKA simulation fares better than the current Geant4 simulation
Cross-sections of hadron production by 3-GeV/c - 15-GeV/c beams of protons and charged pions
No full textCross-sections of hadron production by 3-GeV/c - 15-GeV/c beams of protons and charged pion
Reply to 'Corrections to the HARP-CDP Analysis of the LSND Neutrino Oscillation Backgrounds'
No full textThe alleged mistakes in recent papers that reanalyze the backgrounds to the 'LSND anomaly' do not exist. We maintain our conclusion that the significance of the 'LSND anomaly' is not 3.8 sigma but not larger than 2.3 sigma.The alleged mistakes in recent papers that reanalyze the backgrounds to the 'LSND anomaly' do not exist. We maintain our conclusion that the significance of the 'LSND anomaly' is not 3.8 sigma but not larger than 2.3 sigma
{Rebuttal to: Comments on 'The HARP Time Projection Chamber: Characteristics and physics performance'}
No full textBehavioural analysis of an I2C Linux driver
No full textWe present an analysis of the behaviour of an I2C Linuxdriver, by means of model checking with the mCRL2 toolset and static analysis with UNO.We have reverse engineered the source code to obtain the structure and interactions of the driver. Based on these results, we have semi-automatically created an mCRL2 model of the behaviour of the driver, on which we have checked mutual exclusion properties. This revealed non-trivial potential errors, like unprotected usage of shared memory variables due to inconsistent locking and disabling/enabling of interrupts. We also applied UNO on the instrumented source code and were able to find the same errors. These defects were confirmed by the developers
Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal
No full textThe goal of radiation therapy is to give as much dose as possible to the exact target location and minimizing any dose to a normal tissue. Advances of Cyber-physical control systems allow planning and provide very accurate treatments. However, the current technology does not sufficiently compensate a respiratory movement that is especially important in case of lung (area) cancer. In this paper we present a model of radiation treatment system developed to analyze a system that compensates respiratory motion. We use Uppaal, an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.)
New data for the comprehension of the LSND anomaly
No full textNew data for the comprehension of the LSND anomal
- …
