10,216 research outputs found
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 , where from numerical data. On the other hand, when the particle moves faster
than the surface, its dynamics is controlled by the surface fluctuations and
. A self-consistent approximation predicts that the
anomalous diffusion exponent is , 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 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 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
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
and the time delay 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 . 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
- …