Detection of an SO2 plume over Sapporo, Japan from the eruption of Mt. Kasatochi using a balloon sounding technique

During the month of August 2008, 10 ozonesondes were launched from Hokkaido University in Sapporo, Japan as part of a study to examine regional pollution during the Olympic period. Seven of these soundings included a second instrument with a filter designed to remove SO2 from the intake air stream. SO2 interferes with the normal chemistry of the electrochemical cell (ECC) method for ozone detection, with the net result being that each molecule of SO2 registers as minus one molecule of O3. Thus the unfiltered sonde reports [O3] - [SO2] while the filtered sonde reports [O3]. Laboratory tests prior to launch indicate that the SO2 filter is ~87% effective, while destroying little to no O3. The difference between the filtered and unfiltered readings is ~[SO2]. We demonstrate the effectiveness of this technique in the lower and middle troposphere by examining profiles both with and without SO2 present. Ozone Monitoring Instrument (OMI) SO2 data (Krotkov et al., 2006, 2008) and trajectories from the NASA Goddard Trajectory model (Schoeberl & Sparling, 1995) connect the SO2 detected by our balloon borne instruments over Hokkaido, Japan 21 – 22 August to the plume from the volcanic eruption of Mt. Kasatochi 7 – 9 August

Stochastic modeling of cargo transport by teams of molecular motors

Many different types of cellular cargos are transported bidirectionally along microtubules by teams of molecular motors. The motion of this cargo-motors system has been experimentally characterized in vivo as processive with rather persistent directionality. Different theoretical approaches have been suggested in order to explore the origin of this kind of motion. An effective theoretical approach, introduced by M\"uller et al., describes the cargo dynamics as a tug-of-war between different kinds of motors. An alternative approach has been suggested recently by Kunwar et al., who considered the coupling between motor and cargo in more detail. Based on this framework we introduce a model considering single motor positions which we propagate in continuous time. Furthermore, we analyze the possible influence of the discrete time update schemes used in previous publications on the system's dynamic.Comment: Cenference proceedings - Traffic and Granular Flow 1

The dependency pair framework: Combining techniques for automated termination proofs

Abstract. The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible methods to prove termination. In this paper, we show that dependency pairs can instead be used as a general concept to integrate arbitrary techniques for termination analysis. In this way, the benefits of different techniques can be combined and their modularity and power are increased significantly. We refer to this new concept as the “dependency pair framework ” to distinguish it from the old “dependency pair approach”. Moreover, this framework facilitates the development of new methods for termination analysis. To demonstrate this, we present several new techniques within the dependency pair framework which simplify termination problems considerably. We implemented the dependency pair framework in our termination prover AProVE and evaluated it on large collections of examples.

Measuring surface-area-to-volume ratios in soft porous materials using laser-polarized xenon interphase exchange NMR

We demonstrate a minimally invasive nuclear magnetic resonance (NMR) technique that enables determination of the surface-area-to-volume ratio (S/V) of soft porous materials from measurements of the diffusive exchange of laser-polarized 129Xe between gas in the pore space and 129Xe dissolved in the solid phase. We apply this NMR technique to porous polymer samples and find approximate agreement with destructive stereological measurements of S/V obtained with optical confocal microscopy. Potential applications of laser-polarized xenon interphase exchange NMR include measurements of in vivo lung function in humans and characterization of gas chromatography columns.Comment: 14 pages of text, 4 figure

Formation and Interaction of Membrane Tubes

We show that the formation of membrane tubes (or membrane tethers), which is a crucial step in many biological processes, is highly non-trivial and involves first order shape transitions. The force exerted by an emerging tube is a non-monotonic function of its length. We point out that tubes attract each other, which eventually leads to their coalescence. We also show that detached tubes behave like semiflexible filaments with a rather short persistence length. We suggest that these properties play an important role in the formation and structure of tubular organelles.Comment: 4 pages, 3 figure

Elongation and fluctuations of semi-flexible polymers in a nematic solvent

We directly visualize single polymers with persistence lengths ranging from $\ell_p=0.05$ to 16 $\mu$m, dissolved in the nematic phase of rod-like {\it fd} virus. Polymers with sufficiently large persistence length undergo a coil-rod transition at the isotropic-nematic transition of the background solvent. We quantitatively analyze the transverse fluctuations of semi-flexible polymers and show that at long wavelengths they are driven by the fluctuating nematic background. We extract both the Odijk deflection length and the elastic constant of the background nematic phase from the data.Comment: 4 pages, 4 figures, submitted to PR

Infrared problem for the Nelson model on static space-times

We consider the Nelson model with variable coefficients and investigate the problem of existence of a ground state and the removal of the ultraviolet cutoff. Nelson models with variable coefficients arise when one replaces in the usual Nelson model the flat Minkowski metric by a static metric, allowing also the boson mass to depend on position. A physical example is obtained by quantizing the Klein-Gordon equation on a static space-time coupled with a non-relativistic particle. We investigate the existence of a ground state of the Hamiltonian in the presence of the infrared problem, i.e. assuming that the boson mass tends to 0 at infinity