Safety Verification for ROS Applications

Autor André Santos

Grau PhD

Ano 2017

Instituição UM

Framework for Planing the Aesthetic Result after Breast Surgery

Autor Sílvia da Conceição Neto Bessa

Grau MSc

Ano 2016

Instituição UP-FEUP

planning of automatic naval minehunting operations

Autor Nuno Miguel Neves de Abreu

Grau PhD

Ano 2015

Instituição UP-FEUP

sistema de apoio à escolha de algoritmos para problemas de optimização

Autor Pedro Manuel Correia de Abreu

Grau PhD

Ano 2015

Instituição UP-FEUP

Teste Baseado em Modelos

Autor Raphael Julien Rodrigues

Grau MSc

Ano 2015

Instituição UM

Automatic Rewrite Proofs by Reflection in Agda

Autor Victor Cacciari Miraldo

Grau MSc

Ano 2015

Instituição UM

Migration and Adaptation of User Interfaces

Autor Carlos Eduardo Silva

Grau PhD

Ano 2015

Instituição UM

Audiovisual perception in a Virtual World

Autor Carlos César Loureiro Silva

Grau PhD

Ano 2015

Instituição UM

Automatic Lung Nodule Classification in Chest Computerized Tomography Images

Autor Luís do Couto Gonçalves

Grau MSc

Ano 2015

Instituição UP-FEUP

Análisis de Mercados Eléctricos Oligopolistas con Restricciones de Red

Autor Cristian Andrés Diaz Durán

Grau PhD

Ano 2013