Caractérisation des Systèmes numériques et discrets

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
https://lamps.univ-perp.fr/axes-thematiques/caracterisation-des-systemes-numeriques-et-discrets