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 $Kp = 12.7$ that contains an eclipsing binary (`EB') with $P_A = 3.59470$ d and a second EB with $P_B = 0.61825$ 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, $\dot \gamma = 0.0024 \pm 0.0007$ cm s$^{-2}$; (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$^\circ$. 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 $\epsilon$, 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