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
