The emergence of chaotic systems and the erratic behavior that they enclose triggered a new approach in their analysis, more concerned with their statistical properties. In order to learn about the long-term behavior of these systems through a probabilistic perspective, one can just consider dynamically defined stochastic processes arising from these systems by simply evaluating an observable function along the time evolution of the orbits of the system. These processes will be our starting point.
Projects
Coordinator:
José Ferreira Alves
Duration:
36months
Funding entity:
FCT
Financial support:
151 855EUR
Algebraic Geometry is an old subject in mathematics and, at the same time, a vibrant area of current research with close connections to other areas. Its main objects of study are algebraic varieties which means, roughly speaking, zero sets of of polynomials. For example, an algebraic curve is a 1-dimensional algebraic variety, and an algebraic surface is a 2-dimensional algebraic variety.
Coordinator:
Peter Gothen
Duration:
36months
Funding entity:
FCT
Financial support:
130 833EUR
In general terms the goal of this project is to study statistical properties of dynamical systems, both deterministic and stochastic (perturbed), with special emphasis on laws of rare events. The starting point of the analysis is a stochastic process. The dynamical system may appear in different ways. It can describe the time evolution simply by moving the process from one state to the succeeding one, acting, in this way, on the space of all realisations of the process.
Coordinator:
Ana Cristina Moreira Freitas
Duration:
36months
Funding entity:
FCT
Financial support:
48 120EUR
Pretende-se obter novos resultados para fragmentos da lógica de predicados de primeira ordem, cujos modelos são palavras finitas e inifinitas. O projeto visa questões fundamentais motivadas por considerações práticas para a validação de software e circuitos. Desde o trabalho pioneiro de Büchi, Elgot e Trakthenbrot, as ligações entrem os mecanismos de descrição lógica e a teoria de autómatos é a principal ferramenta para a solução de tais problemas. Trabalho preliminar importante é devido ao responsável português, que foi o primeiro a considerar o problema da separação.
Coordinator:
Jorge Almeida
Duration:
24months
Funding entity:
Financial support:
2 000EUR
Smart Cyberphysical, Mathematical, Computational and Power Engineering Research for Disruptive Innovation in Production, Mobility, Health, and Ocean Systems and Technologies.
Coordinator:
Fernando Manuel Ferreira Lobo Pereira
Duration:
36months
Funding entity:
Comissão de Coordenação e Desenvolvimento Regional do Norte
Financial support:
1 501 368EUR
Expressive Logics for VErifying the Net (PTDC/EEI-CTP/3506/2014)
Coordinator:
Mário Florido
Duration:
36months
Funding entity:
FCT - Fundação para a Ciência e Tecnologia
Financial support:
184 300EUR
This is a research plan for a collaborative work involving colleagues from Brazil, France and Portugal. Namely, the members of this project are the following: Brazil: H. Movasati (IMPA) and Y. Nikdelan (UERJ); France: J. Rebelo (IMT) and D. de la Rosa (IMT - graduate student); Portugal: H. Reis (UP). Among previous works directly related to the questions raised in this project, we may quote: [G], [AMSY], [RR], [Mov3], and [MN].
Coordinator:
Julio Rebelo
Duration:
24months
Funding entity:
CIMI - Centre International de Mathématiques et d’Informatique de Toulouse
Financial support:
13 500EUR
This is a PICS project (Projet International de Coopération Scientifique) from CNRS. This project consists of a concerted attack to a number of
Duration:
36months
Funding entity:
CNRS - Centre National de la Recherche Scientifique, France
Financial support:
12 000EUR
Exchange project with Instituto de Ciências Matemáticas e Computação, USP, under the CAPES/FCT (Brazil/Portugal) agreement. The list below only includes participants from Portugal.
Applications of singularity theory techniques to problems in dynamical systems, to the study of bifurcation with symmetry and to the geometry of low-dimensional manifolds. The problems to be treated correspond to the following topics:
Coordinator:
Isabel Salgado Labouriau
Coordinator:
Miriam Garcia Manoel
Duration:
24months
Funding entity:
Financial support:
9 000EUR
Duration:
24months
Funding entity:
CRUP
Financial support:
4 000EUR
The aim of this project is to study, implement and deploy an extension of the algebraic formulation for the tau method for the numerical solution of partial differential problems set on domains in $\mathbb{R}^{n}$, $n>2$. This extension is based on an appropriate choice of a basis for the space of polynomials in $\mathbb{R}^{n}$ and on the construction of the algebraic equivalent representation of the problem. An important feature of the required implementation is related to the solution procedure for the necessarily large dimensional linear systems involved.
Coordinator:
Paulo Vasconcelos
Duration:
24months
Funding entity:
Financial support:
4 000EUR
Aims of the project:
(1) To validate an optimized algorithm for interpreting angiogenic factors to predict pregnancy complications and provide evidence of its general applicability;
(2) To provide evidence to translate the use of these markers into clinical practice by following up on a subsequent randomized trial by providing knowledge of the test results to clinicians, aiming at reducing the rate of premature births among women with normal sFlt1/PlGF ratios and more appropriately using resources.
Duration:
36months
Funding entity:
Financial support:
0EUR
Our aim in this project is to develop mobile math trails in Europe (MoMaTrE) which provides materials and methodology on one hand for teachers to create outdoor math activities easily for their classes and on the other hand for lecturers to create courses for teacher student to teach them how to enrich their future classes with mobile math activities.
Derivatives from the project are:
Coordinator:
Johann Wolfgang Goethe-Universitat Frankfurt am Main
Duration:
36months
Funding entity:
Erasmus+ (UE)
Financial support: