Charles Grellois

Verifying properties of functional programs: from the deterministic to the probabilistic case

Salle de séminaire (4B05R) - Bâtiment Copernic

Abstract:

In functional programs, also called higher-order programs, functions may take functions themselves as arguments. As a result, t...[more]

14-Mar-2017

ESIEE Paris, école d’ingénieurs située au sein de la communauté d’universités et établissements Université Paris-Est, recrute un enseignant-chercheur à haut potentiel en Technologies de l’Information et la Communication appliquées à la Santé.

Vous êtes titulaire d’un doctorat relevant typiquem...[more]

14-Mar-2017

ESIEE Paris, école d’ingénieurs située au sein de la communauté d’universités et établissements Université Paris-Est, recrute deux enseignantes-chercheurses ou enseignants-chercheurs en informatique.Les descriptifs des deux postes sont disponibles ici :Enseignant-chercheur "Architecture pour ob...[more]

14-Mar-2017

Robert Cori

Le rang des configurations sur un graphe : questions combinatoires et algorithmiques

Salle de séminaire (4B05R) - Bâtiment Copernic

Résumé : Une configuration sur un graphe est obtenue par l'attribution de valeurs entières à tous ses sommets. Ces valeurs peuvent aussi être négatives. ...[more]

7-Mar-2017

Quatre postes de maîtres de conférences sont ouverts en section 27 à l'Université Paris-Est Marne-la-Vallée.Ces quatre postes se décomposent en deux groupes : un groupe de trois postes ouvert sur tout le laboratoire et un poste à part de profil "Programmation Système et Appl...[more]

3-Mar-2017

Elena-Mirabela Navlea-Laporte

Un système de traduction automatique français - roumain

Salle de séminaire (4B05R) - Bâtiment Copernic

Abstract: Nous présenterons des travaux de recherche doctorale et postdoctorale issus de notre projet de recherche portant sur la traduction automatique statistique...[more]

28-Feb-2017

Gia-Thuy PHAM soutiendra sa thèse de doctorat en Signal, Image, Automatique, intitulée "Applications des grandes matrices aléatoires aux traitements du signal de grandes dimensions", le 28 février 2017 à 11h00 à l'adresse suivante :Salle 4B05R, 4° étage, bâtiment C...[more]

28-Feb-2017

Carmen Brando

Entités, ressources et connaissances : annotation sémantique et analyse des textes thématiques en français

Salle de séminaire (4B05R) - Bâtiment Copernic

Abstract: Cette présentation prend comme point de départ la notion d’entité : elle correspond à une unité de langage dans le text...[more]

21-Feb-2017

Shiho Sugimoto

Computing palindromic factorizations and palindromic covers on-line

Salle de séminaire (4B05R) - Bâtiment Copernic

Abstract: A palindromic factorization of a string w is a factorization of w consisting only of palindromic substrings of w. In this paper, we present an on-line O(n lo...[more]

14-Feb-2017

Le département d'Ingénierie Mathématique et Informatique (IMI) de l'Ecole des Ponts organise à nouveau cette année une semaine dédiée aux métiers en Data Sciences, au cours de laquelle des entreprises, start-up et labos viennent présenter leurs activités.

Cette semaine, org...[more]

14-Feb-2017