Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

DOTA-based Ga(III) and Gd(III) chelates for medical imaging (PET, SPECT and MRI)

PhD Thesis in Sciences Specialization in Chemistry

One-step in situ synthesis of polyamide microcapsules with inorganic payload and their transformation into responsive thermoplastic composite materials

Well-dispersed loads of finely powdered metals, metal oxides, several carbon allotropes or nanoclays are incorporated into highly porous polyamide 6 microcapsules in controllable amounts via an original one-step in situ fabrication technique. It is based on activated anionic polymerization (AAP) of ε-caprolactam in a hydrocarbon solvent performed in the presence of the respective micro- or nanosized loads. The forming microcapsules with typical diameters of 25-50 µm entrap up to 40 wt% of load. Their melt processing produces hybrid thermoplastic composites. Mechanical, electric conductivity and magnetic response measurements show that transforming of in situ loaded microcapsules into composites by melt processing (MP) is a facile and rapid method to fabricate materials with high mechanical resistance and electro-magnetic characteristics sufficient for many industrial applications. This novel concept requires low polymerization temperatures, no functionalization or compatibilization of the loads and it is easy to scale up at industrial production levels.

Gd2O3: Eu3+/PPO/POPOP/PS composites for digital imaging radiation detectors

Polymer based scintillator composites have been produced by combining polystyrene (PS) and Gd2O3:Eu3+ scintillator nanoparticles. Polystyrene has been used since it is a flexible and stable binder matrix, resistant to thermal and light deterioration and with suitable optical properties. Gd2O3:Eu3+ has been selected as scintillator material due to its wide band gap, high density and visible light yield. The optical, thermal and electrical characteristics of the composites were studied as a function of filler content, together with their performance as scintillator material. Additionally 1wt.% of 2,5 dipheniloxazol (PPO) and 0.01wt.% of (1,4-bis(2-(5-phenioxazolil))-benzol (POPOP) were introduced in the polymer matrix in order to strongly improve light yield, i.e. the measured intensity of the output visible radiation, under X-ray irradiation. Whereas increasing scintillator filler concentration (from 0.25wt.% to 7.5wt.%) increases scintillator light yield, decreases the optical transparency of the composite. The addition of PPO and POPOP, strongly increased the overall 2 transduction performance of the composite due to specific absorption and re-emission processes. It is thus shown that Gd2O3:Eu3+/PPO/POPOP/PS composites in 0.25 wt.% of scintillator content with fluorescence molecules is suitable for the development of innovate large area X-ray radiation detectors with huge demand from the industries.

Volumetric alterations in the nucleus accumbens and caudate nucleus in bulimia nervosa: a structural magnetic resonance imaging study

Bulimia nervosa (BN) is an eating disorder characterized by recurrent episodes of binge eating and inappropriate compensatory behaviors (such as purging, fasting, or excessive exercise) to prevent weight gain. BN has been associated with deficits in inhibitory control processes. The basal ganglia specifically, the nucleus accumbens (NAc) and the caudate nucleus (CN) are part of the frontostriatal circuits involved in inhibitory control. The main goal of this study was to investigate the presence of morphological alterations in the NAc and the CN in a sample of patients diagnosed with BN.

Localization of MCT2 at peroxisomes is associated with malignant transformation in prostate cancer

Previous studies on monocarboxylate transporters expression in prostate cancer (PCa) have shown that monocarboxylate transporter 2 (MCT2) was clearly overexpressed in prostate malignant glands, pointing it out as a putative biomarker for PCa. However, its localization and possible role in PCa cells remained unclear. In this study, we demonstrate that MCT2 localizes mainly at peroxisomes in PCa cells and is able to take advantage of the peroxisomal transport machinery by interacting with Pex19. We have also shown an increase in MCT2 expression from non-malignant to malignant cells that was directly correlated with its peroxisomal localization. Upon analysis of the expression of several peroxisomal ß-oxidation proteins in PIN lesions and PCa cells from a large variety of human prostate samples, we suggest that MCT2 presence at peroxisomes is related to an increase in ß -oxidation levels which may be crucial for malignant transformation. Our results present novel evidence that may not only contribute to the study of PCa development mechanisms but also pinpoint novel targets for cancer therapy.

Development of procedures for the design, optimization and manufacturing of customized orthopaedic and trauma implants: Geometrical/anatomical modelling from 3D medical imaging

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

In vivo imaging of glycol chitosan-based nanogel biodistribution

The preclinical development of nanomedicines raises several challenges and requires a comprehensive characterization. Among them is the evaluation of the biodistribution following systemic administration. In previous work, the biocompatibility and in vitro targeting ability of a glycol chitosan (GC) based nanogel have been validated. In the present study, its biodistribution in the mice is assessed, using near-infrared (NIR) fluorescence imaging as a tool to track the nanogel over time, after intravenous administration. Rapid whole body biodistribution of both Cy5.5 labeled GC nanogel and free polymer is found at early times. It remains widespreadly distributed in the body at least up to 6 h postinjection and its concentration then decreases drastically after 24 h. Nanogel blood circulation half-life lies around 2 h with the free linear GC polymer presenting lower blood clearance rate. After 24 h, the blood NIR fluorescence intensity associated with both samples decreases to insignificant values. NIR imaging of the organs shows that the nanogel had a body clearance time of 48 h, because at this time point a weak signal of NIR fluorescence is observed only in the kidneys. Hereupon it can be concluded that the engineered GC nanogel has a fairly long blood circulation time, suitable for biomedical applications, namely, drug delivery, simultaneously allowing efficient and quick body clearance.