|
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
"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
|
|
Il y a 11 années
"Inria - Campagne 2015 : 22 séjours de recherche post-doctoraux"
Publié sur Inria, le 23/01/2015
|
|
Il y a 11 années
"Séminaire "Nouveaux modes de pilotage de la recherche et interdisciplinarité : quelles difficultés ?""
Publié sur Inria, le 20/01/2015
|
|
Il y a 11 années
"Une initiative d'excellence pour Lille"
Publié sur Inria, le 19/01/2015
Tags : appel à projets, CNRS - Centre national de la recherche scientifique, excellence scientifique, IDEX, initiative d'excellence, Inria, Inserm, Lille, politique d'innovation, politique de recherche, Programme Investissements d'Avenir, recherche, université, Université de Lille, valorisation de la recherche
|
|
Il y a 11 années
"Lancement du projet H2020 COMANOID"
Tags : Airbus, CNRS - Centre national de la recherche scientifique, cobotique, COMONOID, coopération, financement de l'innovation, France, Horizon 2020, Inria, Japon, JRL, National Institute for Advanced Industrial Science and Technology - AIST, promotion de l'innovation, promotion de la recherche, robot humanoïde, robotique
|
|
Il y a 11 années
"Vers des systèmes cryptographiques plus sûrs"
Publié sur Inria, le 12/01/2015
Tags : bourse, Cascade, chercheurs, cryptographie, cybersécurité, hardware, informatique, Inria, interview, logiciel, protocole, Vadim Lyubashevsky, valorisation de la recherche
|
|
Il y a 11 années
"Inria recrute 700 personnes en 2015"
Publié sur Inria, le 09/01/2015
Tags : chercheurs, France, informatique, ingénieur, Inria, numérique, politique de recherche, postdoctorat, R&I, recrutement, ressources humaines, sciences du numérique, stratégie de développement, stratégie de recherche
|
