2,691 research outputs found
The Power of Non-Determinism in Higher-Order Implicit Complexity
We investigate the power of non-determinism in purely functional programming
languages with higher-order types. Specifically, we consider cons-free programs
of varying data orders, equipped with explicit non-deterministic choice.
Cons-freeness roughly means that data constructors cannot occur in function
bodies and all manipulation of storage space thus has to happen indirectly
using the call stack.
While cons-free programs have previously been used by several authors to
characterise complexity classes, the work on non-deterministic programs has
almost exclusively considered programs of data order 0. Previous work has shown
that adding explicit non-determinism to cons-free programs taking data of order
0 does not increase expressivity; we prove that this - dramatically - is not
the case for higher data orders: adding non-determinism to programs with data
order at least 1 allows for a characterisation of the entire class of
elementary-time decidable sets.
Finally we show how, even with non-deterministic choice, the original
hierarchy of characterisations is restored by imposing different restrictions.Comment: pre-edition version of a paper accepted for publication at ESOP'1
Optical measurement of a micro coriolis mass flow sensor
Haneveld [1,2] demonstrated a micro Coriolis mass flow sensor, operating in the\ud
measurement range of 0 to 1 g/hr achieving a resolution in the order of 10 mg/hr\ud
using a laser vibrometer. Equipped with an integrated capacitive [3] readout the\ud
measurement uncertainty amounted to 2% of the full scale range. We demonstrate a\ud
down-scalable and low-cost optical sensor system that measures the movement of the micro Coriolis mass flow tube with a high resolution. The noise level is measured to be 6 mg/hr at a 3s confidence interval
Polymer-based microfluidic device for measuring membrane protein activities
Functional assays of membrane proteins are becoming increasingly important, both in research and drug discovery applications. The majority of current assays use the patch-clamp technology to measure the activity of ion channels which are over-expressed in cells. In future, in vitro assay systems will be available, which use reconstituted membrane proteins in free-standing lipid bilayers suspended in nano- or micrometer-sized pores. Such functional assays require (1) expression, purification and reconstitution of the membrane protein of interest, (2) a reliable method for lipid bilayer formation and membrane protein integration, and (3) a sensitive detection system. For practical applications, especially for automation, the reliable and controllable transport of fluids is essential. In order to achieve a stable free-standing lipid bilayer, a pore diameter in the micro- to nanometer range is essential. Novel microfluidic devices were developed by bonding a thick (300μm) polyether ether ketone foil, bearing a channel structure, to a thin (12μm) foil with a micropore of about 10μm diameter and then utilized for the formation of stable, free-standing lipid bilayers within the pore. A bacterial voltage-gated potassium channel is integrated therein by fusion and the ion channel activity detected by voltage clam
Evaluation of Prebiotic and Probiotic Effects on the Intestinal Gut Microbiota and Histology of Atlantic salmon (Salmo salar L.)
In the present study the impact on gut microbiology and indigenous gut histology of Atlantic salmon (Salmo salar L.) was investigated following feeding of a control and a prebiotic (EWOS prebiosal®) diet and ex vivo exposure to saline or the probiotic bacterium Carnobacterium divergens. The results showed that ex vivo exposure of C. divergens at 108 CFU ml-¹ did not cause cell damage to the intestine tract of Atlantic salmon. Furthermore, prior provision of dietary prebiotic elevated the ability of C. divergens to adhere to the epithelium or mucus layer in the proximal intestine, where culturable heterotrophic bacterial levels (which were identified as C. divergens) were elevated by 234% compared to the control. This effect was not apparent in the distal intestine. The ability of isolated carnobacteria from the ex vivo experiment to inhibit growth of two fish pathogenic bacteria (Yersinia rückeri and Aeromonas salmonicida ssp. salmonicida) was assessed. Extracellular products from all 11 of the isolated carnobacteria strains, plus the type strain Carnobacterium inhibens CCUG 31728, inhibited the in vitro growth of Y. rückeri. However, only extracellular products from C. divergens isolate 57 inhibited the growth of A. salmonicidapublishedVersio
EPIC 219217635: A Doubly Eclipsing Quadruple System Containing an Evolved Binary
We have discovered a doubly eclipsing, bound, quadruple star system in the
field of K2 Campaign 7. EPIC 219217635 is a stellar image with that
contains an eclipsing binary (`EB') with d and a second EB with
d. We have obtained followup radial-velocity (`RV')
spectroscopy observations, adaptive optics imaging, as well as ground-based
photometric observations. From our analysis of all the observations, we derive
good estimates for a number of the system parameters. We conclude that (1) both
binaries are bound in a quadruple star system; (2) a linear trend to the RV
curve of binary A is found over a 2-year interval, corresponding to an
acceleration, cm s; (3) small
irregular variations are seen in the eclipse-timing variations (`ETVs')
detected over the same interval; (4) the orbital separation of the quadruple
system is probably in the range of 8-25 AU; and (5) the orbital planes of the
two binaries must be inclined with respect to each other by at least
25. In addition, we find that binary B is evolved, and the cooler and
currently less massive star has transferred much of its envelope to the
currently more massive star. We have also demonstrated that the system is
sufficiently bright that the eclipses can be followed using small ground-based
telescopes, and that this system may be profitably studied over the next decade
when the outer orbit of the quadruple is expected to manifest itself in the ETV
and/or RV curves.Comment: Accepted for publication in MNRA
Spontaneous Magnetisation in a Quantum Wire
An existence of predominant symmetrical spin configuration (spin polarised
phase) and "diluted" density of states (pseudo-gap) in a layer under the Fermi
level in a quantum wire is predicted. The condition of cross-over from
non-polarised phase to polarised one was derived. The transition occurs for
sufficiently low electron density in a wire and is accompanied by an acute
decrease of electron density of states near the Fermi level.It may result in a
corresponding decrease of conductance. A similar effect may exist in a
two-dimensional electron gas.Comment: 8 pages, 1 figur
The impact of the Kasatochi eruption on the Moon's illumination during the August 2008 lunar eclipse
The Moon's changeable aspect during a lunar eclipse is largely attributable
to variations in the refracted unscattered sunlight absorbed by the terrestrial
atmosphere that occur as the satellite crosses the Earth's shadow. The
contribution to the Moon's aspect from sunlight scattered at the Earth's
terminator is generally deemed minor. However, our analysis of a published
spectrum of the 16 August 2008 lunar eclipse shows that diffuse sunlight is a
major component of the measured spectrum at wavelengths shorter than 600 nm.
The conclusion is supported by two distinct features, namely the spectrum's
tail at short wavelengths and the unequal absorption by an oxygen collisional
complex at two nearby bands. Our findings are consistent with the presence of
the volcanic cloud reported at high northern latitudes following the 7-8 August
2008 eruption in Alaska of the Kasatochi volcano. The cloud both attenuates the
unscattered sunlight and enhances moderately the scattered component, thus
modifying the contrast between the two contributions.Comment: Accepted for publication in Geophysical Research Letter
Computation of saddle type slow manifolds using iterative methods
This paper presents an alternative approach for the computation of trajectory
segments on slow manifolds of saddle type. This approach is based on iterative
methods rather than collocation-type methods. Compared to collocation methods,
that require mesh refinements to ensure uniform convergence with respect to
, appropriate estimates are directly attainable using the method of
this paper. The method is applied to several examples including: A model for a
pair of neurons coupled by reciprocal inhibition with two slow and two fast
variables and to the computation of homoclinic connections in the
FitzHugh-Nagumo system.Comment: To appear in SIAM Journal of Applied Dynamical System
- …