|
Il y a 11 années
"Maciej Krupa : « J’ai découvert un environnement qui permet de faire de la recherche fondamentale et appliquée. »"
Publié sur Inria, le 04/03/2015
|
|
Il y a 11 années
"IDEX : Lorraine Université d'Excellence"
Publié sur Inria, le 23/02/2015
Tags : CHRU de Nancy, CNRS - Centre national de la recherche scientifique, consortium, écosystème d'innovation, excellence scientifique, IDEX, Inria, Inserm, Lorraine Université Excellence, LUE, politique de recherche, Programme Investissements d'Avenir, Université de Lorraine
|
|
Il y a 11 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 11 années
"InriaTech : une plate-forme pour répondre aux défis de la French Tech"
Publié sur Inria, le 19/02/2015
Tags : digital science, France, Inria, Inria Lille - Nord Europe, InriaTech, La French Tech, plateforme, recherche-industrie, sciences du numérique, transfert technologique, valorisation de la recherche
|
|
Il y a 11 années
"Quand Inria fait voler l’animation française"
Publié sur Inria, le 12/02/2015
Tags : animation, animation 3D, cinéma, film, Inria, partenariat, recherche-industrie, sciences du numérique, TeamTO, transfert technologique, valorisation de la recherche
|
|
Il y a 11 années
"Animesh Pathak : « Chez Inria, la recherche est très connectée aux problématiques de la société »"
Publié sur Inria, le 06/02/2015
|
|
Il y a 11 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 11 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 11 années
"Conférences Start Me Up : de la recherche à l’entrepreneuriat"
Publié sur Inria, le 30/01/2015
Tags : chercheurs, conférence, écosystème d'innovation, entrepreneuriat, événement, jeune chercheur, R&I, recherche, start me up, startup, transfert technologique, valorisation de la recherche
|
|
Il y a 11 années
"Quand le traitement des images permet de mesurer l’effet d’un médicament sur le cerveau"
Publié sur Inria, le 27/01/2015
Tags : Alzheimer, biomarqueurs, cerveau, essai clinique, hippocampe, imagerie, imagerie cérébrale, informatique, Inria, Inria Rocquencourt, IRM, maladies neuro-dégénératives, médecine, médicaments, neurosciences, pharmacologie, sciences de la vie, sciences du numérique
|
