Dust: Small‐scale processes with global consequences

An Epidemic with Global Consequences

The global dust SED: tracing the nature and evolution of dust with DustEM

The Planck and Herschel missions are currently measuring the far-infrared to millimeter emission of dust, which combined with existing IR data, will for the first time provide the full spectral energy distribution (SED) of the galactic interstellar medium dust emission, from the mid-IR to the mm range, with an unprecedented sensitivity and down to spatial scales ∼30′′ . Such a global SED will a...

Processes with local and global liveness requirements

The deterministic QS model, introduced in [CS95], captures (local) liveness properties, commonly specified in Temporal Logic, and not fully captured by nondeterministic process models. Liveness explains how some processes engage spontaneously in some actions and wait passively for the triggering of other actions by other processes. In this paper, we extend the QS model to describe liveness prop...

Learning Biological Processes with Global Constraints

Biological processes are complex phenomena involving a series of events that are related to one another through various relationships. Systems that can understand and reason over biological processes would dramatically improve the performance of semantic applications involving inference such as question answering (QA) – specifically “How?” and “Why?” questions. In this paper, we present the tas...

Dust-charging Processes in Plasma Environments

The Cosmic Dust Analyzer aboard the Cassini spacecraft consists of a several targets as well as a photomultiplier tube which provide information upon collision with ambient dust particles in Saturn’s magnetosphere. Information includes particle mass, velocity, chemical composition, and charge. The focus of this report is the charge of the dust particles; specifically, the processes by which the...