lipn

Laboratoire d'Informatique de Paris Nord

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

up13 cnrs

Offres de stage

Voici la liste des stages proposés au LIPN :

  • Représentation barycentrique pour l’apprentissage non supervisé
    Description : PDF
    L’objectif de ce stage sera de développer une représentation des données basées sur le système de coordonnées barycentrique. L’objectif sera de transformer les mesures de similarité entre les données et un ensemble de représentants en des coordonnées vectorielles dans espace de représentation formellement défini, ce qui permettra en particulier de construire des barycentres de données et de calculer des similarités entre ces barycentres et les données, ouvrant la voie à des algorithmes à base de prototypes pour données non vectorielles (K-means, SOM, etc.).
    Durée : 2 mois
    Dates : du 20/04/2017 au 19/06/2017
    Encadrant : MATEI Basarab

  • Construction d’une interface utilisateur pour un service web de “automated sentence similarity”.
    Description :
    Il s'agit de la construction d’une interface utilisateur pour un service web de "automated sentence similarity" (calcul automatique de la similarité entre phrases). Le service permettra d'utiliser des techniques avancées d’intelligence artificielle, soi de manière programmatique (RESTful), soi come une application web.
    Durée : 1 mois
    Dates : du 15/06/2017 au 14/07/2017
    Encadrant : GANGEMI Aldo

  • Visualization et annotation sémantiques complexes par l'outil BRAT.
    Description :
    Il s'agit d'un projet qui va réutiliser l'outil open source BRAT pour visualiser annotations sémantiques complexes (relations, types multiples, etc.) du texte. L'application sera sur le big data de Framester, una grande base des connaissances utilisée pour annoter automatiquement le texte avec cadres conceptuels.
    Durée : 2 mois
    Dates : du 01/06/2017 au 31/07/2017
    Encadrant : GANGEMI Aldo

Anciens stages proposés

  • Creative telescoping et fonctions holonomes
    Durée : 15 jours
    Dates : du 01/07/2014 au 16/07/2014
    Encadrant : BODINI Olivier

  • Génération aléatoire d'arbres croissants
    Durée : 1 mois
    Dates : du 23/06/2014 au 23/07/2014
    Encadrant : BODINI Olivier

  • Programmation de robots, quels paradigmes ? Travail exploratoire autour d'un robot autonome
    Durée : 2 mois
    Dates : du 04/06/2014 au 04/08/2014
    Encadrant : BOUDES Pierre

  • Etude de la mise en place d'un entrepot de données
    Durée : 3 mois
    Dates : du 15/05/2014 au 15/08/2014
    Encadrant : FORTIER Michael

  • Optimisation d'une routine de communication collective pour POSH
    Durée : 3 mois
    Dates : du 01/07/2014 au 01/10/2014
    Encadrant : COTI Camille

  • Utilisation d'une bibliothèque de communications à hautes performances pour POSH
    Durée : 3 mois
    Dates : du 01/07/2014 au 01/10/2014
    Encadrant : COTI Camille

  • Formalism and model repository in CosyVerif
    Durée : 5 mois
    Dates : du 05/05/2014 au 05/10/2014
    Encadrant : PETRUCCI Laure

  • Vérification formelle d'un protocole de routage distribué pour réseaux de capteurs sans fil à large échelle
    Durée : 6 mois
    Dates : du 21/04/2014 au 21/10/2014
    Encadrant : PETRUCCI Laure

  • Vérification distribuée de systèmes temps-réel
    Durée : 6 mois
    Dates : du 01/05/2014 au 01/11/2014
    Encadrant : ANDRE Etienne

  • Essai de dépôt de stage
    Durée : 7 jours
    Dates : du 23/12/2014 au 30/12/2014
    Encadrant : PETRUCCI Laure

  • Visualisation de graphe de voisinage : étude et implémentation
    Durée : 4 mois
    Dates : du 01/02/2015 au 01/06/2015
    Encadrant : AZZAG Hanene

  • Sécurité niveau 2
    Durée : 3 mois
    Dates : du 13/04/2015 au 19/06/2015
    Encadrant : FORTIER Michael

  • Réseaux de neurones récursifs pour l'analyse en dépendances "Easy-First"
    Durée : 1 mois
    Dates : du 25/05/2015 au 25/06/2015
    Encadrant : TOMEH Nadi

  • Minimisation énergétique dans le cloud - parallélisation de code
    Durée : 5 mois
    Dates : du 01/02/2015 au 01/07/2015
    Encadrant : CéRIN Christophe

  • L'intersection des automates d'arbres multiples
    Durée : 2 mois
    Dates : du 25/05/2015 au 25/07/2015
    Encadrant : DAVID Julien

  • Vérification distribuée de systèmes temps-réel
    Durée : 6 mois
    Dates : du 01/02/2015 au 01/08/2015
    Encadrant : ANDRE Etienne

  • Vérification Modulaire de propriétés LTL sur les réseaux de Petri
    Durée : 6 mois
    Dates : du 01/02/2015 au 01/08/2015
    Encadrant : KLAI Kais

  • Visioconference
    Durée : 3 mois
    Dates : du 01/05/2015 au 01/08/2015
    Encadrant : FORTIER Michael

  • Développement d'un outil d'extraction dans les textes biomédicaux
    Durée : 1 mois
    Dates : du 03/07/2015 au 03/08/2015
    Encadrant : CHARNOIS Thierry

  • Réseaux de neurones récursifs pour l'analyse en dépendances "Easy-First"
    Durée : 3 mois
    Dates : du 18/05/2015 au 18/08/2015
    Encadrant : TOMEH Nadi

  • Modèles de mélanges et visualisation de données massives
    Durée : 6 mois
    Dates : du 01/03/2015 au 01/09/2015
    Encadrant : AZZAG Hanene

  • Vérification formelle de systèmes concurrents à l'aide de dépliages partiellement observables
    Durée : 6 mois
    Dates : du 01/03/2015 au 01/09/2015
    Encadrant : RODRIGUEZ Cesar

  • Caractérisation des genres discursifs par la méthode des motifs séquentiels
    Durée : 6 mois
    Dates : du 01/03/2015 au 01/09/2015
    Encadrant : CHARNOIS Thierry

  • Formalisation et preuve en Coq de la préservation de la normalisation forte pour le calcul de substitutions linéaires (suite)
    Durée : 3 mois
    Dates : du 01/06/2015 au 01/09/2015
    Encadrant : MAYERO Micaela

  • Développement d'une application de déploiement
    Durée : 3 mois
    Dates : du 01/06/2015 au 01/09/2015
    Encadrant : PETRUCCI Laure

  • Generic Collaborative Web Client and Editor
    Durée : 5 mois
    Dates : du 10/04/2015 au 10/09/2015
    Encadrant : PETRUCCI Laure

  • Emplois du temps CalDav sur serveurs immutables
    Durée : 2 mois
    Dates : du 10/07/2015 au 10/09/2015
    Encadrant : BOUDES Pierre

  • Extension d'un outil de Vérification de Procédés Inter-entreprises et son Intégration à la plateforme de CosyVerif
    Durée : 6 mois
    Dates : du 15/03/2015 au 15/09/2015
    Encadrant : KLAI Kais

  • GÉNÉRATION ALÉATOIRE UNIFORME EFFICACE DE TRÈS GRANDS ARBRES CROISSANTS
    Durée : 6 mois
    Dates : du 15/03/2015 au 15/09/2015
    Encadrant : BODINI Olivier

  • ALGORITHMES PROBABILISTES POUR LA FOUILLE QUANTITATIVE DE GRANDES  MASSES DE DONNÉES
    Durée : 6 mois
    Dates : du 16/03/2015 au 16/09/2015
    Encadrant : BODINI Olivier

  • Travaux de mise au point d'un gestionnaire de corpus en ligne
    Durée : 4 mois
    Dates : du 19/05/2015 au 19/09/2015
    Encadrant : CARTIER Emmanuel

  • Clustering incrémental pour données évolutives
    Durée : 4 mois
    Dates : du 29/05/2015 au 29/09/2015
    Encadrant : CABANES Guénaël

  • Travaux de linguistique et linguistique informatique dans le cadre du projet Neoveille
    Durée : 4 mois
    Dates : du 02/06/2015 au 30/09/2015
    Encadrant : CARTIER Emmanuel

  • Sélection d'ensemble pour la détection de communautés dans les réseaux complexes
    Durée : 6 mois
    Dates : du 01/04/2015 au 01/10/2015
    Encadrant : KANAWATI Rushed

  • Portail Etamine
    Durée : 6 mois
    Dates : du 01/04/2015 au 01/10/2015
    Encadrant : FORTIER Michael

  • Programmation et modélisation d'économies monétaires complexes
    Durée : 6 mois
    Dates : du 01/04/2015 au 01/10/2015
    Encadrant : BOUDES Pierre

  • Modélisation et vérification de contrats 4D
    Durée : 4 mois
    Dates : du 04/06/2015 au 04/10/2015
    Encadrant : CHOPPY Christine

  • Apprentissage non Supervisé pour l'Analyse de Séquences. Application aux données ADN
    Durée : 2 mois
    Dates : du 11/04/2016 au 11/06/2016
    Encadrant : CABANES Guénaël

  • Etamine - portage sous BSD
    Durée : 2 mois
    Dates : du 11/04/2016 au 18/06/2016
    Encadrant : FORTIER Michael

  • Multiport Interaction Nets and Event Structures
    Durée : 3 mois
    Dates : du 18/04/2016 au 18/07/2016
    Encadrant : MAZZA Damiano

  • pdf2txt++
    Durée : 3 mois
    Dates : du 18/04/2016 au 18/07/2016
    Encadrant : ZARGAYOUNA Haïfa

  • solR++
    Durée : 3 mois
    Dates : du 18/04/2016 au 18/07/2016
    Encadrant : ZARGAYOUNA Haïfa

  • Dual de quelques algèbres de Hopf combinatoires
    Durée : 2 mois
    Dates : du 17/05/2016 au 21/07/2016
    Encadrant : DUCHAMP Gérard

  • Plateforme d’accès sémantique en philosophie
    Durée : 4 mois
    Dates : du 01/04/2016 au 01/08/2016
    Encadrant : ZARGAYOUNA Haïfa

  • Etude expérimentale sur la rationalité des automates à pile
    Durée : 2 mois
    Dates : du 01/06/2016 au 01/08/2016
    Encadrant : DAVID Julien

  • Outil support de la hiérarchie dans les machines à états
    Durée : 2 mois
    Dates : du 01/06/2016 au 01/08/2016
    Encadrant : CHOPPY Christine

  • Régularisation de structures pour l’apprentissage supervisé structuré
    Durée : 2 mois
    Dates : du 01/06/2016 au 01/08/2016
    Encadrant : TOMEH Nadi

  • Formalismes dans la plateforme CosyVerif
    Durée : 2 mois
    Dates : du 01/06/2016 au 01/08/2016
    Encadrant : LEPRIEUR Hugues

  • Impl´ementation et comparaison d’algorithmes d’apprentissage automatique pour la d´ecouverte de connaissances biologiques
    Durée : 3 mois
    Dates : du 02/05/2016 au 02/08/2016
    Encadrant : COUTANT Anthony

  • Apprentissage profond pour la robotique
    Durée : 3 mois
    Dates : du 04/05/2016 au 04/08/2016
    Encadrant : GUéRIF Sébastien

  • Annotation de relations sémantiques 1
    Durée : 3 mois
    Dates : du 17/05/2016 au 17/08/2016
    Encadrant : GABOR Kata

  • Annotation de relations sémantiques 2
    Durée : 3 mois
    Dates : du 17/05/2016 au 17/08/2016
    Encadrant : GABOR Kata

  • Reoptimisation
    Durée : 4 mois
    Dates : du 20/04/2016 au 20/08/2016
    Encadrant : WOLFLER Roberto

  • Fusion d’algorithmes d’apprentissages de séparateurs linéaires discrets. Application à la métagénomique
    Durée : 4 mois
    Dates : du 25/04/2016 au 25/08/2016
    Encadrant : CHEVALEYRE Yann

  • Strong normalisation for simply typed ?-calculus: a quest for new combinatorial proofs
    Durée : 6 mois
    Dates : du 01/03/2016 au 01/09/2016
    Encadrant : GUERRINI Stefano

  • Formalisation et preuve en Coq de la préservation de la normalisation forte pour le calcul de substitutions linéaires (suite)
    Durée : 3 mois
    Dates : du 01/06/2016 au 01/09/2016
    Encadrant : MAYERO Micaela

  • Méthodes de décomposition en programmation quadratique convexe en variables mixtes
    Durée : 5 mois
    Dates : du 04/04/2016 au 04/09/2016
    Encadrant : LETOCART Lucas

  • Parameter synthesis in Parametric Interval Markov Chains
    Durée : 6 mois
    Dates : du 08/03/2016 au 08/09/2016
    Encadrant : PETRUCCI Laure

  • Formalismes dans la plateforme CosyVerif
    Durée : 2 mois
    Dates : du 11/07/2016 au 11/09/2016
    Encadrant : LEPRIEUR Hugues

  • Génération aléatoire de polytopes entiers et applications
    Durée : 5 mois
    Dates : du 02/05/2016 au 30/09/2016
    Encadrant : DAVID Julien

  • Apprentissage non supervisé profond de représentations de données évolutives par factorisation matricielle
    Durée : 3 mois
    Dates : du 30/06/2016 au 30/09/2016
    Encadrant : BENNANI Younès

  • Apprentissage non supervisé à partir de similarité pour l'analyse de données massives et complexes
    Durée : 6 mois
    Dates : du 01/04/2016 au 01/10/2016
    Encadrant : CABANES Guénaël

  • Fouille de réseaux multiplexes pour l'analyse des interactions entre entreprises
    Durée : 6 mois
    Dates : du 01/04/2016 au 01/10/2016
    Encadrant : KANAWATI Rushed

  • Réingénierie du site web de l'association pour le Traitement Automatique des Langues
    Durée : 6 mois
    Dates : du 01/04/2016 au 01/10/2016
    Encadrant : GARCIA FLORES Jorge

  • Extraction dynamique des connaissances pour la détection des opinions
    Durée : 6 mois
    Dates : du 01/04/2016 au 01/10/2016
    Encadrant : GROZAVU Nistor

  • Apprentissage quantique en grande dimension
    Durée : 6 mois
    Dates : du 01/04/2016 au 01/10/2016
    Encadrant : MATEI Basarab

  • Factorisation matricielle multi-échelle non-linéaire
    Durée : 6 mois
    Dates : du 05/04/2016 au 05/10/2016
    Encadrant : BENNANI Younès

  • Abstraction et raffinement de réseaux de Petri de haut niveau
    Durée : 6 mois
    Dates : du 11/04/2016 au 11/10/2016
    Encadrant : CHOPPY Christine

  • Implantation d’outils de visualisation et de maintenance d’une base SQL
    Durée : 1 mois
    Dates : du 24/04/2017 au 23/05/2017
    Encadrant : LEJEUNE GAEL

pres

w3c-xhtml