Cardiovascular collapse caused by carbon dioxide insufflation during one-lung anaesthesia for thoracoscopic dorsal sympathectomy

Publisher's copy made available with the permission of the publisherCarbon dioxide insufflation into the pleural space during one-lung anaesthesia for thoracoscopic surgery is used in some centres to improve surgical access, even though this practice has been associated with well-described cardiovascular compromise. The present report is of a 35-year-old woman undergoing thoracoscopic left dorsal sympathectomy for hyperhidrosis. During one-lung anaesthesia the insufflation of carbon dioxide into the non-ventilated hemithorax for approximately 60 seconds, using a pressure-limited gas inflow, was accompanied by profound bradycardia and hypotension that resolved promptly with the release of the gas. Possible mechanisms for the cardiovascular collapse are discussed, and the role of carbon dioxide insufflation as a means of expediting lung collapse for procedures performed using single-lung ventilation is questioned.RJD Harris, G Benveniste, J Pfitznerhttp://www.aaic.net.au/Article.asp?D=200119

Fitting in a complex chi^2 landscape using an optimized hypersurface sampling

Fitting a data set with a parametrized model can be seen geometrically as finding the global minimum of the chi^2 hypersurface, depending on a set of parameters {P_i}. This is usually done using the Levenberg-Marquardt algorithm. The main drawback of this algorithm is that despite of its fast convergence, it can get stuck if the parameters are not initialized close to the final solution. We propose a modification of the Metropolis algorithm introducing a parameter step tuning that optimizes the sampling of parameter space. The ability of the parameter tuning algorithm together with simulated annealing to find the global chi^2 hypersurface minimum, jumping across chi^2{P_i} barriers when necessary, is demonstrated with synthetic functions and with real data

A comparative study of two formal semantics of the SIGNAL language

International audienceSIGNAL is a part of the synchronous languages family, which are broadly used in the design of safety-critical real-time systems such as avionics, space systems, and nuclear power plants. There exist several semantics for SIGNAL, such as denotational semantics based on traces (called trace semantics), denotational semantics based on tags (called tagged model semantics), operational semantics presented by structural style through an inductive definition of the set of possible transitions, operational semantics defined by synchronous transition systems (STS), etc. However, there is little research about the equivalence between these semantics.In this work, we would like to prove the equivalence between the trace semantics and the tagged model semantics, to get a determined and precise semantics of the SIGNAL language. These two semantics have several different definitions respectively, we select appropriate ones and mechanize them in the Coq platform, the Coq expressions of the abstract syntax of SIGNAL and the two semantics domains, i.e., the trace model and the tagged model, are also given. The distance between these two semantics discourages a direct proof of equivalence. Instead, we transformthem to an intermediate model, which mixes the features of both the trace semantics and the tagged model semantics. Finally, we get a determined and precise semantics of SIGNAL

Mapping the X-Ray Emission Region in a Laser-Plasma Accelerator

The x-ray emission in laser-plasma accelerators can be a powerful tool to understand the physics of relativistic laser-plasma interaction. It is shown here that the mapping of betatron x-ray radiation can be obtained from the x-ray beam profile when an aperture mask is positioned just beyond the end of the emission region. The influence of the plasma density on the position and the longitudinal profile of the x-ray emission is investigated and compared to particle-in-cell simulations. The measurement of the x-ray emission position and length provides insight on the dynamics of the interaction, including the electron self-injection region, possible multiple injection, and the role of the electron beam driven wakefield.Comment: 5 pages, 4 figure

An electromagnetic simulator for sentinel-3 sar altimeter waveforms over land part ii: forests

Forests play a crucial role in the climate change mitigation by acting as sinks for carbon and, consequently, reducing the CO2 concentration in the atmosphere and slowing global warming. For this reason, above ground biomass (AGB) estimation is essential for effectively monitoring forest health around the globe. Although remote sensing–based forest AGB quantification can be pursued in different ways, in this work we discuss a new technique for vegetation observation through the use of altimetry data that has been introduced by the ESA-funded ALtimetry for BIOMass (ALBIOM) project. ALBIOM investigates the possibility of retrieving forest biomass through Copernicus Sentinel-3 Synthetic Aperture Radar Altimeter (SRAL) measurements at Ku- and C-bands in low- and high-resolution mode. To reach this goal, a simulator able to reproduce the altimeter acquisition system and the scattering phenomena that occur in the interaction of the radar altimeter pulse with vegetated surfaces has been developed. The Tor Vergata Vegetation Scattering Model (TOVSM) developed at Tor Vergata University has been exploited to simulate the contribution from the vegetation volume via the modelling of the backscattering of forest canopy through a discrete scatterer representation. A modification of the SAVERS (Soil And Vegetation Reflection Simulator) simulator developed by the team for Global Navigation Satellite System Reflectometry over land has also been taken into account to simulate the soil contribution