Adaptive Cross Approximation  Aide à la décision  Algorithme Branch and Bound  Algorithme SLZ  Analyse de sensibilité  Analyse d’Intervalles  Analyse numérique  Approximation polynomiale rigoureuse  Arithmétique Affine  Arithmétique en virgule flottante  Arithmétique par intervalles  Arithmétique à virgule flottante  Arithmétiques Garantie  Arrondi correct  Bibliothèque Flocq  Branch and Bound  Calcul Robuste  Calcul différentiel  Calcul sur des intervalles  Cas test cubique  Certificats  Circuit Magnétique  Circuits magnétiques  Circulation aérienne -- Contrôle  Contrôle optimal  Courbe de Bézier  Dilemme du fabricant de tables  Direction d'objets immergés  Distances  Double-arrondi  Electroaimant 3D  Electromagnétisme  Equation Différentielle Ordinaire  Equation de Maxwell  Equations intégrales de frontière  Etude de branchement  Facteur de faisabilité  Fast2Sum  Filtre électromagnétique  Fonctions D-finies  Fusées à effet Hall  Gestion du trafic aérien  Graphes d’intervalles  Graphes, Théorie des  Groupes de permutations  Groupes de symétrie  Génération de colonnes  Génératrice synchrone à pôles saillants  Hybrid Cross Approximation  Intégration Garantie  Lemme de Hensel  Machines électriques  Matrices hiérarchiques  Midpoints  Modèles analytiques  Modèles de Taylor  Modèles mathématiques  Modèles numériques  Modéles mathématiques  Modélisation mathématique  Méthode de densité  Méthode éléments finis  Méthodes numériques  Méthodes numériques de tir  Norme 2D  Optimisation  Optimisation Globale  Optimisation Topologique  Optimisation combinatoire  Optimisation de formes  Optimisation globale  Optimisation géométrique  Optimisation mathématique  Optimisation non linéaire  Optimisation numérique  Optimisation topologique  Parallélisation  Physique des plasmas  Plasmas  Preuves formelles Coq  Principe du maximum de Pontryagin  Problème d'évitement de conflits aériens  Problème inverse  Problèmes de placement  Problèmes inverses  Programmation  Programmation Mathematique  Programmation par Contraintes  Propulseur effet Hall  Propulseur à effet Hall  Racine carrée  Racines entières  Recherche Opérationnelle  Recherche opérationnelle  Reformulations  Relaxation Linéaire  Reste de Taylor-Lagrange  Régulation en vitesse  SSReflect  Standard IEEE 754  Symétries  Système Hybride  Systèmes dynamiques  Technique de Coppersmith  Théorie des graphes  Théorie électromagnétique  TwoMultFMA  TwoSum  Vitesse  Électroaimants  Électromagnétisme  Éléments finis, Méthode des  

Frédéric Messine a rédigé la thèse suivante :


Frédéric Messine dirige actuellement la thèse suivante :


Frédéric Messine a dirigé les 5 thèses suivantes :

Sûreté de logiciel et calcul à haute performance
Soutenue le 08-12-2010
Thèse soutenue

Frédéric Messine a été rapporteur des 6 thèses suivantes :


Frédéric Messine a été membre de jury de la thèse suivante :