81 logiciels
Laboratoires
Licences
Langages de programmation
Données d'entrée
Données de sortie

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

Excellence

Application d'intelligence Artificielle

Voir la fiche

EZCAT: 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 fiche

Faust

Faust (Functional Audio Stream) permet de concevoir de manière simple des synthétiseurs et des effets...

Voir la fiche

Feel

LIRMM

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

GALACTIC

Galois Lattices, Concept Theory, Implicational Systems and Closures

Voir la fiche

Galpy

Galpy est un package Python pour la dynamique galactique.

Python
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

LIA

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