Light scattering by lunar-like particle size distributions

A fundamental input to models of light scattering from planetary regoliths is the mean phase function of the regolith particles. Using the known size distribution for typical lunar soils, the mean phase function and mean linear polarization for a regolith volume element of spherical particles of any composition were calculated from Mie theory. The two contour plots given here summarize the changes in the mean phase function and linear polarization with changes in the real part of the complex index of refraction, n - ik, for k equals 0.01, the visible wavelength 0.55 micrometers, and the particle size distribution of the typical mature lunar soil 72141. A second figure is a similar index-phase surface, except with k equals 0.1. The index-phase surfaces from this survey are a first order description of scattering by lunar-like regoliths of spherical particles of arbitrary composition. They form the basis of functions that span a large range of parameter-space

A test of the applicability of independent scattering to high albedo planetary regoliths

We show that 'independent scattering' is a useful approximation for high albedo particles whose size and packing density are similar to typical particles in the lunar regolith. Laboratory measurements of the intensity and linear polarization of light scattered from a laboratory sample of glass spheres of know size and composition are compared to radiative transfer calculations of the same observable quantities. Mie scattering is integrated over the size distribution of the particles to determine the mean phase and polarization functions, or phase matrix, of the particle. Assuming that the particles scatter independently, the 'doubling method' is used to rigorously calculate multiple scattering in an optically thick layer of these anisotropically scattering particles. All of the major features 'predicted' in the calculated intensity (double peaks at small phase angles) and polarization (negative branch at small phase angles, large positive peak near 20 degrees phase, and small polarization elsewhere) are observed in the laboratory measurements, with good quantitative agreement indicated at phase angles less than 90 degrees. Even though the particles are supported by physical contact with each other in the sample, as are the particles in planetary regoliths, the independent scattering calculation yields a good approximation to both the intensity and polarization. The physical parameters input to the calculation are only the size distribution of the particles and their complex index of refraction (composition). Significant advantages of this approach are that the phase matrix is calculated from basic physical principles and both the intensity and polarization are determined simultaneously. This model may have broad applications to the interpretation of photometry, spectroscopy, and polarimetry of the icy regoliths of high albedo satellites. The intent of this effort is to perform a controlled experiment that tests the utility of the independent scattering assumptio

No better time to FRET: shedding light on host pathogen interactions

Understanding the spatio-temporal subversion of host cell signaling by bacterial virulence factors is key to combating infectious diseases. Following a recent study by Buntru and co-workers published in BMC Biology, we review how fluorescence (Forster) resonance energy transfer (FRET) has been applied to studying host-pathogen interactions and consider the prospects for its future application

Triton's global heat budget

Internal heat flow from radioactive decay in Triton's interior along with absorbed thermal energy from Neptune total 5 to 20 percent of the insolation absorbed by Triton, thus comprising a significant fraction of Triton's surface energy balance. These additional energy inputs can raise Triton's surface temperature between approx. 0.5 to 1.5 K above that possible with absorbed sunlight alone, resulting in a factor of approx. 1.5 to 2.5 increase in Triton's basal atmospheric pressure. If Triton's internal heatflow is concentrated in some areas, as is likely, local effects such as enhanced sublimation with subsequent modification of albedo could be quite large. Furthermore, indications of recent albedo change on Triton suggest that Triton's surface temperature and pressure may not now be in steady state, further suggesting that atmospheric pressure on Triton was as much as 10 times higher in the recent past

Compositional closure for Bayes Risk in probabilistic noninterference

We give a sequential model for noninterference security including probability (but not demonic choice), thus supporting reasoning about the likelihood that high-security values might be revealed by observations of low-security activity. Our novel methodological contribution is the definition of a refinement order and its use to compare security measures between specifications and (their supposed) implementations. This contrasts with the more common practice of evaluating the security of individual programs in isolation. The appropriateness of our model and order is supported by our showing that our refinement order is the greatest compositional relation --the compositional closure-- with respect to our semantics and an "elementary" order based on Bayes Risk --- a security measure already in widespread use. We also relate refinement to other measures such as Shannon Entropy. By applying the approach to a non-trivial example, the anonymous-majority Three-Judges protocol, we demonstrate by example that correctness arguments can be simplified by the sort of layered developments --through levels of increasing detail-- that are allowed and encouraged by compositional semantics

An Institutional Framework for Heterogeneous Formal Development in UML

We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogeneous approach. This can express suitable formal semantics of the different UML diagram types directly, without the need to map everything to one specific formalism (let it be first-order logic or graph grammars). We show how different aspects of the formal development process can be coherently formalised, ranging from requirements over design and Hoare-style conditions on code to the implementation itself. The framework can be used to verify consistency of different UML diagrams both horizontally (e.g., consistency among various requirements) as well as vertically (e.g., correctness of design or implementation w.r.t. the requirements)

Gain of Function Analysis Reveals Non-Redundant Roles for the Yersinia pestis Type III Secretion System Effectors YopJ, YopT, and YpkA [preprint]

Virulence of Yersinia pestis in mammals requires the type III secretion system, which delivers seven effector proteins into the cytoplasm of host cells to undermine immune responses. All seven of these effectors are conserved across Y. pestis strains, but three -- YopJ, YopT, and YpkA -- are apparently dispensable for virulence. Some degree of functional redundancy between effector proteins would explain both observations. Here, we use a combinatorial genetic approach to define the minimal subset of effectors required for full virulence in mice following subcutaneous infection. We found that a Y. pestis strain lacking YopJ, YopT, and YpkA is attenuated for virulence in mice, and that addition of any one of these effectors to this strain increases lethality significantly. YopJ, YopT, and YpkA likely contribute to virulence via distinct mechanisms. YopJ is uniquely able to cause macrophage cell death in vitro and to suppress accumulation of inflammatory cells to foci of bacterial growth in deep tissue, whereas YopT and YpkA cannot. The synthetic phenotypes that emerge when YopJ, YopT, and YpkA are removed in combination provide evidence that each enhances Y. pestis virulence, and that YopT and YpkA act through a mechanism distinct from that of YopJ

A decade's overview of Io's volcanic activity

Over the past decade some aspects of Io's volcanic activity have changed greatly, while others have essentially remained constant. This contrast has emerged from our study of multi-wavelength, infrared, observations of Io's thermal emission. From 1983 to 1992 we observed the disk integrated flux density of Io from the NASA Infrared Telescope Facility (IRTF) on Mauna Kea, Hawaii. Our spectral coverage allows us to separate out the emission components due to volcanic thermal anomalies which are warmer than the background emission caused by solar heating. Our temporal coverage allows us to resolve individual eruptions and also to obtain the disk-integrated flux density as a function of longitude (or, equivalently, orbital phase angle). Characteristics that persisted over the decade involve Loki's location and intensity of emission, the leading hemisphere emission, and the average heat flow. The variable aspects of Io over the decade include Loki's hotter area(s) and the outbursts in the leading hemisphere

Genome-wide mutant fitness profiling identifies nutritional requirements for optimal growth of Yersinia pestis in deep tissue

Rapid growth in deep tissue is essential to the high virulence of Yersinia pestis, causative agent of plague. To better understand the mechanisms underlying this unusual ability, we used transposon mutagenesis and high-throughput sequencing (Tn-seq) to systematically probe the Y. pestis genome for elements contributing to fitness during infection. More than a million independent insertion mutants representing nearly 200,000 unique genotypes were generated in fully virulent Y. pestis. Each mutant in the library was assayed for its ability to proliferate in vitro on rich medium and in mice following intravenous injection. Virtually all genes previously established to contribute to virulence following intravenous infection showed significant fitness defects, with the exception of genes for yersiniabactin biosynthesis, which were masked by strong intercellular complementation effects. We also identified more than 30 genes with roles in nutrient acquisition and metabolism as experiencing strong selection during infection. Many of these genes had not previously been implicated in Y. pestis virulence. We further examined the fitness defects of strains carrying mutations in two such genes-encoding a branched-chain amino acid importer (brnQ) and a glucose importer (ptsG)-both in vivo and in a novel defined synthetic growth medium with nutrient concentrations matching those in serum. Our findings suggest that diverse nutrient limitations in deep tissue play a more important role in controlling bacterial infection than has heretofore been appreciated. Because much is known about Y. pestis pathogenesis, this study also serves as a test case that assesses the ability of Tn-seq to detect virulence genes. IMPORTANCE: Our understanding of the functions required by bacteria to grow in deep tissues is limited, in part because most growth studies of pathogenic bacteria are conducted on laboratory media that do not reflect conditions prevailing in infected animal tissues. Improving our knowledge of this aspect of bacterial biology is important as a potential pathway to the development of novel therapeutics. Yersinia pestis, the plague bacterium, is highly virulent due to its rapid dissemination and growth in deep tissues, making it a good model for discovering bacterial adaptations that promote rapid growth during infection. Using Tn-seq, a genome-wide fitness profiling technique, we identified several functions required for fitness of Y. pestis in vivo that were not previously known to be important. Most of these functions are needed to acquire or synthesize nutrients. Interference with these critical nutrient acquisition pathways may be an effective strategy for designing novel antibiotics and vaccines