3D simulation  Adaptive Cross Approximation  Aide à la décision  Algorithme Branch and Bound  Algorithme SLZ  Analyse de sensibilité  Analyse d’Intervalles  Analyse non linéaire  Analyse numérique  Analyse par intervalles  Approximation polynomiale rigoureuse  Arithmétique Affine  Arithmétique en virgule flottante  Arithmétique par intervalles  Arithmétique à virgule flottante  Arithmétiques Garantie  Arrondi correct  Aéronautique  Bibliothèque Flocq  Bobinage concentrique à pas raccourci  Branch and Bound  Calcul Robuste  Calcul différentiel  Calcul sur des intervalles  Cas test cubique  Certificats  Choc multiple  Circuit Magnétique  Circuits magnétiques  Circulation aérienne -- Contrôle  Composite  Connectivité des véhicules  Contrôle optimal  Courbe de Bézier  Dilemme du fabricant de tables  Direction d'objets immergés  Distances  Double-arrondi  Dynamique transitoire  Débris de pneu  Effets du dioxyde de carbone atmosphérique  Electroaimant 3D  Electromagnétisme  Eléments finis  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 de l'énergie  Gestion du trafic aérien  Graphes d’intervalles  Graphes, Théorie des  Groupes de permutations  Groupes de symétrie  Grêlon  Génération de colonnes  Génératrice synchrone à pôles saillants  Hybrid Cross Approximation  Impact aviaire  Intégration Garantie  Lemme de Hensel  Machine synchrone à rotor bobiné  Machines électriques  Mathématique appliquée  Mathématiques  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 CFD  Modélisation mathématique  Modélisation tridimensionnelle  Méthode Computational fluid dynamics  Méthode NOMAD  Méthode de densité  Méthode de séparation et évaluation par intervalles  Méthode des éléments finis  Méthode fmincon  Méthode éléments finis  Méthodes de contraction par intervalles  Méthodes numériques  Méthodes numériques de tir  NOMAD  Norme 2D  Optimisation  Optimisation Globale  Optimisation Topologique  Optimisation combinatoire  Optimisation de formes  Optimisation globale  Optimisation globale sous contraintes  Optimisation géométrique  Optimisation mathématique  Optimisation non linéaire  Optimisation numérique  Optimisation prédictive  Optimisation topologique  Parallélisation  Physique des plasmas  Plasmas  Preuves formelles Coq  Principe du Minimum de Pontryagin  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  Simulation numérique  Simulation par ordinateur  Standard IEEE 754  Structure modulaire  Structure renforcée  Symétries  Système Hybride  Systèmes dynamiques  Technique de Coppersmith  Théorie des graphes  Théorie électromagnétique  TwoMultFMA  TwoSum  Vitesse  Véhicules hybride électrique  Véhicules électriques hybrides  Électroaimants  Électromagnétisme  Électrotechnique  Éléments finis, Méthode des  

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


Frédéric Messine a dirigé les 7 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 des 3 thèses suivantes :