A small-scale example application is used to introduce a domain-specific notation for objectoriented user interfaces. This paper compares traditional software development (no abstract modelling), standard Unified Modelling Language (UML)-based software development, and software development based on domain-specific modelling. To allow a comparison, Lines of Code (LOC) serve as a measure of devel...

Using optical Ramsey interferometry, we precisely measure the laser-induced ac-Stark shift on the S(1/2)-D(5/2) "quantum bit" transition near 729 nm in a single trapped 40Ca+ ion. We cancel this shift using an additional laser field. This technique is of particular importance for the implementation of quantum information processing with cold trapped ions. As a simple application we measure the ...

We measure a cold collision frequency shift in an 87Rb fountain clock that is fractionally 30 times smaller than that for Cs. The shift is -0.38(8) mHz for a density of 1.0(6)x10(9) cm(-3). We study the cavity pulling of the atomic transition and use it to cancel the cold collision shift. We also measure the partial frequency shifts of each clock state finding 2(lambda(10)-lambda(20))/(lambda(1...

In this paper, a review of different techniques used to measure the slip length on superhydrophobic surfaces with large slip length is presented. First, we present the theoretical models used to calculate the effective slip length on superhydrophobic surfaces in different configurations of liquid flow. Then, we present the different techniques used to measure the slip past these superhydrophobi...

Denote by μn = ∫ x n1 1 . . . x nd d dμ(x) the n’th moment of a Borel probability measure μ on the unit cube I = [0, 1] in R. Generalizing results of Hausdorff, Hildebrandt and Schoenberg, we give a sufficient condition in terms of moments, that μ is absolutely continuous with respect to a second Borel measure ν on I. We also review a constructive approximation of measures by atomic measures us...

We discuss the possibility of observing atomic phase conjugation from Bose condensates, and using it as a diagnostic tool to access the spatial coherence properties and to measure the lifetime of the condensate. We argue that since phase conjugation results from the scattering of a partial matter wave off the spatial grating produced by two other waves, it offers a natural way to directly measu...

Atomic comagnetometers, which measure the spin precession frequencies of overlapped species simultaneously, are widely applied to search for exotic spin-dependent interactions. Here we propose and implement an all-optical single-species Cs atomic comagnetometer based on optical free induction decay (FID) signal atoms in hyperfine levels $$F_{g}$$ = 3 4 within same ensemble. We experimentally sh...

We consider an extension of the mu-calculus as a general framework to describe and synthesize controllers. This extension is obtained by quantifying atomic propositions, we call the resulting logic quanti ed mu-calculus. We study its main theoretical properties and show its adequacy to control applications. The proposed framework is expressive : it o ers a uniform way to describe as varied para...

The thermal relaxation of macrospins in a strongly interacting thin film of spinel-phase iron oxide nanocrystals (NCs) is probed by vibrating sample magnetometry (VSM). Thin films are fabricated by depositing FeO/Fe(3)O(4) core-shell NCs by electrophoretic deposition (EPD), followed by sintering at 400°C. Sintering transforms the core-shell structure to a uniform spinel phase, which effectively...

The logic CTL can express branching-time attributes that are not expressible with !-automata and conversely the FormalCheck Query Language (FQL) whose semantics is founded on !-automata can express sequentiality and eventuality behaviors that are not expressible with CTL (nor even its extension CTL). Since both CTL and FQL are commonly used in model-checking, it is of interest to compare noneth...