LIFO - Bâtiment IIIA
Rue Léonard de Vinci
F-45067 ORLEANS Cedex 2
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37
3D4J is a java librairy that allows a 3D spatial placement of objects.
The Agape library is an open source Java implementation of
exponential or parametrized graph algorithms of the
literature and developed during the French ANRAgape.
A Boolean-based approach to load and evaluate sparseness of transaction datasets. Auteurs: Zahir Maazouzi, Ansaf Salleb and Christel Vrain.
Discovery of maximal frequent itemsets relying on Binary Decision Diagrams. Authors: Zahir Maazouzi, Ansaf Salleb and Chritel Vrain.
BSML is an Obective Caml library for direct-mode BSP (Bulk Synchronous Parallelism) programming.
Explorer-3D is a vizualization tool under development within the Contraint and Learning Project. Explorer-3D aims at using a 3-D space to vizualize and parameterize distances (or dissimilarities). Authors : Lionel Martin and Matthieu Exbrayat.
TAJA (Tree Automata in JAva) is a graphical tool that allows main operations on finites automatas of tree tuples.
TTSLI (Tree Tuple Synchronised Languages Implementation) is a non-graphical tool for manipulating tree synchronized language grammars.
BNAI analyzer allows verification/diagnostics for acceptable interference property (non-deterministic of bisimulation) between private and public chanels for a communication protocol specified within a process algebra.
MSPML is a library for scalable computing with Objective Caml. If follows the MPM model of parallel programming.
This software searches finite groups quasi-factorization, i.e. partitionable Cayley graphs.
"Program Calculation In Coq" is a Coq library to write Bird-Merteens style proof.
The QeCode project aims at building a comprehensive, extensible and open-source quantified constraint solver on top of Gecode.
Mining Quantitative Association Rules using a Genetic algorithm (Collaboration with BRGM). Authors: Cyril Nortet supervised by Ansaf Salleb (LIFO) and Daniel Cassard(BRGM).
"SDPP" is a Coq library containing the theory of an algorithmic skeleton called BH together with results concerning deriving of correct-by-building parallel functional programs.
Learning Characteristic Rules in Geographic Information Systems. Authors: David Cossard supervised by Ansaf Salleb (LIFO), Christel Vrain (LIFO) and Daniel Cassard (BRGM).