A Logical Characterization of Timed (non-)Regular Languages

CLTLoc (Constraint LTL over clocks) is a quantifier-free extension of LTL allowing variables behaving like clocks over real numbers. CLTLoc is in PSPACE [9] and its satisfiability can polynomially be reduced to a SMT problem, allowing a feasible implementation of a decision procedure. We used CLTLoc to capture the semantics of metric temporal logics over continuous time, such as Metric Interval Temporal Logic (MITL), resulting in the first successful implementation of a tool for checking MITL satisfiability [7]. In this paper, we assess the expressive power of CLTLoc, by comparing it with various temporal formalisms over dense time.When interpreted over timed words, CLTLoc is equivalent to Timed Automata. We also define a monadic theory of orders, extending the one introduced by Kamp, which is expressively equivalent to CLTLoc. We investigate a decidable extension with an arithmetical next operator, which allows the expression of timed non-ω-regular languages

Ideas del alumnado de primaria y secundaria sobre aleatoriedad

En este trabajo comparamos las características de las secuencias de resultados aleatorios y distribuciones aleatorias de puntos generadas por tres grupos de alumnos de Educación Primaria y Secundaria con las propiedades matemáticas de las mismas. La finalidad es describir el significado personal que dichos estudiantes asignan a la aleatoriedad.In this paper we compare the features in random sequences and random distribution of points produced by three groups of students in Primary and Secondary Education with the mathematical properties of the same. The aim is to describe the meaning of randomness for these students.Facultad de Educación y Humanidades - Campus de Melilla (Universidad de Granada)Este trabajo es parte de los proyectos SEJ2004-00789, Madrid, MCYT y FQM-126, Junta de Andalucí

Search for 14.4 keV Solar Axions from M1 Transition of 57Fe with CUORE Crystals

We report the results of a search for axions from the 14.4 keV M1 transition from 57Fe in the core of the sun using the axio-electric effect in TeO2bolometers. The detectors are 5 × 5 × 5 cm3 crystals operated at about 10 mK in a facility used to test bolometers for the CUORE experiment at the Laboratori Nazionali del Gran Sasso in Italy. An analysis of 43.65 kg⋅d of data was made using a newly developed low energy trigger which was optimized to reduce the energy threshold of the detector. An upper limit of 0.58 c⋅kg−1⋅d−1 is established at 95% C.L., which translates into lower bounds fA ≥ 3.12 × 105 GeV 95% C.L. (DFSZ model) and fA ≥ 2.41 × 104 GeV 95% C.L. (KSVZ model) on the Peccei-Quinn symmetry-breaking scale, for a value of S = 0.5 of the flavor-singlet axial vector matrix element. These bounds can be expressed in terms of axion masses as mA ≤ 19.2 eV and mA ≤ 250 eV at 95% C.L. in the DFSZ and KSVZ models respectively. Bounds are given also for the interval 0.35 ≤ S ≤ 0.55

Results from the CUORE-0 experiment

The CUORE-0 experiment searched for neutrinoless double beta decay in 130Te using an array of 52 tellurium dioxide crystals, operated as bolometers at a temperature of 10 mK. It took data in the Gran Sasso National Laboratory (Italy) since March 2013 to March 2015. We present the results of a search for neutrinoless double beta decay in 9.8 kg-years 130Te exposure that allowed us to set the most stringent limit to date on this half-life. The performance of the detector in terms of background and energy resolution is also reported

Low energy analysis techniques for CUORE

CUORE is a tonne-scale cryogenic detector operating at the Laboratori Nazionali del Gran Sasso (LNGS) that uses tellurium dioxide bolometers to search for neutrinoless double-beta decay of 130Te. CUORE is also suitable to search for low energy rare events such as solar axions or WIMP scattering, thanks to its ultra-low background and large target mass. However, to conduct such sensitive searches requires improving the energy threshold to 10 keV. In this paper, we describe the analysis techniques developed for the low energy analysis of CUORE-like detectors, using the data acquired from November 2013 to March 2015 by CUORE-0, a single-tower prototype designed to validate the assembly procedure and new cleaning techniques of CUORE. We explain the energy threshold optimization, continuous monitoring of the trigger efficiency, data and event selection, and energy calibration at low energies in detail. We also present the low energy background spectrum of CUORE-0 below 60keV. Finally, we report the sensitivity of CUORE to WIMP annual modulation using the CUORE-0 energy threshold and background, as well as an estimate of the uncertainty on the nuclear quenching factor from nuclear recoils inCUORE-0

CUORE and CUORE-0 experiments

Neutrino oscillation experiments proved that neutrinos have mass and this enhanced the interest in neutrinoless double-beta decay (0vßß). The observation of this very rare hypothetical decay would prove the leptonic number violation and would give us indications about neutrinos mass hierarchy and absolute mass scale. CUORE (Cryogenic Underground Observatory for Rare Events) is an array of 988 crystals of TeO2, for a total sensitive mass of 741 kg. Its goal is the observation of 0vßß of 130Te. The crystals, placed into the a dilution cryostat, are operated as bolometers at a temperature close to 10 mK. CUORE commissioning phase has been concluded recently in Gran Sasso National Laboratory, Italy, and data taking is expected to start in spring 2017. If target background rate is reached (0.01counts/day/keV/kg), the sensibility of CUORE will be, in five years of data taking, T1/21026years (1? CL). In order to test the quality of materials and optimize the construction procedures, the collaboration realized CUORE-0, that took data from spring of 2013 to summer 2015. Here, after a brief description of CUORE, I report its commissioning status and CUORE-0 results

Dark Matter Search with CUORE-0 and CUORE

The Cryogenic Underground Observatory for Rare Events (CUORE) is a ton-scale experiment made of TeO2 bolometers that will probe the neutrinoless double beta decay of 130Te. Excellent energy resolution, low threshold and low background make CUORE sensitive to nuclear recoils, allowing a search for dark matter interactions. With a total mass of 741 kg of TeO2, CUORE can search for an annual modulation of the counting rate at low energies. We present data obtained with CUORE-like detectors and the prospects for a dark matter search in CUORE-0, a 40-kg prototype, and CUORE

Lowering the CUORE energy threshold

The Cryogenic Underground Observatory for Rare Events (CUORE) is a ton-scale double beta decay experiment based on TeO2 cryogenic bolometers and is currently in the last construction stage at the Gran Sasso National Laboratory (LNGS). Its primary goal is to observe neutrino-less double beta decay of 130Te, however thanks to the ultra-low background and large projected exposure it could also be suitable for other rare event searches, as the detection of solar axions, neutrinos from type II supernovae or direct detection of dark matter. The sensitivity for these searches will depend on the performance achieved at the low energy threshold. For this reason a trigger algorithm based on continuous data filtering has been developed which will allow lowering the threshold down to the few keV region. The new trigger has been tested in CUORE-0, a single-tower CUORE prototype consisting of 52 TeO2 bolometers and recently concluded, and here we present the results in terms of trigger efficiency, data selection and low-energy calibration

Status and prospects for CUORE

CUORE is a cryogenic detector consisting of 988 TeO2 crystals, 750 g each, and will be operated at a temperature of ~10 mK, to search for neutrinoless double beta decay (0¿ßß) of 130Te. The detector, in the final stages of construction at the Laboratori Nazionali del Gran Sasso (Italy), will start its operations in 2016. CUORE-0, its pilot experiment, has proven the feasibility of CUORE, demonstrating that the target background of 0.01 counts/keV/kg/y and the energy resolution of 5 keV are within reach. CUORE-0 also made the most precise measurement of the 2¿ßß decay. The expected sensitivity of CUORE to the 0¿ßß 130Te half-life is 9 •1025y, for 5 years of data taking. Here, we report the most recent results of CUORE-0, their implications for CUORE, and the current status of the CUORE experiment

CUORE and Beyond: Bolometric Techniques to Explore Inverted Neutrino Mass Hierarchy

The CUORE (Cryogenic Underground Observatory for Rare Events) experiment will search for neutrinoless double beta decay of 130Te. With 741 kg of TeO2 crystals and an excellent energy resolution of 5 keV (0.2%) at the region of interest, CUORE will be one of the most competitive neutrinoless double beta decay experiments on the horizon. With five years of live time, CUORE projected neutrinoless double beta decay half-life sensitivity is 1.6 × 1026 y at 1σ (9.5 × 1025 y at the 90% confidence level), which corresponds to an upper limit on the effective Majorana mass in the range 40–100 meV (50–130 meV). Further background rejection with auxiliary light detector can significantly improve the search sensitivity and competitiveness of bolometric detectors to fully explore the inverted neutrino mass hierarchy with 130Te and possibly other double beta decay candidate nuclei