Abiotic O2_{2} Levels on Planets around F, G, K, and M Stars: Possible False Positives for Life?

In the search for life on Earth-like planets around other stars, the first (and likely only) information will come from the spectroscopic characterization of the planet's atmosphere. Of the countless number of chemical species terrestrial life produces, only a few have the distinct spectral features and the necessary atmospheric abundance to be detectable. The easiest of these species to observe in Earth's atmosphere is O$_{2}$ (and its photochemical byproduct, O$_{3}$). But O$_{2}$ can also be produced abiotically by photolysis of CO$_{2}$, followed by recombination of O atoms with each other. CO is produced in stoichiometric proportions. Whether O$_{2}$ and CO can accumulate to appreciable concentrations depends on the ratio of far-UV to near-UV radiation coming from the planet's parent star and on what happens to these gases when they dissolve in a planet's oceans. Using a one-dimensional photochemical model, we demonstrate that O$_{2}$ derived from CO$_{2}$ photolysis should not accumulate to measurable concentrations on planets around F- and G-type stars. K-star, and especially M-star planets, however, may build up O$_{2}$ because of the low near-UV flux from their parent stars, in agreement with some previous studies. On such planets, a 'false positive' for life is possible if recombination of dissolved CO and O$_{2}$ in the oceans is slow and if other O$_{2}$ sinks (e.g., reduced volcanic gases or dissolved ferrous iron) are small. O$_{3}$, on the other hand, could be detectable at UV wavelengths ($\lambda$ < 300 nm) for a much broader range of boundary conditions and stellar types.Comment: 20 pages text, 9 figure

Pre/post conditioned slicing

Th paper shows how analysis of programs in terms of pre- and postconditions can be improved using a generalisation of conditioned program slicing called pre/post conditioned slicing. Such conditions play an important role in program comprehension, reuse, verification and reengineering. Fully automated analysis is impossible because of the inherent undecidability of pre- and post- conditions. The method presented reformulates the problem to circumvent this. The reformulation is constructed so that programs which respect the pre- and post-conditions applied to them have empty slices. For those which do not respect the conditions, the slice contains statements which could potentially break the conditions. This separates the automatable part of the analysis from the human analysis

VADA: A transformation-based system for variable dependence analysis

Variable dependence is an analysis problem in which the aim is to determine the set of input variables that can affect the values stored in a chosen set of intermediate program variables. This paper shows the relationship between the variable dependence analysis problem and slicing and describes VADA, a system that implements variable dependence analysis. In order to cover the full range of C constructs and features, a transformation to a core language is employed Thus, the full analysis is required only for the core language, which is relatively simple. This reduces the overall effort required for dependency analysis. The transformations used need preserve only the variable dependence relation, and therefore need not be meaning preserving in the traditional sense. The paper describes how this relaxed meaning further simplifies the transformation phase of the approach. Finally, the results of an empirical study into the performance of the system are presented

Fighting HIV/AIDS: Reconfiguring the State?

The author wishes to thank the anonymous reviewers of the article and the ESRC for funding part of this research

Emerging Roles for Neuropilin-2 in Cardiovascular Disease

Cardiovascular disease, the leading cause of death worldwide, is predominantly associated with atherosclerosis. Atherosclerosis is a chronic inflammatory disease characterised by the narrowing of large to medium-sized arteries due to a build-up of plaque. Atherosclerotic plaque is comprised of lipids, extracellular matrix, and several cell types, including endothelial, immune, and vascular smooth muscle cells. Such narrowing of the blood vessels can itself restrict blood flow to vital organs but most severe clinical complications, including heart attacks and strokes, occur when lesions rupture, triggering the blood to clot and obstructing blood flow further down the vascular tree. To circumvent such obstructions, percutaneous coronary intervention or bypass grafts are often required; however, re-occlusion of the treated artery frequently occurs. Neuropilins (NRPs), a multifunctional family of cell surface co-receptors, are expressed by endothelial, immune, and vascular smooth muscle cells and are regulators of numerous signalling pathways within the vasculature. Here, we review recent studies implicating NRP2 in the development of occlusive vascular diseases and discuss how NRP2 could be targeted for therapeutic intervention

mesas.py v1.0: a flexible Python package for modeling solute transport and transit times using StorAge Selection functions

StorAge Selection (SAS) transport theory has recently emerged as a framework for representing material transport through a control volume. It can be seen as a generalization of transit time theories and lumped-parameter models to allow for arbitrary temporal variability in the rate of material flow in and out of the control volume, and in the transport dynamics. SAS is currently the state-of-the-art approach to interpreting tracer transport. Here, we present mesas.py, a Python package implementing the SAS framework. mesas.py allows SAS functions to be specified using several built-in common distributions, as a piecewise linear cumulative distribution function (CDF), or as a weighted sum of any number of such distributions. The distribution parameters and weights used to combine them can be allowed to vary in time, permitting SAS functions of arbitrary complexity to be specified. mesas.py simulates tracer transport using a novel mass-tracking scheme and can account for first-order reactions and fractionation. We present a number of analytical solutions to the governing equations and use these to validate the code. For a benchmark problem the time-step-averaging approach of the mesas.py implementation provides a reduction in mass balance errors of up to 15 times in some cases compared with a previous implementation of SAS.</p

Thermoelectric three-terminal hopping transport through one-dimensional nanosystems

A two-site nanostructure (e.g, a "molecule") bridging two conducting leads and connected to a phonon bath is considered. The two relevant levels closest to the Fermi energy are connected each to its lead. The leads have slightly different temperatures and chemical potentials and the nanos- tructure is also coupled to a thermal (third) phonon bath. The 3 x 3 linear transport ("Onsager") matrix is evaluated, along with the ensuing new figure of merit, and found to be very favorable for thermoelectric energy conversion.Comment: Accepted by Phys. Rev.