Abstract Interpretation with Unfoldings

We present and evaluate a technique for computing path-sensitive interference conditions during abstract interpretation of concurrent programs. In lieu of fixed point computation, we use prime event structures to compactly represent causal dependence and interference between sequences of transformers. Our main contribution is an unfolding algorithm that uses a new notion of independence to avoid redundant transformer application, thread-local fixed points to reduce the size of the unfolding, and a novel cutoff criterion based on subsumption to guarantee termination of the analysis. Our experiments show that the abstract unfolding produces an order of magnitude fewer false alarms than a mature abstract interpreter, while being several orders of magnitude faster than solver-based tools that have the same precision.Comment: Extended version of the paper (with the same title and authors) to appear at CAV 201

Strain, size and composition of InAs Quantum Sticks, embedded in InP, by means of Grazing Incidence X-ray Anomalous Diffraction

We have used x-ray anomalous diffraction to extract the x-ray structure factor of InAs quantum stick-like islands, embedded in InP. The average height of the quantum sticks (QSs), as deduced from the width of the structure factor profile is 2.54nm. The InAs out of plane deformation, relative to InP, is equal to 6.1%. Diffraction Anomalous Fine Structure provides a clear evidence of pure InAs QSs. Finite Difference Method calculations reproduce well the diffraction data, and give the strain along the growth direction. Chemical mixing at interfaces is at most of 1MLComment: 9 pages, 7 figures, submitte

Slow-light enhanced light-matter interactions with applications to gas sensing

Optical gas detection in microsystems is limited by the short micron scale optical path length available. Recently, the concept of slow-light enhanced absorption has been proposed as a route to compensate for the short path length in miniaturized absorption cells. We extend the previous perturbation theory to the case of a Bragg stack infiltrated by a spectrally strongly dispersive gas with a narrow and distinct absorption peak. We show that considerable signal enhancement is possible. As an example, we consider a Bragg stack consisting of PMMA infiltrated by O2. Here, the required optical path length for visible to near-infrared detection (~760 nm) can be reduced by at least a factor of 10^2, making a path length of 1 mm feasible. By using this technique, optical gas detection can potentially be made possible in microsystems

A case of the amniotic constrictions in a newborn child (Simonart syndrome)

We want to present a case of the amniotic constrictions in a newborn child. Today there are no ethiopathogenetic treatment methods for treating complications of amniotic constrictions. All available treatment methods are symptomatic and are mainly aimed at patient care. In rare cases, surgical correction of the defect is possible, sometimes even in the intrauterine period. The peculiarity of this case is late, postnatal detection of multiple malformations in a newborn child with timely observation of a pregnant woman in the women’s consultation

Enhanced spontaneous emission rate from single InAs quantum dots in a photonic crystal nanocavity at telecom wavelengths

The authors demonstrate coupling at 1.3 micro m between single InAs quantum dots (QDs) and a mode of a two dimensional photonic crystal (PhC) defect cavity with a quality factor of 15 000. By spectrally tuning the cavity mode, they induce coupling with excitonic lines. They perform a time integrated and time-resolved photoluminescence and measure an eightfold increase in the spontaneous emission rate inducing a coupling efficiency of 96%. These measurements indicate the potential of single QDs in PhC cavities as efficient single-photon emitters for fiber-based quantum information processing applications. [on SciFinder (R)

Time-resolved and antibunching experiments on single quantum dots at 1300 nm

We present time integrated and time-resolved photoluminescence (PL) measurements on a single InAs/GaAs quantum dot (QD), embedded in a planar microcavity, emitting in the 1300 nm telecom band. The results of both measurements clearly identify the exciton and biexciton transitions from a single QD. By optimizing the extn. efficiency of the QD PL into the single mode fibers and carefully tuning two InGaAs avalanche photodiodes, we were able to measure the second order correlation function with integration times comparable to those made with silicon based technol. These measurements demonstrate that our single QDs are efficient sources of triggered single photons for quantum key distribution in the O band. [on SciFinder (R)

Field test of quantum key distribution in the Tokyo QKD Network

A novel secure communication network with quantum key distribution in a metropolitan area is reported. Different QKD schemes are integrated to demonstrate secure TV conferencing over a distance of 45km, stable long-term operation, and application to secure mobile phones.Comment: 21 pages, 19 figure

Dynamics on Multiple Potential Energy Surfaces: Quantitative Studies of Elementary Processes Relevant to Hypersonics

The determination of thermal and vibrational relaxation rates of triatomic systems suitable for application in hypersonic model calculations is discussed. For this, potential energy surfaces for ground and electronically excited state species need to be computed and represented with high accuracy and quasiclassical or quantum nuclear dynamics simulations provide the basis for determining the relevant rates. These include thermal reaction rates, state-to-state cross-sections, or vibrational relaxation rates. For exemplary systems - [NNO], [NOO], and [CNO] - all individual steps are described and a literature overview for them is provided. Finally, as some of these quantities involve considerable computational expense, for the example of state-to-state cross sections the construction of an efficient model based on neural networks is discussed. All such data is required and being used in more coarse-grained computational fluid dynamics simulations.Comment: Review article, 46 pages, 8 figure