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 $6sns\, {}^1 \! S_0$ and $6snd\,{}^{3,1}\!D_2$ levels of neutral $^{174}$Yb are presented in this paper. Spectroscopy is performed by a two-step laser excitation from the ground state $4f^{14}6s^2 \, {}^1 \! S_0$, 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 $I_{6s}=50443.07041(25)$ cm$^{-1}$ 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

ACQUIRING SEISMIC DATA IN THE NORTH-EAST OF ITALY: THE OGS-CRS EXPERIENCE IN USING THE ANTELOPE SOFTWARE SUITE

N

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

Predictors of Hepatocellular Carcinoma Early Recurrence in Patients Treated with Surgical Resection or Ablation Treatment: A Single-Center Experience

Introduction: Hepatocellular carcinoma (HCC) is the sixth most diagnosed malignancy and the fourth leading cause of cancer-related death worldwide, with poor overall survival despite available curative treatments. One of the most crucial factors influencing survival in HCC is recurrence. The current study aims to determine factors associated with early recurrence of HCC in patients with BCLC Stage 0 or Stage A treated with surgical resection or local ablation. Materials and Methods: We retrospectively enrolled 58 consecutive patients diagnosed with HCC within BCLC Stage 0 or Stage A and treated either by surgical resection or local ablation with maximum nodule diameter 20 mm (HR 4.5, 95% C.I. 3.9–5.1), platelet count 2 (HR 2.7, 95% C.I. 2.2–3.3). Discussion and Conclusions: Our results are in line with the current literature. Male gender and tumor nodule dimension are the main risk factors associated with early HCC recurrence. Platelet count and other combined scores can be used as predictive tools for early HCC recurrence, although more studies are needed to define cut-offs