A framework for scientific computing with GPUs

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

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

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Parallelization of web processing services on cloud computing: A case study of Geostatistical Methods

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Mechanism of interleukin-8 induction by human cytomegalovirus UL76 protein

Dissertation presented to obtain the Ph.D degree in Biology

The mechanism of formate oxidation by metal-dependent formate dehydrogenases

J Biol Inorg Chem (2011) 16:1255–1268 DOI 10.1007/s00775-011-0813-8

Analysis of the activation mechanism of Pseudomonas stutzeri cytochrome c peroxidase through an electron transfer chain

J Biol Inorg Chem (2011) 16:881–888 DOI 10.1007/s00775-011-0785-8

Context-aware personalization environment for mobile computing

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

Processo de desenvolvimento e difusão de cloud computing: estudo sobre as redes de colaboração no Brasil

Com base no relatório de Projecto III para o Programa Doutoral em Avaliação de Tecnologia (2011-2012)

Cloud computing adoption - Determinants of cloud computing adoption by firms

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Chemical approaches to ubiquitous computing

Dissertação apresentada para obtenção do Grau de Doutor em Química, perfil de Química Física, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

On the cloud deployment of a session abstraction for service/data aggregation

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

A proof system for lock-free concurrency

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

Mainroad: Cloud computing

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Insights into Campylobacter jejuni Desulforubrerythrin catalytic mechanism

Dissertation presented to obtain the Master Degree in Molecular Genetics and Biomedicine