Ce projet vise à analyser et à réduire les réseaux d'automates synchronisés selon une topologie d'arborescence. Il préserve la portée de la synchronisation tout en ne la garantissant pas pour la sécurité. Le projet a été étendu à des topologies d'arborescence d'automates de toute sorte et a été expérimenté.

Le modèle Avionic est un modèle d'entrée-sortie développé au département des Comptes nationaux de l'INSEE. Il permet d'analyser chaque produit de l'économie selon son origine (production nationale ou importations) et sa destination (consommation finale, exportations, investissements). Le modèle est particulièrement utile pour retracer les interrelations au sein de l'économie et identifier la consommation intermédiaire de chaque branche de l'économie pour chaque produit de l'économie. Il permet également d'analyser les chaînes de valeur mondiales grâce à la réconciliation des données du commerce international.

Ce projet est un package R dédié à la modélisation et à l'analyse de données limitées concernant les zones humides de traitement (TW). Il fournit des outils pour valider, sélectionner et entraîner des modèles prédictifs sur la concentration ou la charge de polluants entre l'entrée et la sortie de ces systèmes. Le package intègre des jeux de données compilés à partir de publications scientifiques et des données climatiques ou géographiques complémentaires pour enrichir les analyses.

FrameIt est un outil dédié à l'analyse régionale ciblée d'événements modélisés avec suivi intégré. Il permet d'extraire des régions fixes ou mobiles à partir de sorties de modèles météorologiques (AROME, Meso-NH) et océaniques (NEMO, CROCO). L'utilisateur configure des paramètres via un fichier YAML pour sélectionner les entrées, champs et méthodes de suivi. Les produits générés (NetCDF ou Zarr) sont analysables avec des outils standards, facilitant la validation scientifique et la qualification des données.

Ce pipeline analyse les modèles de pause et de stress lexical dans la parole spontanée non native en anglais. Il est initialement conçu pour le traitement par lots de fichiers audio pour des groupes de locuteurs, mais peut également être utilisé pour l'analyse de la parole spontanée isolée pour un locuteur. Les sorties comprennent un fichier TextGrid pour chaque fichier audio d'entrée, contenant une analyse locale du stress lexical, ainsi que des tableaux CSV détaillant toutes les occurrences de mots polysyllabiques avec des informations sur leur réalisation prosodique.

Outil dédié à la lecture et au traitement de fichiers géographiques WPS et de sorties de modèles de chimie-transport atmosphérique (comme CHIMERE CTM). Il génère automatiquement des cartes de concentration et d'orographie, ainsi que des séries temporelles de concentrations pour des stations prédéfinies. Ce projet facilite l'analyse et la visualisation des données environnementales pour les chercheurs et les acteurs de la qualité de l'air.

Musica.tools est une boîte à outils dédiée à l'extraction et à la visualisation des sorties du modèle MuSICA, principalement utilisé en écologie et sciences de l'environnement. Il permet aux chercheurs et ingénieurs d'analyser des données issues de simulations environnementales, de générer des graphiques adaptés à leurs besoins et de faciliter l'interprétation des résultats pour des publications ou rapports scientifiques.

DiceKriging est un package R dédié à l'inférence bayésienne et à l'optimisation de fonctions coûteuses. Il fournit des méthodes de krigeage pour l'analyse de sensibilité et la prédiction de sorties de modèles informatiques.

Ce projet propose un modèle mécaniste basé sur des agents pour simuler la réponse immunitaire humorale lors d'une inflammation. Il représente la maturation des lymphocytes B dans un ganglion lymphatique, de leur entrée sous forme naïve à leur sortie en tant que plasmocytes. Le modèle intègre des effets stochastiques et permet d'analyser l'impact des paramètres sur la réponse immunitaire.

AdvCondens est un outil scientifique dédié à la modélisation numérique de l'advection de la vapeur d'eau et de la condensation nuageuse. Il permet d'étudier les interactions entre le rapport de mélange de l'eau et les gradients de saturation dans l'atmosphère. Le projet propose des simulations paramétrables pour analyser différents scénarios de condensation et d'advection, avec des sorties adaptées à l'analyse scientifique ou à la visualisation.