1,260 research outputs found
Doppler-Free Spectroscopy of Weak Transitions: An Analytical Model Applied to Formaldehyde
Experimental observation of Doppler-free signals for weak transitions can be
greatly facilitated by an estimate for their expected amplitudes. We derive an
analytical model which allows the Doppler-free amplitude to be estimated for
small Doppler-free signals. Application of this model to formaldehyde allows
the amplitude of experimentally observed Doppler-free signals to be reproduced
to within the experimental error.Comment: 7 pages, 7 figures, 1 table, v2: many small improvements + corrected
line assignmen
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by
abstract interpretation. Our method eschews two traditional sources of
imprecision: (i) the use of widening operators for enforcing convergence within
a finite number of iterations (ii) the use of merge operations (often, convex
hulls) at the merge points of the control flow graph. It instead computes the
least inductive invariant expressible in the domain at a restricted set of
program points, and analyzes the rest of the code en bloc. We emphasize that we
compute this inductive invariant precisely. For that we extend the strategy
improvement algorithm of [Gawlitza and Seidl, 2007]. If we applied their method
directly, we would have to solve an exponentially sized system of abstract
semantic equations, resulting in memory exhaustion. Instead, we keep the system
implicit and discover strategy improvements using SAT modulo real linear
arithmetic (SMT). For evaluating strategies we use linear programming. Our
algorithm has low polynomial space complexity and performs for contrived
examples in the worst case exponentially many strategy improvement steps; this
is unsurprising, since we show that the associated abstract reachability
problem is Pi-p-2-complete
Pediatric Critical Care in Resource-Limited Settings-Overview and Lessons Learned.
Pediatric critical care is an important component of reducing morbidity and mortality globally. Currently, pediatric critical care in low middle-income countries (LMICs) remains in its infancy in most hospitals. The majority of hospitals lack designated intensive care units, healthcare staff trained to care for critically ill children, adequate numbers of staff, and rapid access to necessary medications, supplies and equipment. In addition, most LMICs lack pediatric critical care training programs for healthcare providers or certification procedures to accredit healthcare providers working in their pediatric intensive care units (PICU) and high dependency areas. PICU can improve the quality of pediatric care in general and, if properly organized, can effectively treat the severe complications of high burden diseases, such as diarrhea, severe malaria, and respiratory distress using low-cost interventions. Setting up a PICU in a LMIC setting requires planning, specific resources, and most importantly investment in the nursing and permanent medical staff. A thoughtful approach to developing pediatric critical care services in LMICs starts with fundamental building blocks: training healthcare professionals in skills and knowledge, selecting resource appropriate effective equipment, and having supportive leadership to provide an enabling environment for appropriate care. If these fundamentals can be built on in a sustainable manner, an appropriate critical care service will be established with the potential to significantly decrease pediatric morbidity and mortality in the context of public health goals as we reach toward the sustainable development goals
The role of long-lived dark states in the photoluminescence dynamics of poly(phenylene vinylene) conjugated polymers. II. Excited-state quenching versus ground-state depletion
The two pulse fluorescence bleaching experiments reported in an earlier paper ͓J. Chem. Phys. 117, 454 ͑2002͔͒ are reanalyzed in the context of additional experiments. The fluorescence bleaching observed in that paper was originally ascribed to ground-state depletion. By analyzing the absorption saturation behavior and the magnitude of the pump-probe signal, we find that the absorption cross section of poly͑phenylene vinylene͒ at 400 nm is two orders of magnitude too small to significantly deplete the ground state given the pump fluences used in that experiment. Instead, the observed depletion is due to a combination of exciton-exciton annihilation at early times and dark state luminescence quenching at later times. Different experiments have different sensitivities to the fluence-dependent quenching, with time-resolved experiments like transient emission and fluorescence decay time consistently underestimating the exciton-exciton annihilation rate. Experiments that measure the integrated fluorescence, such as fluorescence saturation and bleaching, result in a consistent value for the exciton-exciton annihilation constant of 6 ϫ10 Ϫ9 cm 3 /s, while the dark state quenching constant is estimated to be at least 1.2 ϫ10 Ϫ8 cm 3 /s. Indirect evidence based on the wavelength and sample dependence of the dark state formation suggest that the dark states are charge-separated polarons. The relatively large quenching constants are consistent with what has been observed in other conjugated polymers and suggest that the long-lived dark states in particular are effective quenchers, capable of quenching thousands of surrounding chromophores
Doppler-free frequency modulation spectroscopy of atomic erbium in a hollow cathode discharge cell
The erbium atomic system is a promising candidate for an atomic Bose-Einstein
condensate of atoms with a non-vanishing orbital angular momentum ()
of the electronic ground state. In this paper we report on the frequency
stabilization of a blue external cavity diode laser system on the 400.91
laser cooling transition of atomic erbium. Doppler-free saturation spectroscopy
is applied within a hollow cathode discharge tube to the corresponding
electronic transition of several of the erbium isotopes. Using the technique of
frequency modulation spectroscopy, a zero-crossing error signal is produced to
lock the diode laser frequency on the atomic erbium resonance. The latter is
taken as a reference laser to which a second main laser system, used for laser
cooling of atomic erbium, is frequency stabilized
Narrowband frequency tunable light source of continuous quadrature entanglement
We report the observation of non-classical quantum correlations of continuous
light variables from a novel type of source. It is a frequency non-degenerate
optical parametric oscillator below threshold, where signal and idler fields
are separated by 740MHz corresponding to two free spectrum ranges of the
parametric oscillator cavity. The degree of entanglement observed, - 3.8 dB, is
the highest to-date for a narrowband tunable source suitable for atomic quantum
memory and other applications in atomic physics. Finally we use the latter to
visualize the Einstein-Podolsky-Rosen paradox.Comment: 11 pages, 9 figures, LaTe
Being proven wrong elicits learning in children - but only in those with higher executive function skills
This study investigated whether prompting children to generate predictions about an outcome facilitates activation of prior knowledge and improves belief revision. 51 children aged 9-12 were tested on two experimental tasks in which generating a prediction was compared to closely matched control conditions, as well as on a test of executive functions (EF). In Experiment 1, we showed that children exhibited a pupillary surprise response to events that they had predicted incorrectly, hypothesized to reflect the transient release of noradrenaline in response to cognitive conflict. However, children\u27s surprise response was not associated with better belief revision, in contrast to a previous study involving adults. Experiment 2 revealed that, while generating predictions helped children activate their prior knowledge, only those with better inhibitory control skills learned from incorrectly predicted outcomes. Together, these results suggest that good inhibitory control skills are needed for learning through cognitive conflict. Thus, generating predictions benefits learning - but only among children with sufficient EF capacities to harness surprise for revising their beliefs. (DIPF/Orig.
Non-destructive, dynamic detectors for Bose-Einstein condensates
We propose and analyze a series of non-destructive, dynamic detectors for
Bose-Einstein condensates based on photo-detectors operating at the shot noise
limit. These detectors are compatible with real time feedback to the
condensate. The signal to noise ratio of different detection schemes are
compared subject to the constraint of minimal heating due to photon absorption
and spontaneous emission. This constraint leads to different optimal operating
points for interference-based schemes. We find the somewhat counter-intuitive
result that without the presence of a cavity, interferometry causes as much
destruction as absorption for optically thin clouds. For optically thick
clouds, cavity-free interferometry is superior to absorption, but it still
cannot be made arbitrarily non-destructive . We propose a cavity-based
measurement of atomic density which can in principle be made arbitrarily
non-destructive for a given signal to noise ratio
- …