Il y a 3 Résultats avec le mot clé : "logiciel"
Prix scientifique
Vérification systèmes complexes
CryptoMiniSat, logiciel de vérification de logiciels ou d'architectures matérielles complexes, remporte le premier prix de la compétition internationale SAT Race 2010.
Mots-clés :
Accueil > Centre > Grenoble > Actualités > Vérification systèmes complexes
Prix de thèse
Aurelien Francillon - Prix thèse 2009 Grenoble INP
Aurélien Francillon, ancien doctorant de l'équipe-projet Planète est l'un des lauréats du prix de thèse 2009 Grenoble INP.
Mots-clés :
Accueil > Centre > Grenoble > Actualités > Aurelien Francillon - Prix thèse 2009 Grenoble INP
Colloques
3e rencontre MIXMOD
MIXMOD (MIXture MODelling) est un logiciel permettant de traiter des problématiques d'estimation de densités, de classification ou d'analyse discriminante.
Lieu : ENS LYON - Site J. Monod, Amphi B
Intervenants : G. Celeux, Inria - F. Langrognet, CNRS - U. Franche-Comté - C. Ruckebusch, LASIR, U. Lille 1, CNRS - C. Biernacki, U. Lille 1, CNRS, Inria - S. Cohen, IPANEMA-SOLEIL - C. Maugis, IMT, INSA Toulouse, U. Toulouse - O. Delrieu, PGXIS, UK
Mots-clés :
Centres de recherche Inria
- Grenoble (3)
Inria
Inria.fr
Inria Channel