81 LOGICIELS
Cubicle
"Cubicle est un vérificateur de modèles open source permettant de vérifier les propriétés de sécurité..."
Voir la fiche
DFTS-P2miner
"Extracteur de motifs séquentiels fréquents groupés (GFS-patterns) les plus fiables à partir de séries..."
Voir la fiche
DispuTool
"DispuTool est un outil basé sur l'intelligence artificielle capable d'analyser les arguments issus des..."
Voir la fiche
DNorm
"DNorm is an automated method for determining which diseases are mentioned in biomedical text, the..."
Voir la fiche
DtmVic
"Logiciel d’analyse exploratoire multidimensionnelle des données numériques, nominales et textuelles...."
Voir la fiche
DyClee
"Dyclee est un algorithme de clustering offrant des capacités remarquables en raison de son aptitude..."
Voir la fiche
EFIDIR-tools
"API développée au cours du projet ANR EFIDIR (https://www.univ-smb.fr/listic/projets-et-partenaires/liste-projets/efidir/)..."
Voir la fiche