Timed Control with Observation Based and Stuttering Invariant Strategies

International audienceIn this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be based on a finite collection of observations and must be stuttering invariant in the sense that repeated identical observations will not change the strategy. We provide a constructive transformation to equivalent finite games with perfect information, giving decidability as well as allowing for an efficient on-the-fly forward algorithm. We report on application of an initial experimental implementation

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

Major Role for Amphotericin B–Flucytosine Combination in Severe Cryptococcosis

BACKGROUND: The Infectious Diseases Society of America published in 2000 practical guidelines for the management of cryptococcosis. However, treatment strategies have not been fully validated in the various clinical settings due to exclusion criteria during therapeutic trials. We assessed here the optimal therapeutic strategies for severe cryptococcosis using the observational prospective CryptoA/D study after analyzing routine clinical care of cryptococcosis in university or tertiary care hospitals. METHODOLOGY/PRINCIPAL FINDINGS: Patients were enrolled if at least one culture grew positive with Cryptococcus neoformans. Control of sterilization was warranted 2 weeks (Wk2) and 3 months (Mo3) after antifungal therapy onset. 208 HIV-positive or -negative adult patients were analyzed. Treatment failure (death or mycological failure) at Wk2 and Mo3 was the main outcome measured. Combination of amphotericin B+flucytosine (AMB+5FC) was the best regimen for induction therapy in patients with meningoencephalitis and in all patients with high fungal burden and abnormal neurology. In those patients, treatment failure at Wk2 was 26% in the AMB+5FC group vs. 56% with any other treatments (p<0.001). In patients treated with AMB+5FC, factors independently associated with Wk2 mycological failure were high serum antigen titer (OR [95%CI] = 4.43[1.21-16.23], p = 0.025) and abnormal brain imaging (OR = 3.89[1.23-12.31], p = 0.021) at baseline. Haematological malignancy (OR = 4.02[1.32-12.25], p = 0.015), abnormal neurology at baseline (OR = 2.71[1.10-6.69], p = 0.030) and prescription of 5FC for less than 14 days (OR = 3.30[1.12-9.70], p = 0.030) were independently associated with treatment failure at Mo3. CONCLUSION/SIGNIFICANCE: Our results support the conclusion that induction therapy with AMB+5FC for at least 14 days should be prescribed rather than any other induction treatments in all patients with high fungal burden at baseline regardless of their HIV serostatus and of the presence of proven meningoencephalitis

Interactions between white-tailed deer density and the composition of forest understories in the northern United States

Forest understories across the northern United States (US) are a complex of tree seedlings, endemic forbs, herbs, shrubs, and introduced plant species within a forest structure defined by tree and forest floor attributes. The substantial increase in white-tailed deer (Odocoileus virginianus Zimmerman) populations over the past decades has resulted in heavy browse pressure in many of these forests. To gain an objective assessment of the role of deer in forested ecosystems, a region-wide forest inventory across the northern US was examined in concert with white-tailed deer density information compiled at broad scales. Results indicate that deer density may be an additional driver of tree seedling abundance when analyzed along with stand attributes such as above ground biomass, relative density, and stand age. Tree seedling abundance generally decreased as deer density increased above 5.8 deer km2 for all forest type groups with the exception of oak-dominated forests. Findings indicate that introduced plant species, of which 393 were recorded in this study, increased in areas with higher deer density. The abundance of white-tailed deer is just as important as forest stand and site attributes in the development of forest understories. Given the complexity of forest and land use dynamics across the northern US, this study provides directions for future research as more data linking forest-dependent wildlife and forest dynamics at regional and national scales become available

Phylogenomic Analysis of Odyssella thessalonicensis Fortifies the Common Origin of Rickettsiales, Pelagibacter ubique and Reclimonas americana Mitochondrion

Background: The evolution of the Alphaproteobacteria and origin of the mitochondria are topics of considerable debate. Most studies have placed the mitochondria ancestor within the Rickettsiales order. Ten years ago, the bacterium Odyssella thessalonicensis was isolated from Acanthamoeba spp., and the 16S rDNA phylogeny placed it within the Rickettsiales. Recently, the whole genome of O. thessalonicensis has been sequenced, and 16S rDNA phylogeny and more robust and accurate phylogenomic analyses have been performed with 65 highly conserved proteins. Methodology/Principal Findings: The results suggested that the O. thessalonicensis emerged between the Rickettsiales and other Alphaproteobacteria. The mitochondrial proteins of the Reclinomonas americana have been used to locate the phylogenetic position of the mitochondrion ancestor within the Alphaproteobacteria tree. Using the K tree score method, nine mitochondrion-encoded proteins, whose phylogenies were congruent with the Alphaproteobacteria phylogenomic tree, have been selected and concatenated for Bayesian and Maximum Likelihood phylogenies. The Reclinomonas americana mitochondrion is a sister taxon to the free-living bacteria Candidatus Pelagibacter ubique, and together, they form a clade that is deeply rooted in the Rickettsiales clade. Conclusions/Significance: The Reclinomonas americana mitochondrion phylogenomic study confirmed that mitochondri

Introduction of SARS in France, March–April, 2003

We describe severe acute respiratory syndrome (SARS) in France. Patients meeting the World Health Organization definition of a suspected case underwent a clinical, radiologic, and biologic assessment at the closest university-affiliated infectious disease ward. Suspected cases were immediately reported to the Institut de Veille Sanitaire. Probable case-patients were isolated, their contacts quarantined at home, and were followed for 10 days after exposure. Five probable cases occurred from March through April 2003; four were confirmed as SARS coronavirus by reverse transcription–polymerase chain reaction, serologic testing, or both. The index case-patient (patient A), who had worked in the French hospital of Hanoi, Vietnam, was the most probable source of transmission for the three other confirmed cases; two had been exposed to patient A while on the Hanoi-Paris flight of March 22–23. Timely detection, isolation of probable cases, and quarantine of their contacts appear to have been effective in preventing the secondary spread of SARS in France

Lesion-induced DNA weak structural changes detected by pulsed EPR spectroscopy combined with site-directed spin labelling

Double electron-electron resonance (DEER) was applied to determine nanometre spin–spin distances on DNA duplexes that contain selected structural alterations. The present approach to evaluate the structural features of DNA damages is thus related to the interspin distance changes, as well as to the flexibility of the overall structure deduced from the distance distribution. A set of site-directed nitroxide-labelled double-stranded DNA fragments containing defined lesions, namely an 8-oxoguanine, an abasic site or abasic site analogues, a nick, a gap and a bulge structure were prepared and then analysed by the DEER spectroscopic technique. New insights into the application of 4-pulse DEER sequence are also provided, in particular with respect to the spin probes’ positions and the rigidity of selected systems. The lesion-induced conformational changes observed, which were supported by molecular dynamics studies, confirm the results obtained by other, more conventional, spectroscopic techniques. Thus, the experimental approaches described herein provide an efficient method for probing lesion-induced structural changes of nucleic acids

Catch-Up Growth Following Fetal Growth Restriction Promotes Rapid Restoration of Fat Mass but Without Metabolic Consequences at One Year of Age

BACKGROUND: Fetal growth restriction (FGR) followed by rapid weight gain during early life has been suggested to be the initial sequence promoting central adiposity and insulin resistance. However, the link between fetal and early postnatal growth and the associated anthropometric and metabolic changes have been poorly studied. METHODOLOGY/PRINCIPAL FINDINGS: Over the first year of post-natal life, changes in body mass index, skinfold thickness and hormonal concentrations were prospectively monitored in 94 infants in whom the fetal growth velocity had previously been measured using a repeated standardized procedure of ultrasound fetal measurements. 45 infants, thinner at birth, had experienced previous FGR (FGR+) regardless of birth weight. Growth pattern in the first four months of life was characterized by greater change in BMI z-score in FGR+ (+1.26+/-1.2 vs +0.58 +/-1.17 SD in FGR-) resulting in the restoration of BMI and of fat mass to values similar to FGR-, independently of caloric intakes. Growth velocity after 4 months was similar and BMI z-score and fat mass remained similar at 12 months of age. At both time-points, fetal growth velocity was an independent predictor of fat mass in FGR+. At one year, fasting insulin levels were not different but leptin was significantly higher in the FGR+ (4.43+/-1.41 vs 2.63+/-1 ng/ml in FGR-). CONCLUSION: Early catch-up growth is related to the fetal growth pattern itself, irrespective of birth weight, and is associated with higher insulin sensitivity and lower leptin levels after birth. Catch-up growth promotes the restoration of body size and fat stores without detrimental consequences at one year of age on body composition or metabolic profile. The higher leptin concentration at one year may reflect a positive energy balance in children who previously faced fetal growth restriction

The French national prospective cohort of patients co-infected with HIV and HCV (ANRS CO13 HEPAVIH): Early findings, 2006-2010

<p>Abstract</p> <p>Background</p> <p>In France, it is estimated that 24% of HIV-infected patients are also infected with HCV. Longitudinal studies addressing clinical and public health questions related to HIV-HCV co-infection (HIV-HCV clinical progression and its determinants including genetic dimension, patients' experience with these two diseases and their treatments) are limited. The ANRS CO 13 HEPAVIH cohort was set up to explore these critical questions.</p> <p>To describe the cohort aims and organization, monitoring and data collection procedures, baseline characteristics, as well as follow-up findings to date.</p> <p>Methods</p> <p>Inclusion criteria in the cohort were: age > 18 years, HIV-1 infection, chronic hepatitis C virus (HCV) infection or sustained response to HCV treatment. A standardized medical questionnaire collecting socio-demographic, clinical, biological, therapeutic, histological, ultrasound and endoscopic data is administered at enrolment, then every six months for cirrhotic patients or yearly for non-cirrhotic patients. Also, a self-administered questionnaire documenting socio-behavioral data and adherence to HIV and/or HCV treatments is administered at enrolment and yearly thereafter.</p> <p>Results</p> <p>A total of 1,175 patients were included from January 2006 to December 2008. Their median age at enrolment was 45 years and 70.2% were male. The median CD4 cell count was 442 (IQR: 304-633) cells/μl and HIV RNA plasma viral load was undetectable in 68.8%. Most participants (71.6%) were on HAART. Among the 1,048 HIV-HCV chronically co-infected patients, HCV genotype 1 was predominant (56%) and cirrhosis was present in 25%. As of January, 2010, after a median follow-up of 16.7 months (IQR: 11.3-25.3), 13 new cases of decompensated cirrhosis, nine hepatocellular carcinomas and 20 HCV-related deaths were reported, resulting in a cumulative HCV-related severe event rate of 1.9/100 person-years (95% CI: 1.3-2.5). The rate of HCV-related severe events was higher in cirrhotic patients and those with a low CD4 cells count, but did not differ according to sex, age, alcohol consumption, CDC clinical stage or HCV status.</p> <p>Conclusion</p> <p>The ANRS CO 13 HEPAVIH is a nation-wide cohort using a large network of HIV treatment, infectious diseases and internal medicine clinics in France, and thus is highly representative of the French population living with these two viruses and in care.</p

The chromatin remodeler p400 ATPase facilitates Rad51-mediated repair of DNA double-strand breaks

DNA damage signaling and repair take place in a chromatin context. Consequently, chromatin-modifying enzymes, including adenosine triphosphate–dependent chromatin remodeling enzymes, play an important role in the management of DNA double-strand breaks (DSBs). Here, we show that the p400 ATPase is required for DNA repair by homologous recombination (HR). Indeed, although p400 is not required for DNA damage signaling, DNA DSB repair is defective in the absence of p400. We demonstrate that p400 is important for HR-dependent processes, such as recruitment of Rad51 to DSB (a key component of HR), homology-directed repair, and survival after DNA damage. Strikingly, p400 and Rad51 are present in the same complex and both favor chromatin remodeling around DSBs. Altogether, our data provide a direct molecular link between Rad51 and a chromatin remodeling enzyme involved in chromatin decompaction around DNA DSBs