Gilles Dequen
Mots clés
FR |
EN
Contraintes (intelligence artificielle)
SAT
Cryptographie
Programmation par contraintes
Résolution de problème -- Informatique
Calcul distribué
Cryptanalyse différentielle
Informatique
Détection d’anomalies
Réseaux neuronaux (informatique)
Logarithmes discrets
Courbes elliptiques
Modélisation
Optimisation
Apprentissage automatique
Sécurité informatique
Virtualisation
Informatique en Nuage
Systèmes Distribués
Flux d'informations