80 LOGICIELS
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
EZCAT: an easy conversation annotation tool
"Cet outil d'annotation en ligne a d'abord été entièrement dédié à la campagne d'annotation réalisée..."
Voir la fiche
Faust
"Faust (Functional Audio Stream) permet de concevoir de manière simple des synthétiseurs et des effets..."
Voir la fiche
Feel
"Lexique français sur les émotions contenant plus de 14 000 mots distincts exprimant des émotions et..."
Voir la fiche
Flocq
"Flocq (Floats for Coq) est une formalisation de l'arithmétique à virgule flottante pour le système Coq...."
Voir la fiche
GAMA
"Plate-forme de simulation, qui vise à fournir aux experts de terrain, aux modélisateurs et aux informaticiens..."
Voir la fiche
Ganetto
"Logiciel permettant diverses tâches liées à la structure communautaire des réseaux complexes : détection..."
Voir la fiche
Gappa
"Gappa est destiné à aider, à vérifier et à prouver formellement des propriétés sur des programmes numériques..."
Voir la fiche
GéoTaxi
"Simulation de parcours, itinéraires de véhicules et de les optimiser en termes de temps, coûts et impacts..."
Voir la fiche