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 |
|
The gap phenomenon in Riemannian geometry |
PhD |
2024 |
|
Portugal |
Ana Cristina Castro Ferreira
Henrik Winther |
In Progress |
|
Distributed Statistical Learning: Addressing Privacy Challenges in Marine Sciences and Beyond |
PhD |
2024 |
|
Portugal |
Raquel Menezes da Mota Leite
Carlos Baquero-Moreno Alexandra Silva |
In Progress |
|
Application of fractional partial differential equations to beam problems |
PhD |
2024 |
|
Brazil |
Eurica Manuela Novo Lopes Henriques
Juan Nieto Roig |
In Progress |
|
Applying Machine Learning to Analyse the Interaction between Gut Microbiota and Mental Health |
PhD |
2024 |
|
Portugal |
Cecília Maria Vasconcelos Costa Castro
Javier Martínez Torres |
In Progress |
|
Mathematical models for the study of neurodegenerative diseases |
PhD |
2024 |
|
Brazil |
Maria Piedade Machado Ramos
Carolina Ribeiro
|
In Progress |
|
On generalized inverses of graph matrices |
PhD |
2023 |
|
Angola |
José Pedro Miranda Mourão Patricio
Maria Cláudia Freitas Sousa Mendes Araújo
|
In Progress |
|
Kinetic models in cell Biology |
PhD |
2023 |
|
Algeria |
Maria Piedade Machado Ramos
Carolina Ribeiro
|
In Progress |
|
Left-invariant metrics on Lie groups: completeness, isometries, and dynamics |
PhD |
2023 |
|
Algeria |
Ana Cristina Castro Ferreira
Abdelghani Zeghib |
In Progress |
|
Novel Methods for Learning the Neural Connectivity in Dynamic Neural Fields |
PhD |
2023 |
|
Portugal |
Flora José da Rocha Ferreira
Wolfram Erlhagen
|
In Progress |
|
Machine Learning Methods for Longitudinal Data Prediction |
PhD |
2023 |
|
Portugal |
Inês Pereira Silva Cunha Sousa
|
In Progress |
|
Negative translations and call-by-value |
PhD |
2023 |
|
Portugal |
José Carlos Soares do Espírito Santo
|
In Progress |
|