A criterion for separating process calculi

We introduce a new criterion, replacement freeness, to discern the relative expressiveness of process calculi. Intuitively, a calculus is strongly replacement free if replacing, within an enclosing context, a process that cannot perform any visible action by an arbitrary process never inhibits the capability of the resulting process to perform a visible action. We prove that there exists no compositional and interaction sensitive encoding of a not strongly replacement free calculus into any strongly replacement free one. We then define a weaker version of replacement freeness, by only considering replacement of closed processes, and prove that, if we additionally require the encoding to preserve name independence, it is not even possible to encode a non replacement free calculus into a weakly replacement free one. As a consequence of our encodability results, we get that many calculi equipped with priority are not replacement free and hence are not encodable into mainstream calculi like CCS and pi-calculus, that instead are strongly replacement free. We also prove that variants of pi-calculus with match among names, pattern matching or polyadic synchronization are only weakly replacement free, hence they are separated both from process calculi with priority and from mainstream calculi.Comment: In Proceedings EXPRESS'10, arXiv:1011.601

A Bayesian approach for the assessment of shallow and deep aquifers susceptibility to point sources contamination in the Province of Milan, Italy

In densely populated areas, urban and industrial activities are responsible for groundwater quality deterioration due to point sources contamination (Kuroda and Fukushi, 2008). In the Province of Milan (Northern Italy), the available water-quality data indicate the occurrence of high PCE+TCE and chromium concentrations in the unconfined shallow as well as in the confined deep aquifers. To cope with this problem, statistical methods can represent reliable tools to provide key information for groundwater management and protection

Scintillating double beta decay bolometers

We present the results obtained in the development of scintillating Double Beta Decay bolometers. Several Mo and Cd based crystals were tested with the bolometric technique. The scintillation light was measured through a second independent bolometer. A 140 g CdWO_4 crystal was run in a 417 h live time measurement. Thanks to the scintillation light, the alpha background is easily discriminated resulting in zero counts above the 2615 keV gamma line of Thallium 208. These results, combined with an extremely easy light detector operation, represent the first tangible proof demonstrating the feasibility of this kind of technique.Comment: 15 pages, 8 figure

The CUORE Cryostat: A 1-Ton Scale Setup for Bolometric Detectors

The cryogenic underground observatory for rare events (CUORE) is a 1-ton scale bolometric experiment whose detector consists of an array of 988 TeO2 crystals arranged in a cylindrical compact structure of 19 towers. This will be the largest bolometric mass ever operated. The experiment will work at a temperature around or below 10 mK. CUORE cryostat consists of a cryogen-free system based on pulse tubes and a custom high power dilution refrigerator, designed to match these specifications. The cryostat has been commissioned in 2014 at the Gran Sasso National Laboratories and reached a record temperature of 6 mK on a cubic meter scale. In this paper, we present results of CUORE commissioning runs. Details on the thermal characteristics and cryogenic performances of the system will be also given.Comment: 7 pages, 2 figures, LTD16 conference proceedin

The Future of Neutrino Mass Measurements: Terrestrial, Astrophysical, and Cosmological Measurements in the Next Decade. Highlights of the NuMass 2013 Workshop. Milano, Italy, February 4 - 7, 2013

The third Workshop of the NuMass series ("The Future of Neutrino Mass Measurements: Terrestrial, Astrophysical, and Cosmological Measurements in the Next Decade: NuMass 2013") was held at Dipartimento di Fisica "G. Occhialini, University of Milano-Bicocca in Milano, Italy, on 4-7 February 2013. The goal of this international workshop was to review the status and future of direct and indirect neutrino mass measurements in the laboratory as well as from astrophysical and cosmological observations. This paper collects most of the contributions presented during the Workshop

Searches for neutrinoless double beta decay

Neutrinoless double beta decay is a lepton number violating process whose observation would also establish that neutrinos are their own anti-particles. There are many experimental efforts with a variety of techniques. Some (EXO, Kamland-Zen, GERDA phase I and CANDLES) started take data in 2011 and EXO has reported the first measurement of the half life for the double beta decay with two neutrinos of $^{136}$Xe. The sensitivities of the different proposals are reviewed.Comment: 8 pages, prepared for TAUP 201

Inhibición de butirilcolinesterasa en dos perros intoxicados y confirmación analítica de carbofuran como agente causal

Ferré, D.M.; Saldeña, E.L.; Albarracín, L.; Neuilly, V.; Gorla, N.B.: Inhibición de butirilcolinesterasa en dos perros intoxicados y confirmación analítica de carbofuran como agente causal. Rev. vet. 26: 1, 43-48, 2015

The CUORE cryostat: an infrastructure for rare event searches at millikelvin temperatures

The CUORE experiment is the world's largest bolometric experiment. The detector consists of an array of 988 TeO2 crystals, for a total mass of 742 kg. CUORE is presently taking data at the Laboratori Nazionali del Gran Sasso, Italy, searching for the neutrinoless double beta decay of 130Te. A large custom cryogen-free cryostat allows reaching and maintaining a base temperature of about 10 mK, required for the optimal operation of the detector. This apparatus has been designed in order to achieve a low noise environment, with minimal contribution to the radioactive background for the experiment. In this paper, we present an overview of the CUORE cryostat, together with a description of all its sub-systems, focusing on the solutions identified to satisfy the stringent requirements. We briefly illustrate the various phases of the cryostat commissioning and highlight the relevant steps and milestones achieved each time. Finally, we describe the successful cooldown of CUORE