Search
Understanding and Simulation of Human Behaviors in areas affected by disasters : from analysis to anticipation – Com2SiCa
While the past forty years have witnessed a significant increase in the number of disasters, they also have shown the intricacy of the events where many causal relations intermingle (physical, biological, technological and human related causes). Those trends should not reverse over the coming years,
Local and international valorization of Mediterranean agri-food products through quality certifications. The case of Dates sector – VALUETEAM
The main objective of this research project is to explore ways of improving the creation of value in the dates value chains in three countries of the southern Mediterranean, namely Algeria, Morocco and Tunisia. France is also involved in this research proposed by a consortium of sixinstitutions. The
CONnected TEXTiles for on body-centric communications – CONTEXT
The project aims to develop smart textiles with integrated radiofrequency technologies (RF) and electronic components for on-body communications in Wireless Body Area Networks (WBAN). Based on existing technologies in smartphones, two issues will be treated in the project: 1 - The first one is an
Spin-based quantum computation in Si CMOS technology – CMOSQSPIN
Quantum technologies are now widely regarded by many in academia, governments and industry to represent a major new frontier in information technology and high precision sensing with the potential for a disruptive impact. Quantum computation is among the most far-reaching and challenging of quantum
A Correct-by-construction methodology for supporting execution time variability in real-time systems – Corteva
The overall objective of this project is to contribute to the design and development of the next generation of safety critical embedded real-time systems. In particular, we aim at solving the problem of the large variability of execution times by using sound and provably correct programming models t
Molecules At Planet-forming Scales in the ALMA/JWST Era – MAPSAJE
How does a cloud of molecular gas and dust evolve to form a planetary system? What interstellar heritage does the latter retain? Does the chemical composition remain unchanged from molecular nebulae to emerging planets? Or does it reflect processes characteristic of the birth environment in which pl
Self-Organizing Machine Architecture – SOMA
The tremendous increase of transistors integration during the last few years has reached the limits of classic Von Neuman architectures. This has enabled a wide adoption of parallel processors by the industry, enabling many-core processing architectures as a natural trend for the next generation o
Knowledge integration under time constraint – KINETIC
Innovation is crucial to both national and firm-level competitiveness. Prior research shows that any innovation team faces contradictory forces: “centrifugal” forces (those that drive the team to constantly search for new ideas and knowledge, at the risk of drifting and losing touch with the constra
Nanoscale manipulation of spin waves in itinerant ferromagnets: technologies and fundamentals – NanoSWITI
_ _ _ _ Spin waves (or “magnons”) are the elementary low-energy excitations of a magnetic system. In a typical ferromagnet these excitations exist in the high frequency (GHz) range and govern the magnetization dynamics in this regime. The importance of spin waves in fundamental magnetism has long
Quantitative Reasoning Methods for Probabilistic Logics – QuaReMe
The goal of this project is to advance the state of the art regarding techniques for formally proving the correctness of programs that use probabilistic operations such as, e.g., random number generation. Importantly, our techniques will be quantitative, expressing numerical properties of programs r
