6 European Projects Found
Searched on 125080 European Projects
FINISHED
"Feasibility, logic and randomness in computational complexity" (FEALORA)
Start date: Jan 1, 2014, End date: Dec 31, 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 ...
Read Project
1
Partner Participant
FINISHED
Mathematical Thermodynamics of Fluids (MATHEF)
Start date: May 1, 2013, End date: Apr 30, 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 ...
Read Project
1
Partner Participant
FINISHED
Asymptotics of Operator Semigroups (AOS)
Start date: Nov 1, 2012, End date: Oct 31, 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 ...
Read Project
10
Partners Participants
FINISHED
Pseudorandomness and explicit constructions in discrete mathematics (PaECiDM)
Start date: Sep 1, 2014, End date: Aug 31, 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, ...
Read Project
1
Partner Participant
FINISHED
The European Digital Mathematics Library (EuDML)
Start date: Feb 1, 2010, End date: Jan 31, 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 ...
Read Project
13
Partners Participants
FINISHED
Distributed Supervisory Control of Large Plants (DISC)
Start date: Sep 1, 2008, End date: Dec 31, 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 ...
Read Project
