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, ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
Un expert peut vous aider dans toutes les phases de développement de votre projet
Bonjour, vous êtes sur la plateforme Région Sud Provence-Alpes-Côte d’Azur dédiée aux programmes thématiques et de coopération territoriale. Une équipe d’experts vous accompagne dans vos recherches de financements.
Contactez la Région Sud Provence-Alpes-Côte d'Azur
Vous pouvez nous écrire en Anglais, Français et Italien