Ce projet concerne la thèse de doctorat sur la spécification de la mémoire dans un langage de programmation synchrone utilisé pour concevoir et implémenter des systèmes critiques embarqués. Il s'appuie sur Scade, un langage dérivé de Lustre, et introduit des évolutions majeures telles que les automates hiérarchiques et les tableaux à taille statique. Le projet a pour but d'améliorer la verbosité des modèles, le contrôle de la compilation et la description des algorithmes.

Outil bioinformatique conçu pour identifier la liaison au sexe dans des données de séquençage haut débit issues de croisements contrôlés. Il permet aux chercheurs d'analyser les données génomiques des parents et de leur descendance afin de détecter des régions génétiques liées au sexe. Ce projet facilite les études en génétique et en biologie évolutive.

Plateforme dédiée à l'inspection et au contrôle des établissements accueillant des personnes âgées ou handicapées. Elle permet de centraliser, historiser et analyser les données issues des inspections, tout en générant des rapports standardisés. La solution s'appuie sur des pipelines automatisées pour extraire, transformer et charger les données depuis des sources variées (bases de données, fichiers CSV, SFTP), puis les restituer sous forme de vues exploitables pour les autorités compétentes.

Ce projet fournit des outils de développement et de gestion dédiés aux détecteurs PSI/SLS, utilisés principalement dans des environnements de recherche scientifique. Il facilite la configuration, le contrôle et l'analyse des données issues de ces capteurs avancés, essentiels pour des expériences en physique des particules ou en imagerie haute résolution.

Le projet gimbal_controller_management est dédié au contrôle et à la gestion de gimbals, ainsi qu'à la publication, au prétraitement et à la visualisation des données de capteurs. Il est composé de plusieurs packages ROS (Robot Operating System) travaillant ensemble pour fournir une solution complète de gestion de gimbals et de données de capteurs.

Ce projet est une gemme Ruby conçue pour modifier le comportement par défaut d'ActiveRecord. Il permet de retarder la persistance des associations en base de données jusqu'à l'appel explicite de la méthode `save`. Cela évite les opérations immédiates et potentiellement dangereuses lors de l'affectation d'associations, comme `team.user_ids = [1, 2]`, qui ne persisteront qu'au moment de l'enregistrement. Idéal pour les applications nécessitant un contrôle précis des transactions et une optimisation des performances.

Plugin QGIS permettant d'automatiser et de faciliter la vérification de la qualité des bases de données géographiques. Il offre des outils pour détecter les incohérences, les doublons ou les erreurs de saisie dans les couches SIG, améliorant ainsi la fiabilité des données utilisées dans les projets d'aménagement, d'urbanisme ou de gestion environnementale.

Robot-WATCHDOG est un cadre de détection de défaillances pour les robots autonomes, utilisant une représentation par graphes spatio-temporels centrés sur les objets. Il identifie les erreurs relationnelles (saisie d'objets incorrects, violation d'ordre de tâches) en analysant les interactions entre objets dans des scènes dynamiques. Deux détecteurs complémentaires sont déployés : un transformateur graphique prédictif pour les environnements riches en données, et une méthode non paramétrique pour les scénarios avec peu d'exemples. Le système garantit un taux de faux positifs contrôlé grâce à la prédiction conforme, sans nécessiter de données d'échec.

Ce projet permet de valider et contrôler les données issues de relevés LIDAR en utilisant des outils spécialisés comme PDAL et FME. Il facilite l'automatisation des vérifications de qualité des jeux de données géospatiales, assurant ainsi leur fiabilité pour des applications métiers variées. Développé pour répondre aux besoins spécifiques d'un organisme public, il s'intègre dans une démarche de gestion rigoureuse des données spatiales.

Ce projet est une solution logicielle dédiée à la gestion et à l'analyse de données issues de détecteurs de diffraction X, notamment pour les expériences en cristallographie ou en science des matériaux. Il permet de configurer, contrôler et acquérir des données en temps réel depuis des équipements spécialisés comme les détecteurs Mythen. Le système facilite également le traitement et l'optimisation des paramètres expérimentaux pour améliorer la précision des mesures.