Penicillium glabrum cork colonising isolates – preliminary analysis of their genomic similari

Cork stopper manufacturing process includes an operation, known as stabilisation, by which humid cork slabs are extensively colonised by fungi. The effects of fungal growth on cork are yet to be completely understood and are considered to be involved in the so called “cork taint” of bottled wine. It is essential to identify environmental constraints which define the appearance of the colonising fungal species and to trace their origin to the forest and/or as residents in the manufacturing space. The present article correlates two sets of data, from consecutive years and the same season, of systematic biologic sampling of two manufacturing units, located in the North and South of Portugal. Chrysonilia sitophila dominance was identified, followed by a high diversity of Penicillium species. Penicillium glabrum, found in all samples, was the most frequent isolated species. P. glabrum intra-species variability was investigated using DNA fingerprinting techniques revealing highly discriminative polymorphic markers in the genome. Cluster analysis of P. glabrum data was discussed in relation to the geographical location of strains, and results suggest that P. glabrum arise from predominantly the manufacturing space, although cork resident fungi can also contrib

Genetic characterization of Portuguese Fasciola hepatica isolates

Dissertation presented to obtain the Master Degree in Molecular, Genetics and Biomedicine

Functional genomic analysis of heat stress in Vitis vinifera

Grapevine (Vitis vinifera) is one of most agro-economically important fruit crops worldwide, with a special relevance in Portugal where over 300 varieties are used for wine production. Due to global warming, temperature stress is currently a serious issue affecting crop production especially in temperate climates. Mobile genetic elements such as retrotransposons have been shown to be involved in environmental stress induced genetic and epigenetic modifications. In this study, sequences related to Grapevine Retrotransposon 1 (Gret1) were utilized to determine heat induced genomic and transcriptomic modifications in Touriga Nacional, a traditional Portuguese grapevine variety. For this purpose, growing canes were treated to 42 oC for four hours and leaf genomic DNA and RNA was utilized for various techniques to observe possible genomic alterations and variation in transcription levels of coding and non-coding sequences between non-treated plants and treated plants immediately after heat stress (HS-0 h) or after a 24 hour recovery period (HS-24 h). Heat stress was found to induce a significant decrease in Gret1 related sequences in HS-24 h leaves, indicating an effect of heat stress on genomic structure. In order to identify putative heat induced DNA modifications, genome wide approaches such as Amplified Fragment Length Polymorphism were utilized. This resulted in the identification of a polymorphic DNA fragment in HS-0 h and HS-24 h leaves whose sequence mapped to a genomic region flanking a house keeping gene (NADH) that is represented in multiple copies in the Vitis vinifera genome. Heat stress was also found to affect the transcript levels of various non-coding and gene coding sequences. Accordingly, quantitative real time PCR results established that Gret1 related sequences are up regulated immediately after heat stress whereas the level of transcript of genes involved in identification and repair of double strand breaks are significantly down regulated in HS-0 h plants. Taken together, the results of this work demonstrated heat stress affects both genomic integrity and transcription levels.

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.

Cerebral vasculopathy in children with sickle cell disease A study of genetic modulators of the disease

Sickle cell disease (SCD) is a genetic disorder with recessive transmission, caused by the mutation HBB:c.20A>T. It originates hemoglobin S that forms polymers inside the erythrocyte, upon deoxygenation, deforming it and ultimately leading to premature hemolysis. The disease presents with high heterogeneity of clinical manifestations, the most devastating of which, ischemic stroke, occurs in 11% of patients until 20 years of age. In this study, we tried to identify genetic modifiers of risk and episodes of stroke by studying 66 children with SCD, grouped according to the degree of cerebral vasculopathy (Stroke, Risk and Control). Association studies were performed between the three phenotypic groups and hematological and biochemical parameters of patients, as well as with 23 polymorphic regions in genes related to vascular cell adhesion (VCAM-1, THBS-1 and CD36), vascular tonus (NOS3 and ET-1) and inflammation (TNF-α and HMOX-1). Relevant data was collected from patient’s medical records. Known genetic modulators of SCD (beta-globin cluster haplotype and HBA and BCL11A genotypes) and putative genetic modifiers of cerebral vasculopathy were characterized. Differences in their distribution among groups were assessed. VCAM-1 rs1409419 allele C and NOS3 rs207044 allele C were associated to stroke events, while VCAM-1 rs1409419 allele T was found to be protective. Alleles 4a and 4b of NOS3 27 bp VNTR appeared to be respectively associated to stroke risk and protection. HMOX-1 longer STRs seemed to predispose to stroke. Higher hemoglobin F levels were found in Control group, as a result of Senegal haplotype or of BCL11A rs11886868 allele T, and higher lactate dehydrogenase levels, marker of hemolysis, were found in Risk group. Molecular mechanisms underlying the modifier functions of the relevant genetic variants are discussed.

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.

Avaliação do envolvimento das bombas de efluxo na fármaco-resistência ao Praziquantel em Schistosoma Mansonii

O Praziquantel (PZQ) é o fármaco de primeira linha no tratamento da schistosomose, com alta taxa de cura e sem efeitos secundários significativos. Têm sido reportados cada vez mais casos de resistência ou de aumento de tolerância a este fármaco, aumentando as preocupações de emergência de estirpes resistentes ao PZQ. O Verapamil, um bloqueador de canais de cálcio, inibe o fluxo de fármaco activo e tem sido descrito como um bom inibidor das glicoproteínas-P (P-gp), sendo, por isso, utilizado em diversos estudos de fármaco-resistência. No laboratório de Helmintologia da Unidade de Ensino e Investigação em Parasitologia Médica do Instituto de Higiene e Medicina Tropical, foi seleccionada uma linha de S. mansoni, resistente a 800 mg/Kg de PZQ, após pressão de fármaco constante e crescente ao longo de vários ciclos. Para confirmar a existência de diferenças polimórficas entre a estirpes sensível e resistente de S. mansoni, extraiu-se o DNA de parasitas adultos de ambas as estirpes de S. mansoni e analisou-se por Random Amplified Polymorphic DNAPolymerase Chain Reaction (RAPD-PCR). As diferenças polimórficas entre a estirpe sensível e a resistente foram observadas e calculou-se o coeficiente de similaridade (Dice’s coefficient). Após confirmar a existência de polimorfismos entre as duas estirpes, a atividade das bombas de efluxo foi avaliada em ambas as estirpes. A avaliação foi realizada num ensaio de acumulação usando o composto Brometo de Etídio na presença e ausência de Verapamil. O papel das bombas de efluxo na resistência ao PZQ, foi ainda investigado comparando a resposta dos parasitas da estirpe sensível e resistente ao fármaco na ausência e na presença de diferentes doses de Verapamil, em cultura in vitro. Os resultados obtidos foram reforçados comparando os níveis e expressão do gene SmMDR2 em ambas as estirpes isogénicas por Real-Time PCR (qPCR). A estirpe resistente de S. mansoni, necessitou de concentrações mais elevadas de inibidor quando comparada com a estirpe sensível para obter níveis significativos de fluorescência de Brometo de Etídio. A cultura in vitro mostrou uma dose letal de PZQ mais elevada na estirpe resistente do que na estirpe sensível na ausência de Verapamil. Na presença de Verapamil houve uma redução na dose letal de PZQ nos machos de ambas as estirpes, sendo esta redução mais acentuada nos machos da estirpe resistente. As fêmeas não mostraram alterações significativas na dose letal de PZQ na presença e ausência e inibidor. Os resultados foram reforçados pela observação dos níveis do gene SmMDR2, onde os machos da estirpe resistente mostraram ter os maiores níveis de expressão e pelo aumento de expressão nos machos de ambas as estirpes após exposição ao PZQ. As fêmeas de ambas as estirpes não tiveram diferenças significativas na expressão do gene após exposição ao PZQ e as fêmeas da estirpe resistente tiveram mostraram ter os níveis de expressão do gene SmMDR2 mais baixos entre os machos e fêmeas de ambas as estirpes. Os resultados obtidos neste trabalho mostraram que os machos da estirpe resistente têm maior atividade de bombas de efluxo do que os machos da estirpe sensível e que as bombas P-gp estão envolvidas na resposta e no aumento de tolerância dos machos de S. mansoni ao PZQ.