Logiciels

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

Cartographier et explorer un grand nombre de documents

Un logiciel pour traduire les représentations statiques des systèmes biologiques en modèles dynamiques

L’algorithme à l’état de l’art pour les optimisations « boîte noire »

Un logiciel de simulation de la propagation d’ondes 3D dans des domaines de grande taille

Un outil de sûreté probabiliste pour domaines critiques

Un outil pour le machine learning sur données non nettoyées

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

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

Une bibliothèque de pointe pour la visualisation et l’analyse de l’activité électrique cérébrale

Librairie « éléments finis » multiphysique

La bibliothèque universelle des preuves formelles

Un logiciel embarqué de gestion et de sécurisation des données personnelles

Un outil d’analyse interactive des rythmes de sécrétion dans les séries temporelles hormonales

Un système d'exploitation polyvalent pour l'internet des objets

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

Une librairie de référence du machine learning

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

Outil de visualisation interactive pixel-exact de modèles numériques

Un langage pour la vérification déductive de programmes

Un middleware pour les interactions en grand

Un solveur 2D/3D de mécanique des fluides haute précision