Lifo - Laboratoire d'Informatique Fondamentale d'orléans Université d'Orléans université d'Orléans ENSI Bourges ENSI Bourges

Lifo > Logiciels développés au LIFO

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



Logiciels développés au LIFO

3D4J

3D4J est une librairie java permettant de visualiser des objets dans un espace 3D.
http://www.univ-orleans.fr/lifo/software/3D4J/

Agape

La librairie Agape est une implémentation Java open source d'algorithmes de graphes exponentiels ou paramétrés de la littérature et développés pendant l'ANR Agape project.
https://traclifo.univ-orleans.fr/Agape/

BoolLoader

Approche booléenne pour le chargement des bases de transactions et évaluation de leurs densités. Auteurs: Zahir Maazouzi, Ansaf Salleb et Christel Vrain.

BoolMiner

Recherche de motifs fréquents maximaux fondée sur les diagrammes de décision binaires. Auteurs: Zahir Maazouzi, Ansaf Salleb et Chritel Vrain.

Bulk Synchronous Parallel ML (BSML)

La bibliothèque BSML est une bibliothèque pour le langage Objective Caml pour la programmation d'algorithmes parallèles BSP (Bulk Synchronous Parallelism) en mode direct.
http://traclifo.univ-orleans.fr/BSML/

Explorer-3D

Explorer-3D est un outil de visualisation en cours de développement au sein de l'équipe Contraintes et Apprentissage. Explorer-3D utilise une représentation tridimensionnelle pour la visualisation et le paramétrage de mesures de distance (ou de dissimilarité). Auteurs : Lionel Martin et Matthieu Exbrayat.
http://www.univ-orleans.fr/lifo/software/Explorer3D/

MLNLibs

Apprentissage de réseaux logiques de Markov (algorithmes proposés durant la thèse de T.Q. Dinh et implantés au dessus de Alchemy).
http://www.univ-orleans.fr/lifo/software/MLNLibs/

Near-factorizations finder

Logiciel de recherche des quasi-factorisations des groupes finis, ou autrement dit, des graphes de Cayley partitionnables.

QeCode

Le projet QeCode a pour objectif de fournir un solveur de contraintes quantifiées construit au dessus de Gecode.
http://www.univ-orleans.fr/lifo/software/qecode/QeCode.html

QuantMiner

A Data Mining tool for mining Quantitative Association Rules Authors: Ansaf Salleb-Aouissi, Christel Vrain, Cyril Nortet, Xiangrong Kong, Vivek Rathod, and Daniel Cassard. Institutions: CCLS Columbia University (USA), LIFO University of Orléans (France), BRGM (France) Référence : QuantMiner for Mining Quantitative Association Rules. A. Salleb-Aouissi, C. Vrain, C. Nortet, X. Kong, V. Rathod, D. Cassard JMLR Journal of Machine Learning Research, Open Source Software
http://quantminer.github.io/QuantMiner/

Scalable High Performance Virtual Reality

Net Juggler : a single image VR juggler cluster We developped Net Juggler, a software laying on top of VR Juggler. Net Juggler turns a cluster where each node supports VR Juggler into a single VR Juggler image machine. In other words, from the user's point of view it (almost) does not make any difference to run a VR Juggler application on a cluster, a single PC or a SGI Onyx (from the operational point of view and not from the performance point of view).
http://netjuggler.sourceforge.net/

SIGMiner

SIGMiner est une application d'aide à l'extraction de règles caractéristiques dans les bases de données possédant des relations de distances entre objets telles que les SIGs. Auteurs: David Cossard supervisé par Ansaf Salleb (LIFO), Christel Vrain (LIFO) et Daniel Cassard (BRGM). Rq: SIGMiner et QuantMiner font partie du projet GEMS (Global Environmental and Metallogenic Synthesis) au BRGM, service REM (ressources minérales), unité VADO (traitement et valorisation des données), dans la cadre d'un travail en collaboration avec le LIFO.

SyDPaCC

Systematic Development of Program for Parallel and Cloud Computing est un ensemble de bibliothèques pour aider à écrire en Coq des preuves dans le style BMF (Bird-Meertens Formalism) et dériver des programmes BSML depuis des spécifications. Ces bibliothèques sont développées en collaboration avec des collègues de l'Université Paris-Est, du Kyushu Institute of Technology et du National Institute of Informatics au Japon.
http://traclifo.univ-orleans.fr/SyDPaCC

TAJA/TTSLI

TAJA (Tree Automata in JAva) est un outil graphique qui permet d'effectuer les principales opérations sur les automates finis de nuplets d'arbres. TTSLI (Tree Tuple Synchronised Languages Implementation) est un outil non graphique qui permet de manipuler les grammaires de langages synchronisés d'arbres.
http://www.univ-orleans.fr/lifo/Members/rety/logiciels/taja.php

Timbuk

Timbuk is a collection of tools for achieving proofs of reachability over Term Rewriting Systems and for manipulating Tree Automata (bottom-up non-deterministic finite tree automata). Yohan Boichut participates to its development with the Inria team Celtique.
http://www.irisa.fr/celtique/genet/timbuk/

Vitamins

Vitamins (Visual and In Situ Analytics for Molecular Interactive Simulation) est un framework dédié à la construction d'applications modulaires pour l'analyse et la visualisation interactive d'une dynamique moléculaire en post traitement ou au cours d'une simulation. Vitamins est développé dans le cadre du projet ANR ExaviZ avec l'ensemble des partenaires.
http://vitamins.gforge.inria.fr

XMG

XMG (eXtensible MetaGrammar) est un compilateur visant à faciliter le développement de ressources linguistiques de grande taille.
https://launchpad.net/xmg

XMLCorrector

XMLCORRECTOR est l’implantation d’un algorithme permettant la correction d’un document XML par rapport à un schéma exprimé sous la forme d’une DTD. Ce logiciel est développé en collaboration avec le LI de Tours et est distribué sous licence LGPL.
http://www.info.univ-tours.fr/~savary/English/xmlcorrector.html