| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 106 | 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 |
| 107 | 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 |
Suspended 2015 - ... |
| 108 | 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 |
| 109 | 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 |
Concluded 2015 - 2023 |
| 110 | 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 |
| 111 | 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 |
| 112 | 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 |
| 113 | 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 |
| 114 | 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 |
| 115 | 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 |
| 116 | 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 |
| 117 | Data Integration Services for Biomedical Applications
Author: Pedro Miguel Lopes Sernadela |
Supervisor: José Luís Guimarães Oliveira UA - DETI / IEETA |
Concluded 2013 - 2018 |
| 118 | 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 |
Concluded 2013 - 2019 |
| 119 | Secure Multiparty Computation
Author: Bernardo Luís Fernandes Portela |
Supervisor: Manuel Bernardo Martins Barbosa UP - FCUP - DCC / HASLab - INESC TEC |
Concluded 2013 - 2018 |
| 120 | Towards a transactional and analytical data management system for big data
Author: Fábio André Castanheira Luís Coelho |
Supervisor: Rui Carlos Oliveira UM - DI / HASLab - INESC TEC |
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