| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 1 | 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 |
Concluded 2015 - 2018 |
| 2 | 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 |
| 3 | 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 |
| 4 | 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 |
| 5 | 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 |
| 6 | 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 |
| 7 | 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 |
| 8 | Data Integration Services for Biomedical Applications
Author: Pedro Miguel Lopes Sernadela |
Supervisor: José Luís Guimarães Oliveira UA - DETI / IEETA |
Concluded 2013 - 2018 |
| 9 | Secure Multiparty Computation
Author: Bernardo Luís Fernandes Portela |
Supervisor: Manuel Bernardo Martins Barbosa UP - FCUP - DCC / HASLab - INESC TEC |
Concluded 2013 - 2018 |
| 10 | 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 |
| 11 | Evaluation and Development of Algorithms and Computational Methods for Metabolic Pathway Optimization
Author: Filipe Alexandre Wang Liu |
Cosupervisor: Isabel Rocha Supervisor: Miguel Francisco de Almeida Pereira da Rocha UM - DI / ALGORITMI |
Concluded 2013 - 2018 |
| 12 | Virtual factory for smart city service integration
Author: María Guillermina Cledou |
Supervisor: Luís Soares Barbosa Cosupervisor: Elsa Estevez UM - DI / HASLab - INESC TEC |
Concluded 2013 - 2018 |
| 13 | Logics and calculi for cyberphysical components
Author: Renato Jorge Araújo Neves |
Cosupervisor: Manuel António Gonçalves Martins Supervisor: Luís Soares Barbosa UM - DI / HASLab - INESC TEC |
Concluded 2013 - 2018 |
| 14 | Energyware Engineering: Techniques and Tools for Green Software Development
Author: Rui Alexandre Afonso Pereira |
Supervisor: João Saraiva Cosupervisor: Jácome Cunha UM - DI / HASLab - INESC TEC |
Concluded 2013 - 2018 |
| 15 | Efficient Localization and Mapping for Robotics: Algorithms and Tools
Author: Eurico Farinha Pedrosa |
Supervisor: José Nuno Panelas Nunes Lau Cosupervisor: Artur José Carneiro Pereira UA - DETI / IEETA |
Concluded 2012 - 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