Search for European Projects

11 European Projects Found

Searched on 125080 European Projects

 FINISHED 

Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. (SYSMICS)

Start date: Mar 1, 2016, End date: Feb 28, 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, ...
Read Project

 13

 FINISHED 

PANACHE

Start date: Jan 2, 2014, End date: Jan 2, 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 ...
Read Project

 21

 FINISHED 

Embedded Multi-Core Systems for Mixed Criticality Applications in Dynamic and Changeable Real-Time Environments (EMC2)

Start date: Apr 1, 2014, End date: Jun 30, 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 ...
Read Project

 101

 FINISHED 

Algorithms, Design Methods, and Many-Core Execution Platform for Low-Power Massive Data-Rate Video and Image Processing (Almarvi)

Start date: Apr 1, 2014, End date: Mar 31, 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 ...
Read Project

 19

 FINISHED 

Financial Distortions and Macroeconomic Performance: Expectations, Constraints and Interaction of Agents (FINMAP)

Start date: Jan 1, 2014, End date: Dec 31, 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 ...
Read Project

 7

 FINISHED 

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

Start date: Mar 15, 2011, End date: Mar 14, 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 ...
Read Project

 8

 FINISHED 

Trans-national cooperation among ICT NCPs (Idealist2014)

Start date: Oct 1, 2011, End date: Dec 31, 2014,

The main objective of Idealist2014 is reinforcing the network of National Contact Points (NCP) for ICT under FP7, by promoting further trans-national cooperation within this network. This cooperation will not be reduced to only ICT NCPs but also a degree of collaboration and networking with similar networks in parallel themes (Security, SSH, ENV, Transport, Energy, Health,...etc) especially in the ...
Read Project

 25

 FINISHED 

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

Start date: Feb 1, 2010, End date: Jan 31, 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 ...
Read Project

 1

 FINISHED 

Trans-national cooperation among ICT National Contact Points (Idealist2011)

Start date: Oct 1, 2008, End date: Sep 30, 2011,

The main objective of Idealist2011 is reinforcing the network of National Contact Points (NCP) for ICT under FP7, by promoting further trans-national cooperation within this network. Thiscooperation will not be reduced to only ICT NCPs but also a degree of collaboration and networking with similar networks in parallel themes (Security, SSH, ENV, Transport, Energy, Health,...etc) especially in the ...
Read Project

 40

 FINISHED 

Architecture Paradigms and Programming Languages for Efficient programming of multiple CORES (Apple-CORE)

Start date: Nov 1, 2007, End date: Apr 30, 2011,

Apple-CORE will develop compilers, operating systems and execution platforms to support and evaluate a novel architecture paradigm that can exploit many-core chips to the end of silicon. It adopts a systematic model of concurrency implemented as instructions in the processors' ISA (developed in the EU FP6 AETHER project). This has enormous potential but is disruptive, as this paradigm shift requir ...
Read Project

 6

 FINISHED 

Co-Ordinating Strategies for Embedded Systems\nin the European Research Area Follow-up Project (COSINE2)

Start date: Dec 1, 2007, End date: Aug 31, 2010,

COSINE2 will enhance the impact of European RTD strategies in the area of Embedded Systems. Based on optimizing the alignment of national research strategies, leveraging the co-operation of research programmes to a new level it will tune RTD policies optimally to the new European Embedded Systems Research environment. The consortium joins national authorities and research agencies with the power t ...
Read Project

 12