| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 76 | 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 |
| 77 | 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 |
| 78 | Foundations for Quantum Algorithms and Complexity
Author: Carlos Eduardo Teixeira Tavares |
Supervisor: Luís Soares Barbosa UM - DI / HASLab - INESC TEC |
In progress 2015 - ... |
| 79 | Energy-Aware Software Product Lines
Author: Marco Rafael Linhares Couto |
Supervisor: João Saraiva UM - DI / HASLab - INESC TEC |
In progress 2015 - ... |
| 80 | 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 - ... |
| 81 | 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 |
| 82 | 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 |
In progress 2015 - ... |
| 83 | 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 |
Concluded 2014 - 2018 |
| 84 | 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 |
Concluded 2014 - 2017 |
| 85 | 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 |
Concluded 2014 - 2018 |
| 86 | 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 |
Concluded 2014 - 2018 |
| 87 | 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 |
Concluded 2014 - 2018 |
| 88 | 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 |
Concluded 2013 - 2018 |
| 89 | 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 |
Concluded 2013 - 2019 |
| 90 | Data Integration Services for Biomedical Applications
Author: Pedro Miguel Lopes Sernadela |
Supervisor: José Luís Guimarães Oliveira UA - DETI / IEETA |
Concluded 2013 - 2018 |
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