Rechercher des projets européens

7 projets européens trouvés

Recherche sur 125080 projets européens

 TERMINÉ 
Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus.While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics. Moreover, ...
Voir le projet

 13

 TERMINÉ 

PANACHE

Date du début: 2 janv. 2014, Date de fin: 2 janv. 2018,

Pilot line for Advanced Nonvolatile memory technologies for Automotive microControllers, High security applications and general Electronics :The PANACHE project objective is to set-up a pilot line for embedded Flash technology design and manufacturing platform for the prototyping of innovative µcontrollers in Europe.The current 40nm technology platform as well as the already defined 55nm technolog ...
Voir le projet

 21

 TERMINÉ 
Embedded systems are the key innovation driver to improve almost all mechatronic products with cheaper and even new functionalities. Furthermore, they strongly support today's information society as inter-system communication enabler.Consequently boundaries of application domains are alleviated and ad-hoc connections and interoperability play an increasing role. At the same time, multi-core and ma ...
Voir le projet

 101

 TERMINÉ 
ALMARVI aims at providing cross-domain many-core platform solution, system software stack, tool chain, and adaptive algorithms that will enable massive data-rate image/video processing with high energy efficiency. ALMARVI will provide mechanisms and support for high degree of adaptivity at various system layers that will abstract the variations in the underlying platforms (e.g., due to imperfectio ...
Voir le projet

 19

 TERMINÉ 
The ability of financial markets to bear risk is central to economic welfare and stability. Growth and economic wellbeing is inhibited if financial markets are unable to transfer resources efficiently from the suppliers of liquidity to entrepreneurs. However, this proper functioning of financial markets has been distorted by levels of volatility considerably in excess of those implied by fundament ...
Voir le projet

 7

 TERMINÉ 

Mathematical Tools for the Management of Uncertain and Vague Information (MaToMUVI)

Date du début: 15 mars 2011, Date de fin: 14 mars 2015,

Driven by the increasing demands in Mathematics, Philosophy and Computer Science, the last two decades witnessed a growing interest in non-classical and many-valued logics. Until not too many years ago, many-valued logics were nearly a curiosity. The situation has now changed and the weaponry of tools in use to current researchers has acquired solid foundations and a respectable amount of applicat ...
Voir le projet

 8

 TERMINÉ 

Perceptual Analysis and Simulation of Real-World Materials Appearance (PASIMA)

Date du début: 1 févr. 2010, Date de fin: 31 janv. 2013,

"The main goal of this project is to identify relationships between human perception of real-world materials properties and corresponding computational features. We will use Bidirectional Texture Functions as state-of-the-art digital representation of illumination and view dependent real-world material appearance as initial data for our analysis. We believe that rigorous analysis of human percepti ...
Voir le projet

 1