Logiciels

Modéliser, analyser ou synthétiser des systèmes de réactions moléculaires pour la biologie cellulaire

Traduire les représentations statiques des systèmes biologiques en modèles dynamiques

Traiter des problèmes d’optimisations « boîte noire »

Simuler de la propagation d’ondes 3D dans des environnements de grande taille

Evaluer et valider la sûreté des systèmes complexes

Nettoyer les données pour le machine learning

Fournir une boite à outil de référence en analyse topologique des données

Brouiller une position tout en profitant des applications web géolocalisées

Fournir des algorithmes destinés au traitement et à la visualisation de l’activité électrique cérébrale

Fournir une librairie pour la simulation numérique de phénomènes multi-physiques

Améliorer et faciliter la sûreté de fonctionnement et la vérification des systèmes informatiques

Permettre aux utilisateurs de contrôler directement leurs données personnelles, en mobilité et avec de fortes garanties de sécurité

Un outil de visualisation et d'analyse interactive des pulses hormonaux

Un système d'exploitation pour développer des applications indépendamment des composants IoT utilisés

Des méthodes statistiques d’échantillonnage au service de la diffraction

Fournir une librairie de référence du machine learning

Analyser et modéliser les données de spectrométrie de masse complexes

Visualiser de manière interactive et rapide des modèles numériques (maillages et solutions numériques)

Fournir une boîte à outils pour la preuve mathématique de programmes

Déployer des applications et fonctionnalités nouvelles sur des murs d’écrans interactifs très haute résolution

Résoudre des équations de mécanique des fluides (équations de Navier-Stokes) compressibles en 2D et 3D sur des maillages adaptifs