Partial order and contextual net semantics for atomic and locally atomic CC programs

We present two concurrent semantics (i.e. semantics where concurrency is explicitely represented) for CC programs with atomic tells. One is based on simple partial orders of computation steps, while the other one is based on contextual nets and it is an extensión of a previous one for eventual CC programs. Both such semantics allow us to derive concurrency, dependency, and nondeterminism information for the considered languages. We prove some properties about the relation between the two semantics, and also about the relation between them and the operational semantics. Moreover, we discuss how to use the contextual net semantics in the context of CLP programs. More precisely, by interpreting concurrency as possible parallelism, our semantics can be useful for a safe parallelization of some CLP computation steps. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it for the task of scheduling CC programs. Moreover, our semantics is also suitable for CC programs with a new kind of atomic tell (called locally atomic tell), which checks for consistency only the constraints it depends on. Such a tell achieves a reasonable trade-off between efficiency and atomicity, since the checked constraints can be stored in a local memory and are thus easily accessible even in a distributed implementation.

From eventual to atomic and locally atomic CC programs: A concurrent semantics

We present a concurrent semantics (i.e. a semantics where concurrency is explicitely represented) for CC programs with atomic tells. This allows to derive concurrency, dependency, and nondeterminism information for such languages. The ability to treat failure information puts CLP programs also in the range of applicability of our semantics: although such programs are not concurrent, the concurrency information derived in the semantics may be interpreted as possible parallelism, thus allowing to safely parallelize those computation steps which appear to be concurrent in the net. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it to schedule CC programs. The fact that the semantical structure contains dependency information suggests a new tell operation, which checks for consistency only the constraints it depends on, achieving a reasonable trade-off between efficiency and atomicity.

Molecular physics of equilibrium gases : a handbook for engineers /

Includes bibliographical references and index.

Physical optics and atomic physics,

Mode of access: Internet.

Ionization of atomic hydrogen and He+ by slow antiprotons

We study the ionization of H(1s), He+(1s) and He+(2s) by antiprotons in the energy range from 0.1 to 500 keV. We adopt a semiclassical single centre close-coupling approach in which the wavefunction for the electron is expanded in a B-spline basis centred on the nucleus of the atom/ion. Comparison is made with existing theoretical calculations and available experimental data. The results are encouraging.

Geometry- and diffraction-independent ionization probabilities in intense laser fields: Probing atomic ionization mechanisms with effective intensity matching

We report an experimental technique for the comparison of ionization processes in ultrafast laser pulses irrespective of pulse ellipticity. Multiple ionization of xenon by 50 fs 790 nm, linearly and circularly polarized laser pulses is observed over the intensity range 10 TW/cm(2) to 10 PW/cm(2) using effective intensity matching (EIM), which is coupled with intensity selective scanning (ISS) to recover the geometry-independent probability of ionization. Such measurements, made possible by quantifying diffraction effects in the laser focus, are compared directly to theoretical predictions of multiphoton, tunnel and field ionization, and a remarkable agreement demonstrated. EIM-ISS allows the straightforward quantification of the probability of recollision ionization in a linearly polarized laser pulse. Furthermore, the probability of ionization is discussed in terms of the Keldysh adiabaticity parameter gamma, and the influence of the precursor ionic states present in recollision ionization is observed.

Symmetry, delocalization, and molecular conductance

Molecules bonded between two metal contacts form the simplest possible molecular devices. Coupled by the molecule, the left and right contact-based states form symmetric and antisymmetric pairs near the Fermi level. We relate the size of the resulting energy splitting DeltaE to the symmetry and degree of delocalization of the coupling molecular orbital. Qualitative trends in molecular conductances are then estimated from the variations in DeltaE. We examine benzenedithiol and other molecules of interest in transport. (C) 2005 American Institute of Physics.

Accurate and efficient non-adiabatic quantum molecular dynamics approach for laser-matter interactions

A non-adiabatic quantum molecular dynamics approach for treating the interaction of matter with intense, short-duration laser pulses is developed. This approach, which is parallelized to run on massively-parallel supercomputers, is shown to be both accurate and efficient. Illustrative results are presented for harmonic generation occurring in diatomic molecules using linearly polarized laser pulses.

Molecular effects in the ionization of N-2, O-2, and F-2 by intense laser fields

In this paper we study the response in time of N2, O2, and F2 to laser pulses having a wavelength of 390 nm. We find single-ionization suppression in O2 and its absence in F2, in accordance with experimental results at lambda= 800 nm. Within our framework of time-dependent density functional theory we are able to explain deviations from the predictions of intense-field many-body S-matrix theory (IMST). We confirm the connection of ionization suppression with destructive interference of outgoing electron waves from the ionized electron orbital. However, the prediction of ionization suppression, justified within the IMST approach through the symmetry of the highest occupied molecular orbital (HOMO), is not reliable since it turns out that—e.g., in the case of F2—the electronic response to the laser pulse is rather complicated and does not lead to dominant depletion of the HOMO. Therefore, the symmetry of the HOMO is not sufficient to predict ionization suppression. However, at least for F2, the symmetry of the dominantly ionized orbital is consistent with the nonsuppression of ionization.

Molecular layering and local order in thin films of 1-alkyl-3-methylimidazolium ionic liquids using X-ray reflectivity

X-ray reflectivity measurements in air of thin films of 1-alkyl-3-methylimidazolium salts in the liquid, liquid crystalline and solid states supported on Si( 111) are described. The films show Bragg features in both liquid crystalline and solid phases, but only after an initial annealing cycle. Kiessig fringes are observed only for the 1-octadecyl-3-methyl-imidazolium hexafluorophosphate films and, following analysis using Parratt32, a bi-layer model is proposed whereby the molecules are orientated with ionic groups at both salt-air and salt-silicon interfaces.

Recent developments in X-UV optics and X-UV diagnostics

Metrology of XUV beams (X-ray lasers, high-harmonic generation and VUV free-electron lasers) is of crucial importance for the development of applications. We have thus developed several new optical systems enabling us to measure the optical properties of XUV beams. By use of a Michelson interferometer working as a Fourier-transform spectrometer, the line shapes of different X-ray lasers have been measured with a very high accuracy (Deltalambda/lambdasimilar to10(-6)). Achievement of the first XUV wavefront sensor has enabled us to measure the beam quality of laser-pumped as well as discharge-pumped X-ray lasers. A capillary discharge X-ray laser has demonstrated a very good wavefront allowing us to achieve an intensity as high as 3x10(14) W cm(-2) by focusing with a f=5 cm mirror. The sensor accuracy has been measured using a calibrated spherical wave generated by diffraction. The accuracy has been estimated to be as good as lambda/120 at 13 nm. Commercial developments are underway. At Laboratoire d'Optique Appliquee, we are setting up a new beamline based on high-harmonic generation in order to start the femtosecond, coherent XUV optic .