| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 46 | Safety verification for ROS software
Author: André Filipe Faria dos Santos |
Supervisor: Manuel Alcino Pereira Cunha UM - DI / HASLab - INESC TEC |
In progress 2016 - ... |
| 47 | Beyond Distributed Transactions through Exactly-once Exchanges
Author: Ziad Kassam |
Supervisor: Ali Shoker Cosupervisor: Paulo Sérgio Soares de Almeida UM - DI / HASLab - INESC TEC |
In progress 2016 - ... |
| 48 | Extending Conflict Free Replicated Data Types Fault Models
Author: Houssam Yactine |
Supervisor: Ali Shoker UM - DI / HASLab - INESC TEC |
In progress 2016 - ... |
| 49 | Mechanisms to Improve Network resilience and Robustness in Vehicular Networks
Author: Muhammad Awais Khan |
Supervisor: Jonathan Rodriguez Gonzalez Cosupervisor: Shahid Mumtaz UA - DETI / IT - Aveiro branch |
In progress 2016 - ... |
| 50 | Multimodal Information Retrieval in Medical Imaging Repositories
Author: Eduardo Miguel Coutinho Gomes de Pinho |
Supervisor: Carlos Manuel Azevedo Costa UA - DETI / IEETA |
In progress 2015 - ... |
| 51 | Automatic Segmentation and Classification of Brain Tumors based on Multisequence MRI Images
Author: Sérgio Rafael Mano Pereira |
Supervisor: Carlos Alberto Batista da Silva Cosupervisor: Victor Manuel Rodrigues Alves UM - DI / ALGORITMI |
In progress 2015 - ... |
| 52 | A Multi-modal approach for breast imaging analysis and surgery planning
Author: João Pedro Fonseca Teixeira |
Supervisor: Hélder Filipe Pinto de Oliveira Cosupervisor: Luís Filipe Pinto de Almeida Teixeira UP - FEUP - DEI / INESC TEC |
In progress 2015 - ... |
| 53 | Development of algorithms for detection and quantification of rheumatic disease in musculoskeletal ultrasound
Author: Nelson Costa Martins |
Supervisor: Miguel Tavares Coimbra Cosupervisor: Manuel Ferreira (Enermeter) UP - FCUP - DCC / IT - Porto branch |
In progress 2015 - ... |
| 54 | Pattern Discovery in Complex Networks
Author: David Oliveira Aparício |
Cosupervisor: Fernando Manuel Augusto da Silva Supervisor: Pedro Manuel Pinto Ribeiro UP - FCUP - DCC / CRACS - INESC TEC |
In progress 2015 - ... |
| 55 | Fundamental Topics in Machine Intelligence and their Application to Digital Colposcopy
Author: Kelwin Alexander Fernandes Correia |
Supervisor: Jaime dos Santos Cardoso UP - FEUP - DEI / INESC TEC |
Submitted 2015 - ... |
| 56 | Multitarget Compilation Techniques for Generating Efficient OpenCL Code from Matrix-oriented Computations
Author: Luis Alexandre Cubal dos Reis |
Supervisor: João Manuel Paiva Cardoso UP - FEUP - DEI / CSIG - INESC TEC |
In progress 2015 - ... |
| 57 | Utility-based Predictive Analytics
Author: Paula Alexandra de Oliveira Branco |
Supervisor: Luis Fernando Rainho Alves Torgo Cosupervisor: Rita Paula Almeida Ribeiro UP - FCUP - DCC / LIAAD - INESC TEC |
Concluded 2015 - 2018 |
| 58 | Foundations for Quantum Algorithms and Complexity
Author: Carlos Eduardo Teixeira Tavares |
Supervisor: Luís Soares Barbosa UM - DI / HASLab - INESC TEC |
In progress 2015 - ... |
| 59 | Energy-Aware Software Product Lines
Author: Marco Rafael Linhares Couto |
Supervisor: João Saraiva UM - DI / HASLab - INESC TEC |
In progress 2015 - ... |
| 60 | Real-time semantic scene understanding to assist visually impaired people
Author: Nelson Filipe Ribeiro Alves |
Supervisor: Luís Gonzaga Mendes Magalhães UM - DSI / ALGORITMI |
In progress 2015 - ... |
Events
Check incoming events
FAQ
For incoming Students
Check FAQ's for incoming students for answers to commonly asked questions.
FAQ
For current Students
Mailing List
Subscription