Inferior frontal gyrus white matter abnormalities in obsessive-compulsive disorder

The aim of the present study is to explore obsessive-compulsive disorder (OCD)-related abnormalities in white matter connectivity in OCD for a core region associated with inhibitory control [i.e. inferior frontal gyrus (IFG)]. Fifteen patients with OCD (11 men) and 15 healthy controls (nine men) underwent diffusion tensor imaging scanning to study four diffusivity indexes of white matter integrity [fractional anisotropy, mean diffusivity (MD), axial diffusivity and radial diffusivity (RD)]. The results showed that persons with OCD manifested significantly lower fractional anisotropy levels in the bilateral IFG as well as its parcellations in the pars opercularis, pars triangularis, and pars orbitalis. Significantly higher levels of MD, RD were evident for the OCD group in the IFG as a whole as well as in the bilateral subregions of the pars triangularis and pars opercularis (for MD and RD), the right side of the pars orbitalis (for RD), and the left side of the pars triangularis and right side pars opercularis (for axial diffusivity). Overall, the results suggest significant alterations in structural connectivity, probably associated with myelination and axonal abnormalities in the IFG of OCD patients.

Reducing seismic vulnerablity: Retrofitting historic buildings

The value of preserving historic buildings is increasingly accepted by society, which not only recognizes built cultural heritage as a part of its identity but is also more cognizant of its economic value. In Europe, for example, tourism accounts for 10 percent of the GDP in the EU and 12 percent of employment.1 Built cultural heritage is a fundamental element of what draws tourists to European destinations. To a great extent, the value of historic buildings rests in the integrity of their components as unique products of the technology of their time and place. Unfortunately, cultural heritage buildings are particularly vulnerable to disasters, for a variety of reasons. They are often damaged or in a state of deterioration; they were built with materials with low resistance; they are heavy; and the connections among their various structural components are frequently insufficient. The main causes of damage are lack of maintenance, water-induced deterioration (from rain or rising damp), soil settlement, and extreme events such as earthquakes. Earthquakes have caused hundreds of thousands of deaths in the last decade, in addition to the tremendous losses in built cultural heritage.

The impact of carbon source in Candida albicans virulence: participation of RLM1 in pathogen host interaction

Dissertação de mestrado em Genética Molecular

Exploring the role of O-Mannosylation in the modulation of E-Cadherin function in Gastric Cancer cell line models

Dissertação de mestrado em Bioquímica Aplicada – Biomedicina

Biological behaviour of thin films consisting of Au nanoparticles dispersed in a TiO2 dielectric matrix

In this work it was studied the possible use of thin films, composed of Au nanoparticles (NPs) embedded in a TiO2 matrix, in biological applications, by evaluating their interaction with a well-known protein, Bovine Serum Albumin (BSA), as well as with microbial cells (Candida albicans). The films were produced by one-step reactive DC magnetron sputtering followed by heat-treatment. The samples revealed a composition of 8.3 at.% of Au and a stoichiometric TiO2 matrix. The annealing promoted grain size increase of the Au NPs from 3 nm (at 300 °C) to 7 nm (at 500 °C) and a progressive crystallization of the TiO2 matrix to anatase. A broad localized surface plasmon resonance (LSPR) absorption band (λ = 580–720 nm) was clearly observed in the sample annealed at 500 °C, being less intense at 300 °C. The biological tests indicated that the BSA adhesion is dependent on surface nanostructure morphology, which in turn depends on the annealing temperature that changed the roughness and wettability of the films. The Au:TiO2 thin films also induced a significant change of the microbial cell membrane integrity, and ultimately the cell viability, which in turn affected the adhesion on its surface. The microstructural changes (structure, grain size and surface morphology) of the Au:TiO2 films promoted by heat-treatment shaped the amount of BSA adhered and affected cell viability.

Estudo e caracterização mecânica por via experimental de modelos de subestruturas eletromecânicas aplicadas ao fabrico de transformadores de grande potência

Dissertação de mestrado integrado em Engenharia Mecânica

Cognitive functioning and efficacy of cognitive intervention in Multiple Sclerosis

Tese de Doutoramento em Psicologia Clínica / Psicologia

Development of folate-targeted liposomes for rheumatoid arthritis therapy

Tese de Doutoramento em Biologia Molecular e Ambiental (área de especialização em Biologia Celular e Saúde).

Reforço de ligações tradicionais de madeira

Dissertação de mestrado integrado em Engenharia Civil

Evaluation of zearalenone in vitro removal by Saccharomyces cerevisiae strains isolated from bovine forage

Zearalenone (ZEN) is a mycotoxin that has relatively low acute toxicity. However, it is a potent oestrogen, interfering with the reproductive tract of animals. Among other effects, ZEN decreases animals fertility, and induces fibrosis in the uterus, breast cancer and endometrial carcinoma (Zinedine et al., 2007). Anti-mycotoxin additives (AMA) are defined as a group of products that, when added to animal feed, are capable of adsorbing, inactivating, or neutralizing mycotoxins in the gastrointestinal tract of animals. One example of these products are adsorbents based on yeast cell walls, a safe and beneficial animal feed additive (Abreu et al., 2008). When based on active cells, yeast based products also act as a probiotic, contributing to improve the general animal health because it stimulates their immune system and promotes the integrity of intestinal mucosa (Albino et al., 2006). Strains of Saccharomyces cerevisiae isolated from silage were tested for their ZEN removal capability. Their effect on - and b-zearalenol (-ZOL and b-ZOL) was also tested. Strains were grown on YPD separately supplemented with ZEN, -ZOL and b-ZOL, and their elimination from culture media was quantified over time by HPLC-FL.

Toxicity induced by a metal mixture (Cd, Pb and Zn) in the yeast Pichia kudriavzevii: The role of oxidative stress

The present work aims to contribute for the elucidation of the role of oxidative stress in the toxicity associated with the exposure of Pichia kudriavzevii to multi-metals (Cd, Pb and Zn). Cells of the non-conventional yeast P. kudriavzevii exposed for 6 h to the action of multi-metals accumulated intracellular reactive oxygen species (ROS), evaluated through the oxidation of the probe 2,7-dichlorodihydrofluorescein diacetate. A progressive loss of membrane integrity (monitored using propidium iodide) was observed in multi-metal-treated cells. The triggering of intracellular ROS accumulation preceded the loss of membrane integrity. These results suggest that the disruption of membrane integrity can be attributed to the oxidative stress. The exposure of yeast cells to single metal showed that, under the concentrations tested, Pb was the metal responsible for the induction of the oxidative stress. Yeast cells coexposed to an antioxidant (ascorbic acid) and multi-metals did not accumulate intracellular ROS, but loss proliferation capacity. Together, the data obtained indicated that intracellular ROS accumulation contributed to metal toxicity, namely for the disruption of membrane integrity of the yeast P. kudriavzevii. It was proposed that Pb toxicity (the metal responsible for the toxic symptoms under the conditions tested) result from the combination of an ionic mechanism and the intracellular ROS accumulation.

Olive pomace pretreatments to enhance its valorisation by solid-state fermentation

Dissertação de mestrado em Bioengenharia

Evaluation system in the European Commission : DEVCO’S evaluation methodology

Mestrado em Economia e Políticas Públicas

Avaliação da expressão de mediadores imunitários em amostras de cetáceos capturados acidentalmente em Portugal Continental

Dissertação de Mestrado Integrado em Medicina Veterinária

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.