Outils, Logiciels, Démonstrations

LIMOS makes available to its researchers various tools and resources.
- A platform HPC (High Performance Computing) with a Slurm scheduler
- A platform of Cloud Computing

The following tools were created and shared by LIMOS researchers.
 
Type Tool Description Authors
library DiceKriging package R « DiceKriging » Olivier ROUSTANT, D. Ginsbourger, Y. Deville
library kergp Package R « kergp » Olivier ROUSTANT, Deville, D. Ginsbourger, N. Durrande
library sensitivity package R « sensitivity » Olivier ROUSTANT, Bertrand Iooss
library lineqGPR Gaussian Processes with Linear Inequality Constraints Andrés Felipe LOPEZ-LOPERA,
library DiceOptim package R « DiceOptim » Olivier ROUSTANT, Picheny, D. Ginsbourger
software MetaExploArrays logiciel parallèle pour la détermination d’oligonucléotides David HILL, Jaziri, et M. Missaoui
software HiSpOD logiciel de détermination de sonde ou d’amorce dans le domaine de l’écologie microbienne David HILL, Jaziri et M. Missaoui
library Générateur MATLAB de maillages Générateur MATLAB de maillages d’éléments finis 2D avec une fonction de densité automatique Jonas KOKO,
library KPDE Bibliothèques de fonctions MATLAB Jonas KOKO,
library KSTOK Functions Matlab Libraries Jonas KOKO,
software Hoare Logic Checkers for Security Proofs We developp two prototypes that implement two Hoare Logic to automatically verify specific cryptographic primitives Pascal LAFOURCADE, Martin Gagné and Yassine Lakhnech
library ETC++ C++ Library for Concept-Based Expression Templates Bruno BACHELET, Loïc YON
library C4TS++ C++ Library for Concept-Based Template Specialization Bruno BACHELET, Antoine MAHUL, Loïc YON
library B++ Library Generic C++ Library for Operations Research and Simulation Bruno BACHELET,
software Build Graph Online Web Application to Generate Graphs or Graph Problems Bruno BACHELET,