Atomic matter wave scanner

We report on the experimental realization of an atom optical device, that allows scanning of an atomic beam. We used a time-modulated evanescent wave field above a glass surface to diffract a continuous beam of metastable Neon atoms at grazing incidence. The diffraction angles and efficiencies were controlled by the frequency and form of modulation, respectively. With an optimized shape, obtained from a numerical simulation, we were able to transfer more than 50% of the atoms into the first order beam, which we were able to move over a range of 8 mrad.Comment: 4 pages, 4 figure

Batur pendopo panataran

Penelitian atas Candi Panataran yang pertama dilakukan oleh seorang ahli ilmu alam yang bernama Horsfield. Ia berkunjung ke Candi itu pada permulaan abad ke-I9. Uraiannya dimuat dalam History of Java , buku Th . S. Raffles. Di karangannya disebutkannya juga Pendopo Panataran

Implementation of mean-timing and subsequent logic functions on an FPGA

This article describes the implementation of a mean-timer and coincidence logic on a Virtex-5 FPGA for trigger purposes in a particle physics experiment. The novel feature is that the mean-timing and the coincidence logic are not synchronized with a clock which allows for a higher resolution of approximately 400 ps, not limited by a clock frequency.Comment: 15 pages, 11 figure

Sum Rules and Moments of the Nucleon Spin Structure Functions

The nucleon has been used as a laboratory to investigate its own spin structure and Quantum Chromodynamics. New experimental data on nucleon spin structure at low to intermediate momentum transfers combined with existing high momentum transfer data offer a comprehensive picture of the transition region from the {\it confinement} regime of the theory to its {\it asymptotic freedom} regime. Insight for some aspects of the theory is gained by exploring lower moments of spin structure functions and their corresponding sum rules (i.e. the Gerasimov-Drell-Hearn, Bjorken and Burkhardt-Cottingham). These moments are expressed in terms of an operator product expansion using quark and gluon degrees of freedom at moderately large momentum transfers. The sum rules are verified to a good accuracy assuming that no singular behavior of the structure functions is present at very high excitation energies. The higher twist contributions have been examined through the moments evolution as the moments evolution as the momentum transfer varies from higher to lower values. Furthermore, QCD-inspired low-energy effective theories, which explicitly include chiral symmetry breaking, are tested at low momentum transfers. The validity of these theories is further examined as the momentum transfer increases to moderate values. It is found that chiral perturbation calculations agree reasonably well with the first moment of the spin structure function $g_1$ at momentum transfer of 0.1 GeV$^2$ but fail to reproduce the neutron data in the case of the generalized polarizability $\delta_{LT}$.Comment: 21 pages, 4 figures, review for Modern Physics Letters A. Minor modifications in text and improved quality for one figure. Corrected mistakes in section

MgII absorption systems with W_0 > 0.1 \AA for a radio selected sample of 77 QSOs and their associated magnetic fields at high redshifts

We present a catalogue of MgII absorption systems obtained from high resolution UVES/VLT data of 77 QSOs in the redshift range 0.6 < z < 2.0, and down to an equivalent width W_0 > 0.1 \AA. The statistical properties of our sample are found to be in agreement with those from previous work in the literature. However, we point out that the previously observed increase with redshift of dN/dz for weak absorbers, pertains exclusively to very weak absorbers with W_0 < 0.1 \AA. Instead, dN/dz for absorbers with W_0 in the range 0.1-0.3 \AA actually decreases with redshift, similarly to the case of strong absorbers. We then use this catalogue to extend our earlier analysis of the links between the Faraday Rotation Measure of the quasars and the presence of intervening MgII absorbing systems in their spectra. In contrast to the case with strong MgII absorption systems W_0 > 0.3 \AA, the weaker systems do not contribute significantly to the observed Rotation Measure of the background quasars. This is possibly due to the higher impact parameters of the weak systems compared to strong ones, suggesting that the high column density magnetized material that is responsible for the Faraday Rotation is located within about 50 kpc of the galaxies. Finally, we show that this result also rules out the possibility that some unexpected secondary correlation between the quasar redshift and its intrinsic Rotation Measure is responsible for the association of high Rotation Measure and strong intervening MgII absorption that we have presented elsewhere, since this would have produced an equal effect for the weak absorption line systems, which exhibit a very similar distribution of quasar redshifts.Comment: Accepted for publication in ApJ. 12 pages, 8 figure

Permissive Controller Synthesis for Probabilistic Systems

We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due to, for example, unreliable sensors or faulty system components. Our aim is to generate robust controllers that are resilient to unexpected system changes at runtime, and flexible enough to be adapted if additional constraints need to be imposed. We develop a permissive controller synthesis framework, which generates multi-strategies for the controller, offering a choice of control actions to take at each time step. We formalise the notion of permissivity using penalties, which are incurred each time a possible control action is disallowed by a multi-strategy. Permissive controller synthesis aims to generate a multi-strategy that minimises these penalties, whilst guaranteeing the satisfaction of a specified system property. We establish several key results about the optimality of multi-strategies and the complexity of synthesising them. Then, we develop methods to perform permissive controller synthesis using mixed integer linear programming and illustrate their effectiveness on a selection of case studies