A Model of Cooperative Threads

We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until they terminate or explicitly yield control. We define and study a trace-based denotational semantics for this language; this semantics is fully abstract but mathematically elementary. We also give an equational theory for the computational effects that underlie the language, including thread spawning. We then analyze threads in terms of the free algebra monad for this theory.Comment: 39 pages, 5 figure

Ecosystem uptake and transfer of Sellafield-derived radiocarbon (14C). Part 1. The Irish Sea

Ecosystem uptake and transfer processes of Sellafield-derived radiocarbon (14C) within the Irish Sea were examined. Highly variable activities in sediment, seawater and biota indicate complex 14C dispersal and uptake dynamics. All east basin biota exhibited 14C enrichments above ambient background while most west basin biota had 14C activities close to background, although four organisms including two slow-moving species were significantly enriched. The western Irish Sea gyre is a suggested pathway for transfer of 14C to the west basin and retention therein. Despite ongoing Sellafield 14C discharges, organic sediments near Sellafield were significantly less enriched than associated benthic organisms. Rapid scavenging of labile, 14C-enriched organic material by organisms and mixing to depth of 14C-enriched detritus arriving at the sediment/water interface are proposed mechanisms to explain this. All commercially important fish, crustaceans and molluscs showed 14C enrichments above background; however, the radiation dose from their consumption is extremely low and radiologically insignificant

The Radial Structure of SNR N103B

We report on the results from a Chandra ACIS observation of the young, compact, supernova remnant N103B. The unprecedented spatial resolution of Chandra reveals sub-arcsecond structure, both in the brightness and in spectral variations. Underlying these small-scale variations is a surprisingly simple radial structure in the equivalent widths of the strong Si and S emission lines. We investigate these radial variations through spatially resolved spectroscopy using a plane-parallel, non-equilibrium ionization model with multiple components. The majority of the emission arises from components with a temperature of 1 keV: a fully ionized hydrogen component; a high ionization timescale (n_e*t > 10^12 s cm^-3) component containing Si, S, Ar, Ca, and Fe; and a low ionization timescale (n_e*t ~ 10^{11} s cm^-3) O, Ne, and Mg component. To reproduce the strong Fe Kalpha line, it is necessary to include additional Fe in a hot (> 2 keV), low ionization (n_e*t ~ 10^10.8 s cm^-3) component. This hot Fe may be in the form of hot Fe bubbles, formed in the radioactive decay of clumps of 56Ni. We find no radial variation in the ionization timescales or temperatures of the various components. Rather, the Si and S equivalent widths increase at large radii because these lines, as well as those of Ar and Ca, are formed in a shell occupying the outer half of the remnant. A shell of hot Fe is located interior to this, but there is a large region of overlap between these two shells. In the inner 30% of the remnant, there is a core of cooler, 1 keV Fe. We find that the distribution of the ejecta and the yields of the intermediate mass species are consistent with model prediction for Type Ia events.Comment: 34 pages, including 7 tables and 7 figures, Accepted by Ap

0103-72.6: A New Oxygen-Rich Supernova Remnant in the Small Magellanic Cloud

0103$-$72.6, the second brightest X-ray supernova remnant (SNR) in the Small Magellanic Cloud (SMC), has been observed with the {\it Chandra X-Ray Observatory}. Our {\it Chandra} observation unambiguously resolves the X-ray emission into a nearly complete, remarkably circular shell surrounding bright clumpy emission in the center of the remnant. The observed X-ray spectrum for the central region is evidently dominated by emission from reverse shock-heated metal-rich ejecta. Elemental abundances in this ejecta material are particularly enhanced in oxygen and neon, while less prominent in the heavier elements Si, S, and Fe. We thus propose that 0103$-$72.6 is a new ``oxygen-rich'' SNR, making it only the second member of the class in the SMC. The outer shell is the limb-brightened, soft X-ray emission from the swept-up SMC interstellar medium. The presence of O-rich ejecta and the SNR's location within an H{\small II} region attest to a massive star core-collapse origin for 0103$-$72.6. The elemental abundance ratios derived from the ejecta suggest an $\sim$18 M$_{\odot}$ progenitor star.Comment: 6 pages (ApJ emulator format), including 5 figures and 2 tables. For high quality Figs.1,2, & 3, contact [email protected]. Accepted by the ApJ Letter

Observation of a One-Dimensional Spin-Orbit Gap in a Quantum Wire

Understanding the flow of spins in magnetic layered structures has enabled an increase in data storage density in hard drives over the past decade of more than two orders of magnitude1. Following this remarkable success, the field of 'spintronics' or spin-based electronics is moving beyond effects based on local spin polarisation and is turning its attention to spin-orbit interaction (SOI) effects, which hold promise for the production, detection and manipulation of spin currents, allowing coherent transmission of information within a device. While SOI-induced spin transport effects have been observed in two- and three-dimensional samples, these have been subtle and elusive, often detected only indirectly in electrical transport or else with more sophisticated techniques. Here we present the first observation of a predicted 'spin-orbit gap' in a one-dimensional sample, where counter-propagating spins, constituting a spin current, are accompanied by a clear signal in the easily-measured linear conductance of the system.Comment: 10 pages, 5 figures, supplementary informatio

Finite geometries and diffractive orbits in isospectral billiards

Several examples of pairs of isospectral planar domains have been produced in the two-dimensional Euclidean space by various methods. We show that all these examples rely on the symmetry between points and blocks in finite projective spaces; from the properties of these spaces, one can derive a relation between Green functions as well as a relation between diffractive orbits in isospectral billiards.Comment: 10 page

A Lower Maternal Cortisol-to-Cortisone Ratio Precedes Clinical Diagnosis of Preterm and Term Preeclampsia by Many Weeks.

CONTEXT: Previous studies have shown reduced placental levels of 11-β-hydroxysteroid dehydrogenase type 2 (11βHSD2) in preeclampsia (PE). However, it is unknown if the maternal cortisol-to-cortisone ratio is predictive of placental complications of pregnancy. OBJECTIVE: To determine the relationship between the maternal serum cortisol-to-cortisone ratio at different stages of pregnancy and the risk of PE or fetal growth restriction (FGR). DESIGN: Women from the Pregnancy Outcome Prediction Study experiencing PE (n = 194) or FGR (n = 185), plus a random sample of healthy controls (n = 279), were studied. Steroids were measured at ∼12, ∼20, ∼28, and ∼36 weeks of gestational age (wkGA). Separate analyses were performed for outcomes with term or preterm delivery. Associations were modeled using logistic regression. RESULTS: At 28 wkGA, the cortisol-to-cortisone ratio was negatively associated (OR per 1 SD increase, 95% CI)] with preterm PE (OR 0.33, 95% CI 0.19 to 0.57), term PE (OR 0.61, 95% CI 0.49 to 0.76), and preterm FGR (OR 0.50, 95% CI 0.29 to 0.85). At 36 wkGA, the cortisol-to-cortisone ratio was negatively associated with term PE (OR 0.42, 95% CI 0.32 to 0.55) but not term FGR (OR 1.07, 95% CI 0.87 to 1.31). Associations were not materially affected by adjustment for maternal characteristics. CONCLUSIONS: A lower maternal serum cortisol-to-cortisone ratio precedes clinical manifestation of PE and preterm FGR by many weeks, despite previous reports of reduced levels of placental 11βHSD2 in these conditions. Our observations implicate enhanced maternal 11βHSD2 activity or reduced 11βHSD type 1 activity in the pathophysiology of PE.The POP study was funded by the National Institute for Health Research (NIHR) Cambridge Comprehensive Biomedical Research Centre (Women’s Health theme), and a project grant from the Medical Research Council (United Kingdom; G1100221). The study was also supported by GE Healthcare (donation of two Voluson i ultrasound systems for the POP study), and by the NIHR Cambridge Clinical Research Facility, where all research visits took place. A.E.H. was an Academic Clinical Fellow funded by NIHR