Micro-evaporators for kinetic exploration of phase diagrams

We use pervaporation-based microfluidic devices to concentrate species in aqueous solutions with spatial and temporal control of the process. Using experiments and modelling, we quantitatively describe the advection-diffusion behavior of the concentration field of various solutions (electrolytes, colloids, etc) and demonstrate the potential of these devices as universal tools for the kinetic exploration of the phases and textures that form upon concentration

Tactics for Reasoning modulo AC in Coq

We present a set of tools for rewriting modulo associativity and commutativity (AC) in Coq, solving a long-standing practical problem. We use two building blocks: first, an extensible reflexive decision procedure for equality modulo AC; second, an OCaml plug-in for pattern matching modulo AC. We handle associative only operations, neutral elements, uninterpreted function symbols, and user-defined equivalence relations. By relying on type-classes for the reification phase, we can infer these properties automatically, so that end-users do not need to specify which operation is A or AC, or which constant is a neutral element.Comment: 16

Ion and polymer dynamics in polymer electrolytes PPO-LiClO4: II. 2H and 7Li NMR stimulated-echo experiment

We use 2H NMR stimulated-echo spectroscopy to measure two-time correlation functions characterizing the polymer segmental motion in polymer electrolytes PPO-LiClO4 near the glass transition temperature Tg. To investigate effects of the salt on the polymer dynamics, we compare results for different ether oxygen to lithium ratios, namely, 6:1, 15:1, 30:1 and infinity. For all compositions, we find nonexponential correlation functions, which can be described by a Kohlrausch function. The mean correlation times show quantitatively that an increase of the salt concentration results in a strong slowing down of the segmental motion. Consistently, for the high 6:1 salt concentration, a high apparent activation energy E_a=4.1eV characterizes the temperature dependence of the mean correlation times at Tg < T< 1.1T_g, while smaller values E_a=2.5eV are observed for moderate salt contents. The correlation functions are most nonexponential for 15:1 PPO-LiClO4, whereas the stretching is reduced for higher and lower salt concentrations. A similar dependence of the correlation functions on the evolution time in the presence and in the absence of ions indicates that addition of salt hardly affects the reorientational mechanism. For all compositions, mean jump angles of about 15 degree characterize the segmental reorientation. In addition, comparison of results from 2H and 7Li NMR stimulated-echo experiments suggests a coupling of ion and polymer dynamics in 15:1 PPO-LiClO4.Comment: 14 pages, 12 figure

The First Detections of the Extragalactic Background Light at 3000, 5500, and 8000A (III): Cosmological Implications

(Abridged) We have used HST WFPC2 and ground-based spectroscopy to measure the integrated extragalactic background light (EBL) at optical wavelengths. We have also computed the integrated light from individual galaxy counts in the images used to measure the EBL and in the Hubble Deep Field. We find that the flux in galaxies as measured by standard galaxy photometry methods has generally been underestimated by about 50%. Further, we find that the total flux in individually detected galaxies is a factor of 2 to 3 less than the EBL at 3000--8000A. We show that a significant fraction of the EBL may come from normal galaxies at z<4, which are simply undetectable as a result of K-corrections and cosmological surface brightness dimming. This is consistent with recent redshift surveys at z<4. In the context of some simple models, we discuss the constraints placed by the EBL on the evolution of the luminosity density at z>1. Based on our optical EBL and published UV and IR EBL measurements, we estimate that the total EBL from 0.1--1000 microns is 100+/-20 nW/m^2/sr. If the total EBL were produced entirely by stellar nucleosynthesis, then we estimate that the total baryonic mass processed through stars is Omega_* = 0.0062 (+/- 0.0022) h^{-2}, which corresponds to 0.33+/-0.12 Omega_B for currently favored values of the baryon density. This estimate is smaller by roughly 7% if 7 h_{0.7} nW/m^2/sr of the total EBL comes from accretion onto central black holes. This estimate of Omega_* suggests that the universe has been enriched to a total metal mass of 0.21(+/-0.13) Z_sun Omega_B. Our estimate is consistent with other measurements of the cumulative metal mass fraction of stars, stellar remnants, and the intracluster medium of galaxy clusters in the local universe.Comment: Accepted for publication in ApJ, 20 pages using emulateapj.sty, version with higher resolution figures available at http://www.astro.lsa.umich.edu/~rab/publications.html or at http://nedwww.ipac.caltech.edu/level5/Sept01/Bernstein3/frames.htm

Thermal H₂O emission from the Herbig-Haro flow HH 54

The first detection of thermal water emission from a Herbig-Haro object is presented. The observations were performed with the LWS (Long Wavelength Spectrograph) aboard ISO (Infrared Space Observatory). Besides H2O, rotational lines of CO are present in the spectrum of HH 54. These high-J CO lines are used to derive the physical model parameters of the FIR (far-infrared) molecular line emitting regions. This model fits simultaneously the observed OH and H2O spectra for an OH abundance X(OH)=10-6 and a water vapour abundance X(H2O)=10-5. At a distance of 250pc, the total CO, OH and H2O rotational line cooling rate is estimated to be 1.3x10-2 L⊙, which is comparable to the mechanical luminosity generated by the 10km s-1 shocks, suggesting that practically all of the cooling of the weak-shock regions is done by these three molecular species alone

Dynamic Double Flash Illusion: Auditory Triggered Replay of Illusory Visual Expansion

In the original double flash illusion, a visual flash (e.g., a sharp-edged disk, or uniformly filled circle) presented with two short auditory tones (beeps) is often followed by an illusory flash. The illusory flash has been previously shown to be triggered by the second auditory beep. The current study extends the double flash illusion by showing that this paradigm can not only create the illusory repeat of an on-off flash, but also trigger an illusory expansion (and in some cases a subsequent contraction) that is induced by the flash of a circular brightness gradient (gradient disk) to replay as well. The perception of the dynamic double flash illusion further supports the interpretation of the illusory flash (in the double flash illusion) as similar in its spatial and temporal properties to the perception of the real visual flash, likely by replicating the neural processes underlying the illusory expansion of the real flash. We show further that if a gradient disk (generating an illusory expansion) and a sharp-edged disk are presented simultaneously side by side with two sequential beeps, often only one visual stimulus or the other will be perceived to double flash. This indicates selectivity in auditory–visual binding, suggesting the usefulness of this paradigm as a psychophysical tool for investigating crossmodal binding phenomena