Didier Verna
Mots clés
FR |
EN
Langages à typage dynamique
Diagrammes de décision binaire
Automates finis
Common lisp
Langages rationnels
Algorithmes
Calcul formel
Common LISP (langage de programmation)
Système de transport intelligent
Mises à jour OTA
Sécurité
Système de détection d'intrusion
Apprentissage automatique
Apprentissage fédéré
Apprentissage explicable
Apprentissage interprétable
IA; Cybersécurité; Data Center.
Morphologie mathématique
Génie logiciel
Représentations hiérarchiques d'images