Journée scientifique 2016

La journée scientifique de la structure fédérative mathSTIC (LAGA-LIPN-L2TI) aura lieu 21 janvier 2016.

La journée aura lieu en amphi Fermat, Campus de Villetaneuse, Université Paris 13 (point numéroté 5 sur le plan du campus).

Cette journée sera l'occasion d'exposés scientifiques sur chacun des axes de la structure fédérative.

Résumés des exposés:

Bénédicte Haas (LAGA) : The CRT is the scaling limit of large random dissections

Une dissection du polygone régulier à n côtés est la graphe formé par le polygone et certaines de ses diagonales, avec la règle que deux diagonales ne peuvent se croiser qu'aux sommets du polygone. On s'intéresse ici au comportement asymptotiquement d'une dissection uniformément distribuée dans l'ensemble des dissections du polygone à n côtés. Nous verrons que multipliée par n^(-1/2) cette dissection uniforme converge vers un multiple du CRT brownien. Ce résultat se généralise à des mesures attribuant des poids de Boltzmann aux degrés des faces des dissections, lorsque ces poids décroissent suffisamment vite. Il s'agit d'un travail en collaboration avec Nicolas Curien et Igor Kortchemski.

Lionel Pournin (LIPN) : L'opération de flip dans les triangulations : du stockage de données à la topologie des surfaces

Les triangulations sont des objets très populaires dans de nombreux domaines comme la géométrie algorithmique, la combinatoire, la topologie, la cristallographie, l'analyse numérique, etc. En pratique, elles sont construites en utilisant des opérations locales appelées des flips qui les modifient de manière minimale.
Cet exposé donnera un aperçu de l'utilisation des flips dans plusieurs contextes très différents, en particulier en géométrie algorithmique et en topologie des surfaces. Il sera question de caractériser la structure géométrique d'un ensemble de triangulation induite par l'opération de flip.
Plusieurs résultats concernant cette structure seront donnés au long de l'exposé, et je présenterai quelques problèmes ouverts liés à la notion de flip, qui rassemblent les chercheurs en mathématiques et en informatique.

Caio Filippo Corro (LIPN) : Méthode lagrangienne pour les arborescences couvrantes avec application en traitement automatique des langues

Nous nous intéressons au calcul des arborescences couvrantes de poids maximum avec deux contraintes structurelles : degré de bloc (block degree) et bonne imbrication (well-nestedness). Ces contraintes sont motivées par des problèmes d’analyse syntaxique en traitement automatique des langues (TAL) dans lesquels une phrase est représentée sous forme d’une arborescence couvrante dans un graphe orienté. Nous proposons une formulation du problème en PLNE ainsi qu’une relaxation lagrangienne de celle-ci. Le problème relâché correspond à l’arborescence couvrante de poids maximal pouvant être efficacement calculée grâce à l’algorithme d’Edmonds.

Bilel Sdiri (L2TI) : Contrast enhancement method for stereo endoscopic images based on binocular just noticeable difference model

Endoscopic image enhancement has become a very popular research field due to the success of minimally invasive interventions and the innovation of new technological treatment and diagnosis tools such as stereoscopic laparoscopes and the wireless capsule endoscopy. In this talk we present a contrast enhancement method for stereo endoscopic images taking into consideration some of these specificities, the depth information, the binocular vision and the organs salient features. The proposed method produces stereo endoscopic images with sharper details, without introducing any halo effect or overshooting. The observers reported as well a more depth feeling and less visual fatigue when perceiving the enhanced stereo endoscopic images.

Camille Coti (LIPN) : Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance

Communication-avoiding algorithms allow redundant computations to minimize the number of inter-process communications. In this paper, we propose to exploit this redundancy for fault-tolerance purpose. We illustrate this idea with QR factorization of tall and skinny matrices, and we evaluate the number of failures our algorithm can tolerate under different semantics.

Nadjib Achir (L2TI) : Path Planning of Unmanned Aerial Vehicles

Drones or UAVs (Unmanned Aerial Vehicles) are unmanned flying machines capable of carrying out more or less autonomous mission. Their earliest development was intended to the military use. Typical missions are the reconnaissance and the surveillance of wide and/or abroad territories. The technological progress in different domains that are related to UAVs, such as, advances in aeronautical, robotic, batteries and computer science have recently extended the economical perspectives toward the civil market. Beside the gained popularity of drones as toys for entertainment, there are already several successful uses of UAVs for civil applications. One can refer to traffic monitoring in highways, prevention of forests fires, inspection of buildings and structures or data gathering for environment, for agriculture or for mining. These progress has also attracted the research community and several new research topics were raised. In this presentation we are interested in path planning using UAV.