Sites Inria

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

Mixmod

4ème rencontre Mixmod

4ème rencontre Mixmod

23/09/2013

Mixmod  : un logiciel de classification supervisée et non supervisée pour les données quantitatives et qualitatives

Lieu : Institut Henri Poincaré

Mots-clés :

Accueil > Centre > Lille > Agenda > 4ème rencontre Mixmod

lire la suite

Système planétaire

Systèmes planétaires

Découvrir de nouvelles planètes grâce aux statistiques

A.D. (*) - 16/05/2013

Jacky Cresson et Christophe Biernacki, chercheurs en mathématiques notamment appliquées respectivement à l’astronomie et en statistiques dévoileront, d’ici quelques mois, si la répartition des planètes autour de leur étoile suit ou non une loi universelle. Leurs travaux pourraient aussi révéler l’existence de nouvelles planètes.

Mots-clés :

Accueil > Centre > Lille > Actualités > Découvrir de nouvelles planètes grâce aux statistiques

Lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

10/09/2018

A number of tools have been developed for carrying out separation-logic proofs mechanically using an interactive proof assistant.

Lieu : Inria de Paris, 2 rue Simone Iff (ou: 41 rue du Charolais) Salle Jacques-Louis Lions 1, bâtiment C

Intervenant(s) : Robbert Krebbers (Delft University of Technology)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Haut de page

Suivez Inria