6 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
"Feasibility, logic and randomness in computational complexity" (FEALORA)
Date du début: 1 janv. 2014, Date de fin: 31 déc. 2018,
"We will study fundamental problems in complexity theory using means developed in logic, specifically, in the filed of proof complexity. Since these problems seem extremely difficult and little progress has been achieved in solving them, we will prove results that will explain why they are so difficult and in which direction theory should be developed.Our aim is to develop a system of conjectures ...
Voir le projet
1
Participant partenaire
TERMINÉ
Mathematical Thermodynamics of Fluids (MATHEF)
Date du début: 1 mai 2013, Date de fin: 30 avr. 2018,
"The main goal of the present research proposal is to build up a general mathematical theory describing the motion of a compressible, viscous, and heat conductive fluid. Our approach is based on the concept of generalized (weak) solutions satisfying the basic physical principles of balance of mass, momentum, and energy. The energy balance is expressed in terms of a variant of entropy inequality su ...
Voir le projet
1
Participant partenaire
TERMINÉ
Asymptotics of Operator Semigroups (AOS)
Date du début: 1 nov. 2012, Date de fin: 31 oct. 2016,
"The theory of asymptotic behaviour of operator semigroups is a comparatively new field serving as a common denominator for many other areasof mathematics, such as for instance the theory of partial differential equations, complex analysis, harmonic analysis and topology.The primary interest in the study of asymptotic properties of strongly continuous operator semi-groups comes from the fact that ...
Voir le projet
10
Participants partenaires
TERMINÉ
Pseudorandomness and explicit constructions in discrete mathematics (PaECiDM)
Date du début: 1 sept. 2014, Date de fin: 31 août 2016,
The project aims to investigate the pseudorandomness phenomenon in discrete mathematics. In particular, the aim of the fellow is to learn-through-research two topics at the frontier of mathematics and computer science: expander graphs (their explicit constructions, and applications in computational complexity), and explicit construction of Ramsey graphs.The field combines algebraic, combinatorial, ...
Voir le projet
1
Participant partenaire
TERMINÉ
The European Digital Mathematics Library (EuDML)
Date du début: 1 févr. 2010, Date de fin: 31 janv. 2013,
In the light of mathematicians reliance on their discipline's rich published heritage and the key role of mathematics in enabling other scientific disciplines, the European Digital Mathematics Library strives to make the significant corpus of mathematics scholarship published in Europe available online, in the form of an authoritative and enduring digital collection, developed and curated by a net ...
Voir le projet
13
Participants partenaires
TERMINÉ
Distributed Supervisory Control of Large Plants (DISC)
Date du début: 1 sept. 2008, Date de fin: 31 déc. 2011,
Supervisory control is a formal approach for the control of discrete event systems that aims to solve logical problems of safety, resource allocation, liveness, and fault diagnosis that can be encountered in all systems with a high degree of automation. It provides a conceptual framework for developing methods and tools for system design.An open issue is the application of this methodology to thos ...
Voir le projet