Informatics department researchers devote significant effort to adding value and promoting results by leading and participating in software platform development projects. These software applications are directly accessible on the Web.



Computer arithmetic

• seedgen: Circuit generator for inverse and inverse square root approximation.
  

Databases

• BMatch: Leverages a combination of terminology and contextual information measurements to discover correspondences between diagrams (schemas). BMatch uses a B-tree indexing structure to reduce research space.
  
• XBenchMatch: Benchmark to evaluate tools for discovering correspondences between diagrams (schemas) and databases. This application is currently being extended to take ontology alignment tools into account.
  
• MatchPlanner: Tool for discovering correspondences, based on a decision tree, to combine the most appropriate similarity measurements for a given field. The decision tree is learned automatically.
  

Bioinformatics

• BIONJ: Improvement of NJ, based on a biological sequencing model.
  
• DTscore: Distance algorithms to infer the evolutionary history of sequences repeated in tandem.
  
• FastME: Ultra-fast and precise phylogenetic reconstruction based on distances.
  
• GAMMA: Distance method to infer phylogenies when sites evolve at variable speeds.
  
• MaM: Algorithm for manipulating sequence alignments.
  
• MPscan: Fast localization of multiple reads in genomes.
  
• MS_Align et MS_Align2: Mini-satellite comparison algorithms.
  
• PERMUTMATRIX: Graphical environment for analyzing and viewing gene expression data.
  
• PhyD*
  
• PhyloBayes
  
• PhyloQuart: Package for reconstructing phylogenies from taxa quadruplets.
  
• PHYML: Rapid and precise phylogenetic reconstruction based on maximum likelihood.
  
• PhySIC
  
• PhySIC_IST
  
• PlasmoDraft: Bioinformatics database.
  
• Plateforme Phylogeny
  
• SDM
  
• STAR: Algorithm for detecting repeated sequences.
  

Software engineering

• Erca: IDM platform for lattice manipulation.
  
• GALICIA : Sourceforge platform for lattice manipulation.
  
• GUMM: Tool for finding correspondences between nodes on two oriented and labeled graphs.
  
• MDweb: Tool for cataloging and localizing environmental information.
  
• Minjava: Tool for reverse engineering Java byte code.
  
• MXL: Language designed to offer a more readable alternative to XML.
  
• Geopmatics, Space, Territories and Mobility
  
• PRM: Object-oriented programming language and prmc compiler.
  
• SCL (Simple Component Language): Component language interpreter.
  

Artificial intelligence

• CoGITaNT: Application development platform based on conceptual graphs.
  
• Cogui: Graphical interface written in Java, dedicated to building knowledge databases using the conceptual graph model. Client-server architecture enabling communication with CoGITaNT server for reasoning.
  
• Conacq: Constraint acquisition software based on version spaces.
  
• Graal: Unsupervised learning software based on Galois lattice.
  
• MadKit: Multi-agent platform built on the AGR organizational model.
  
• Rand_bcsp: Uniform random generator of binary CSPs.
  
• TourSolver: TourSolver is a resolution library for the problem of resolving vehicle route optimization using constraint-based programming.
  
• Warbot: Both a game and a platform for evaluating and analyzing inter-agent coordination techniques.
  

Human-Machine Interaction and Hypermedia

• DAGORA-GSD: Experimental platform designed to deploy collaborative spaces by integrating value-added services.
  
• EadGen: Open pedagogical resource generation environment on the Web.
  
• OPALES: Semantic indexing environment for audiovisual resources.
  

Algorithmic language processing

• Jeux de Mots: Freely accessible on the Internet in French, English, Thai and Japanese. In the game, a term is presented to a player along with instructions related to that term. The player has a short period of time to enter as many proposals as possible while respecting the instructions. Other players are confronted with the same term. The player earns points when the given terms correspond to those provided by the other players. PtiClic is a variation of the game based on different rules.
  
• SYGMART: Engine for transforming one language into another using transformation grammar. SYGMART uses Markov algorithms applied to syntax tree transformation.
  
• SYGFRAN: French language analyzer. Uses the SYGMART engine to transform French sentences into the syntax tree, constituents (groups, grammatical categories) and dependencies (subject, complements, etc.).
  
• TreeCloud: Builds a hierarchical cloud view of a given text, that is, a cloud of words displayed in tree-form in order to reflect the words’ semantic distance within the text.