[PDF][PDF] MODIST: Transparent model checking of unmodified distributed systems
MODIST is the first model checker designed for transparently checking unmodified distributed
systems running on unmodified operating systems. It achieves this transparency via a …
systems running on unmodified operating systems. It achieves this transparency via a …
The Atacama Cosmology Telescope: DR4 maps and cosmological parameters
We present new arcminute-resolution maps of the Cosmic Microwave Background temperature
and polarization anisotropy from the Atacama Cosmology Telescope, using data taken …
and polarization anisotropy from the Atacama Cosmology Telescope, using data taken …
[PDF][PDF] R2: An Application-Level Kernel for Record and Replay.
Library-based record and replay tools aim to reproduce an application’s execution by recording
the results of selected functions in a log and during replay returning the results from the …
the results of selected functions in a log and during replay returning the results from the …
Atacama Cosmology Telescope: Constraints on prerecombination early dark energy
The early dark energy (EDE) scenario aims to increase the value of the Hubble constant ( H
0 ) inferred from cosmic microwave background (CMB) data over that found in the standard …
0 ) inferred from cosmic microwave background (CMB) data over that found in the standard …
The Atacama Cosmology Telescope: a measurement of the Cosmic Microwave Background power spectra at 98 and 150 GHz
We present the temperature and polarization angular power spectra of the CMB measured
by the Atacama Cosmology Telescope (ACT) from 5400 deg 2 of the 2013–2016 survey, …
by the Atacama Cosmology Telescope (ACT) from 5400 deg 2 of the 2013–2016 survey, …
The Simons observatory: instrument overview
…, B Westbrook, EJ Wollack, Z Xu… - … , and Far-Infrared …, 2018 - spiedigitallibrary.org
The Simons Observatory (SO) will make precision temperature and polarization measurements
of the cosmic microwave background (CMB) using a series of telescopes which will …
of the cosmic microwave background (CMB) using a series of telescopes which will …
CLASS: the cosmology large angular scale surveyor
The Cosmology Large Angular Scale Surveyor (CLASS) is an experiment to measure the
signature of a gravitationalwave background from inflation in the polarization of the cosmic …
signature of a gravitationalwave background from inflation in the polarization of the cosmic …
Human lifespan changes in the brain's functional connectome
Functional connectivity of the human brain changes through life. Here, we assemble task-free
functional and structural magnetic resonance imaging data from 33,250 individuals at 32 …
functional and structural magnetic resonance imaging data from 33,250 individuals at 32 …
Atacama Cosmology Telescope: Combined kinematic and thermal Sunyaev-Zel'dovich measurements from BOSS CMASS and LOWZ halos
The scattering of cosmic microwave background (CMB) photons off the free-electron gas in
galaxies and clusters leaves detectable imprints on high resolution CMB maps: the thermal …
galaxies and clusters leaves detectable imprints on high resolution CMB maps: the thermal …
Pantograph–catenary electrical contact system of high-speed railways: recent progress, challenges, and outlooks
As the unique power entrance, the pantograph–catenary electrical contact system maintains
the efficiency and reliability of power transmission for the high-speed train. Along with the …
the efficiency and reliability of power transmission for the high-speed train. Along with the …