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 |
|
Neural Networks Based on Differential Equations for Modelling Real Systems |
PhD |
2022 |
|
Portugal |
Maria Fernanda Pires da Costa
Luís Lima Ferrás |
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 |
Anderson Beraldo-Araújo
|
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 |
Matheus Pereira Lobo
|
Brazil |
José Carlos Soares do Espírito Santo
Gilda Ferreira |
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 |
2021 |
|
Algeria |
Ana Jacinta Pereira Costa Soares
Maria Joana Costa Cruz Oliveira Torres
|
In Progress |
|
Kinetic models in cell Biology |
PhD |
2021 |
|
Algeria |
Maria Piedade Machado Ramos
Carolina Ribeiro
|
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 |
|
On the rational topological complexity of elliptic spaces |
PhD |
2020 |
Said Hamoun
|
Morocco |
Lucile Arlette Guilaine Vandembroucq
Youssef Rami |
In Progress |
|
Spatial and temporal modelling in fisheries and environmental sciences |
PhD |
2020 |
|
Portugal |
Raquel Menezes da Mota Leite
Susana Garrido |
In Progress |
|