3,948 research outputs found
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
The phase diagram of the lattice Calogero-Sutherland model
We introduce a {\it lattice} version of the Calogero Sutherland model adapted
to describe 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
- …