ASIC  Algorithme de reconstruction  Analyse en temps réel  Analyse probaliste  Applications distribuées  Arbre phylogénétique  Architecture des réseaux d'ordinateurs  Automobiles -- Équipement multimédias  CAN  Calculs stencils  Chloroplastic génomes  Circuit chaotique  Controller Area Network  Contrôle qualité  Coupe-feu  Cryptographie  Cryptographie appliquée  Cryptographie matérielle  Dissertations universitaires  Environnement industriel  FPGA  Filtre de flux  Filtre de nom  Filtres  Fuite d’informations  Générateur des nombres aléatoires  Générateurs de nombres aléatoires  Géométrie discrète  Imagerie en biologie  Imagerie tridimensionnelle  Informatique  Langage dédié  Langages dédiés  Logiciels -- Vérification  Maillages polyédriques  Mesures de sûreté  Microprocesseurs multi-coeurs  Model checking  Modèle polyédrique  Mouvement  Mouvement pulmonaire  Mycobacterium Genre  Mémoire distribuée  Mémoire partagée répartie  Métallique  Méthode adjointe  Named Data Networking  Nombres pseudoaléatoires  Ordonnancement  Parallélisme  Pare-feu  Photonique  Phylogénie  Poumon -- Radiographie  Poumon  Problème inverse  Problème inverse de diffusion  Propriétés optiques  Propriétés temporelles  Protection de l'information  Qualité -- Contrôle  Radiothérapie  Raffinement de nuage de points  Reconnaissance des formes  Reconstruction ancestrale  Reconstruction d'image  Reconstruction de surface  Reconstruction multi-Vue  Réseau de neurones artificiels  Réseaux d'ordinateurs  Réseaux neuronaux  Segmentation  SimGrid  Simulation  Simulation par ordinateur  Spécularité  Stéganalyse  Stéganographie  Système de communication temps réel  Système à base de composants  Systèmes dynamiques discrets  Systèmes embarqués  Sécurité de l'information  Séquence nucléotidique  Tests statistiques  Thèses et écrits académiques  Tomographie optique  Tomographie optique diffuse  Traitement d'images -- Techniques numériques  Traitement de données  Traitement de la géométrie  Traitement réparti  Transfert radiatif  Tubes métalliques  Tubulaire  Unités taxonomiques  Verroux ordonnés de lecture/écriture  Vérification dynamique formelle  

Sylvain Contassot-Vivier a rédigé la thèse suivante :


Sylvain Contassot-Vivier a dirigé la thèse suivante :


Sylvain Contassot-Vivier a été président de jury des 5 thèses suivantes :

Informatique
Soutenue le 14-12-2015
Thèse soutenue

Sylvain Contassot-Vivier a été rapporteur des 2 thèses suivantes :


Sylvain Contassot-Vivier a été membre de jury des 3 thèses suivantes :