Search for European Projects

7 European Projects Found

Searched on 125080 European Projects

 FINISHED 
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 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 
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 
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 
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 
"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