|
Il y a 10 années
"Modeling memory in the brain"
|
|
Il y a 10 années
"Mathematics reduces risk of train collision"
|
|
Il y a 10 années
"Quantum particles at play: Game theory elucidates the collective behavior of bosons"
|
|
Il y a 10 années
"Les lauréats 2014 du prix national de la science et de l'innovation"
|
|
Il y a 10 années
"Quand le numérique invente une agriculture durable"
Publié sur Inria, le 20/02/2015
Tags : agriculture, agronomie, Biocore, environnement, INRA, Inria, mathématiques appliquées, microbe, modélisation, MODEMIC, sciences du numérique, soutenabilité
|
|
Il y a 10 années
"Un modèle mathématique pour aider la pêche en Europe"
Tags : agroalimentaire, alimentation, Europe, ISTI-CNR, Italie, maritime, mathématiques appliquées, modélisation, océan, pêche, simulation, Union européenne
|
|
Il y a 10 années
"Démocratiser les assistants de preuve"
Publié sur Inria, le 10/02/2015
Tags : assistant de preuve, Coq, Développement, distinction, excellence technologique, informatique, Inria, mathématiques appliquées, programmation, transfert technologique, valorisation de la recherche, vérification
|
|
Il y a 10 années
"ProofInUse : kickoff meeting"
Publié sur Inria, le 02/02/2015
Tags : AdaCore, application critique, filière, industrie, informatique, Inria, LabCom, laboratoire, langage, mathématiques appliquées, preuve, programmation, ProofInUse, recherche-industrie, Spark, valorisation de la recherche, vérification
|
|
Il y a 10 années
"Inria - Campagne 2015 : 22 séjours de recherche post-doctoraux"
Publié sur Inria, le 23/01/2015
|
|
Il y a 10 années
"« Les matinales de l'innovation » : Mathématiques - technologie clé"
Tags : culture scientifique, événement, excellence scientifique, France, mathématiques appliquées, Matinales de l'Innovation, Medef, modélisation, R&I, société, usages, valorisation de la recherche
|
