Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Impacto clínico da tecnologia em ultra-sonografia

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Active bionanoconjugates of laccase and gold nanoparticles: kinetic and structural studies

Thesis for the master degree in Structural and Functional Biochemistry

Metodologia de avaliação de riscos em postos de trabalho com computadores: PARE – protocolo de avaliação de riscos em escritórios

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Three transducers for one photodetector: essays for optical communications

Dissertation presented to obtain the PhD degree in Electrical and Computer Engineering - Electronics

Parallel programming in biomedical signal processing

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

User friendly knowledge acquisition system for medical devices actuation

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Robust facial expression analysis for affect-based interaction

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Violino e tecnologia: origem e evolução tecnológica entre os séculos XV e XXI

Dissertação de mestrado para obtenção do Grau de Mestre em Artes Musicais – Estudos em Música e Tecnologias

Introdução ao problema do teste - da relação na tecnologia a partir das noções de teste e transdução

Dissertação apresentada para o cumprimento dos requisitos necessários à obtenção do grau de Mestre em Cultura Contemporânea e Novas Tecnologias.

Automated segmentation, tracking and evaluation of bacteria in microscopy images

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

On-line system for faults detection in induction motors based on PCA

Dissertation to obtain the degree of Master in Electrical and Computer Engineering

Reference-free high-speed cmos pipeline analog-to-digital converters

Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Electrical and Computer Engineering of the Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa

Molecular determinants of ligand specificity in carbohydrate-binding modules: an NMR and X-ray crystallography integrated study

Dissertação para obtenção do Grau de Doutor em Bioquímica – Ramo Bioquímica Estrutural

People and object tracking for video annotation

Dissertação para obtenção do Grau de Mestre em Engenharia Informática