UPPAAL-Tiga: Timed Games for Everyone

In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. Since then we have completely re-implemented the first prototype and made dramatic improvements both in terms of performance (several orders of magnitude) and the input language (complete support of all the language features of Uppaal). In addition, the tool supports the new feature of strategy generation with different compactness levels. In this paper we present this new version of Uppaal-Tiga

Measures de vent 3D avec le lidar Doppler coherent Live à bord d'un avion

International audienceA three-dimensional (3D) wind profiling Lidar, based on the latest high power 1.5 µm fiber laser development at Onera, has been successfully flown on-board a SAFIRE (Service des Avions Français Instrumentés pour la Recherche en Environnement) ATR42 aircraft. The Lidar called LIVE (LIdar VEnt) is designed to measure wind profiles from the aircraft down to ground level, with a horizontal resolution of 3 km, a vertical resolution of 100 m and a designed accuracy on each three wind vector components better than 0.5 m.s −1. To achieve the required performance, LIVE Lidar emits 410 µJ laser pulses repeating at 14 KHz with a duration of 700 ns and uses a conical scanner of 30 • total opening angle and a full scan time of 17 s.Un lidar vent 3D, basé sur le dernier développement de laser à fibre de 1,5 µm à haute puissance de l’ONERA a été testé avec succès à bord d’un avion SAFIRE ATR42. Le lidar appelé LIVE est conçu pour mesurer les profils de vent de l’avion jusqu'au sol, avec une résolution horizontale de 3 km, une résolution verticale de 100 m et une précision calculée supérieure à 0,5 m / s pour chaque composante du vecteur du vent

Neurocysticercosis, a Persisting Health Problem in Mexico

Human neurocysticercosis is a severe parasitic disease caused by the installation of Taenia solium larvae in the central nervous system. Neurocysticercosis is still deeply rooted in Latin-America, Africa and Asia, where it develops its complete life cycle promoted by poor sanitary conditions. It is also emerging in developed countries due to human migration. Although hard data on the evolution of the disease incidence in endemic countries are lacking, its presence is being obscured by the growth of degenerative and metabolic diseases, creating the illusion of having disappeared

Subarachnoidal Neurocysticercosis non-responsive to cysticidal drugs: a case series

<p>Abstract</p> <p>Background</p> <p>Neurocysticercosis (NC) is one of the most frequent parasitic diseases of the central nervous system. Cysticidal drugs, albendazole and praziquantel, are generally effective when parasites localize in the parenchyma. In contrast, parasites lodged in the subarachnoid basal cisterns are less responsive to treatment.</p> <p>Case Presentation</p> <p>The clinical and radiological pictures of six Mexican patients non-respondent to cysticidal treatment are presented.</p> <p>Conclusions</p> <p>The possible factors involved in the cysticidal non-response are discussed and hints are provided of potentially useful changes to therapeutic protocols.</p

Non-AIDS defining cancers in the D:A:D Study - time trends and predictors of survival : A cohort study

Background: Non-AIDS defining cancers (NADC) are an important cause of morbidity and mortality in HIV-positive individuals. Using data from a large international cohort of HIV-positive individuals, we described the incidence of NADC from 2004-2010, and described subsequent mortality and predictors of these.Methods: Individuals were followed from 1st January 2004/enrolment in study, until the earliest of a new NADC, 1st February 2010, death or six months after the patient's last visit. Incidence rates were estimated for each year of follow-up, overall and stratified by gender, age and mode of HIV acquisition. Cumulative risk of mortality following NADC diagnosis was summarised using Kaplan-Meier methods, with follow-up for these analyses from the date of NADC diagnosis until the patient's death, 1st February 2010 or 6 months after the patient's last visit. Factors associated with mortality following NADC diagnosis were identified using multivariable Cox proportional hazards regression.Results: Over 176,775 person-years (PY), 880 (2.1%) patients developed a new NADC (incidence: 4.98/1000PY [95% confidence interval 4.65, 5.31]). Over a third of these patients (327, 37.2%) had died by 1st February 2010. Time trends for lung cancer, anal cancer and Hodgkin's lymphoma were broadly consistent. Kaplan-Meier cumulative mortality estimates at 1, 3 and 5 years after NADC diagnosis were 28.2% [95% CI 25.1-31.2], 42.0% [38.2-45.8] and 47.3% [42.4-52.2], respectively. Significant predictors of poorer survival after diagnosis of NADC were lung cancer (compared to other cancer types), male gender, non-white ethnicity, and smoking status. Later year of diagnosis and higher CD4 count at NADC diagnosis were associated with improved survival. The incidence of NADC remained stable over the period 2004-2010 in this large observational cohort.Conclusions: The prognosis after diagnosis of NADC, in particular lung cancer and disseminated cancer, is poor but has improved somewhat over time. Modifiable risk factors, such as smoking and low CD4 counts, were associated with mortality following a diagnosis of NADC. © 2013 Worm et al.; licensee BioMed Central Ltd

Prevalence, associated factors and outcomes of pressure injuries in adult intensive care unit patients: the DecubICUs study

Funder: European Society of Intensive Care Medicine; doi: http://dx.doi.org/10.13039/501100013347Funder: Flemish Society for Critical Care NursesAbstract: Purpose: Intensive care unit (ICU) patients are particularly susceptible to developing pressure injuries. Epidemiologic data is however unavailable. We aimed to provide an international picture of the extent of pressure injuries and factors associated with ICU-acquired pressure injuries in adult ICU patients. Methods: International 1-day point-prevalence study; follow-up for outcome assessment until hospital discharge (maximum 12 weeks). Factors associated with ICU-acquired pressure injury and hospital mortality were assessed by generalised linear mixed-effects regression analysis. Results: Data from 13,254 patients in 1117 ICUs (90 countries) revealed 6747 pressure injuries; 3997 (59.2%) were ICU-acquired. Overall prevalence was 26.6% (95% confidence interval [CI] 25.9–27.3). ICU-acquired prevalence was 16.2% (95% CI 15.6–16.8). Sacrum (37%) and heels (19.5%) were most affected. Factors independently associated with ICU-acquired pressure injuries were older age, male sex, being underweight, emergency surgery, higher Simplified Acute Physiology Score II, Braden score 3 days, comorbidities (chronic obstructive pulmonary disease, immunodeficiency), organ support (renal replacement, mechanical ventilation on ICU admission), and being in a low or lower-middle income-economy. Gradually increasing associations with mortality were identified for increasing severity of pressure injury: stage I (odds ratio [OR] 1.5; 95% CI 1.2–1.8), stage II (OR 1.6; 95% CI 1.4–1.9), and stage III or worse (OR 2.8; 95% CI 2.3–3.3). Conclusion: Pressure injuries are common in adult ICU patients. ICU-acquired pressure injuries are associated with mainly intrinsic factors and mortality. Optimal care standards, increased awareness, appropriate resource allocation, and further research into optimal prevention are pivotal to tackle this important patient safety threat

Correction to: Prevalence, associated factors and outcomes of pressure injuries in adult intensive care unit patients: the DecubICUs study

The original version of this article unfortunately contained a mistake