1,355 research outputs found
CMB Lensing Power Spectrum Biases from Galaxies and Clusters using High-angular Resolution Temperature Maps
The lensing power spectrum from cosmic microwave background (CMB) temperature
maps will be measured with unprecedented precision with upcoming experiments,
including upgrades to ACT and SPT. Achieving significant improvements in
cosmological parameter constraints, such as percent level errors on sigma_8 and
an uncertainty on the total neutrino mass of approximately 50 meV, requires
percent level measurements of the CMB lensing power. This necessitates tight
control of systematic biases. We study several types of biases to the
temperature-based lensing reconstruction signal from foreground sources such as
radio and infrared galaxies and the thermal Sunyaev-Zel'dovich effect from
galaxy clusters. These foregrounds bias the CMB lensing signal due to their
non-Gaussian nature. Using simulations as well as some analytical models we
find that these sources can substantially impact the measured signal if left
untreated. However, these biases can be brought to the percent level if one
masks galaxies with fluxes at 150 GHz above 1 mJy and galaxy clusters with
masses above M_vir = 10^14 M_sun. To achieve such percent level bias, we find
that only modes up to a maximum multipole of l_max ~ 2500 should be included in
the lensing reconstruction. We also discuss ways to minimize additional bias
induced by such aggressive foreground masking by, for example, exploring a
two-step masking and in-painting algorithm.Comment: 14 pages, 14 figures, to be submitted to Ap
Ultrafast electron diffraction using an ultracold source
We present diffraction patterns from micron-sized areas of mono-crystalline
graphite obtained with an ultracold and ultrafast electron source. We show that
high spatial coherence is manifest in the visibility of the patterns even for
picosecond bunches of appreciable charge, enabled by the extremely low source
temperature (~ 10 K). For a larger, ~ 100 um spot size on the sample, spatial
coherence lengths > 10 nm result, sufficient to resolve diffraction patterns of
complex protein crystals. This makes the source ideal for ultrafast electron
diffraction of complex macromolecular structures such as membrane proteins, in
a regime unattainable by conventional photocathode sources. By further reducing
the source size, sub-um spot sizes on the sample become possible with spatial
coherence lengths exceeding 1 nm, enabling ultrafast nano-diffraction for
material science.Comment: 5 pages, 4 figure
PMD5 VALUATION OF NEW DRUG APPLICATIONS OF PHARMACEUTICAL COMPANIES USING COMPOUND OPTION MODELS
The Atacama Cosmology Telescope: Lensing of CMB Temperature and Polarization Derived from Cosmic Infrared Background Cross-Correlation
We present a measurement of the gravitational lensing of the Cosmic Microwave Background (CMB) temperature and polarization fields obtained by cross-correlating the reconstructed convergence signal from the first season of Atacama Cosmology Telescope Polarimeter data at 146 GHz with Cosmic Infrared Background (CIB) fluctuations measured using the Planck satellite. Using an effective overlap area of 92.7 square degrees, we detect gravitational lensing of the CMB polarization by large-scale structure at a statistical significance of 4.5 sigma. Combining both CMB temperature and polarization data gives a lensing detection at 9.1 sigma significance. A B-mode polarization lensing signal is present with a significance of 3.2 sigma. We also present the first measurement of CMB lensing-CIB correlation at small scales corresponding to l \u3e 2000. Null tests and systematic checks show that our results are not significantly biased by astrophysical or instrumental systematic effects, including Galactic dust. Fitting our measurements to the best-fit lensing-CIB cross-power spectrum measured in Planck data, scaled by an amplitude A, gives A = 1.02(-0.08)(+0.12)(stat.) +/- 0.06(syst.), consistent with the Planck results
Towards verified Java code generation from concurrent state machines
We present work in progress on, verified, transformation of a modeling language based on communicating concurrent state machines, SLCO, to Java. Some concurrency related challenges, related to atomicity and non-standard fairness issues, are pointed out. We discuss solutions based on Java synchronization concepts
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
A formal definition of the semantics of a domain-specific language (DSL) is a
key prerequisite for the verification of the correctness of models specified
using such a DSL and of transformations applied to these models. For this
reason, we implemented a prototype of the semantics of a DSL for the
specification of systems consisting of concurrent, communicating objects. Using
this prototype, models specified in the DSL can be transformed to labeled
transition systems (LTS). This approach of transforming models to LTSs allows
us to apply existing tools for visualization and verification to models with
little or no further effort. The prototype is implemented using the ASF+SDF
Meta-Environment, an IDE for the algebraic specification language ASF+SDF,
which offers efficient execution of the transformation as well as the ability
to read models and produce LTSs without any additional pre or post processing.Comment: In Proceedings AMMSE 2011, arXiv:1106.596
Program transformations using temporal logic side conditions
This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of abstraction. We demonstrate the power of this approach by developing a set of optimisations using our transformation language and showing how the transformations can be converted into a form which makes it easier to apply them, while maintaining trust in the resulting optimising steps. The approach is illustrated through a transformational case study where we apply several optimisations to a small program
CMB power spectrum parameter degeneracies in the era of precision cosmology
Cosmological parameter constraints from the CMB power spectra alone suffer
several well-known degeneracies. These degeneracies can be broken by numerical
artefacts and also a variety of physical effects that become quantitatively
important with high-accuracy data e.g. from the Planck satellite. We study
degeneracies in models with flat and non-flat spatial sections, non-trivial
dark energy and massive neutrinos, and investigate the importance of various
physical degeneracy-breaking effects. We test the CAMB power spectrum code for
numerical accuracy, and demonstrate that the numerical calculations are
accurate enough for degeneracies to be broken mainly by true physical effects
(the integrated Sachs-Wolfe effect, CMB lensing and geometrical and other
effects through recombination) rather than numerical artefacts. We quantify the
impact of CMB lensing on the power spectra, which inevitably provides
degeneracy-breaking information even without using information in the
non-Gaussianity. Finally we check the numerical accuracy of sample-based
parameter constraints using CAMB and CosmoMC. In an appendix we document recent
changes to CAMB's numerical treatment of massive neutrino perturbations, which
are tested along with other recent improvements by our degeneracy exploration
results.Comment: 27 pages, 28 figures. Latest CAMB version available from
http://camb.info/. Reduced number of figures, plot legend corrected and minor
edits to match published versio
Comparison of CT and CMR for detection and quantification of carotid artery calcification: the Rotterdam Study
Background: Carotid artery atherosclerosis is an important risk factor for stroke. As such, quantitative imaging of carotid artery calcification, as a proxy of atherosclerosis, has become a cornerstone of current stroke research. Yet, population-based data comparing the computed tomography (CT) and cardiovascular magnetic resonance (CMR) for the detection and quantification of calcification remain scarce.
Methods: A total of 684 participants from the population-based Rotterdam Study underwent both a CT and CMR of the carotid artery bifurcation to quantify the amount of carotid artery calcification (mean interscan interval: 4.9 Ā± 1.2 years). We investigated the correlation between the amount of calcification measured on CT and CMR using Spearman's correlation coefficient, Bland-Altman plots, and linear regression. In addition, using logistic regression modeling, we assessed the association of CT and CMR based calcification volumes with a history of stroke.
Results: We found a strong correlation between CT and CMR based calcification volumes (Spearman's correlation coefficient:0.86, p-value ā¤0.01). Bland-Altman analyses showed a good agreement, though CT based calcification volumes were systematically larger. Finally, calcification volume assessed with either imaging modality was associated with a history of stroke with similar effect estimates (odds ratio (OR) per 1-SD increase in calcification volume: 1.52 (95% CI:1.00;2.30) for CT, and 1.47 (95% CI:1.01;2.14) for CMR.
Conclusion: CT based and CMR based volumes of carotid artery calcificatio
- ā¦