Reducing the Uptake of Sr90 by Plants on Contaminated Ohio Soils

Author Institution: Department of Agronomy, Ohio Agricultural Experiment Station, Wooster, Ohi

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Gravitational waves from single neutron stars: an advanced detector era survey

With the doors beginning to swing open on the new gravitational wave astronomy, this review provides an up-to-date survey of the most important physical mechanisms that could lead to emission of potentially detectable gravitational radiation from isolated and accreting neutron stars. In particular we discuss the gravitational wave-driven instability and asteroseismology formalism of the f- and r-modes, the different ways that a neutron star could form and sustain a non-axisymmetric quadrupolar "mountain" deformation, the excitation of oscillations during magnetar flares and the possible gravitational wave signature of pulsar glitches. We focus on progress made in the recent years in each topic, make a fresh assessment of the gravitational wave detectability of each mechanism and, finally, highlight key problems and desiderata for future work.Comment: 39 pages, 12 figures, 2 tables. Chapter of the book "Physics and Astrophysics of Neutron Stars", NewCompStar COST Action 1304. Minor corrections to match published versio

A cryogenic rotation stage with a large clear aperture for the half-wave plates in the Spider instrument

We describe the cryogenic half-wave plate rotation mechanisms built for and used in Spider, a polarization-sensitive balloon-borne telescope array that observed the Cosmic Microwave Background at 95 GHz and 150 GHz during a stratospheric balloon flight from Antarctica in January 2015. The mechanisms operate at liquid helium temperature in flight. A three-point contact design keeps the mechanical bearings relatively small but allows for a large (305 mm) diameter clear aperture. A worm gear driven by a cryogenic stepper motor allows for precise positioning and prevents undesired rotation when the motors are depowered. A custom-built optical encoder system monitors the bearing angle to an absolute accuracy of +/- 0.1 degrees. The system performed well in Spider during its successful 16 day flight