| 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 |
|
| 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 |
|
| Application of fractional partial differential equations to beam problems |
PhD |
2024 |
|
Brazil |
Eurica Manuela Novo Lopes Henriques
Juan Nieto Roig |
In Progress |
|
| The gap phenomenon in Riemannian geometry |
PhD |
2024 |
|
Portugal |
Ana Cristina Castro Ferreira
Henrik Winther |
In Progress |
|
| Mathematical models for the study of neurodegenerative diseases |
PhD |
2024 |
|
Brazil |
Maria Piedade Machado Ramos
Carolina Ribeiro
|
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 |
|
| Developing Novel Techniques for Gait Dynamics Analysis using Topological Data Analysis and Neural Networks |
PhD |
2023 |
|
Colombia |
Flora José da Rocha Ferreira
Wolfram Erlhagen
Miguel Gago |
In Progress |
|
| Machine Learning Methods for Longitudinal Data Prediction |
PhD |
2023 |
|
Portugal |
Inês Pereira Silva Cunha Sousa
|
In Progress |
|
| Statistical Modeling with Mixtures of Regression Models |
PhD |
2023 |
|
Portugal |
Susana Margarida Ferreira de Sá Faria
|
In Progress |
|
| Negative translations and call-by-value |
PhD |
2023 |
|
Portugal |
José Carlos Soares do Espírito Santo
|
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 |
|
| Left-invariant metrics on Lie groups: completeness, isometries, and dynamics |
PhD |
2023 |
|
Algeria |
Ana Cristina Castro Ferreira
Abdelghani Zeghib |
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 |
|
| Topology of higher-dimensional automata |
PhD |
2022 |
|
Portugal |
Thomas Kahl
|
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 |
|
| Recent advances in the statistical analysis of failure time data |
PhD |
2022 |
|
Portugal |
Luís Filipe Meira Machado
Carla Maria Gonçalves de Macedo Moreira
|
In Progress |
|
| Proof Search in Natural Deduction |
PhD |
2022 |
|
Portugal |
José Carlos Soares do Espírito Santo
|
In Progress |
|
| n-Dimensional Versions of Balancing and Cobalancing Numbers |
PhD |
2022 |
|
Angola |
Paula Maria Machado Cruz Catarino
María Victoria Otero Espinar |
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 |
|
| Modelos de Previsão a Curto Prazo para Variáveis Meteorológicas |
PhD |
2021 |
|
Portugal |
Arminda Manuela Andrade Pereira Gonçalves
Marco Costa |
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 |
|
| Algebraic Postulative Proofs |
PhD |
2021 |
|
Brazil |
José Carlos Soares do Espírito Santo
Luís Filipe Ribeiro Pinto
|
In Progress |
|
| Proof search techniques for the decision of lattice logics |
PhD |
2021 |
|
Brazil |
José Carlos Soares do Espírito Santo
Gilda Ferreira |
In Progress |
|
