Using Model Checking Tools to Triage the Severity of Security Bugs in the Xen Hypervisor

185193

Extension of WRF-Chem for birch pollen modelling – a case study for Poland.

In recent years, allergies due to airborne pollen have shown an increasing trend, along with the severity of allergic symptoms in most industrialised countries, while synergism with other common atmospheric pollutants has also been identified as affecting the overall quality of citizenly’ life. In this study we propose the state-of-the-art WRF-Chem model, which is a complex Eulerian meteorological model integrated on-line with atmospheric chemistry. We used a combination of the WRF-Chem extended towards birch pollen, and the emission module based on heating degree days, which has not been tested before. The simulations were run for the moderate season in terms of birch pollen concentrations (year 2015) and high season (year 2016) over Central Europe, which were validated against 11 observational stations located in Poland. The results show that there is a big difference in the model’s performance for the two modelled years. In general, the model overestimates birch pollen concentrations for the moderate season and highly underestimates birch pollen concentrations for the year 2016. The model was able to predict birch pollen concentrations for first allergy symptoms (above 20 pollen m-3) as well as for severe symptoms (above 90 pollen m-3) with Probability of Detection at 0.78 and 0.68 and Success Ratio at 0.75 and 0.57, respectively for the year 2015. However, the model failed to reproduce these parameters for the year 2016. The results indicate the potential role of correcting the total seasonal pollen emission in improving the model’s performance, especially for specific years in terms of pollen productivity. The application of chemical transport models such as WRF-Chem for pollen modelling provides a great opportunity for simultaneous simulations of chemical air pollution and allergic pollen with one goal, which is a step forward for studying and understanding the co-exposure of these particles in the air

Reactive Synthesis from Extended Bounded Response LTL Specifications

83921

Using model checking tools to triage the severity of security bugs in the Xen hypervisor

185193

Novel Clade C-I Clostridium difficile strains escape diagnostic tests, differ in pathogenicity potential and carry toxins on extrachromosomal elements

The population structure of Clostridium difficile currently comprises eight major genomic clades. For the highly divergent C-I clade, only two toxigenic strains have been reported, which lack the tcdA and tcdC genes and carry a complete locus for the binary toxin (CDT) next to an atypical TcdB monotoxin pathogenicity locus (PaLoc). As part of a routine surveillance of C. difficile in stool samples from diarrheic human patients, we discovered three isolates that consistently gave negative results in a PCR-based screening for tcdC. Through phenotypic assays, whole-genome sequencing, experiments in cell cultures, and infection biomodels we show that these three isolates (i) escape common laboratory diagnostic procedures, (ii) represent new ribotypes, PFGE-types, and sequence types within the Clade C-I, (iii) carry chromosomal or plasmidal TcdBs that induce classical or variant cytopathic effects (CPE), and (iv) cause different levels of cytotoxicity and hamster mortality rates. These results show that new strains of C. difficile can be detected by more refined techniques and raise questions on the origin, evolution, and distribution of the toxin loci of C. difficile and the mechanisms by which this emerging pathogen causes disease.Federal State of Lower Saxony/[(VWZN2889/3215/3266]/FSLS/AlemaniaGerman Center for Infection Research/[BMBF grant 8000-105-3]/DZIF/AlemaniaUniversidad de Costa Rica/UCR/Costa RicaUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ciencias de la Salud::Centro de Investigación en Enfermedades Tropicales (CIET)UCR::Vicerrectoría de Investigación::Unidades de Investigación::Ciencias de la Salud::Laboratorio de Ensayos Biológicos (LEBI