| # | Name / Author | Supervisor / Affiliation | Years |
|---|---|---|---|
| 121 | 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 |
2015 - 2018 |
| 122 | Foundations for Quantum Algorithms and Complexity
Author: Carlos Eduardo Teixeira Tavares |
Supervisor: Luís Soares Barbosa UM - DI / HASLab - INESC TEC |
2015 - 2022 |
| 123 | Supporting software developers in making energy saving decisions
Author: Marco Rafael Linhares Couto |
Supervisor: João Saraiva UM - DI / HASLab - INESC TEC |
2015 - 2020 |
| 124 | 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 |
2015 - ... |
| 125 | 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 |
2015 - 2020 |
| 126 | Smart Spaces: Aware of users, preferences, behaviours and habits, in a non-invasive approach
Author: Pedro Filipe Fernandes Oliveira |
Supervisor: Paulo Jorge Freitas de Oliveira Novais Cosupervisor: Paulo Jorge Teixeira Matos UM - DI / ALGORITMI |
2015 - 2023 |
| 127 | Towards Efficient and Scalable Probabilistic Inductive Logic Programming
Author: Joana Sílvia Santos Côrte-Real |
Supervisor: Inês de Castro Dutra Cosupervisor: Ricardo Jorge Gomes Lopes da Rocha UP - FCUP - DCC / CRACS - INESC TEC |
2014 - 2018 |
| 128 | Development of a support systems for workflow design for data mining problems that exploit metalearning
Author: Salisu Mamman Abdulrahman |
Supervisor: Pavel Brazdil UP - FCUP - DCC / LIAAD - INESC TEC |
2014 - 2017 |
| 129 | Software Verification and Defect Analysis
Author: Cláudio Filipe Belo da Silva Lourenço |
Supervisor: Jorge Miguel de Matos Sousa Pinto UM - DI / HASLab - INESC TEC |
2014 - 2018 |
| 130 | Long term goal oriented recommender system
Author: Amir Hossein Nabizadeh Rafsanjani |
Supervisor: Alípio Mário Guedes Jorge Cosupervisor: José Paulo de Vilhena Geraldes Leal UP - FCUP - DCC / LIAAD - INESC TEC |
2014 - 2018 |
| 131 | Diagnosis of Rheumatic Heart Disease Based on Echocardiography videos
Author: Malik Saad Sultan |
Supervisor: Miguel Tavares Coimbra Cosupervisor: Manuel Ferreira (Enermeter) UP - FCUP - DCC / IT - Porto branch |
2014 - 2018 |
| 132 | Subject-driven supervised and unsupervised hidden Markov models for heart sound segmentation in real noisy environments
Author: Jorge Henrique Santos Oliveira |
Supervisor: Miguel Tavares Coimbra UP - FCUP - DCC / IT - Porto branch |
2013 - 2018 |
| 133 | Tools and Techniques for Energy-Efficient Mobile Application Development
Author: Luis Miranda Cruz |
Supervisor: Rui Maranhão Abreu Cosupervisor: Carlos Manuel Milheiro de Oliveira Pinto Soares UP - FEUP - DEI / INESC TEC |
2013 - 2019 |
| 134 | Data Integration Services for Biomedical Applications
Author: Pedro Miguel Lopes Sernadela |
Supervisor: José Luís Guimarães Oliveira UA - DETI / IEETA |
2013 - 2018 |
| 135 | HEP-FRAME: a Development Aid and Efficient Execution Engine where a Multi-layer Scheduler Adaptively Orders Pipelined Data Stream Applications
Author: André Martins Pereira |
Cosupervisor: Armando José Formoso de Pinho Supervisor: Alberto José Gonçalves Carvalho Proença UM - DI / ALGORITMI |
2013 - 2019 |
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