Ce projet permet de simuler et valider des images issues de systèmes d'imagerie médicale SPECT (Single Photon Emission Computed Tomography). Il inclut des macros pour configurer des géométries de détecteurs, des sources radioactives et des fantômes, ainsi que des outils pour analyser les résultats des simulations. Les données expérimentales sont comparées aux simulations pour évaluer la précision des modèles.

TangoLib est une bibliothèque dédiée à la gestion et au test d'attributs dynamiques pour des systèmes industriels ou scientifiques. Elle permet de simuler et valider le comportement de variables de différents types (scalaires, spectres, chaînes, booléens) dans des environnements Tango, un framework utilisé pour le contrôle d'instruments. L'outil facilite le développement et le débogage en vérifiant la cohérence des données et des événements associés.

Outil dédié à la génération et à la production de données pour le système d'archivage HDB++. Il permet de simuler des attributs matériels et de générer des données dynamiques pour des attributs scalaires et spectraux. Intégré à l'écosystème Tango Controls, il facilite la création de jeux de données pour tester et valider des configurations d'archivage.

Projet dédié aux tests et simulations pour l'analyse de données LISA. Il propose des outils pour générer du bruit, appliquer des filtres FIR, estimer des spectres et simuler des méthodes de soustraction de bruit. Utilisé principalement dans le cadre de la recherche en astrophysique pour valider des algorithmes et des pipelines de traitement de données.

4A/OP est un logiciel scientifique développé par le CNES, le LMD (CNRS/ENS) et NOVELTIS. Il permet de simuler des spectres atmosphériques à partir de données satellitaires ou de modèles numériques. Utilisé principalement en recherche climatique et météorologique, il aide à analyser les propriétés radiatives de l'atmosphère et à valider des modèles de transfert radiatif. Le projet inclut une interface graphique pour faciliter son utilisation par des non-experts.

Le projet ns-validation est une solution dédiée à l'automatisation et à la gestion des processus de validation des données, garantissant ainsi la conformité réglementaire. Il offre une plateforme centralisée pour gérer les workflows de validation, facilitant le suivi et l'accélération des processus métier.

Ce projet contient le code compagnon pour l'article *Refined Analysis of the Asymptotic Complexity of the Number Field Sieve* qui propose une analyse raffinée de la complexité asymptotique de la décomposition en facteurs premiers en utilisant la méthode du crible algébrique de corps de nombres.