Tracking Data-Flow with Open Closure Types

Type systems hide data that is captured by function closures in function types. In most cases this is a beneficial design that favors simplicity and compositionality. However, some applications require explicit information about the data that is captured in closures. This paper introduces open closure types, that is, function types that are decorated with type contexts. They are used to track data-flow from the environment into the function closure. A simply-typed lambda calculus is used to study the properties of the type theory of open closure types. A distinctive feature of this type theory is that an open closure type of a function can vary in different type contexts. To present an application of the type theory, it is shown that a type derivation establishes a simple non-interference property in the sense of information-flow theory. A publicly available prototype implementation of the system can be used to experiment with type derivations for example programs.Comment: Logic for Programming Artificial Intelligence and Reasoning (2013

Limit on the CH4/CO ratio in Comet Levy (1990c) and comparisons with other comets

Near-infrared observations of comet Levy (1900c) were made on UT 4.3 and 5.3 Sep. 1990 from the United Kingdom Infrared Telescope on Mauna Kea. A scanning Fabry-Perot interferometer in combination with a cooled grating spectrometer was used to make a sensitive search for fluorescent emission from the v zub 3 band of CH4 near lambda approx. 3.3 microns. If CH4 is a parent molecule released directly from the nucleus, then the 3 sigma limit on its abundance is CH4/H2O approx. less than 0.0031, assuming that the kinetic temperature of the inner coma is approx. 50 K and that the CH4 spin species are equilibrated at a temperature approx. greater than 50 K. Since International Ultraviolet Explorer (IUE) observations of CO in Levy indicate that CO/H2O approx. 0.04 (Feldman et al.), researchers find that CH4/CO approx. less than 0.1. Infrared spectroscopic searches for CH4 in Comet Halley also yielded no positive detections; the more sensitive upper limit from the latter observations is CH4/H2O approx. less than 0.002. Since CO/H2O approx. 0.05 in Halley (not including the extended source of CO), the upper limits on the CH4/CO ratios are almost identical for comets Levy and Halley. A marginal infrared detection of the CH4 v sub 3 band in comet Wilson yielded CH4/H2O approx. 0.01 to 0.05 (Larson et al.), but there was no positive detection of CO. If the identification of the feature in the infrared spectrum of comet Wilson is correct, then that would indicate a very high CH4/CO ratio in this comet

Rank-ordered Multifractal Spectrum for Intermittent Fluctuations

We describe a new method that is both physically explicable and quantitatively accurate in describing the multifractal characteristics of intermittent events based on groupings of rank-ordered fluctuations. The generic nature of such rank-ordered spectrum leads it to a natural connection with the concept of one-parameter scaling for monofractals. We demonstrate this technique using results obtained from a 2D MHD simulation. The calculated spectrum suggests a crossover from the near Gaussian characteristics of small amplitude fluctuations to the extreme intermittent state of large rare events.Comment: 4 pages, 5 figure

Dynamics of a passive sliding particle on a randomly fluctuating surface

We study the motion of a particle sliding under the action of an external field on a stochastically fluctuating one-dimensional Edwards-Wilkinson surface. Numerical simulations using the single-step model shows that the mean-square displacement of the sliding particle shows distinct dynamic scaling behavior, depending on whether the surface fluctuates faster or slower than the motion of the particle. When the surface fluctuations occur on a time scale much smaller than the particle motion, we find that the characteristic length scale shows anomalous diffusion with $\xi(t)\sim t^{2\phi}$, where $\phi\approx 0.67$ from numerical data. On the other hand, when the particle moves faster than the surface, its dynamics is controlled by the surface fluctuations and $\xi(t)\sim t^{{1/2}}$. A self-consistent approximation predicts that the anomalous diffusion exponent is $\phi={2/3}$, in good agreement with simulation results. We also discuss the possibility of a slow cross-over towards asymptotic diffusive behavior. The probability distribution of the displacement has a Gaussian form in both the cases.Comment: 6 pages, 4 figures, error in reference corrected and new reference added, submitted to Phys. Rev.

Metallicity determination in gas-rich galaxies with semiempirical methods

A study of the precision of the semiempirical methods used in the determination of the chemical abundances in gas-rich galaxies is carried out. In order to do this the oxygen abundances of a total of 438 galaxies were determined using the electronic temperature, the $R_{23}$ and the P methods. The new calibration of the P method gives the smaller dispersion for the low and high metallicity regions, while the best numbers in the turnaround region are given by the $R_{23}$ method. We also found that the dispersion correlates with the metallicity. Finally, it can be said that all the semiempirical methods studied here are quite insensitive to metallicity with a value of $8.0\pm0.2$ dex for more than 50% of the total sample. \keywords{ISM: abundances; (ISM): H {\sc ii} regions}Comment: 26 pages, 9 figures and 2 tables. To appear at AJ, January 200

Spectroscopy of Ultracold, Trapped Cesium Feshbach Molecules

We explore the rich internal structure of Cs_2 Feshbach molecules. Pure ultracold molecular samples are prepared in a CO_2-laser trap, and a multitude of weakly bound states is populated by elaborate magnetic-field ramping techniques. Our methods use different Feshbach resonances as input ports and various internal level crossings for controlled state transfer. We populate higher partial-wave states of up to eight units of rotational angular momentum (l-wave states). We investigate the molecular structure by measurements of the magnetic moments for various states. Avoided level crossings between different molecular states are characterized through the changes in magnetic moment and by a Landau-Zener tunneling method. Based on microwave spectroscopy, we present a precise measurement of the magnetic-field dependent binding energy of the weakly bound s-wave state that is responsible for the large background scattering length of Cs. This state is of particular interest because of its quantum-halo character.Comment: 15 pages, 12 figures, 4 table

Effect of time delay on the onset of synchronization of the stochastic Kuramoto model

We consider the Kuramoto model of globally coupled phase oscillators with time-delayed interactions, that is subject to the Ornstein-Uhlenbeck (Gaussian) colored or the non-Gaussian colored noise. We investigate numerically the interplay between the influences of the finite correlation time of noise $\tau$ and the time delay $\tau_{d}$ on the onset of the synchronization process. Both cases for identical and nonidentical oscillators had been considered. Among the obtained results for identical oscillators is a large increase of the synchronization threshold as a function of time delay for the colored non-Gaussian noise compared to the case of the colored Gaussian noise at low noise correlation time $\tau$. However, the difference reduces remarkably for large noise correlation times. For the case of nonidentical oscillators, the incoherent state may become unstable around the maximum value of the threshold (as a function of time delay) even at lower coupling strength values in the presence of colored noise as compared to the noiseless case. We had studied the dependence of the critical value of the coupling strength (the threshold of synchronization) on given parameters of the stochastic Kuramoto model in great details and presented results for possible cases of colored Gaussian and non-Gaussian noises.Comment: 19 pages with 7 figure

Experimental Evidence for Efimov Quantum States

Three interacting particles form a system which is well known for its complex physical behavior. A landmark theoretical result in few-body quantum physics is Efimov's prediction of a universal set of weakly bound trimer states appearing for three identical bosons with a resonant two-body interaction. Surprisingly, these states even exist in the absence of a corresponding two-body bound state and their precise nature is largely independent of the particular type of the two-body interaction potential. Efimov's scenario has attracted great interest in many areas of physics; an experimental test however has not been achieved. We report the observation of an Efimov resonance in an ultracold thermal gas of cesium atoms. The resonance occurs in the range of large negative two-body scattering lengths and arises from the coupling of three free atoms to an Efimov trimer. We observe its signature as a giant three-body recombination loss when the strength of the two-body interaction is varied near a Feshbach resonance. This resonance develops into a continuum resonance at non-zero collision energies, and we observe a shift of the resonance position as a function of temperature. We also report on a minimum in the recombination loss for positive scattering lengths, indicating destructive interference of decay pathways. Our results confirm central theoretical predictions of Efimov physics and represent a starting point from which to explore the universal properties of resonantly interacting few-body systems.Comment: 8 pages, 4 figures, Proceedings of ICAP-2006 (Innsbruck

‘Question Moments’: A Rolling Programme of Question Opportunities in Classroom Science

This article has been made available through the Brunel Open Access Publishing Fund.This naturalistic study integrates specific 'question moments' into lesson plans to increase pupils' classroom interactions. A range of teaching tools has explored students' ideas through opportunities to ask and write questions. Their oral and written outcomes provide data on individual and group misunderstandings. Changes to the schedule of lessons were introduced to discuss these questions and solve disparities. Flexible lesson planning over fourteen lessons across a four-week period of highschool chemistry accommodated students' contributions and increased student participation, promoted inquiring and individualised teaching, with each teaching strategy feeding forward into the next

`St\"uckelberg interferometry' with ultracold molecules

We report on the realization of a time-domain `St\"uckelberg interferometer', which is based on the internal state structure of ultracold Feshbach molecules. Two subsequent passages through a weak avoided crossing between two different orbital angular momentum states in combination with a variable hold time lead to high-contrast population oscillations. This allows for a precise determination of the energy difference between the two molecular states. We demonstrate a high degree of control over the interferometer dynamics. The interferometric scheme provides new possibilities for precision measurements with ultracold molecules.Comment: 4 pages, 5 figure