Les chercheurs du département consacrent beaucoup d’efforts à la valorisation des résultats en pilotant ou en participant au développement de plates-formes logicielles. Certains logiciels sont directement accessibles sur le Web.



Arithmétique des ordinateurs

• seedgen : un générateur de circuits pour l'approximation de l'inverse et la racine carrée inverse.
  

Bases de données

• BMatch : s’appuie sur une combinaison de mesures terminologiques et d’informations contextuelles pour découvrir des correspondances entre schémas. Il utilise une structure d’indexation B-tree pour réduire l’espace de recherche.
  
• XBenchMatch : un benchmark pour évaluer des outils de découverte de correspondances entre schémas de bases de données. Il est actuellement en cours d’extension pour prendre en compte les outils d’alignement d’ontologies.
  
• MatchPlanner : Outil de découverte de correspondances basé sur un arbre de décision pour combiner les mesures de similarité les plus appropriées pour un domaine donné. L’arbre de décision est appris automatiquement.
  

Bioinformatique

• BIONJ : une amélioration de NJ basée sur un modèle des séquences biologiques
  
• DTscore : un algorithme de distance pour inférer l'histoire évolutive de séquences répétées en tandem
  
• FastME : reconstruction phylogénétique très rapide (et précise) à partir de distances
  
• GAMMA : une méthode de distance pour inférer des phylogénies lorsque les sites évoluent à des vitesses variables
  
• MaM: un algorithme pour manipuler les alignements de séquences.
  
• MPscan : fast localisation of multiple reads in genomes
  
• MS_Align et MS_Align2 : algorithmes de comparaison de minisattelites
  
• PERMUTMATRIX : un envionnement graphique pour analyser et visualiser les données d'expression génique
  
• PhyD*
  
• PhyloBayes
  
• PhyloQuart : un package pour reconstruire des phylogénies depuis des quadruplets de taxa
  
• PhyML : reconstruction phylogénétique rapide et précise par maximum de vraisemblance
  
• PhySIC
  
• PhySIC_IST
  
• PlasmoDraft : Base de données bioinformatique
  
• Plateforme Phylogeny
  
• SDM
  
• STAR : un algorithme pour la détection de séquences répétées
  

Génie Logiciel

• Erca : Plateforme IDM de manipulation de treillis.
  
• GALICIA : Plateforme sourceforge de manipulation de treillis.
  
• GUMM : Un outil qui permet de trouver les correspondances entre les noeuds de deux graphes orientés et étiquetés.
  
• MDweb : Outil de catalogage et de localisation de l'information environnementale.
  
• Minjava: Un outil de rétro-ingénierie de bytecode Java.
  
• MXL : Un langage conçu pour offrir une alternative plus lisible que le XML.
  
• Géomatique, Espace, Territoires et Mobilité
  
• PRM : Un langage de programmation orienté objet et prmc son compilateur.
  
• SCL (Simple Component Language) : Un interpréteur de langages de composants.
  

Intelligence Artificielle

• CoGITaNT : une plate-forme de développement d'applications basée sur les graphes conceptuels.
  
• Cogui : Une interface graphique, écrite en Java, dédiée à la construction de bases de connaissances utilisant le modèle des graphes conceptuels. Une architecture client-serveur permet de communiquer, pour les raisonnements, avec un serveur CoGITaNT.
  
• Conacq : un logiciel d'acquisition de contraintes fondé sur les espaces de version.
  
• Graal : un logiciel d'apprentissage non supervisé à base de treillis de Galois.
  
• MadKit : une plateforme multi-agents construite sur le modèle organisationnel AGR.
  
• Rand_bcsp : un générateur aléatoire uniforme de CSP binaires.
  
• TourSolver : TourSolver est une bibliothèque de résolution du problème d'optimisation de tournées de véhicules basée sur la programmation par
  contraintes.
  
• Warbot : à la fois un jeu et une plate-forme d'évaluation et d'analyse de techniques de coordination entre agents.
  

Interaction Homme-Machine et Hypermédias

• AGORA-GSD : Une plateforme expérimentale destinée au déploiement d’espaces collaboratifs par intégration de services.
  
• EadGen : environement ouvert de génération de ressources pédagogiques sur le web
  
• OPALES : environnement d'indexation sémantique de ressources audiovisuelles
  

Traitement algorithmique du langage

• Jeux de Mots : Accessible gratuitement sur Internet en Français, Anglais, Thai et Japonnais. Dans ce jeu, un terme est présenté au joueur ainsi qu’une consigne relative à ce terme. Pendant une courte période le joueur entre autant de propositions que possible conformément à la consigne. D’autres joueurs vont être confrontés au même terme. Le joueur gagne des crédits lorsque les termes donnés correspondent à ceux des autres joueurs. Une variante du jeu, basée sur des modalités différentes est PtiClic.
  
• SYGMART : Moteur de transformation d’un langage en un autre, moyennant une grammaire de transformation. Il utilise des algorithmes de Markov appliqués à la transformation d’arbres syntaxiques.
  
• SYGFRAN : Analyseur du Français. Utilise le moteur SYGMART pour transformer des phrases du français en leur arbre syntaxique, en constituants (groupes, catégories grammaticales) et dépendances (sujet, compléments, etc.).
  
• TreeCloud : Construit une visualisation en nuage arboré d’un texte, c’est-à-dire un nuage de mots disposés sur un arbre pour refléter leur distance sémantique dans le texte.