Mots-Clés : Vérification de Programmes ; IA ; Statistique en grande dimension ; Erreurs numériques (D. Defour) ; Théorie des graphes (P. Vilamajo), des hypergraphes et des jeux.
La "Caractérisation des systèmes numériques et discrets" couvre de multiples aspects à l'intersection des statistiques, de la vérification des programmes, de l'optimisation et de la théorie des jeux/économie :
- Fournir des informations statistiques pour de grands problèmes (mécanique des fluides (POD, SPOD), données océaniques (DMD), détection de phénomènes spécifiques à des fréquences contrôlées).
- Fournir de nouveaux résultats en théorie des jeux/économie (applications : systèmes à événements discrets, réseaux ferroviaires, ...).
- Redéfinir le calcul en arithmétique non conventionnelle, applications en IA, physique, biologie en utilisant l'accélération GPU.
- Vérification du programme.
Mise à jour le 3 juillet 2025