Algorithms and computational tools for metabolic flux analysis

PhD thesis in Biomedical Engineering

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Análise estrutural e dimensionamento de estruturas de membrana

Dissertação de mestrado integrado em Engenharia Civil

Estudo numérico do escoamento e transporte de sedimentos em torno de pilares de pontes

Dissertação de mestrado integrado em Engenharia Civil

Implementação de um sistema de previsão e controlo para operação otimizada de um sistema de recolha e armazenamento de água pluvial

Dissertação de mestrado integrado em Engenharia Civil

Filamentous fungi occurrence in free water and biofilms from drinking water storage tanks

In some regions of Brazil, especially where the water is scarce, drinking water is stored in water storage tanks. This practice gives the consumer the guarantee of available water. The water storage conditions such as the exposure to hot weather when the tanks are on rooftops allow the development of microorganisms and microbial biofilms which can deteriorate the water quality and increase the risk to human health [1,2]. This study describes the filamentous fungi (FF) detected in free water and biofilms in drinking water storage tanks in Recife - Pernambuco, Brazil. Five sampling times in triplicate were performed at two distinct points. Colony-forming units (CFU) of FF fungi were determined with 0.45 μm filtration membranes using peptone glucose rose Bengal agar (PGRBA). From the 30 samples analysed a total of 1136 CFU were obtained. The water biofilms were collected from samplers consisting of polyethylene coupons, previously installed in the reservoirs. These coupons were transferred to PGRBA plates and incubated using with the same conditions described for free FF. For the in situ detection of FF in biofilms the Calcofluor White staining technique was used. This procedure demonstrated FF forming biofilms on the surfaces of the coupons. Brazilian legislation does not define limits for FF in drinking water. However considering the potential risk of fungal contamination, the data obtained in this study will contribute to developing future quantitative and qualitative parameters for the presence of fungi in drinking water distribution systems in Brazil.

Contributos do postal ilustrado para a história do Free Card

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Publicidade e Relações Públicas)

Sensitive label-free electron chemical capacitive transducer signal for D-dimer electroanalyses

Supplementary data associated with this article can be found, in the online version, at: http://dx.doi.org/10.1016/j.electacta.2015.09.169.

24-h urinary free cortisol from mid-pregnancy to 3-months postpartum: gender and parity differences and effects

Background: Pregnancy and postpartum have been associated to several physiological changes;however, empirical evidence was almost exclusively obtained in primiparous women and few studies focus on hormonal changes in men and second-time parents. The main aim of this study is to examine 24-h urinary free cortisol from mid-pregnancy to 3-months postpartum, comparing women/men and first/second-time parents.Methods: Twenty-six women and 22 men (N = 48) were recruited from an antenatal obstetric unit in Porto, Portugal. 24-h urinary free cortisol was measured at the 2nd and 3rd trimester and at 3-months postpartum. Repeated measures analyses of variance were conducted, in order to analyze 24-h urinary free cortisol patterns of change over this period. Gender and parity were included in the analyses as potential modifiers, in order to compare women and men, and first-and second-time parents.Results: An increase from the 2nd to the 3rd trimester (p = .006) and a decrease from the 3rd trimester to 3-months postpartum (p = .005) were reported in all parents’ 24-h urinary free cortisol. The interaction effects for Time * Gender (p = .03) and Time * Parity (p = .02) were found. Women and first-time parents revealed higher levels, while men and second-time parents showed lower 24-h urinary free cortisol levels at the 2nd trimester than at 3-months postpartum.Conclusions: Findings appear to clarify the direction, as well as, the timing, gender and parity extension of 24-h urinary free cortisol changes from mid-pregnancy to 3-months postpartum.The same pattern of change in all parents’ 24-h urinary free cortisol from mid-pregnancy to 3-months postpartum is consistent with the proposed role of hormones in preparation to parenting.

Pre-clinical trials for Machado-Joseph Disease: Hypothesis-based and hypothesis-free therapeutic approaches

Tese de Doutoramento em Ciências da Saúde