Quantifying Information Flow with Beliefs

To reason about information flow, a new model is developed that describes how attacker beliefs change due to the attacker's observation of the execution of a probabilistic (or deterministic) program. The model enables compositional reasoning about information flow from attacks involving sequences of interactions. The model also supports a new metric for quantitative information flow that measures accuracy of an attacker's beliefs. Applying this new metric reveals inadequacies of traditional information flow metrics, which are based on reduction of uncertainty. However, the new metric is sufficiently general that it can be instantiated to measure either accuracy or uncertainty. The new metric can also be used to reason about misinformation; deterministic programs are shown to be incapable of producing misinformation. Additionally, programs in which nondeterministic choices are made by insiders, who collude with attackers, can be analyzed

Catching Element Formation In The Act

Gamma-ray astronomy explores the most energetic photons in nature to address some of the most pressing puzzles in contemporary astrophysics. It encompasses a wide range of objects and phenomena: stars, supernovae, novae, neutron stars, stellar-mass black holes, nucleosynthesis, the interstellar medium, cosmic rays and relativistic-particle acceleration, and the evolution of galaxies. MeV gamma-rays provide a unique probe of nuclear processes in astronomy, directly measuring radioactive decay, nuclear de-excitation, and positron annihilation. The substantial information carried by gamma-ray photons allows us to see deeper into these objects, the bulk of the power is often emitted at gamma-ray energies, and radioactivity provides a natural physical clock that adds unique information. New science will be driven by time-domain population studies at gamma-ray energies. This science is enabled by next-generation gamma-ray instruments with one to two orders of magnitude better sensitivity, larger sky coverage, and faster cadence than all previous gamma-ray instruments. This transformative capability permits: (a) the accurate identification of the gamma-ray emitting objects and correlations with observations taken at other wavelengths and with other messengers; (b) construction of new gamma-ray maps of the Milky Way and other nearby galaxies where extended regions are distinguished from point sources; and (c) considerable serendipitous science of scarce events -- nearby neutron star mergers, for example. Advances in technology push the performance of new gamma-ray instruments to address a wide set of astrophysical questions.Comment: 14 pages including 3 figure

The effect of quinidine and mexiletine on the adaptation of ventricular refractoriness to an increase in rate

The purpose of this study was to determine the effects of quinidine and mexiletine on the adaptation of ventricular refractoriness to a change in heart rate. The ventricular effective refractory period was measured at a basic drive cycle length of 500 msec with basic drive train durations of two beats, eight beats, 20 beats and 3 minutes. The ventricular refractory periods were measured in the baseline state and after oral treatment with quinidine or mexiletine in 20 subjects each. In the baseline state, there was progressive shortening of the ventricular refractory period as the drive train duration increased from two beats to 3 minutes. Quinidine prolonged refractoriness by 5% (p < 0.001) at each drive train duration. Mexiletine did not affect the ventricular effective refractory period at any of the drive train durations. In a control group of 20 subjects, there were no significant differences between two determinations of refractoriness at each basic drive train duration. In conclusion, neither quinidine nor mexiletine affect the adaptation of ventricular refractoriness to an increase in rate. Although the ventricular effective refractory period measured with a conventional basic drive train duration of eight beats is often more than 20 msec longer than the actual ventricular effective refractory period measured with a drive train duration of 3 minutes, the effects of quinidine and mexiletine on the conventionally measured ventricular effective refractory period accurately reflect the effects of these drugs on the actual ventricular effective refractory period.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/29490/1/0000576.pd

Catching Element Formation In The Act

Gamma-ray astronomy explores the most energetic photons in nature to address some of the most pressing puzzles in contemporary astrophysics. It encompasses a wide range of objects and phenomena: stars, supernovae, novae, neutron stars, stellar-mass black holes, nucleosynthesis, the interstellar medium, cosmic rays and relativistic-particle acceleration, and the evolution of galaxies. MeV gamma-rays provide a unique probe of nuclear processes in astronomy, directly measuring radioactive decay, nuclear de-excitation, and positron annihilation. The substantial information carried by gamma-ray photons allows us to see deeper into these objects, the bulk of the power is often emitted at gamma-ray energies, and radioactivity provides a natural physical clock that adds unique information. New science will be driven by time-domain population studies at gamma-ray energies. This science is enabled by next-generation gamma-ray instruments with one to two orders of magnitude better sensitivity, larger sky coverage, and faster cadence than all previous gamma-ray instruments. This transformative capability permits: (a) the accurate identification of the gamma-ray emitting objects and correlations with observations taken at other wavelengths and with other messengers; (b) construction of new gamma-ray maps of the Milky Way and other nearby galaxies where extended regions are distinguished from point sources; and (c) considerable serendipitous science of scarce events -- nearby neutron star mergers, for example. Advances in technology push the performance of new gamma-ray instruments to address a wide set of astrophysical questions

Catching element formation in the act

Gamma-ray astronomy explores the most energetic photons in nature to address some of the most pressing puzzles in contemporary astrophysics. It encompasses a wide range of objects and phenomena: stars, supernovae, novae, neutron stars, stellar-mass black holes, nucleosynthesis, the interstellar medium, cosmic rays and relativistic-particle acceleration, and the evolution of galaxies. MeV gamma-rays provide a unique probe of nuclear processes in astronomy, directly measuring radioactive decay, nuclear de-excitation, and positron annihilation. The substantial information carried by gamma-ray photons allows us to see deeper into these objects, the bulk of the power is often emitted at gamma-ray energies, and radioactivity provides a natural physical clock that adds unique information. New science will be driven by time-domain population studies at gamma-ray energies. This science is enabled by next-generation gamma-ray instruments with one to two orders of magnitude better sensitivity, larger sky coverage, and faster cadence than all previous gamma-ray instruments. This transformative capability permits: (a) the accurate identification of the gamma-ray emitting objects and correlations with observations taken at other wavelengths and with other messengers; (b) construction of new gamma-ray maps of the Milky Way and other nearby galaxies where extended regions are distinguished from point sources; and (c) considerable serendipitous science of scarce events -- nearby neutron star mergers, for example. Advances in technology push the performance of new gamma-ray instruments to address a wide set of astrophysical questions

Stable Isotope Biogeochemistry of Seabird Guano Fertilization: Results from Growth Chamber Studies with Maize (Zea Mays)

Stable isotope analysis is being utilized with increasing regularity to examine a wide range of issues (diet, habitat use, migration) in ecology, geology, archaeology, and related disciplines. A crucial component to these studies is a thorough understanding of the range and causes of baseline isotopic variation, which is relatively poorly understood for nitrogen (δ(15)N). Animal excrement is known to impact plant δ(15)N values, but the effects of seabird guano have not been systematically studied from an agricultural or horticultural standpoint.This paper presents isotopic (δ(13)C and δ(15)N) and vital data for maize (Zea mays) fertilized with Peruvian seabird guano under controlled conditions. The level of (15)N enrichment in fertilized plants is very large, with δ(15)N values ranging between 25.5 and 44.7‰ depending on the tissue and amount of fertilizer applied; comparatively, control plant δ(15)N values ranged between -0.3 and 5.7‰. Intraplant and temporal variability in δ(15)N values were large, particularly for the guano-fertilized plants, which can be attributed to changes in the availability of guano-derived N over time, and the reliance of stored vs. absorbed N. Plant δ(13)C values were not significantly impacted by guano fertilization. High concentrations of seabird guano inhibited maize germination and maize growth. Moreover, high levels of seabird guano greatly impacted the N metabolism of the plants, resulting in significantly higher tissue N content, particularly in the stalk.The results presented in this study demonstrate the very large impact of seabird guano on maize δ(15)N values. The use of seabird guano as a fertilizer can thus be traced using stable isotope analysis in food chemistry applications (certification of organic inputs). Furthermore, the fertilization of maize with seabird guano creates an isotopic signature very similar to a high-trophic level marine resource, which must be considered when interpreting isotopic data from archaeological material

Quantification of Integrity

Two information-flow integrity measures are introduced: contamination and suppression. The former is dual to information-flow confidentiality, and the latter is analogous to the standard model of channel reliability from information theory. The relationship between quantitative integrity, confidentiality, and database privacy is examined.Supported in part by AFOSR grant F9550-06-0019, National Science Foundation grants 0430161 and CCF-0424422 (TRUST), and a gift from Microsoft Corporation

Hyperproperties

Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express security policies, such as secure information flow, that properties cannot. Safety and liveness are generalized to hyperproperties, and every hyperproperty is shown to be the intersection of a safety hyperproperty and a liveness hyperproperty. A verification technique for safety hyperproperties is given and is shown to generalize prior techniques for verifying secure information flow. Refinement is shown to be valid for safety hyperproperties. A topological characterization of hyperproperties is given