DyClee
Dyclee est un algorithme de clustering offrant des capacités remarquables en raison de son aptitude...
Voir la ficheEFIDIR-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 ficheEZCAT: an easy conversation...
Cet outil d'annotation en ligne a d'abord été entièrement dédié à la campagne d'annotation réalisée...
Voir la ficheFaust
Faust (Functional Audio Stream) permet de concevoir de manière simple des synthétiseurs et des effets...
Voir la ficheFeel
Lexique français sur les émotions contenant plus de 14 000 mots distincts exprimant des émotions et...
Voir la ficheFlocq
Flocq (Floats for Coq) est une formalisation de l'arithmétique à virgule flottante pour le système Coq....
Voir la ficheGAMA
Plate-forme de simulation, qui vise à fournir aux experts de terrain, aux modélisateurs et aux informaticiens...
Voir la ficheGanetto
Logiciel permettant diverses tâches liées à la structure communautaire des réseaux complexes : détection...
Voir la ficheGappa
Gappa est destiné à aider, à vérifier et à prouver formellement des propriétés sur des programmes numériques...
Voir la fiche