Outil dédié à la conception et à la validation des câblages électroniques pour le détecteur SuperNEMO. Il permet aux chercheurs et ingénieurs de modéliser, tester et optimiser les connexions nécessaires à l'acquisition de données expérimentales en physique des particules. Le projet facilite la collaboration entre équipes internationales travaillant sur des infrastructures de recherche.

CGoGN est un ensemble de bibliothèques logicielles open source dédiées à la modélisation géométrique 3D et à la visualisation scientifique. Il propose des outils pour manipuler des maillages, des surfaces et des volumes, ainsi qu'une interface intégrée (SCHNApps) permettant de créer des applications personnalisées via un système de plugins. Destiné aux chercheurs, développeurs et industriels, il facilite la conception d'outils dédiés à l'analyse et à la simulation dans des domaines comme la géométrie algorithmique ou la visualisation de données complexes.

Projet académique visant à développer des outils d'analyse et de simulation pour des applications en intelligence artificielle et science des données. Utilisé dans un cadre pédagogique pour illustrer des concepts avancés en traitement de données et modélisation mathématique. Permet aux étudiants de manipuler des bibliothèques spécialisées pour résoudre des problèmes concrets en physique ou en informatique.

Ce projet vise à concevoir et maintenir un écosystème optimal de workflows pour l'ESRF DAU (Département d'Accélération et d'Utilisation des Rayons X). Il permet de modéliser, organiser et exécuter des tâches scientifiques sous forme de graphes de dépendances, facilitant ainsi l'automatisation des processus expérimentaux et l'analyse de données. L'objectif est d'améliorer l'efficacité et la reproductibilité des recherches menées sur les accélérateurs de particules.

KMADe est un outil d'analyse et de modélisation des activités humaines dédié à la conception et à l'évaluation ergonomique des systèmes interactifs. Il permet de décrire, d'analyser et de formaliser les activités des utilisateurs dans des environnements (informatisés ou non), en situation réelle ou simulée. KMADe est basé sur un modèle formel qui facilite la description, l'examen et l'analyse des tâches, limite les variations interindividuelles, augmente le niveau de complétion des descriptions, autorise des traitements ultérieurs, et facilite les passages entre les modèles de terrain et les étapes du cycle de vie des logiciels.

ICE est un environnement de contrôle interactif permettant l'édition graphique d'applications ambiantes émergentes. Il offre une interface visuelle pour modéliser et simuler des assemblages logiciels complexes, facilitant ainsi la conception et le test d'environnements interactifs avant leur déploiement. L'outil s'intègre dans des environnements de développement existants pour enrichir les capacités de modélisation des développeurs.

Ce projet pédagogique propose un ensemble de ressources pour l'enseignement du filtrage optimal et du traitement du signal. Il inclut des supports de cours (slides), des exercices et des notebooks Python interactifs pour illustrer des concepts théoriques comme les filtres de Wiener, de Kalman, et les algorithmes adaptatifs (LMS, RLS). Destiné aux étudiants en ingénierie, il facilite l'apprentissage par la pratique avec des exemples concrets et des applications en débruitage, déconvolution et modélisation de signaux.

Ce projet propose des supports de formation complets pour maîtriser les bases de données SQL, depuis les concepts fondamentaux jusqu'aux techniques avancées. Il couvre la modélisation des données, l'écriture de requêtes complexes, l'utilisation de PL/pgSQL pour la programmation procédurale, et l'optimisation des performances. Destiné aux étudiants, professionnels et formateurs, il facilite l'apprentissage autonome ou encadré.

TiAMo est un outil de vérification formelle dédié à l'analyse des systèmes temporisés modélisés par des automates temporisés. Il permet de vérifier des propriétés temporelles complexes sur des modèles, d'identifier des erreurs de conception ou de synchronisation, et d'optimiser des systèmes critiques comme les protocoles de communication ou les systèmes embarqués. Développé dans le cadre d'un projet de recherche, il est utilisé pour valider la correction et la fiabilité des systèmes avant leur déploiement.

Bibliothèque logicielle dédiée à l'analyse formelle de concepts, une méthode mathématique pour organiser et structurer des données en concepts hiérarchisés. Elle permet d'extraire des connaissances à partir de jeux de données complexes, facilitant ainsi la modélisation et l'analyse de relations entre objets et attributs.