Novembre 2016


Retour à la vue des calendrier
Lundi 14 Novembre
Heure: 14:00 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Identification des expressions poylexicales et analyse syntaxique en dépendances
Description: Mathieu Constant Les expressions polylexicales (EP) sont des séquences formées de plusieurs mots se caractérisant par un certain degré de non-compositionalité que ce soit au niveau morphologique, lexical, syntaxique, sémantique ou/et pragmatique. Leur identification est cruciale pour les différentes applications du traitement automatique des langues.

Dans cet exposé, nous nous intéressons à l’intégration de l’identification des EP au sein de l’analyse syntaxique en dépendances statistique. Après avoir évoqué les différents défis liés à l’identification automatique des EP, nous aborderons ce sujet en essayant de répondre à deux problématiques: (1) trouver une représentation la plus riche possible des exp ressions polylexicales au regard de l’analyse syntaxique; (2) adapter les algorithmes d’analyse existants pour prédire de manière jointe l’analyse lexicale et syntaxique d’une phrase dans cette représentation.
En particulier, nous montrerons de nouvelles représentations factorisées sur deux dimensions, ainsi que de nouveaux algorithmes d’analyse syntaxique intégrant des mécanismes spécifiques pour l’identification des EP.
Mardi 15 Novembre
Heure: 10:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: On Generalized Hypergeometric Solutions of Linear Differential Systems of First Order
Description: Suzy Maddah In this talk, we consider linear differential systems of first order (equivalently linear differential equations of arbitrary order), and we question whether they can be solved in terms of generalized hypergeometric functions. This question is motivated by the manyproperties of the latter which arise in physics and combinatorics. It has been tackled in the literature for second-order differential equations, namely Bessel's, Whittaker's, Kummer's, and Gauss's. We propose a new algorithm which surpasses the restrictions on thedimension of the system, and equivalently on the order of the equation. This is a joint work with Frédéric Chyzak.
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Pavages
Description: Samuel Petite
Heure: 15:15 - 18:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: An interface between physics and number theory
Description: Quoc Hoan Ngo
Mardi 22 Novembre
Heure: 16:15 - 19:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Double régularisation des polyzêtas en les multi-indices négatifs
Description: Quoc Hoan Ngo
Jeudi 24 Novembre
Heure: 10:00 - 11:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Vers une théorie de la réécriture probabiliste
Description: Flavien Breuvart Après une récapitulation des définitions fondamentales et enjeux
de la théorie de la réduction de termes (TRS et HORS), nous allons
nous poser la question de l'ajout de composantes probabilistes.

Nous verrons que des problématiques importantes apparaissent à un
niveau très élémentaire. En fait, elles apparaissent déjà au
niveau des ARS (graphe orientés infinis décrivant une dynamique)
qui sont extrêmement généraux et contiennent les automates dont
la généralisation probabiliste a été abondamment étudiée. En
utilisant ces travaux sur les automates, et plus généralement sur
les co-algèbres, nous avons décrit un formalisme pouvant, nous
l'espérons, traiter élégamment des problèmes de réécritures
probabilistes.
Heure: 11:00 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Regular Model Checking: Vérification et systèmes de réécriture
Description: Tayssir Touili Nous nous intéressons dans cet exposé au model-checking des systèmes infinis, notamment les systèmes paramétrés et les programmes récursifs parallèles.
Nous présentons un cadre uniforme pour la vérification algorithmique de ces systèmes. Ce cadre est basé sur la représentation des ensembles de configurations par des automates de mots ou d'arbres, et la représentation des relations de transition des systèmes par des règles de réécritures de mots ou de termes. Le problème de la vérification est ensuite réduit au calcul des ensembles des accessibles dans ce cadre.
Vendredi 25 Novembre
Heure: 11:00 - 12:30
Lieu: Salle A303, bâtiment A, Université de Villetaneuse
Résumé: Implémentation de complexité implicite dans les compilateurs
Description: Thomas Rubiano La complexité implicite s’intéresse à la gestion des ressources, temps
ou espace, consommées par un programme. Comme les méthodes de
complexité implicite fonctionnent à l’aide de critères purement
syntaxiques, ces analyses peuvent être faites au moment de la
compilation du programme (et pas au cours de son exécution) et le
“certificat” obtenu peut alors être directement associé à
l’exécutable. De plus, les compilateurs manipulent dans leurs
représentations intermédiaires des langages proches de l’assembleur
avec un accès au graphe de flot de contrôle. Ainsi, on dispose
directement des outils nécessaires pour exprimer certaines méthodes de
complexité implicite. Le but initial de la thèse était d’écrire, un
plugin pour effectuer la détection de programmes qui calculent en
espace constant (Non-Size-Increasing Programs) au cours de la
compilation et en déduire automatiquement des optimisations
d’allocation de mémoire. Le premier compilateur cible a été llvm, une
passe a donc été implémentée.

Ensuite, il était prévu d’une part de continuer à implémenter des
méthodes de complexité implicite dans les compilateurs –notamment la
Size Change Termination ou les polynômes mwp qui s’expriment bien sur
un langage impératif de bas niveau. D’autre part, de chercher à
exprimer d’autres analyses dans ce genre de langage afin de comparer
de manière plus systématique les différentes analyses existantes.

C'est en apprenant les techniques utilisées dans ces deux dernières
théories que nous nous sommes intéressés à implémenter une
optimisation de pelage de boucle présentée sur un langage WHILE dans
un brouillon de Lars Kristiansen. Nous l'avons repris et baptisée:
"Calcul de degré d'invariance et composition de commandes pour du
pelage de boucle". Après avoir fait quelques tests sur le langage C à
l'aide d'un parser « jouet » en python. Une passe LLVM est en cours de
développement…

Les analyses de complexité implicites sont actuellement décrites sur
des langages « jouets ». En les portant sur des « vrais » langages de
programmation, la thèse a pour but de fournir à la communauté un outil
permettant de traiter une grande quantité d’exemples et d’avoir une
idée plus précise de l’expressivité réelle de ces analyses. De plus
elle crée un pont avec la communauté compilation afin que chacune
apporte à l'autre.

Cette thèse est financée par le projet ANR ELICA
Lundi 28 Novembre
Heure: 14:00 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Semantically enriched methods for next generation microblog message fine-grained geolocalization
Description: Laura Di Rocco Consistent user-generated data represent a valuable source for the extraction of new types of information patterns and knowledge. The multifaceted nature of user-generated data, along with its geographic component, is being exploited to better understand social dynamics and propagation of information. Social media activities can be associated with both an explicit and an implicit geographic information component. Consider, for instance, Twitter as a typical example. In this case, georeferencing information can be explicitly available as metadata, such as the user profile location and the GPS coordinates of the device from which the activity is performed. By contrast, implicit georeferencing information can be inferred, with variable degree of confidence, by the message content itself, which may contain images, names of entities with known spatial location, or by the social relationships and interactions among users.
Our focus is on inferring the tweeting location (i.e., the position of the user when the tweet was sent) rather than the user home location. Since explicit tagging is used only in a small percentage of tweets, we will use geospatial information implicit in the messages to improve the resolution of the georeferencing process. With the aim of fully exploiting the (explicit and implicit) fine-grained georeferencing information made available by social media, the project relies on semantically enhanced and refined crowdsourced geospatial data to extract fine-grained implicit geoinformation contained in tweet contents.

Short Bio:
Laura Di Rocco is a PhD Student at University of Genoa and a visiting PhD Student at Paris Descartes University (LIPADE). Her research interests are in the areas of geospatial data and text mining on social media.
Mardi 29 Novembre
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Une analyse asymptotique des polyominos digitalement convexes.
Description: Olivier Bodini Dans cet exposé, nous montrerons comment des techniques élémentaires (transformées de Mellin) en combinatoire analytique permettent d'obtenir des résultats assez surprenants sur les polyominos. En particulier, si l'on savait correctement énumérer les polyominos digitalement convexes, nous saurions si l'hypothèse de Riemann est vraie !