512 research outputs found
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
- …