ScaSearch est une bibliothèque open source développée en Scala qui implémente des algorithmes avancés de résolution de problèmes inspirés de l'intelligence artificielle. Elle permet de modéliser et résoudre des défis complexes comme les puzzles, les jeux de stratégie ou les problèmes de satisfaction de contraintes. Basée sur des principes théoriques modernes, elle offre des outils pour automatiser la prise de décision et l'optimisation dans divers domaines techniques et scientifiques.

Ce projet accompagne une publication scientifique visant à développer un cadre de travail pour résoudre des problèmes inverses en biologie. Il utilise des données de capteurs de phéromones pour détecter la présence d'insectes ravageurs dans les cultures. Le code permet de simuler la propagation des phéromones, d'optimiser la localisation des sources d'émission et de générer des cartes de présence d'insectes. Les résultats sont présentés sous forme de figures et de données exploitables pour la recherche agronomique.

LibPFASST est une bibliothèque logicielle dédiée à la résolution de problèmes mathématiques complexes, notamment les équations différentielles partielles. Elle permet de simuler des systèmes physiques ou chimiques en utilisant des méthodes numériques avancées comme les méthodes de décomposition de domaine. Utilisée dans des environnements de calcul intensif, elle optimise les performances des simulations pour des applications scientifiques ou industrielles.

Projet académique dédié à la simulation numérique de phénomènes physiques complexes, notamment les écoulements de fluides, en exploitant les capacités de calcul des GPU. Il permet aux chercheurs et ingénieurs de modéliser des problèmes scientifiques avec une précision élevée et des performances optimisées, facilitant ainsi l'analyse et la compréhension de systèmes dynamiques dans divers domaines comme la mécanique des fluides ou la physique des plasmas.

Ce projet est un wrapper PID pour la bibliothèque LAPACK, spécialisée dans la résolution de problèmes d'algèbre linéaire. Il fournit des routines optimisées pour des calculs scientifiques avancés, principalement utilisés dans les domaines de la recherche et de l'ingénierie. Le wrapper facilite l'intégration et l'utilisation de LAPACK dans des environnements de développement modernes.

Ce projet fournit un conteneur CentOS-7 préconfiguré avec Miniconda et CUDA 9.2 pour accélérer les calculs GPU sur des nœuds dédiés (K80, M40, P100). Il permet d'exécuter des applications scientifiques ou d'apprentissage profond sans problème de compatibilité kernel. Utilisable sur des infrastructures HPC comme TARS, il facilite le déploiement et l'optimisation des ressources pour des tâches intensives en calcul.

Mimosa est un outil dédié à l'optimisation de signaux épars et à la résolution de problèmes de moindres carrés sous contraintes de parcimonie. Il implémente des algorithmes avancés de Branch and Bound pour trouver des solutions optimales, ainsi que des méthodes de screening (comme GapSafe) pour accélérer les calculs. Le projet s'appuie sur des techniques publiées dans des articles scientifiques pour traiter des formulations variées (P2/0, P0/2, P2+0) et propose des comparaisons avec des solveurs comme CPLEX.

Ce projet vise à reproduire et analyser des expériences scientifiques sur des heuristiques dédiées à la résolution du problème P||Cmax, un problème classique d'ordonnancement industriel. Il implémente et compare plusieurs algorithmes heuristiques (BPLS, BBLS, LPT, SLACK, etc.) pour optimiser l'ordonnancement de tâches sur des machines parallèles. Les résultats sont visualisés sous forme de graphiques et de tableaux pour évaluer l'efficacité des méthodes proposées.

Meteor HPC est une bibliothèque dédiée à la simulation numérique haute performance pour résoudre des problèmes physiques complexes. Elle permet de modéliser des flux, des conditions aux limites et des erreurs numériques dans des environnements périodiques ou non. Utilisée en recherche scientifique, elle facilite l'analyse de schémas numériques et l'optimisation de méthodes de calcul pour des applications en physique, ingénierie ou mathématiques appliquées.

Projet dédié à la simulation et à l'analyse des comportements des fluides dans divers contextes industriels ou scientifiques. Permet de modéliser des écoulements, des transferts de chaleur ou des interactions fluide-structure pour résoudre des problèmes complexes en mécanique des fluides. Utilisé pour la recherche, l'ingénierie ou l'optimisation de processus.