Sterilizable photomultiplier tubes Final report

Environment, static acceleration, vibration, shock, gas contamination, and life tests in development of sterilizable photomultipliers for space program

Improved sterilizable multiplier phototubes Final report

Development of sterilizable multiplier phototube for scintillation counte

Hilbert-Post completeness for the state and the exception effects

In this paper, we present a novel framework for studying the syntactic completeness of computational effects and we apply it to the exception effect. When applied to the states effect, our framework can be seen as a generalization of Pretnar's work on this subject. We first introduce a relative notion of Hilbert-Post completeness, well-suited to the composition of effects. Then we prove that the exception effect is relatively Hilbert-Post complete, as well as the "core" language which may be used for implementing it; these proofs have been formalized and checked with the proof assistant Coq.Comment: Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences , Nov 2015, Berlin, Germany. 2015, LNC

The Local Radio-IR Relation in M51

We observed M51 at three frequencies, 1.4 GHz (20 cm), 4.9 GHz (6 cm), and 8.4 GHz (3.6 cm), with the Very Large Array and the Effelsberg 100 m telescope to obtain the highest quality radio continuum images of a nearby spiral galaxy. These radio data were combined with deconvolved Spitzer IRAC 8 μm and MIPS 24 μm images to search for and investigate local changes in the radio-IR correlation. Utilizing wavelet decomposition, we compare the distribution of the radio and IR emission on spatial scales between 200 pc and 30 kpc. We show that the radio-IR correlation is not uniform across the galactic disk. It presents a complex behavior with local extrema corresponding to various galactic structures, such as complexes of H II regions, spiral arms, and interarm filaments, indicating that the contribution of the thermal and non-thermal radio emission is a strong function of environment. In particular, the relation of the 24 μm and 20 cm emission presents a linear relation within the spiral arms and globally over the galaxy, while it deviates from linearity in the interarm and outer regions as well in the inner region, with two different behaviors: it is sublinear in the interarm and outer region and overlinear in the central 3.5 kpc. Our analysis suggests that the changes in the radio/IR correlation reflect variations of interstellar medium properties between spiral arms and interarm region. The good correlation in the spiral arms implies that 24 μm and 20 cm are tracing recent star formation, while a change in the dust opacity, "Cirrus" contribution to the IR emission and/or the relation between the magnetic field strength and the gas density can explain the different relations found in the interarm, outer, and inner regions

Is the way we're dieting wrong?

Progress in personalized medicine is now being translated to personalized nutrition. A recent proof-of-concept study shows that the increase in blood glucose levels after a meal is highly variable between individuals, but can be predicted by using a computational model that combines information from gut microbiome profiles and dietary questionnaires. This study raises questions about the usefulness of universal diet recommendations, and suggests we might need to move on to personalized diets