Propositional Dynamic Logic (PDL) is a multi-modal logic used for specifying and reasoning on sequential programs. Petri Net is a widely used formalism to specify and to analyse concurrent programs with a very nice graphical representation. In this work, we propose a PDL to reasoning about Petri Nets. First we define a compositional encoding of Petri Nets… (More)
Genetic variation in an infectious disease pathogen can be driven by ecological niche dissimilarities arising from different host species and different geographical locations. Whole genome sequencing was used to compare E. coli O157 isolates from host reservoirs (cattle and sheep) from Scotland and to compare genetic variation of isolates (human, animal,… (More)
The increasing trend of antibiotic resistance in Acinetobacter drastically limits the range of therapeutic agents required to treat multidrug resistant (MDR) infections. This study focused on analysis of novel Acinetobacter strains using a genomics and systems biology approach. Here we used a network theory method for pathogenic and non-pathogenic… (More)
Acinetobacter baumannii strain Ab5 was isolated in the year 2007 in Chile, being one of the first multidrug-resistant (MDR) cases reported in the country. Here, we present the very first draft genome sequence of an MDR Chilean strain, which shows the presence of diverse resistance and acquired virulence genes.
Progressive ataxia and palatal tremor (PAPT) is a rare distinct clinical entity characterized by symptomatic palatal tremor associated with progressive ataxia 1,2. Few cases have been described in literature, and MRI findings show, in most cases, cerebellar atrophy and bilateral olivary hypertrophy with signal change 1. We report a case where MRI study at… (More)