Il y a 3 Résultats avec le mot clé : "Logiciel"

Illustration Codage

Prix scientifique

Vérification systèmes complexes

Marie Collin - 28/09/2010

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

Lire la suite

Aurélien Francillon Aurélien Francillon

Prix de thèse

Aurelien Francillon - Prix thèse 2009 Grenoble INP

Vanessa Peregrin - 30/11/2010

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

Lire la suite

Mixmod

Colloques

3e rencontre MIXMOD

2/12/2010

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 :

Accueil > Centre > Grenoble > Agenda > 3e rencontre MIXMOD

Voir le site Web MIXMOD

Haut de page