Staphylococcus aureus: towards a comprehensive view on epidemiology and clonal spread

Dissertation presented to obtain a PhD degree in Biology/ Molecular Biology by the Universidade Nova de Lisboa, Instituto de Tecnologia Química e Biológica

Functional MRI of stimulus interference on auditory processing in normal listeners and tinnitus patients

We are constantly immersed in stimuli. Upon reaching our senses, stimuli are processed within various brain systems along various pathways into the brain, and eventually turned into a percept. However, there are percepts that do not result from responses to external source stimuli. A particular case of this situation is the auditory percept known as tinnitus. Tinnitus can be seen as a task-irrelevant auditory percept, commonly reported to interfere with normal daily tasks. This is known from reports made by tinnitus sufferers that refer to their phantom percept as distracting, and that it diverts their focus from the task-relevant stimuli.(...)

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Estudo dos principais mecanismos de resistência aos antibióticos β-lactâmicos em bactérias patogénicas de gram negativo

Dissertação apresentada para a obtenção do Grau de Mestre em Genética Molecular e Biomedicina, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Diagnosis of an EPS module

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e Computadores

Static detection of anomalies in transactional memory programs

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a 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

Bacterial inter-species communication mediated by the autoinducer-2 signal

Dissertation presented to obtain the Ph.D degree in Biology by Universidade Nova de Lisboa, Instituto de Tecnologia Química e Biológica, Instituto Gulbenkian de Ciência.

Factores de risco para doenças músculo-esqueléticas não específicas no sector das limpezas em ser

The aim of this paper is to characterize complaints in the upper limbs, shoulders, neck and back- lumbar region directly related to musculo-skeletal disorders in a sampling of 114 cleaners from seven cleaning (janitor) companies, operating at eight client organizations. Complaints had been diagnosed as stiffness, any pain, numbness, paraesthesiae, tingling, cold feeling and blanching of at least one finger tip, according to a temporal criteria of symptoms were present now or have been present on at least 4 days during the last 7 days, or symptoms have been present on at least 4 days during at least one week in the last 12 months. It was analyzed the severity of the complaints (interference with current activities) and the simultaneous occurrence of multiple symptoms. The causes of medical consultation in the last year were analyzed (osteo-articular pathology of the vertebral spine, of the upper and lower limbs, depressive syndromes and other complaints of the lower limbs among others). In the end, the relation between persistent complaints and musculo- skeletal pathology related to work activities was analyzed, considering particularly the age of the workers and the existence of osteo-articular pathology.

Evolution of genotypes of Group A streptococci from colonization and infection

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

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

Linear amplification with multiple nonlinear devices

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

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

Automated segmentation, tracking and evaluation of bacteria in microscopy images

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica