Aide à la décision  Aide à la preuve  Algorithmes  Algèbre Géométrique  Algèbre linéaire  Analyse numérique  Appariement de formes  Apprentissage Profond  Apprentissage profond  Approximation de fonctions  Approximation par morceau  Arbres  Arbres  Arithmétique  Arithmétique des ordinateurs  Arithmétique en virgule flottante  Arithmétique flottante  Arithmétique interne des ordinateurs  Arrondi correct  Assistant de preuve  Assistants de preuve  Automatisation  Bases de Gröbner  Boundary representations  Cao  Classification Multimodale  Complétion d’Images  Compression sans perte  Computer aided design  Conception assistée  Conception assistée par ordinateur  Conception technique -- Informatique  Conditions de mobilité  Conditions d’assemblage  Contraintes  Contraintes redondantes et conflictuelles  Coq  Descripteurs de formes  Dilemme du fabricant de tables  Division de Newton-Raphson  Données -- Compression  Décomposition structurelle  Déformation de la surface de forme libre  Espace poral  Forme complexe  Gröbner, Bases de  Géométrie combinatoire  Géométrie finie  Géométrie projective  Homotopie  Image processing  Imagerie tridimensionnelle  Imprécision numérique  Incohérence  Inconsistency  Infographie  Intelligence artificielle  Intention de conception  Interaction homme-ordinateur  Maillages volumineux  Manipulateur portable  Matroïdes  Mesure du rendement  Modeling  Modèles géométriques  Modèles mathématiques  Modélisation  Modélisation géométrique  Modélisation tridimensionnelle  Morphologie mathématique  Mécanique  Mécanisation des preuves  Mécanisme  Méthodes Hybrides  Méthodes par continuation  Norme IEEE 754-2008  Numeric imprecision  Optimisation mathématique  Out-of-core  Patrimoine culturel -- Conservation et restauration  Propriété de Desargues  Prouveur automatique  Préservation d’Objets Culturels  Quadriques  RN-code  Recherche par forme clef  Reconnaissance de l'intention  Reconnaissance des formes  Reconnaissance optique des formes  Redimensionnement  Redondance  Redundancy  Representation  Représentation  Représentation par frontière  Robotics  Robotique  Robots  Résolution de contraintes géométriques  Scanners CT  Solides  Structures algorithmiques  Structures de données  Stéréogrammes  Surfaces  Surfaces quadriques  Synthèse dimensionnelle de mécanismes  SysML  Systèmes de solides sur-Contraints  Systèmes experts  Théorie des matroïdes  Tomographie  Traitement image  Visualisation  Visualisation interactive  Volume quadrique  État de mobilité  

Dominique Michelucci a rédigé la thèse suivante :


Dominique Michelucci a dirigé les 5 thèses suivantes :


Dominique Michelucci a été président de jury des 3 thèses suivantes :


Dominique Michelucci a été rapporteur des 11 thèses suivantes :


Dominique Michelucci a été membre de jury de la thèse suivante :