A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Type inference for conversation types

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Core language for web applications

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Genetic diversity of arginine catabolic mobile element in Staphylococcus epidermidis

PLos One, 4(11): ARTe7722

Update on the population structure of MRSA causing infection in a central hospital and in healthcare centers in Portugal

RESUMO:Staphylococcus aureus é um dos principais agentes patogénicos humanos, sendo frequentemente associado a infecções nosocomiais e infecções na comunidade. A prevalência de S. aureus resistentes à meticilina (MRSA) em hospitais portugueses é uma das mais elevadas da Europa e tem sido caracterizada extensivamente; contrariamente, a prevalência e epidemiologia de MRSA na comunidade em Portugal não tem sido devidamente seguida. Com o objectivo de compreender as causas possíveis do aumento na frequência de MRSA num dos maiores hospitais centrais portugueses (HSM) ao longo de 17 anos, isolados de MRSA recolhidos em 1993 (n=54) e 2010 (n=180) de pus, sangue e urina foram analisados por PFGE, MLST, tipagem do spa e tipagem de SCCmec. Os resultados mostraram que ocorreu uma mudança global nos tipos clonais predominantes, onde o clone ST22-IVh substituiu os clones, ST239-IIIvar e ST247-I, representando mais de 70% da população actual. Além disso, entre 1993 e 2010 verificou-se um aumento na diversidade genética dos tipos clonais de MRSA. Para determinar a frequência e a natureza clonal de MRSA e S. aureus sensíveis à meticilina (MSSA) isolados de infecções de pele e tecidos moles (SSTI) em pessoas que frequentam centros de saúde em Portugal, 73 amostras foram recolhidas em nove centros de saúde (Rede Médicos Sentinela). Isolou-se um total de 40 S. aureus (55%), dos quais 17,5% eram MRSA. Os isolados de MRSA pertenciam aos clones ST22-IVh (n=4), ST5-IVc (n=2) e ST105-II (n=1), que foram descritos neste estudo como sendo clones de origem hospitalar. Os nossos resultados sugerem que o aumento da frequência de MRSA no HSM pode estar associado à emergência de um clone de MRSA com maior capacidade epidémica. Além disso, verificámos que a principal causa de SSTI em pessoas que frequentam centros de saúde em Portugal são MRSA de origem hospitalar e não MRSA associados à comunidade.------ABSTRACT: Staphylococcus aureus is one of the most important human pathogens, being a major cause of infections worldwide both in the hospital and in the community. In Portugal, the prevalence of methicillin resistant S. aureus (MRSA) in hospitals is one of the highest in Europe and has been characterized extensively; contrarily the prevalence and epidemiology of MRSA in the community has not been followed in a meaningful way. To understand the epidemiological events that could explain a steep increase in MRSA frequency in a major Portuguese central hospital (HSM) within a 17 year period, two MRSA collections recovered in 1993 (n=54) and 2010 (n=180) from pus, blood and urine were analyzed by PFGE, MLST, spa and SCCmec typing. The results showed that a major clonal shift occurred, wherein ST22-IVh clone has replaced the previous ST239-IIIvar and ST247-I clones and accounts for more than 70% of the present population. Moreover, an increase in genetic diversity of MRSA clonal types was observed between the two study periods. With the aim of determining the frequency and clonal nature of MRSA and methicillin-susceptible S. aureus (MSSA) causing skin and soft tissue infections (SSTI) in patients attending healthcare centers in Portugal, 73 samples were collected from nine healthcare centers (Medicos Sentinela Network). A total of 40 S. aureus were isolated, accounting for 55% of the SSTI, of which 17.5% were MRSA. MRSA isolates belonged to ST22-IVh (n=4), ST5-IVc (n=2) and ST105-II (n=1) that have also been described in the hospital in an equivalent period. Our results suggest that the increase in MRSA frequency in HSM may be associated to the emergence of a MRSA clone with higher epidemic potential. Moreover, we propose that the spillover of MRSA from the hospital rather than community-associated-MRSA was the main cause of SSTI in persons attending healthcare centers in Portugal.

Epidemiological characterization, antimicrobial resistance and virulence mechanisms of human and animal streptococci

Dissertação para obtenção do Grau de Doutor em Biologia

Unveiling the mating system and genetic variability in the yeast Kwoniella mangroviensis using molecular approaches

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Produção de DNases extracelulares em estirpes de Streptococcus agalactiae de origem humana e bovina

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Epidemiological studies of Streptococcus pneumoniae carriage in the post-vaccination era among two risk groups: children and the elderly

Dissertation presented to obtain the Ph.D. degree in Biology/ Molecular Biology

Evolução de genótipos de Streptococcus agalactiae associados a colonização na grávida

Dissertação para obtenção do grau de Mestre em Microbiologia Médica

Streptococcus anginosus como agentes de infeção em Humanos: um estudo epidemiológico numa taxonomia em mudança

Dissertação para obtenção do grau de Mestre em Microbiologia Médica

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Molecular tools in the diagnostic and epidemiology of infections caused by members of Mycobacterium avium Complex

Mycobacterium avium Complex (MAC) comprises microorganisms that affect a wide range of animals including humans. The most relevant are Mycobacterium avium subspecies hominissuis (Mah) with a high impact on public health affecting mainly immunocompromised individuals and Mycobacterium avium subspecies paratuberculosis (Map) causing paratuberculosis in animals with a high economic impact worldwide. In this work, we characterized 28 human and 67 porcine Mah isolates and evaluated the relationship among them by Multiple-Locus Variable number tandem repeat Analysis (MLVA). We concluded that Mah population presented a high genetic diversity and no correlations were inferred based on geographical origin, host or biological sample. For the first time in Portugal Map strains, from asymptomatic bovine faecal samples were isolated highlighting the need of more reliable and rapid diagnostic methods for Map direct detection. Therefore, we developed an IS900 nested real time PCR with high sensitivity and specificity associated with optimized DNA extraction methodologies for faecal and milk samples. We detected 83% of 155 faecal samples from goats, cattle and sheep, and 26% of 98 milk samples from cattle, positive for Map IS900 nested real time PCR. A novel SNPs (single nucleotide polymorphisms) assay to Map characterization based on a Whole Genome Sequencing analysis was developed to elucidate the genetic relationship between strains. Based on sequential detection of 14 SNPs and on a decision tree we were able to differentiate 14 phylogenetic groups with a higher discriminatory power compared to other typing methods. A pigmented Map strain was isolated and characterized evidencing for the first time to our knowledge the existence of pigmented Type C strains. With this work, we intended to improve the ante mortem direct molecular detection of Map, to conscientiously aware for the existence of Map animal infections widespread in Portugal and to contribute to the improvement of Map and Mah epidemiological studies.