MARCHÉ Claude
Doctorat
Equipe : Vérification d'Algorithmes, Langages et Systèmes



Début le 01/01/1970
Direction : JOUANNAUD, Jean-Pierre

Ecole doctorale : ED STIC 580
Etablissement d'inscription : vide

Lieu de déroulement :

Soutenue le 01/01/1970 devant le jury composé de :

Activités de recherche :
   - Réécriture

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