| Negative translations and call-by-value |
PhD |
2023 |
|
Portugal |
JOSE CARLOS SOARES DO ESPIRITO SANTO
|
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 |
|
| 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 |
|
| Left-invariant metrics on Lie groups: completeness, isometries, and dynamics |
PhD |
2023 |
|
Algeria |
Ana Cristina Castro Ferreira
Abdelghani Zeghib |
In Progress |
|
| Topology of higher-dimensional automata |
PhD |
2022 |
|
Portugal |
Thomas Kahl
|
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 |
|
| Novel Methods for Learning the Neural Connectivity in Dynamic Neural Fields |
PhD |
2022 |
|
Portugal |
Flora José da Rocha Ferreira
Wolfram Erlhagen
|
In Progress |
|
| Proof search in natural deduction |
PhD |
2022 |
|
Portugal |
JOSE CARLOS SOARES DO ESPIRITO 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 |
|
| Métodos de Machine Learning para previsão de dados longitudinais |
PhD |
2022 |
|
Portugal |
Inês Pereira Silva Cunha Sousa
|
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 |
|
| Kinetic models in cell Biology |
PhD |
2021 |
|
Algeria |
Maria Piedade Machado Ramos
Carolina Ribeiro
|
In Progress |
|
