| 1. |
- Abe, K., et al.
(författare)
-
Neutron tagging following atmospheric neutrino events in a water Cherenkov detector
- 2022
-
Ingår i: Journal of Instrumentation. - : Institute of Physics (IOP). - 1748-0221. ; 17:10
-
Tidskriftsartikel (refereegranskat)abstract
- We present the development of neutron-tagging techniques in Super-Kamiokande IV using a neural network analysis. The detection efficiency of neutron capture on hydrogen is estimated to be 26%, with a mis-tag rate of 0.016 per neutrino event. The uncertainty of the tagging efficiency is estimated to be 9.0%. Measurement of the tagging efficiency with data from an Americium-Beryllium calibration agrees with this value within 10%. The tagging procedure was performed on 3,244.4 days of SK-IV atmospheric neutrino data, identifying 18,091 neutrons in 26,473 neutrino events. The fitted neutron capture lifetime was measured as 218 +/- 9 mu s.
|
|
| 2. |
- Antonov, A. N., et al.
(författare)
-
The electron-ion scattering experiment ELISe at the International Facility for Antiproton and Ion Research (FAIR)-A conceptual design study
- 2011
-
Ingår i: Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. - : Elsevier BV. - 0168-9002 .- 0167-5087. ; 637:1, s. 60-76
-
Tidskriftsartikel (refereegranskat)abstract
- The electron-ion scattering experiment ELISe is part of the installations envisaged at the new experimental storage ring at the International Facility for Antiproton and Ion Research (FAIR) in Darmstadt, Germany. It offers an unique opportunity to use electrons as probe in investigations of the structure of exotic nuclei. The conceptual design and the scientific challenges of ELISe are presented. (C) 2011 Elsevier B.V. All rights reserved.
|
|
| 3. |
- Bartocci, Ezio, et al.
(författare)
-
TOOLympics 2019 : An overview of competitions in formal methods
- 2019
-
Ingår i: Tools and Algorithms for the Construction and Analysis of Systems. - Cham : Springer. - 9783030175016 ; , s. 3-24
-
Konferensbidrag (refereegranskat)abstract
- Evaluation of scientific contributions can be done in many different ways. For the various research communities working on the verification of systems (software, hardware, or the underlying involved mechanisms), it is important to bring together the community and to compare the state of the art, in order to identify progress of and new challenges in the research area. Competitions are a suitable way to do that.The first verification competition was created in 1992 (SAT competition), shortly followed by the CASC competition in 1996. Since the year 2000, the number of dedicated verification competitions is steadily increasing. Many of these events now happen regularly, gathering researchers that would like to understand how well their research prototypes work in practice. Scientific results have to be reproducible, and powerful computers are becoming cheaper and cheaper, thus, these competitions are becoming an important means for advancing research in verification technology.TOOLympics 2019 is an event to celebrate the achievements of the various competitions, and to understand their commonalities and differences. This volume is dedicated to the presentation of the 16 competitions that joined TOOLympics as part of the celebration of the 25?ℎ anniversary of the TACAS conference.
|
|
| 4. |
- Damestani, David, et al.
(författare)
-
Superposition Reasoning about Quantified Bitvector Formulas
- 2020
-
Ingår i: 2019 21ST INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2019). - 2470-8801. - 9781728157245 ; , s. 95-99
-
Konferensbidrag (refereegranskat)abstract
- We describe recent extensions to the first-order theorem prover Vampire for proving theorems in the theory of fixed-sized bitvectors, possibly with quantifiers. Details are given on extending both the parser of Vampire as well as the theory reasoning framework of Vampire. We present our experimental results by evaluating and comparing our approach to SMT solvers. Our experiments report also on a few examples that can be solved only by our work.
|
|
| 5. |
- Einarsdóttir, Sólrún, 1991, et al.
(författare)
-
Lemma Discovery and Strategies for Automated Induction
- 2024
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 1611-3349 .- 0302-9743. ; 14739 LNAI, s. 214-232
-
Konferensbidrag (refereegranskat)abstract
- We investigate how the automated inductive proof capabilities of the first-order prover Vampire can be improved by adding lemmas conjectured by the QuickSpec theory exploration system and by training strategy schedules specialized for inductive proofs. We find that adding lemmas improves performance (measured in number of proofs found for benchmark problems) by 40% compared to Vampire’s plain structural induction as baseline. Strategy training alone increases the number of proofs found by 130%, and the two methods in combination provide an increase of 183%. By combining strategy training and lemma discovery we can prove more inductive benchmarks than previous state-of-the-art inductive proof systems (HipSpec and CVC4).
|
|
| 6. |
- Veres, P., et al.
(författare)
-
Observation of inverse Compton emission from a long gamma-ray burst
- 2019
-
Ingår i: Nature. - : NATURE PUBLISHING GROUP. - 0028-0836 .- 1476-4687. ; 575:7783, s. 459-
-
Tidskriftsartikel (refereegranskat)abstract
- Long-duration gamma-ray bursts (GRBs) originate from ultra-relativistic jets launched from the collapsing cores of dying massive stars. They are characterized by an initial phase of bright and highly variable radiation in the kiloelectron volt-to-mega electronvoltband, which is probably produced within the jet and lasts from milliseconds to minutes, known as the prompt emission(1,2). Subsequently, the interaction of the jet with the surrounding medium generates shock waves that are responsible for the afterglow emission, which lasts from days to months and occurs over a broad energy range from the radio to the gigaelectronvolt bands(1-6). The afterglow emission is generally well explained as synchrotron radiation emitted by electrons accelerated by the external shock(7-9). Recently, intense long-lasting emission between 0.2 and 1 teraelectronvolts was observed from GRB 190114C(10,11). Here we report multifrequency observations of GRB 190114C, and study the evolution in time of the GRB emission across 17 orders of magnitude in energy, from 5 x 10(-6) to 10(12) electronvolts. We find that the broadband spectral energy distribution is double-peaked, with the teraelectronvolt emission constituting a distinct spectral component with power comparable to the synchrotron component. This component is associated with the afterglow and is satisfactorily explained by inverse Compton up-scattering of synchrotron photons by high-energy electrons. We find that the conditions required to account for the observed teraelectronvolt component are typical for GRBs, supporting the possibility that inverse Compton emission is commonly produced in GRBs.
|
|
