Ce projet développe des scripts pour l'analyse radiomique des gliomes de bas grade mutés IDH. Il permet de classifier les patients selon leur statut PET ou histologique, d'évaluer les risques de récidive via des modèles de CoxNet, et de combiner des caractéristiques radiomiques et moléculaires. Les résultats sont validés par des analyses de Kaplan-Meier et des tests de log-rank. Le code est associé à un projet de recherche transcan sur l'évolution des gliomes.

Ce projet automatise l'exécution de requêtes HTTP planifiées pour tester la connectivité et la validité des certificats SSL/TLS vers des services externes. Il permet de surveiller la disponibilité des endpoints et d'analyser les réponses des services cibles via des jobs Kubernetes. Les résultats sont accessibles via les logs des pods déployés, facilitant le diagnostic des problèmes de communication ou de configuration.

Otelo est un outil public gratuit conçu pour aider les collectivités et acteurs de l'urbanisme à estimer précisément les besoins en logements sur leur territoire. Il s'appuie sur une méthodologie de référence validée par le Ministère de la Transition Écologique et le Cerema, combinant analyse automatisée de millions de données territoriales et guides pratiques. L'outil permet de construire des scénarios adaptés aux documents d'urbanisme tout en intégrant les enjeux de mal-logement, de sobriété foncière et de vacance immobilière.

Outil de simulation et d'analyse de messages syslog et de flux réseau pour tester des systèmes de monitoring ou de journalisation. Permet de générer des logs réalistes et de valider des configurations de réception de messages réseau (UDP, SMTP) avant déploiement en environnement de production.

Plugin Maven dédié à la gestion des extensions et au déploiement du logiciel Icy, une plateforme open source d'analyse d'images biologiques. Il permet de valider les versions des dépendances, de construire et déployer des extensions pour Icy, tout en assurant la compatibilité avec les outils développés par l'unité d'analyse d'images biologiques de l'Institut Pasteur.

Ce projet fait partie de la formation Cloud Pi Native (CPiN) et permet de gérer les artefacts logiciels, notamment les images Docker, via le gestionnaire Harbor. Il inclut également l'analyse de vulnérabilités des images grâce à l'outil Trivy, offrant ainsi une solution sécurisée pour le stockage et la validation des artefacts avant déploiement. Destiné aux développeurs et administrateurs, il facilite l'intégration continue et la conformité des images utilisées dans les environnements Cloud Pi Native.

Veriloga est un outil dédié à la simulation et à la vérification de circuits logiques. Il permet aux ingénieurs et concepteurs de modéliser des systèmes numériques, d'analyser les signaux et de valider des architectures matérielles avant leur implémentation physique. Son approche facilite l'optimisation des performances et la détection précoce d'erreurs dans les designs.

Ce projet étudie la performance de la modulation QPSK dans un contexte de communication multi-utilisateurs en downlink NOMA (Non-Orthogonal Multiple Access). Il combine des dérivations analytiques, des simulations numériques et des validations expérimentales via des outils de radio logicielle. L'objectif est d'analyser l'efficacité des algorithmes de décodage SIC et d'optimiser la répartition de puissance pour améliorer la qualité de transmission dans des scénarios à deux ou trois utilisateurs.

Ce projet développe un système de preuve neuronale pour analyser et valider des structures linguistiques complexes en français. Il combine un super-tagger pour étiqueter les mots avec des catégories syntaxiques avancées et un linker pour établir les relations entre ces éléments. L'objectif est de transformer des phrases en représentations logiques structurées, facilitant ainsi l'analyse sémantique et la vérification automatique de cohérence grammaticale.

Suite logicielle dédiée à l'étalonnage et à la calibration des détecteurs ALERT. Elle permet de traiter les données brutes issues des capteurs, d'appliquer des corrections temporelles et spatiales, et de générer des rapports d'analyse pour valider la précision des mesures. Utilisée principalement dans le domaine de la physique expérimentale pour assurer la fiabilité des instruments de détection.