| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 61 | 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 |
In progress 2015 - ... |
| 62 | 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 - ... |
| 63 | 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 |
| 64 | 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 |
| 65 | 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 |
| 66 | 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 |
| 67 | 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 |
| 68 | 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 |
| 69 | Combining Living Analytics and Educational Data Mining to Model Student Performance
Author: Luis Miranda Cruz |
Supervisor: Rui Maranhão Abreu Cosupervisor: Carlos Manuel Milheiro de Oliveira Pinto Soares UP - FEUP - DEI / INESC TEC |
In progress 2013 - ... |
| 70 | Data Integration Services for Biomedical Applications
Author: Pedro Miguel Lopes Sernadela |
Supervisor: José Luís Guimarães Oliveira UA - DETI / IEETA |
Concluded 2013 - 2018 |
| 71 | An assessment of heterogeneous computing platforms to efficiently process ATLAS events
Author: André Martins Pereira |
Cosupervisor: Armando José Formoso de Pinho Supervisor: Alberto José Gonçalves Carvalho Proença UM - DI / ALGORITMI |
In progress 2013 - ... |
| 72 | Secure Multiparty Computation
Author: Bernardo Luís Fernandes Portela |
Supervisor: Manuel Bernardo Martins Barbosa UP - FCUP - DCC / HASLab - INESC TEC |
Concluded 2013 - 2018 |
| 73 | 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 |
| 74 | 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 |
| 75 | User Experience on Mobile Interaction with Public Displays
Author: João Afonso Vieira Casal |
Supervisor: Rui João Peixoto José UM - DSI / ALGORITMI |
In progress 2013 - ... |
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