1,563 research outputs found
Laser and microwave spectroscopy of even-parity Rydberg states of neutral ytterbium and Multichannel Quantum Defect Theory analysis
New measurements of high-lying even parity and
levels of neutral Yb are presented in this paper.
Spectroscopy is performed by a two-step laser excitation from the ground state
, and the Rydberg levels are detected by using the
field ionization method. Additional two-photon microwave spectroscopy is used
to improve the relative energy accuracy where possible. The spectroscopic
measurements are complemented by a multichannel quantum defect theory (MQDT)
analysis for the J=0 and the two-coupled J=2 even parity series. We compare our
results with the previous analysis of Aymar {\it{et al}} \cite{Aymar_1980} and
analyze the observed differences. From the new MQDT models, a revised value for
the first ionization limit cm is proposed.Comment: 15 pages, 3 figure
Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms
We introduce a new programming language for expressing reversibility,
Energy-Efficient Language (Eel), geared toward algorithm design and
implementation. Eel is the first language to take advantage of a partially
reversible computation model, where programs can be composed of both reversible
and irreversible operations. In this model, irreversible operations cost energy
for every bit of information created or destroyed. To handle programs of
varying degrees of reversibility, Eel supports a log stack to automatically
trade energy costs for space costs, and introduces many powerful control logic
operators including protected conditional, general conditional, protected
loops, and general loops. In this paper, we present the design and compiler for
the three language levels of Eel along with an interpreter to simulate and
annotate incurred energy costs of a program.Comment: 17 pages, 0 additional figures, pre-print to be published in The 8th
Conference on Reversible Computing (RC2016
Hydrologically induced slope deformations detected by GPS and clinometric surveys in the Cansiglio Plateau, southern Alps
Changes in groundwater or surface water level may cause observable deformation of the drainage basins in different ways. We describe an active slope deformation monitored with GPS and tiltmeter stations in a karstic limestone plateau in southeastern Alps (Cansiglio Plateau). The observed transient GPS deformation clearly correlates with the rainfall. Both GPS and tiltmeter equipments react instantly to heavy rains displaying abrupt offsets, but with different time constants, demonstrating the response to different catchment volumes. The GPS movement is mostly confined in the horizontal plane (SSW direction) showing a systematic tendency to rebound in the weeks following the rain. Four GPS stations concur to define a coherent deformation pattern of a wide area (12
75km2), concerning the whole southeastern slope of the plateau. The plateau expands and rebounds radially after rain by an amount up to a few centimeters and causing only small vertical deformation. The effect is largest where karstic features are mostly developed, at the margin of the plateau where a thick succession of Cretaceous peritidal carbonates faces the Venetian lowland. Acouple of tiltmeters installed in a cave at the top of the plateau, detect a much faster deformation, that has the tendency to rebound in less than 6h. The correlation to rainfall is less straightforward, and shows a more complex behavior during rainy weather. The different responses demonstrate a fast hydrologic flow in the more permeable epikarst for the tiltmeters, drained by open fractures and fissures in the neighborhood of the cave, and a rapid tensile dislocation of the bedrock measured at the GPS stations that affect the whole slope of the mountain. In the days following the rain, both tiltmeter and GPS data show a tendency to retrieve the displacement which is consistent with the phreatic discharge curve. We propose that hydrologically active fractures recharged by rainfall are the most likely features capable to induce the observed strain variations
Optimal two-stage spatial sampling design for estimating critical parameters of SARS-CoV-2 epidemic: Efficiency versus feasibility
The COVID-19 pandemic presents an unprecedented clinical and healthcare challenge for the many medical researchers who are attempting to prevent its worldwide
spread. It also presents a challenge for statisticians involved in designing appropriate
sampling plans to estimate the crucial parameters of the pandemic. These plans are
necessary for monitoring and surveillance of the phenomenon and evaluating health
policies. In this respect, we can use spatial information and aggregate data regarding
the number of verifed infections (either hospitalized or in compulsory quarantine)
to improve the standard two-stage sampling design broadly adopted for studying
human populations. We present an optimal spatial sampling design based on spatially balanced sampling techniques. We prove its relative performance analytically
in comparison to other competing sampling plans, and we also study its properties
through a series of Monte Carlo experiments. Considering the optimal theoretical
properties of the proposed sampling plan and its feasibility, we discuss suboptimal
designs that approximate well optimality and are more readily applicable
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
We present HySIA: a reliable runtime verification tool for nonlinear hybrid
automata (HA) and signal temporal logic (STL) properties. HySIA simulates an HA
with interval analysis techniques so that a trajectory is enclosed sharply
within a set of intervals. Then, HySIA computes whether the simulated
trajectory satisfies a given STL property; the computation is performed again
with interval analysis to achieve reliability. Simulation and verification
using HySIA are demonstrated through several example HA and STL formulas.Comment: Appeared in RV'17; the final publication is available at Springe
Overlap Among States at Different Temperatures in the SK Model
We discuss the issue of temperature chaos in the Sherrington--Kirkpatrick
spin glass mean field model. We numerically compute probability distributions
of the overlap among (equilibrium) configurations at two different values of
the temperature, both in the spin glass phase. The situation on our medium size
systems is clearly non-chaotic, but a weak form of chaos could be emerging on
very large lattices.Comment: 4 pages in aps format including 8 ps figures. Small change
Extending Hybrid CSP with Probability and Stochasticity
Probabilistic and stochastic behavior are omnipresent in computer controlled
systems, in particular, so-called safety-critical hybrid systems, because of
fundamental properties of nature, uncertain environments, or simplifications to
overcome complexity. Tightly intertwining discrete, continuous and stochastic
dynamics complicates modelling, analysis and verification of stochastic hybrid
systems (SHSs). In the literature, this issue has been extensively
investigated, but unfortunately it still remains challenging as no promising
general solutions are available yet. In this paper, we give our effort by
proposing a general compositional approach for modelling and verification of
SHSs. First, we extend Hybrid CSP (HCSP), a very expressive and process
algebra-like formal modeling language for hybrid systems, by introducing
probability and stochasticity to model SHSs, which is called stochastic HCSP
(SHCSP). To this end, ordinary differential equations (ODEs) are generalized by
stochastic differential equations (SDEs) and non-deterministic choice is
replaced by probabilistic choice. Then, we extend Hybrid Hoare Logic (HHL) to
specify and reason about SHCSP processes. We demonstrate our approach by an
example from real-world.Comment: The conference version of this paper is accepted by SETTA 201
Multidisciplinary Conservative Treatment of Difficult Bile Duct Stones: A Real Alternative to Surgery
56 patients with large CBD or intrahepatic stones underwent endoscopic and/or percutaneous treatment followed by extracorporeal shock wave lithotripsy. Percutaneous access to the biliary tract was chosen when an endoscopic approach was not possible (hepaticojejunostomy in 5 patients, 1 juxtapapillary diverticulum and I inflammatory bile duct stricture). Visualization of stones was achieved radiologically in 32 patients and by ultrasound in 24. The procedure was successful in 47 of 56 treated patients (83.9%). Clearance of the biliary tract was obtained in 25 cases (53%), whereas in 22 cases (47%) complete clearing of biliary tract was obtained only after endoscopic extraction of fragments (17 cases) or percutaneous (5 cases). The median number of shock waves in each session was 1725 (range 300–3166), which were applied during one (n=30), two (n=22) or three sessions (n=4). The only complications were 1
case of symptomatic hyperamylasemia and 3 cases of macrohematuria. In conclusion, extracorporeal lithotripsy combined with endoscopic and/or percutaneous treatment is a real alternative to surgery for difficult stones
- …