Le moteur de recherche
des thèses françaises
Frédéric Benhamou
IdRefMots clés
FR |
EN
Programmation par contraintes
Calcul rigoureux
Calculs validés
Erreur d'approximation
Approximations polynomiales rigoureuses
Series de Chebyshev
Modèles de Taylor
Modèles de Chebyshev –
Arithmétique Flottante
Fonctions D-finies
Méthodes d'encadrement
Évaluation des fonctions
Opérateurs Matériels
Field Programmable Gate Arrays
Contraintes (intelligence artificielle)
Intelligence artificielle
Recherche locale distribuée
Système interactif
Systèmes d'aide à la décision
Urbanisme durable