Planeamento e controlo de projetos em ambiente colaborativo com recurso a ferramentas BIM

Dissertação de mestrado integrado em Engenharia Civil

Systems biology approaches for the design of novel Saccharomyces cerevisiae winemaking strains for enhanced flavour compounds synthesis

Tese de Doutoramento em Biologia Ambiental e Molecular

Algorithms and computational tools for metabolic flux analysis

PhD thesis in Biomedical Engineering

Exploring scenario exploration

Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration.

An integrated model for simulation of construction phasing of arch concrete dams

Dissertação de mestrado integrado em Civil Engineering

Development of an intelligent earthwork optimization system

Tese de Doutoramento em Engenharia Civil.

A integração de técnicas BIM nos elementos de projeto de aplicação de sistemas de pré-esforço

Dissertação de mestrado integrado em Engenharia Civil

Planeamento e controlo de projetos de construção com recurso ao BIM

Dissertação de mestrado integrado em Engenharia Civil

Aplicação de metodologias BIM no contexto da construção da nova ponte sobre o Rio Dão

Dissertação de mestrado integrado em Engenharia Civil

Promoção da motivação e da autonomia com recurso às tecnologias de informação e comunicação em alunos normovisuais e em alunos com deficiência visual

Relatório de estágio de mestrado em Ensino de Informática

Desenvolvimento de ferramenta vocacionada para o dimensionamento de estruturas metálicas de acordo com a NP EN 1993-1-1

Dissertação de mestrado integrado em Engenharia Civil

Ferramenta de suporte à decisão e prática clínica em unidades de cuidados neonatais e pediátricos

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Arquitetura distribuída para análises multimodais de conectividade cerebral

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

FISHji: new ImageJ macros for the quantification of fluorescence in epifluorescence images

Fluorescence in situ hybridization (FISH) is based on the use of fluorescent staining dyes, however, the signal intensity of the images obtained by microscopy is seldom quantified with accuracy by the researcher. The development of innovative digital image processing programs and tools has been trying to overcome this problem, however, the determination of fluorescent intensity in microscopy images still has issues due to the lack of precision in the results and the complexity of existing software. This work presents FISHji, a set of new ImageJ methods for automated quantification of fluorescence in images obtained by epifluorescence microscopy. To validate the methods, results obtained by FISHji were compared with results obtained by flow cytometry. The mean correlation between FISHji and flow cytometry was high and significant, showing that the imaging methods are able to accurately assess the signal intensity of fluorescence images. FISHji are available for non-commercial use at http://paginas.fe.up.pt/nazevedo/.

An R package for the integrated analysis of metabolomics and spectral data

Recently, there has been a growing interest in the field of metabolomics, materialized by a remarkable growth in experimental techniques, available data and related biological applications. Indeed, techniques as Nuclear Magnetic Resonance, Gas or Liquid Chromatography, Mass Spectrometry, Infrared and UV-visible spectroscopies have provided extensive datasets that can help in tasks as biological and biomedical discovery, biotechnology and drug development. However, as it happens with other omics data, the analysis of metabolomics datasets provides multiple challenges, both in terms of methodologies and in the development of appropriate computational tools. Indeed, from the available software tools, none addresses the multiplicity of existing techniques and data analysis tasks. In this work, we make available a novel R package, named specmine, which provides a set of methods for metabolomics data analysis, including data loading in different formats, pre-processing, metabolite identification, univariate and multivariate data analysis, machine learning, and feature selection. Importantly, the implemented methods provide adequate support for the analysis of data from diverse experimental techniques, integrating a large set of functions from several R packages in a powerful, yet simple to use environment. The package, already available in CRAN, is accompanied by a web site where users can deposit datasets, scripts and analysis reports to be shared with the community, promoting the efficient sharing of metabolomics data analysis pipelines.