| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 1 | Automatic Segmentation of Stroke based on Multimodal MRI Images
Author: José Adriano A S Ribeiro Pinto |
Supervisor: Carlos Alberto Batista da Silva Cosupervisor: Victor Manuel Rodrigues Alves UM - DI / ALGORITMI |
Concluded 2016 - 2020 |
| 2 | Learning Coordination in Multi-Agent Systems
Author: David João Apolinário Simões |
Supervisor: José Nuno Panelas Nunes Lau Cosupervisor: Luis Paulo Reis UA - DETI / IEETA |
Concluded 2016 - 2020 |
| 3 | Integrated verification of cryptographic security proofs and implementations
Author: Vitor Manuel Parreira Pereira |
Supervisor: Manuel Bernardo Martins Barbosa UP - FCUP - DCC / HASLab - INESC TEC |
Concluded 2016 - 2020 |
| 4 | Progressive Sparse Sampling for Physically Based Global Illumination
Author: César Morais Perdigão |
Supervisor: Luís Paulo Peixoto dos Santos UM - DI / CSIG - INESC TEC |
Concluded 2016 - 2020 |
| 5 | Relative compression and its application to pattern recognition problems
Author: SeyedMorteza Hosseini |
Supervisor: Armando José Formoso de Pinho UA - DETI / IEETA |
Concluded 2016 - 2020 |
| 6 | Establishing trust and confidence among entities in distributed networks
Author: Francis Nwebonyi Nwebonyi |
Supervisor: Manuel Eduardo Carvalho Duarte Correia Cosupervisor: Rolando da Silva Martins UP - FCUP - DCC / CRACS - INESC TEC |
Concluded 2016 - 2020 |
| 7 | 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 |
Concluded 2015 - 2020 |
| 8 | Supporting software developers in making energy saving decisions
Author: Marco Rafael Linhares Couto |
Supervisor: João Saraiva UM - DI / HASLab - INESC TEC |
Concluded 2015 - 2020 |
| 9 | From Letters to Geometry: how spatial constrains can be verbally expressed in formal axiomatic systems
Author: Nicolás Francisco Lori |
Supervisor: Victor Manuel Rodrigues Alves Cosupervisor: Nuno Carvalho de Sousa UM - DI / HASLab - INESC TEC |
Concluded 2015 - 2020 |
| 10 | Performance Anomaly Detection in 802.11 Wireless Networks Applying Hidden Markov Models
Author: Anisa Allahdadidastjerdi |
UP - FEUP - DEI / CSIG - INESC TEC | Concluded 2011 - 2020 |
| 11 | Virtual representation and visualisation methods for architectural and contextual information in archaeological sites
Author: Paulo José Correia Bernardes |
Supervisor: Joaquim João Estrela Ribeiro Silvestre Madeira Cosupervisor: Maria Manuela dos Reis Martins UA - DETI / IEETA |
Concluded 2010 - 2020 |
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