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

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

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