lipn

Laboratoire d'Informatique de Paris Nord

UMR 7030, Université Paris 13, 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

up13 cnrs


AlphaGalicia

Le logiciel AlphaGalicia est une extension de la plateforme Galicia, que nous avons développée afin d'implémenter les notions de « projection Alpha » et de « règles Alpha » présentées dans Ventos et Soldano (2005). Dans ce cadre, ce logiciel permet de construire des treillis de Galois projetés par fusion de treillis (Soldano et al., 2010). Il permet en outre la visualisation et l'exploration des ces treillis.
  • Contact : Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
  • Lien vers le projet : http://lipn.univ-paris13.fr/~champesme/alphabetagalicia/
  • Réferences :
    • H. Soldano, V. Ventos, M. Champesme, and D. Forge. Incremental construction of alpha lattices and association rules. In Proc. of the 14th Int. Conf. on Knowledge-Based and Intelligent Information and Engineering Systems (KES 2010), LNCS 6277: 351-360. Springer, 2010.
    • V. Ventos et H. Soldano. Treillis de Galois Alpha. Revue d'intelligence artificielle RSTI série RIA 19(4-5): 799-227, 2005.

Annotator

Annotator est un plugin eclipse permettant d’annoter un texte au regard d’ontologies OWL et d’un thesaurus SKOS. L’annotation consiste à marquer les unités textuelles correspondant à des éléments de l’ontologie (concept, instance). Le thesaurus contient les unités terminologiques associées aux éléments de l’ontologie. Le texte annoté en RDFA peut être visualisé dans un navigateur. L’annotateur est intégré à l’outil SemEx et à la plateforme Terminae.

Cet annotateur a été développé par Abdoulaye Guissé, François Lévy et Sylvie Szulman.



Bibliothèque QCG-OMPI

QCG-OMPI est une bibliothèque de communications pour applications parallèles spécialisée pour les grilles, se concentrant sur la connectivité inter-sites et l'exposition à l'application de la topologie physique sous-jacente.

Concordancier UIMA

Concordancier générique basé sur le langage TextMarker et la plateforme UIMA. Il prend en entrée un texte annoté linguistiquement à l’aide de la plateforme UIMA (fichier .xmi) et un Type System (fichier .xml) contenant la description des types utilisés pour annoter le texte. Il permet d’appliquer une requête saisie par l’utilisateur dans le langage TextMarker sur le corpus d’entrée et d’afficher les concordances trouvées (cible, contextes gauche et droit).

Ce logiciel est développé par Sondes Bannour. Il est actuellement en phase de test. Sa diffusion est prévue début 2013.



    Contribution à parallel.py

    PAR is a PARallel and distributed job crusher. Bag-of-Tasks (BoT) applications are commonly encountered in bioinformatics. They consist of a large number of independent computation-intensive tasks. PAR is a scalable, dynamic, parallel and distributed execution engine for Bag-of-Tasks. PAR is aimed at multi-core architectures and small clusters.

    CosyVerif

    CosyVerif  is a software environment whose goal is the formal specification and verification of dynamic systems.

    It has been designed in order to:

    • support different formalisms with the ability to easily create new ones,
    • provide a graphical interface for every formalism,
    • include verification tools called via the interface as a web service,
    • offer the possibility for a developer to integrate his/her own tool, also allowing it to interact with the other tools.

    This environment consists of two software tools: Coloane, the graphical interface, and Alligator, an integration framework based web services. It is enlarged with the existing verification tools developed in our laboratories (founding members or partners).



    Dafoe

    Dafoe est une plateforme OpenSource d’acquisition d’ontologies à partir de textes. Elle repose sur une méthodologie voisine de Terminae mais avec une autre ambition : la plateforme Dafoe est conçue pour gérer des données volumineuses et un soin particulier a été apporté aux interfaces utilisateur.

    La conception de cette plateforme a été réalisée dans le cadre du projet ANR Dafoe4App. Le LIPN a pris la responsabilité du travail de spécification et a participé aux tâches de test. Le développement de cette plateforme, qui a été confié à une société tierce, n’a pas pu être achevé avant la fin du projet. La poursuite du travail nécessite un investissement de la part des partenaires du projet qu’ils n’ont pas encore pu faire.



      FMR

      ROADEF/EURO Challenge 2012: Machine Reassignment                
       * http://challenge.roadef.org/2012/en/                           
       * Team S26


      • Contact : Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
      • Lien vers le projet : http://www.lipn.univ-paris13.fr/~butelle/s26.tgz
      • Laboratoire d'origine : LIPN

      IMITATOR

      Vérification paramétrée de systèmes temps-réel, modélisés par des automates temporisés paramétrés.

      • Contact : Étienne André
      • Lien vers le projet : http://www.imitator.fr/
      • Laboratoire d'origine : LSV
      • Réferences : Étienne André, Laurent Fribourg, Ulrich Kühne and Romain Soulat. IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. In Dimitra Giannakopoulou and Dominique Méry (eds.), FM’12, LNCS 7436, Springer, pages 33–36, August 2012.

        Étienne André and Romain Soulat. The Inverse Method. ISTE Ltd and John Wiley & Sons Inc. ISBN: 9781848214477. January 2013.

      Intergiciels de grille : BonjourGrid

      BonjourGrid is an example of a middleware to coordinate multiple instances of desktop grids that we are developing in my research group in the context of an international collaboration with Tunisia. A BonjourGrid virtual machine based on Xen for the use with Boinc, Condor and XtremWeb can be downloaded from Sourceforge.

      PastryGrid is another desktop Grid middleware able to execute on the fly task graphs with dependencies as well as bag of tasks. PastryGrid is built on top of Pastry, it scales well and is also fault-tolerant.



      LEAR

      Lear est un système d'apprentissage de concepts relationnels.
       Il apprend un ensemble de règles d'ordre 1 à partir d'exemples ambigus représentés par des théories clausales.
      • Contact : Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
      • Lien vers le projet : http://lipn.univ-paris13.fr/~bouthinon/softwares/lear/lear.html
      • Réferences :
        • D. Bouthinon, H. Soldano, and V. Ventos. Concept learning from (very) ambiguous examples. In Proc. of the 6th Int. Conf. on Machine Learning and Data Mining in Pattern Recognition (MLDM 2009), LNCS 5632: 465-478. Springer, 2009.

      LIPN UIMA Platform

      Plateforme d’annotation développée en utilisant le framework de développement Apache-UIMA. Cette plateforme repose sur un système de types générique qui met l’accent sur la nature des annotations à représenter (segmentation, étiquette, relation...) et qui supporte les annotations conflictuelles.

      Actuellement, cette plateforme contient des composants permettant d’encapsuler les outils suivants : TagEN, TreeTagger, LIA tools et YaTeA. Elle est développée par Erwan Moreau et Laurent Audibert dans le cadre du programme Quaero.



        Modeleur et solveur SDP SDP_S

        SDP_S is a stand-alone program which formulates mechanically and solves semidefinite relaxations for any 0-1 quadratic problem. It runs on Linux and other unix like systems. It uses a modified version of the Spectral Bundle method written by C. Helmberg to solve the semidefinite programs.

        POSH (Paris OpenSHMEM)

        POSH (Paris OpenSHMEM) is an open-source implementation of the OpenSHMEM specification.

        It was released under the GPLv3 library.

        RDOS

        RDOS est un ensemble d'outils pour la génération aléatoire d'objets combinatoires, qui réunit des méthodes récentes issues de différents auteurs.
        RDOS regroupe des algorithmes de génération aléatoire pour de nombreux objets combinatoires tels que les séquences, les arbres, les automates, les permutations...
        Les algorithmes sous-jacents se fondent sur des avancées récentes en génération aléatoire, dont certaines ont été appuyées par le projet ANR MAGNUM.
        • Contact : Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
        • Lien vers le projet : https://lipn.univ-paris13.fr/rdos/
        • Laboratoire d'origine : LIPN LIX

        SCHUR

        Schur is a stand alone C program for interactively calculating properties of Lie groups and symmetric functions...

        • Contact : Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
        • Lien vers le projet : http://schur.sourceforge.net/
        • Laboratoire d'origine : LIPN

        SemEx

        SemEx est une plateforme d’aide à la construction et à l’exploration d’un modèle métier à partir de textes réglementaires et procéduraux. SemEx repose sur les standards du W3C (SKOS, RDF, RDFa, SPARQL) et s’appuie sur le moteur sémantique CORESE 3.



        Solveur BiqCrunch

        BiqCrunch permet de résoudre tout problème quadratique en variables 0-1. Ce solveur utilise les nouvelles bornes semidéfinies présentées dans http://hal.archives-ouvertes.fr/hal-00662367.
         
        Le site web BiqCrunch http://www-lipn.univ-paris13.fr/BiqCrunch/ propose un solveur online avec des versions spécifiques pour plusieurs problèmes combinatoires : max-cut, k-cluster, programme quadratique quelconque en 0-1.

        Terminae

        Terminae est une plateforme d’aide à la construction de ressources termino-ontologiques à partir de sources textuelles. Elle met en œuvre la méthodologie Terminae qui guide l’ingénieur de la connaissance dans le travail de construction d’une ontologie. Elle s’appuie sur un niveau termino-conceptuel intermédiaire pour permettre le passage du texte et des connaissances terminologiques qui en sont extraites au niveau conceptuel (l’ontologie). Cette plateforme permet de visualiser les résultats d’outils de traitement automatique des langues (des extracteurs de termes et des outils de reconnaissance d’entités nommées, notamment) et de les utiliser pour construire des ressources termino-ontologiques (terminologies, thésaurus, ontologies) où les éléments conceptuels disposent d’un ancrage linguistique.

        La plateforme est réalisée par une application Eclipse. Elle supporte l’import/export en SKOS et en OWL. Dans la version actuelle, le niveau conceptuel est réalisé par le plugin Neon Toolkit 2.4. Les versions disponibles permettent de travailler à partir de textes français et anglais. Terminae est développé par Sylvie Szulman.



        Termometer

        Termometer est un utilitaire permettant d’évaluer une liste de termes au regard d’une référence. La mesure de distance terminologique sur laquelle il repose permet de tenir compte de l’aspect graduel de la pertinence terminologique dans l’évaluation des sorties d’extracteur de termes.

        Termometer a été développé par Thibault Mondary et Jonathan van Puymbrouck dans le cadre du programme Quaero où il est utilisé dans des campagnes d’évaluation. Cet utilitaire est disponible sur SourceForge, sous licence GPLv3.



        Terrier SIR

        Terrier SIR est une plateforme OpenSource qui enrichit la plateforme de recherche d’information Terrier IR de fonctionnalités sémantiques modulaires. Elle favorise aussi bien l’implémentation et le test de méthodes de recherche d’informations sémantique que leurs éventuelles mises à jour ou adaptations.

        La plateforme est développée par Ines Bannour dans le cadre du projet Legilocal. Elle est en phase de test et sa diffusion est prévue fin 2012.



          ValiTerms

          ValiTerms est un outil qui a pour objectif de faciliter la validation d’une liste de termes. ValiTerms propose une interface web qui prend en compte un corpus étiqueté morpho-syntaxiquement et une liste de termes. À l’aide de cette interface, l’expert est en mesure d’analyser rapidement les termes dans leur contexte (la phrase) et de décider de leur validité. La gestion de session permet de reprendre un travail en cours et de stocker les résultats à toutes les étapes du travail.

          ValiTerms est développé par Thibault Mondary dans le cadre du programme Quaero. Il est utilisé par des experts de l’INIST pour l’enrichissement de thesaurus et durant la phase d’adjudication des campagnes d’évaluation. Cet outil est disponible sur SourceForge, sous licence GPLv3.



          YaTeA (Yet another Term extrActor)

          YaTeA identifie et extrait des groupes nominaux pou- vant être des termes, i.e. des termes candidats. Chaque terme candidat est analysé syntaxiquement pour faire apparaître sa structure sous la forme de relations tête-modifieur. L’extraction de termes candidats repose sur une stratégie hybride par laquelle l’extraction à partir de patrons syntaxiques construits manuellement peut être guidée et corrigée à l’aide de ressources terminologiques existantes (désambiguïsation exogène). Ces termes attestés aident au repérage des groupes, à leur analyse syntaxique et participent également à l’extraction des termes candidats.

          YaTeA, qui a été développé par Thierry Hamon et Sophie Aubin, est disponible sous licence GPL sous la forme d’un module CPAN.


          pres

          w3c-xhtml