Surface composition of BaTiO3/SrTiO3(001) films grown by atomic oxygen plasma assisted molecular beam epitaxy

We have investigated the growth of BaTiO3 thin films deposited on pure and 1% Nb-doped SrTiO3(001) single crystals using atomic oxygen assisted molecular beam epitaxy (AO-MBE) and dedicated Ba and Ti Knudsen cells. Thicknesses up to 30 nm were investigated for various layer compositions. We demonstrate 2D growth and epitaxial single crystalline BaTiO3 layers up to 10 nm before additional 3D features appear; lattice parameter relaxation occurs during the first few nanometers and is completed at {\guillemotright}10 nm. The presence of a Ba oxide rich top layer that probably favors 2D growth is evidenced for well crystallized layers. We show that the Ba oxide rich top layer can be removed by chemical etching. The present work stresses the importance of stoichiometry and surface composition of BaTiO3 layers, especially in view of their integration in devices.Comment: In press in J. Appl. Phy

Endogenous polyamine concentrations in juvenile, adult and micropropagated grapevine (Vitis vinifera L. cv. Pinot noir)

Research Not

The phase diagram of the lattice Calogero-Sutherland model

We introduce a {\it lattice} version of the Calogero Sutherland model adapted to describe $1/d^2$ pairwise interacting steps with discrete positions on a vicinal surface. The configurational free energy is obtained within a transfer matrix method. The full phase diagram for attractive and for repulsive interaction is deduced. For attraction, critical temperatures of faceting transitions are found to depend on step density.Comment: latex PRBCalogSuth.tex, 6 files, 4 pages [SPEC-S00/900

Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections

In this paper, we aim at modelling and analyzing the regulation processes in multi-cellular biological systems, in particular tissues. The modelling framework is based on interconnected logical regulatory networks a la Rene Thomas equipped with information about their spatial relationships. The semantics of such models is expressed through colored Petri nets to implement regulation rules, combined with topological collections to implement the spatial information. Some constraints are put on the the representation of spatial information in order to preserve the possibility of an enumerative and exhaustive state space exploration. This paper presents the modelling framework, its semantics, as well as a prototype implementation that allowed preliminary experimentation on some applications.Comment: In Proceedings MeCBIC 2010, arXiv:1011.005

Confirmation of the \eps -- \eiso (Amati) relation from the X-ray flash XRF 050416A observed by Swift/BAT

We report Swift Burst Alert Telescope (BAT) observations of the X-ray Flash (XRF) XRF 050416A. The fluence ratio between the 15-25 keV and 25-50 keV energy bands of this event is 1.5, thus making it the softest gamma-ray burst (GRB) observed by BAT so far. The spectrum is well fitted by the Band function with E^{\rm obs}_{\rm peak} of 15.0_{-2.7}^{+2.3} keV. Assuming the redshift of the host galaxy (z = 0.6535), the isotropic-equivalent radiated energy E_{\rm iso} and the peak energy at the GRB rest frame (E^{\rm src}_{\rm peak}) of XRF 050416A are not only consistent with the correlation found by Amati et al. and extended to XRFs by Sakamoto et al., but also fill-in the gap of this relation around the 30 - 80 keV range of E^{\rm src}_{\rm peak}. This result tightens the validity of the E^{\rm src}_{\rm peak} - E_{\rm iso} relation from XRFs to GRBs. We also find that the jet break time estimated using the empirical relation between E^{\rm src}_{\rm peak} and the collimation corrected energy E_{\gamma} is inconsistent with the afterglow observation by Swift X-ray Telescope. This could be due to the extra external shock emission overlaid around the jet break time or to the non existence of a jet break feature for XRF, which might be a further challenging for GRB jet emission, models and XRF/GRB unification scenarios.Comment: 16 pages, 4 figures; accepted for publication in ApJ

Autocorrelation analysis for the unbiased determination of power-law exponents in single-quantum-dot blinking

We present an unbiased and robust analysis method for power-law blinking statistics in the photoluminescence of single nano-emitters, allowing us to extract both the bright- and dark-state power-law exponents from the emitters' intensity autocorrelation functions. As opposed to the widely-used threshold method, our technique therefore does not require discriminating the emission levels of bright and dark states in the experimental intensity timetraces. We rely on the simultaneous recording of 450 emission timetraces of single CdSe/CdS core/shell quantum dots at a frame rate of 250 Hz with single photon sensitivity. Under these conditions, our approach can determine ON and OFF power-law exponents with a precision of 3% from a comparison to numerical simulations, even for shot-noise-dominated emission signals with an average intensity below 1 photon per frame and per quantum dot. These capabilities pave the way for the unbiased, threshold-free determination of blinking power-law exponents at the micro-second timescale

Repairing and mechanising the JavaScript relaxed memory model

© 2020 ACM. Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the JavaScript specification defines an axiomatic relaxed memory model to describe their behaviour. While this model is heavily based on the C/C++11 model, it diverges in some key areas. JavaScript chooses to give a well-defined semantics to data-races, unlike the "undefined behaviour" of C/C++11. Moreover, the JavaScript model is mixed-size. This means that its accesses are not to discrete locations, but to (possibly overlapping) ranges of bytes. We show that the model, in violation of the design intention, does not support a compilation scheme to ARMv8 which is used in practice. We propose a correction, which also incorporates a previously proposed fix for a failure of the model to provide Sequential Consistency of Data-Race-Free programs (SC-DRF), an important correctness condition. We use model checking, in Alloy, to generate small counter-examples for these deficiencies, and investigate our correction. To accomplish this, we also develop a mixed-size extension to the existing ARMv8 axiomatic model. Guided by our Alloy experimentation, we mechanise (in Coq) the JavaScript model (corrected and uncorrected), our ARMv8 model, and, for the corrected JavaScript model, a "model-internal" SC-DRF proof and a compilation scheme correctness proof to ARMv8. In addition, we investigate a non-mixed-size subset of the corrected JavaScript model, and give proofs of compilation correctness for this subset to x86-TSO, Power, RISC-V, ARMv7, and (again) ARMv8, via the Intermediate Memory Model (IMM). As a result of our work, the JavaScript standards body (ECMA TC39) will include fixes for both issues in an upcoming edition of the specification

Experimental study of a liquid Xenon PET prototype module

A detector using liquid Xenon in the scintillation mode is studied for Positron Emission Tomography (PET). The specific design aims at taking full advantage of the liquid Xenon properties. It does feature a promising insensitive to any parallax effect. This work reports on the performances of the first LXe prototype module, equipped with a position sensitive PMT operating in the VUV range (178 nm).Comment: Proc. of the 7th International Workshops on Radiation Imaging Detectors (IWORID-7), Grenoble, France 4-7 July 200