Doctorat
Equipe :

PEYRONNET.01-10-2000

Début le 01/10/2000
Direction : DE ROUGEMONT, Michel

Ecole doctorale : ED d'Informatique de l'UPS
Etablissement d'inscription : Université Paris-Saclay

Lieu de déroulement :

Soutenue le 17/12/2003 devant le jury composé de :

Activités de recherche :
   - Model-Checking

Résumé :

Approches sémantiques pour la prédiction de présence d’amiante dans les bâtiments : une approche probabiliste et une approche à base de règles

Bases théoriques de l’usage d’outils dans les environnements numériques

Étude et Conception d'une Gestion Décentralisée des Données du Trafic Routier basée sur la Blockchain dans un réseau VANET (Réseaux Ad hoc Véhicules)

Designing Representations for Digital Documents

Generative modeling: statistical physics of Restricted Boltzmann Machines, learning with missing information and scalable training of Linear Flows