SearcharxivSearch

arXiv subjects

S. Evangelista

Publications and source records attributed to S. Evangelista.

2 recordsLinked to original sources

FOSSIL: A future mission for CMB spectral distortion measurements

We present FOSSIL, a proposed space mission which is designed to deliver unprecedented absolute spectroscopic measurements of the sky intensity over a broad frequency range (50GHz to 2THz) to accurately measure chemical-potential mu-type, Compton y-type, and Compton relativistic y-type CMB spectral distortions. FOSSIL will reach monopole sensitivities representing a gain of roughly three orders of magnitude over COBE/FIRAS. These capabilities will allow us to constrain primordial density fluctuations on scales k~(10 to 10^4)Mpc^-1, test inflationary models, probe dark matter annihilation/decay/interactions, constrain primordial black hole seed scenarios, and pin down feedback models in galaxy evolution and structure formation by measuring the cosmic thermal energy content. Furthermore, its 130 spectral channels will enable legacy astrophysics, including precise characterisation of the Cosmic Infrared Background, line intensity mapping during cosmic noon, and detailed Galactic dust mapping.

astro-ph.CO

Raw Report on the Model Checking Contest at Petri Nets 2012

This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second edition after a successful one in 2011. The participating tools were compared on several examinations (state space generation and evaluation of several types of formulae - structural, reachability, LTL, CTL) run on a set of common models (Place/Transition and Symmetric Petri nets). After a short overview of the contest, this paper provides the raw results from the context, model per model and examination per examination.

cs.SE