Inria
Inria Channel
Il y a 3 Résultats avec le mot clé : "Publication"
Bruno Levy, auteur de l'ouvrage "Mesh Processing Geometry"
Algorithmique, programmation, logiciels et architecture
Publication Bruno Levy sur la géométrie
Pertinence : 100 %
Bruno Levy, responsable de l’équipe-projet ALICE à l’Inria Nancy-Grand Est a co-écrit un ouvrage en collaboration avec Mario Botsch, Leif Kobbelt, Mark Pauly et Pierre Alliez. Cet ouvrage a pour thématique le traitement numérique de la géométrie dans la construction d’environnements virtuels tels que la 3D.
Mots-clés :
Accueil > Centre > Nancy > Actualités > Publication Bruno Levy sur la géométrie
Rapport annuel 2010
Inventeurs du monde numérique
Pertinence : 100 %
Pour communiquer, se soigner, voyager ou encore se divertir, notre société compte toujours plus sur les technologies numériques. Souvent invisibles, ces technologies tendent à simplifier nos tâches et enrichir notre quotidien.
Au coeur des sciences informatiques et mathématiques, en allant de la recherche fondamentale au développement technologique et au transfert industriel, les chercheurs d’Inria, institut public de recherche, inventent les technologies numériques de demain. La recherche Inria est collaborative, comme en témoignent la diversité des talents réunis dans les équipes de recherche et les nombreuses collaborations avec les acteurs de la recherche publique et privée, en France et à l’étranger.
En compétition avec les meilleurs spécialistes mondiaux dans leur domaine, les chercheurs et collaborateurs d’Inria se donnent aussi pour mission de partager leurs connaissances avec le plus grand nombre.
Mots-clés :
Accueil > Institut > Inria en bref > Rapport annuel
Publication
Formal Models and Techniques for Analyzing Security Protocols
Pertinence : 100 %
Parution du livre "Formal Models and Techniques for Analyzing Security Protocols / Cryptology and Information Security Series (Vol.5)", co-écrit par Steve Kremer (équipe-projet Secsi) et Véronique Cortier (équipe-projet Cassis).
Mots-clés :
Accueil > Centre > Saclay > Actualités > Formal Models and Techniques for Analyzing Security Protocols
Centres de recherche Inria
