Les laboratoires LAGA, LIPN, L2TI organisent la journée de lancement le 18 avril 2013 du *pôle mathSTIC*.
La journée aura lieu en amphi A, Campus de Villetaneuse, Université Paris 13.
Cette journée permettra de présenter le pôle ainsi que les 3 axes définis actuellement, leurs projets en cours, leurs orientations, au travers d'exposés scientifiques.
| 9h30 | accueil |
| 9h45 | présentation du pôle (C. Fouqueré) |
| 10h | axe 2 (L. Halpern) |
| C. Coti - Architectures émergentes et passage à l'échelle d'applications parallèles | |
| N. Achir - Déploiement de réseaux sans fil | |
| C. Japhet - Méthodes de décomposition de domaine espace-temps | |
| F. Benkhaldoun - Calculs performants pour la simulation d'écoulements à fronts raides | |
| 12h | buffet |
| 13h15 | axe 3 (A. Sportiello) |
| B. Rittaud Mots circulaires | |
| A. Tanasa Physique combinatoire : algèbres de Hopf combinatoires en théories quantiques de champs | |
| P. Marchal combinatoire et aleas | |
| 15h15 | pause café |
| 15h30 | axe 1 (R. Wolfler-Calvo) |
| L. Létocart - Les algorithmes de flots à la rescousse | |
| B. Matei - Compression d'images avec contrôle de qualité : au delà de JPEG2000 | |
| K. Boussetta - Améliorer la mobilité grâce aux Systèmes de Transport Intelligents | |
| 17h30 | fin |
Nadjib Achir(L2TI) : Déploiement de réseaux sans fil
Résumé : Dans cet exposé, nous présentons des méthodes de résolution exactes et heuristiques pour le déploiement des réseaux sans fil. Nous nous focaliserons sur deux catégories de réseaux sans fil à savoir les réseaux de capteurs sans fil statiques ainsi que les réseaux maillés sans fil. L'objectif est de trouver les positions quasi-optimales des nœuds sans fil dans une zone de déploiement donnée, tout en garantissant certaines contraintes liées au type du réseaux, telles que le coût de déploiement, la probabilité de détection, la connectivité et la durée de vie du réseau pour les réseaux de capteurs sans fil ou encore la qualité de service et l’équité pour les réseaux sans fil maillés.
Fayssal Benkhaldoun (LAGA) : Calculs performants pour la simulation d'écoulements à fronts raides
Résumé :Nous exposons dans cette présentation une série de problèmes issus de la physique et régis par des systèmes d'équations aux dérivées partielles. La caractéristique commune à ces problèmes est la forte non linéarité des équations, la présences de fronts raides et une disparité des échelles spatiales et temporelles. La résolution numérique des ces problèmes nécessite donc le recours a des algorithmes de haute performance aussi bien du point de vue des méthodes mathématiques utilises que du point de vue de l'optimisation informatique. Nous montrerons des résultats obtenus en 2D grâce a la technique de l'adaptation de maillages, dans le domaine de l'environnement et de la physique des plasma, et évoquerons la perspective du recours au calcul parallèle en vue du passages aux calculs 3D.
Camille Coti (LIPN) : Architectures émergentes et passage à l'échelle d'applications parallèles
Résumé: Durant cet exposé, je présenterai quelques exemples d'architectures hiérarchiques des machines actuelles et émergentes à grande échelle. J'en dériverai les défis auxquels font face les applications de calcul numérique, et présenterai quelques exemples de solutions envisagées pour y faire face. Enfin, je présenterai deux exemples de noyaux de calcul numérique utilisant des algorithmes de nouvelle génération et pouvant servir de brique de base à de nombreuses applications scientifiques.
Caroline Japhet (LAGA) : Méthodes de décomposition de domaine espace-temps
Résumé: Dans de nombreuses simulations de phénomènes physiques, le domaine de calcul est en fait une union de plusieurs sous-domaines avec différentes propriétés physiques et dont les échelles spatiales et temporelles peuvent être très différentes. C'est le cas pour la simulation du transport de contaminants autour d'un site de stockage de déchets nucléaires ou du couplage >océan-atmosphère. Nous présentons des méthodes de décomposition de domaine permettant d'avoir différentes grilles en temps et en espace, adaptées aux différentes échelles temporelles et spatiales, dans les sous-domaines. Ces techniques sont bien adaptées au calcul haute performance et aux systèmes distribués.
Adrian Tanasa (LIPN) : Physique combinatoire : algèbres de Hopf combinatoires en théories quantiques de champs
Résumé : La Physique Combinatoire est un domaine émergent, à la frontière entre la Physique Mathématique et la Combinatoire, que cette dernière soit Analytique, Algébrique ou autre. A l'intérieur de cette vaste thématique on peut identifier la description algébrique de la combinatoire de la renormalisation en théories quantiques des champs (commutatives, non-commutatives ou bien des modèles de tenseurs aléatoires) : cela représente un des projets scientifiques du Pôle Math-STIC de l'UP13-SPC. Dans cet exposé je passerai rapidement en revue certains résultats obtenus récemment par différents membres du LIPN et du LAGA et je concluerai ensuite avec quelques perspectives pour des travaux en commun à l'intérieur de notre Pôle.
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.
| 13h45 | accueil / présentation de la structure fédérative et de ses activités (C. Fouqueré) |
| 14h | axe 3: Physique mathématique, Physique statistique, Combinatoire |
| présentation de l'axe : Frédérique Bassino (LIPN) / Yueyun Hu (LAGA) | |
| exposés : Bénédicte Haas (LAGA) - The CRT is the scaling limit of large random dissections | |
| Lionel Pournin (LIPN) - L'opération de flip dans les triangulations : du stockage de données à la topologie des surfaces | |
| 15h00 | axe 1: Optimisation et Apprentissage appliqués aux contenus numériques |
| présentation de l'axe : Azeddine Beghdadi (L2TI) / Roberto Wolfler-Calvo (LIPN) | |
| exposés : Caio Filippo Corro (LIPN) - Méthode lagrangienne pour les arborescences couvrantes avec application en traitement automatique des langues | |
| Bilel Sdiri (L2TI) - Contrast enhancement method for stereo endoscopic images based on binocular just noticeable difference model | |
| 16h00 | axe 2: Calcul haute-performance, systèmes distribués |
| présentation de l'axe : Khaled Boussetta (L2TI) / Laurence Halpern (LAGA) | |
| exposés : Camille Coti (LIPN) - Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance | |
| Nadjib Achir (L2TI) - Path Planning of Unmanned Aerial Vehicles | |
| 16h45 | Buffet / Cocktail |
| 17h00 |
Conseil Scientifique |
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.