1,039 research outputs found
Laser induced electron diffraction: a tool for molecular orbital imaging
We explore the laser-induced ionization dynamics of N2 and CO2 molecules
subjected to a few-cycle, linearly polarized, 800\,nm laser pulse using
effective two-dimensional single active electron time-dependent quantum
simulations. We show that the electron recollision process taking place after
an initial tunnel ionization stage results in quantum interference patterns in
the energy resolved photo-electron signals. If the molecule is initially
aligned perpendicular to the field polarization, the position and relative
heights of the associated fringes can be related to the molecular geometrical
and orbital structure, using a simple inversion algorithm which takes into
account the symmetry of the initial molecular orbital from which the ionized
electron is produced. We show that it is possible to extract inter-atomic
distances in the molecule from an averaged photon-electron signal with an
accuracy of a few percents
Ultrafast Molecular Imaging by Laser Induced Electron Diffraction
We address the feasibility of imaging geometric and orbital structure of a
polyatomic molecule on an attosecond time-scale using the laser induced
electron diffraction (LIED) technique. We present numerical results for the
highest molecular orbitals of the CO2 molecule excited by a near infrared
few-cycle laser pulse. The molecular geometry (bond-lengths) is determined
within 3% of accuracy from a diffraction pattern which also reflects the nodal
properties of the initial molecular orbital. Robustness of the structure
determination is discussed with respect to vibrational and rotational motions
with a complete interpretation of the laser-induced mechanisms
Conceptually driven and visually rich tasks in texts and teaching practice: the case of infinite series
The study we report here examines parts of what Chevallard calls the institutional dimension of the students’ learning experience of a relatively under-researched, yet crucial, concept in Analysis, the concept of infinite series. In particular, we examine how the concept is introduced to students in texts and in teaching practice. To this purpose, we employ Duval's Theory of Registers of Semiotic Representation towards the analysis of 22 texts used in Canada and UK post-compulsory courses. We also draw on interviews with in-service teachers and university lecturers in order to discuss briefly teaching practice and some of their teaching suggestions. Our analysis of the texts highlights that the presentation of the concept is largely a-historical, with few graphical representations, few opportunities to work across different registers (algebraic, graphical, verbal), few applications or intra-mathematical references to the concept's significance and few conceptually driven tasks that go beyond practising with the application of convergence tests and prepare students for the complex topics in which the concept of series is implicated. Our preliminary analysis of the teacher interviews suggests that pedagogical practice often reflects the tendencies in the texts. Furthermore, the interviews with the university lecturers point at the pedagogical potential of: illustrative examples and evocative visual representations in teaching; and, student engagement with systematic guesswork and writing explanatory accounts of their choices and applications of convergence tests
Coherent Control of Isotope Separation in HD+ Photodissociation by Strong Fields
The photodissociation of the HD+ molecular ion in intense short- pulsed
linearly polarized laser fields is studied using a time- dependent wave-packet
approach where molecular rotation is fully included. We show that applying a
coherent superposition of the fundamental radiation with its second harmonic
can lead to asymmetries in the fragment angular distributions, with significant
differences between the hydrogen and deuterium distributions in the long
wavelength domain where the permanent dipole is most efficient. This effect is
used to induce an appreciable isotope separation.Comment: Physical Review Letters, 1995 (in press). 4 pages in revtex format, 3
uuencoded figures. Full postcript version available at:
http://chemphys.weizmann.ac.il/~charron/prl.ps or
ftp://scipion.ppm.u-psud.fr/coherent.control/prl.p
Monitoring Partially Synchronous Distributed Systems using SMT Solvers
In this paper, we discuss the feasibility of monitoring partially synchronous
distributed systems to detect latent bugs, i.e., errors caused by concurrency
and race conditions among concurrent processes. We present a monitoring
framework where we model both system constraints and latent bugs as
Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of
latent bugs using an SMT solver. We demonstrate the feasibility of our
framework using both synthetic applications where latent bugs occur at any time
with random probability and an application involving exclusive access to a
shared resource with a subtle timing bug. We illustrate how the time required
for verification is affected by parameters such as communication frequency,
latency, and clock skew. Our results show that our framework can be used for
real-life applications, and because our framework uses SMT solvers, the range
of appropriate applications will increase as these solvers become more
efficient over time.Comment: Technical Report corresponding to the paper accepted at Runtime
Verification (RV) 201
Atom chip based generation of entanglement for quantum metrology
Atom chips provide a versatile `quantum laboratory on a microchip' for
experiments with ultracold atomic gases. They have been used in experiments on
diverse topics such as low-dimensional quantum gases, cavity quantum
electrodynamics, atom-surface interactions, and chip-based atomic clocks and
interferometers. A severe limitation of atom chips, however, is that techniques
to control atomic interactions and to generate entanglement have not been
experimentally available so far. Such techniques enable chip-based studies of
entangled many-body systems and are a key prerequisite for atom chip
applications in quantum simulations, quantum information processing, and
quantum metrology. Here we report experiments where we generate multi-particle
entanglement on an atom chip by controlling elastic collisional interactions
with a state-dependent potential. We employ this technique to generate
spin-squeezed states of a two-component Bose-Einstein condensate and show that
they are useful for quantum metrology. The observed 3.7 dB reduction in spin
noise combined with the spin coherence imply four-partite entanglement between
the condensate atoms and could be used to improve an interferometric
measurement by 2.5 dB over the standard quantum limit. Our data show good
agreement with a dynamical multi-mode simulation and allow us to reconstruct
the Wigner function of the spin-squeezed condensate. The techniques
demonstrated here could be directly applied in chip-based atomic clocks which
are currently being set up
Deep Learning for Brain Tumor Segmentation in Radiosurgery: Prospective Clinical Evaluation
Stereotactic radiosurgery is a minimally-invasive treatment option for a
large number of patients with intracranial tumors. As part of the therapy
treatment, accurate delineation of brain tumors is of great importance.
However, slice-by-slice manual segmentation on T1c MRI could be time-consuming
(especially for multiple metastases) and subjective. In our work, we compared
several deep convolutional networks architectures and training procedures and
evaluated the best model in a radiation therapy department for three types of
brain tumors: meningiomas, schwannomas and multiple brain metastases. The
developed semiautomatic segmentation system accelerates the contouring process
by 2.2 times on average and increases inter-rater agreement from 92.0% to
96.5%
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms
Distributed algorithms have many mission-critical applications ranging from
embedded systems and replicated databases to cloud computing. Due to
asynchronous communication, process faults, or network failures, these
algorithms are difficult to design and verify. Many algorithms achieve fault
tolerance by using threshold guards that, for instance, ensure that a process
waits until it has received an acknowledgment from a majority of its peers.
Consequently, domain-specific languages for fault-tolerant distributed systems
offer language support for threshold guards.
We introduce an automated method for model checking of safety and liveness of
threshold-guarded distributed algorithms in systems where the number of
processes and the fraction of faulty processes are parameters. Our method is
based on a short counterexample property: if a distributed algorithm violates a
temporal specification (in a fragment of LTL), then there is a counterexample
whose length is bounded and independent of the parameters. We prove this
property by (i) characterizing executions depending on the structure of the
temporal formula, and (ii) using commutativity of transitions to accelerate and
shorten executions. We extended the ByMC toolset (Byzantine Model Checker) with
our technique, and verified liveness and safety of 10 prominent fault-tolerant
distributed algorithms, most of which were out of reach for existing
techniques.Comment: 16 pages, 11 pages appendi
Factor Varieties and Symbolic Computation
We propose an algebraization of classical and non-classical logics, based on factor varieties and decomposition operators. In particular, we provide a new method for determining whether a propositional formula is a tautology or a contradiction. This method can be autom-atized by defining a term rewriting system that enjoys confluence and strong normalization. This also suggests an original notion of logical gate and circuit, where propositional variables becomes logical gates and logical operations are implemented by substitution. Concerning formulas with quantifiers, we present a simple algorithm based on factor varieties for reducing first-order classical logic to equational logic. We achieve a completeness result for first-order classical logic without requiring any additional structure
Matter-wave interferometry in a double well on an atom chip
Matter-wave interference experiments enable us to study matter at its most
basic, quantum level and form the basis of high-precision sensors for
applications such as inertial and gravitational field sensing. Success in both
of these pursuits requires the development of atom-optical elements that can
manipulate matter waves at the same time as preserving their coherence and
phase. Here, we present an integrated interferometer based on a simple,
coherent matter-wave beam splitter constructed on an atom chip. Through the use
of radio-frequency-induced adiabatic double-well potentials, we demonstrate the
splitting of Bose-Einstein condensates into two clouds separated by distances
ranging from 3 to 80 microns, enabling access to both tunnelling and isolated
regimes. Moreover, by analysing the interference patterns formed by combining
two clouds of ultracold atoms originating from a single condensate, we measure
the deterministic phase evolution throughout the splitting process. We show
that we can control the relative phase between the two fully separated samples
and that our beam splitter is phase-preserving
- …