7 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. (SYSMICS)
Date du début: 1 mars 2016, Date de fin: 28 févr. 2019,
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
Participants partenaires
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
Participants partenaires
TERMINÉ
Embedded Multi-Core Systems for Mixed Criticality Applications in Dynamic and Changeable Real-Time Environments (EMC2)
Date du début: 1 avr. 2014, Date de fin: 30 juin 2017,
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
Participants partenaires
TERMINÉ
Algorithms, Design Methods, and Many-Core Execution Platform for Low-Power Massive Data-Rate Video and Image Processing (Almarvi)
Date du début: 1 avr. 2014, Date de fin: 31 mars 2017,
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
Participants partenaires
TERMINÉ
Financial Distortions and Macroeconomic Performance: Expectations, Constraints and Interaction of Agents (FINMAP)
Date du début: 1 janv. 2014, Date de fin: 31 déc. 2016,
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
Participants partenaires
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
Participants partenaires
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