2D  3D  Accès -- Contrôle  Acoustique  Acquisition du langage  Algorithme de Weisfeiler-Lehman  Algèbres de processus  Analyse de regroupements  Analyse numérique  Ancrage de symboles  Animation par ordinateur  Applications  Applications de flux de données  Apprentissage automatique  Apprentissage de concepts  Apprentissage multimodal  Apprentissage par renforcement inverse factorisé  Approximation Trefftz-DG  Architecture navale  Architectures hybrides  Architectures hétéroghènes  Aérodynamique  Bases de données -- Interrogation  Bioinformatique  Bipartite  Boucles imbriquées  CFD  Calcul parallèle  Compilation  Compréhension de comportement humains  Conception assistée par ordinateur  Conception aérodynamique  Conception et construction  Conception interactive de foules  Concurrence  Confidentialité  Convergence des schémas de minimisation  Cryptographie  Disc Actif  Discrétization espace-temps  Données -- Transmission  Données massives  Décomposition de taches  Décomposition du mouvement  EDO  Ensembles de niveaux, Méthodes d'  Espace vectoriel  Factorisation de matrice positive  Flot de données  Flux de données  Flux de travail  Fuites mémoire  Gestion dynamique des données  Graphe  Généralisation par connaissances  Génération de tests  Hash proof system  Imagerie médicale -- Qualité de l'image  Imagerie sismique  Implant cochléaire  Implants cochléaires  Interaction homme-ordinateur  Interfaces graphiques  Intégration en temps  Inversion des formes d’ondes  Inversion sismique  Langage -- Acquisition  Langages de programmation  Level-Set  Logiciels -- Validation  Logiciels  Maillage de surface  Maillage espace-temps  Matériel sécurisé  Modeleur paramétrique  Module  Modèle d’exécution  Modèle polyédrique  Modèles géométriques  Modèles mathématiques  Modélisation CFD  Modélisation métabolique  Mu-Calcul  Multi-source  Mémoire  Métabolisme  Méthodes à éléments de frontière  Navier-Stokes  Navier-Stokes, Équations de -- Solutions numériques  Nelder- Mead Simplex  Noyaux de graphes  OCaml  Ondes acoustiques  Ondes sismiques  OpenMEEG  Optimisation des programmes  Ordonnancement  Ordonnancement  Ordonnancement multidimentionnel  Padé  Pale éolienne  Pipeline logiciel  Preuve à divulgation nulle de connaissance  Primitive motrice  Problème inverse  Profileur  Programmation par contraintes  Programmation parallèle  Propagation d’onde harmonique  Protection de l'information  Protocole  Pénalisation  Ramasse-miettes  Regroupement  Relaxation diélectrique  Relaxation, Phénomènes de  Robotique  Robots mobiles  Rotors  Rouleaux compresseurs  Runge-Kutta  Réalité virtuelle  Régularisation  SDIRK  Schémas d’ordre élevé  Simulation par ordinateur  Smooth projective hash function  Solveurs  Spécification formelle  Stabilité  Stimulation électrique  Suggestion visuelle  Systèmes embarqués  Systèmes embarqués  Systèmes sur puce  Systèmes workflow  Sémantique  Technique d'interaction  Tent Pitcher  Théorie de la démonstration  Traitement d'images  Traitement réparti  Transition vitreuse  Visualisation  Visualisation analytique  Visualisation des logiciels  Voisins partagés  Vérification formelle  WUI  Élastique  Éoliennes  Équation d’ondes élasto-acoustiques  Équations d'onde  Équations différentielles  Équations d’onde  

23 thèses soutenues ayant pour partenaire de recherche Institut national de recherche en informatique et en automatique (France)
Extrait des plus récentes :

Automatique et traitement du signal et des images
Soutenue le 13-06-2017
thèse
Informatique
Soutenue le 25-11-2016
thèse
Informatique
Soutenue le 18-12-2014
thèse
Mathématiques appliquées et calcul scientifique
Soutenue le 19-09-2014
thèse

Informatique
Soutenue en 1997
thèse