Le moteur de recherche
des thèses françaises
Arnault Ioualalen
IdRefMots clés
FR |
EN
Optimisation mathématique
Arithmétique en virgule fixe
Langages de programmation
Informatique
Modèles mathématiques
Arithmétique en virgule flottante
Intelligence artificielle
Analyse statique
Interprétation abstraite
Scalabilité
Optimisation du temps d'analyse
Réseaux neuronaux (informatique)
Logiciels -- Vérification
Scalabilité (informatique)
Apprentissage automatique