| Extending coinductive proof search with automata theoretic tools |
PhD |
2025 |
|
Portugal |
José Carlos Soares do Espírito Santo
Luís Filipe Ribeiro Pinto
|
In Progress |
|
| Fast methods for solving certain structured linear systems |
PhD |
2018 |
Hcini Fahd
|
|
Yulin Zhang
Skander Belhaj |
Completed |
http://www.edsti.enit.rnu.tn/fr/actuscomplet.php?id=1084 |
| From human motor control to human-like robot motion |
PhD |
2016 |
Gianpaolo Gulletta
|
|
Wolfram Erlhagen
Estela Bicho |
Completed |
https://repositorium.sdum.uminho.pt/handle/1822/76057 |
| Hydrodynamic limits in kinetic theory of reactive mixtures |
PhD |
2016 |
Benjamin Anwasia
|
Nigeria |
Ana Jacinta Pereira Costa Soares
Patrícia Gonçalves |
Completed |
https://repositorium.sdum.uminho.pt/handle/1822/77290 |
| In-car recommendation engine: development of solutions towards a cognitive system for drivers’ mobility routines |
PhD |
2020 |
|
Portugal |
Flora José da Rocha Ferreira
Sérgio Monteiro
André Ferreira |
In Progress |
|
| Kinetic models in cell Biology |
PhD |
2023 |
|
Algeria |
Maria Piedade Machado Ramos
Carolina Ribeiro
|
In Progress |
|
| Learning and inference for human-robot collaboration Screen reader support enabled. |
PhD |
2016 |
|
Portugal |
Wolfram Erlhagen
Estela Bicho |
In Progress |
|
| Left-invariant metrics on Lie groups: completeness, isometries, and dynamics |
PhD |
2023 |
|
Algeria |
Ana Cristina Castro Ferreira
Abdelghani Zeghib |
In Progress |
|
| Machine Learning Methods for Longitudinal Data Prediction |
PhD |
2023 |
|
Portugal |
Inês Pereira Silva Cunha Sousa
|
In Progress |
|
| Matchgate circuits with magic resources for universal quantum computation |
PhD |
2021 |
|
Greece |
José Pedro Miranda Mourão Patricio
Rui Soares Barbosa
Nadish de Silva |
In Progress |
|
| Mathematical and Numerical Analysis of Propagating Detonation Waves and Contact Problems for Shell Structures |
PhD |
2021 |
|
Portugal |
Ana Jacinta Pereira Costa Soares
Ángel Arós Rodríguez |
In Progress |
|
| Mathematical modelling and analysis of biological and environmental systems |
PhD |
2022 |
|
Algeria |
Ana Jacinta Pereira Costa Soares
Maria Joana Costa Cruz Oliveira Torres
|
In Progress |
|
