2014


Retour à la vue des calendrier
Lundi 5 Mai
Heure: 14:15 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Entity-centric computing
Description: Aldo Gangemi Chez le web sémantique, l'intégration des connaissances extraites de textes et de données sous forme de graphes sémantiques à monde ouvert, avec l'identité des “ressources” (entités) dereferenceable (“ancrée") sur le web, offre un solution incomplète, mais très pratique pour étudier empiriquement des phénomènes sémantiques.
Mardi 6 Mai
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Sur les diamètres de certains graphes de flips
Description: Lionel Pournin Considérons une surface orientable S de genre g avec k>0bords. Plaçons un ensemble E de n points sur S de manière que chaquebord contienne au moins un de ces points. Le graphe des flips de E estle graphe G dont les sommets sont les triangulations de E et dont lesarêtes joignent deux triangulations qui peuvent être transforméesl'une en l'autre par un flip (cette opération consiste à échanger lesdiagonales d'un quadrilatère). Le graphe G est connexe. Si onconsidère les triangulations de E à homéomorphisme près, les sommetsde E étant marqués, le diamètre de ce graphe est borné.Lorsque S est un disque dont le bord contient tous les points de E, Gest le graphe de l'associaèdre de dimension n-3. Il a été montrérécemment que le diamètre de ce graphe est 2n-10 dès que n estsupérieur à 12. La preuve de ce résultat sera esquissée. Plusieursautres résultats sur le diamètre de G seront ensuite donnés etdiscutés dans le cas où S n'est pas un disque.
Lundi 12 Mai
Heure: 14:15 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Hybridation TAL / KE pour l'extraction des graphes d'évènements
Description: Ehab Hassan
Mardi 13 Mai
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Objets combinatoires en cryptographie et en théorie des codes
Description: Sihem Mesnager Les fonctions courbes ont été introduites par Rothaus et étudiées pourla première fois par Dillon dans sa thèse. Les fonctions courbes sontles fonctions booléennes qui sont à distance de Hamming maximale desfonctions affines. Depuis leur introduction, ellessont devenues l'un des objets les plus important en cryptographie symétrique. Unedes raisons motivant leur étude est qu'il est recommandé que lafonction booléenne utilisée pour concevoir un système de chiffrementsymétrique soit une fonction courbe pour pouvoir résister de manière optimaleaux attaques par corrélation rapides. En plus de cette importancecryptographique, les fonctions courbes ont la propriété fascinante queleurs supports sont des objets combinatoires intéressants. Leurs supportsforment des ensembles à différence, appelés ensembles àdifférence de Hadamard. Parmi les familles de fonctions courbes, il enest une qui pourrait avoir une importance grandissante dans les annéesà venir : les fonctions hyper-courbes (introduites par Youssef et Gongen 2001). Les fonctions hyper-courbes sont des fonctions courbes quiont la propriété d'être aussi à distance maximale des permutationspolynomiales. Très récemment, il a été mis en lumière que cesfonctions étaient en relation étroite avec des objets géométriquesintéressants: les hyperovales.Dans cet exposé, nous présenterons un résumé des résultats les plusimportants et de nos apports à l'étude des fonctions booléennescourbes en illustrant les liens possibles entre les fonctions courbes etdes objets combinatoires et géométriques cités précédemment. Nousprésenterons aussi le lien entre les fonctions courbes et la théoriedes codes et plus particulièrement entre certaines fonctionsvectorielles courbes et les codes minimaux (dont les propriétéscombinatoires peuvent être exploitées par les systèmes de partagede secret).
Mardi 20 Mai
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Conformal field theory approach: combinatorial aspects and applications in critical geometry
Description: Raoul Santachiara
Vendredi 23 Mai
Heure: 10:00 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Opérades et Surjections
Description: Muriel Livernet Dans un premier temps j'expliquerai sur des exemples simples ce
que sont les opérades. Dans un deuxième temps j'introduirai l'opérade des
surjections et exposerai les questions combinatoires que l'on se pose afin
de résoudre des problèmes en topologie algébrique.
Samedi 24 Mai
Heure: 12:00 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Polynomial-Time Search Algorithms for Combined Exponential and Classical Neighborhoods of the CARP
Description: Stefan Irnich
Mardi 27 Mai
Heure: 12:00 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Statistical Data Analysis techniques for “distribution-valued data”
Description: Rosanna Verde In many real experiences, data are collected and/or represented by frequency distributions. If Y is a numerical and continuous variable, many distinct values yi  can be observed. In these cases, the values are usually grouped in a smaller number H of consecutive and disjoint bins Ih (groups, classes, intervals, etc.). The frequency distribution of the variable Y is obtained considering the number of data values nh falling in each Ih. The histogram is then the typical graphical representation for the variable Y.The interest in analyzing data expressed by frequency distributions, as well as by histograms, is evident in many fields of research. Involving the treatment of experimental data that are collected in a range of values, whereas the measurement instrument gives only approximated (or rounded) values. An example can be given by sensors for air pollution control located in different zones of an urban area. The different distributions of measured data about the different levels of air pollutants across a day, allow to compare, and then to group into homogeneous clusters, the different controlled zones.In the framework of Symbolic Data Analysis (SDA) multi-valued data, represented by an empirical distribution(like a histogram or an observed density or a quantile function) of a quantitative variable, is defined distribution-valued data, as well as, the variable which takes as values distribution-valued data, is defined as a distributional variable.Many techniques have been recently developed for this kind of data (). The comparison of empirical distribution functions is possible by using a suitable family of distances based on the Wasserstein metric that furnishes interesting interpretative results about the characteristics (or the moments) of the distributions. The Wasserstein metric is defined as the distance (in different norm) between the empirical quantile functions (the inverse of the cumulate distribution functions associated to each observed distribution).The seminar will introduce some basic statistics for distribution valued data.Novel univariate statistics emerge from the definition of a measure of variability that is related to a distance between distributions. Then, considering the ℓ2 Wasserstein distance it is possible to define a product operator between two distributions, that has allowed to propose an extension of the classical covariance and correlation measures between distributional variables.Among the techniques of Data Analysis extended to this kind of data, during the seminar, it will be presented an approach of the dynamic clustering algorithm (like Nuées Dynamiques, (Diday (1971), Diday and Simon (1976)), based on the Wasserstein distance, with the aim to discover typologies on the basis of the similarity of the observed distributions.An application of the DCA is shown in the framework of the data stream analysis in order to detect changes in the data structure.Furthermore, a simple linear regression model will be proposed as a suitable model to estimate a distributional response variable by a linear transformation of another independent distributional variable. The main idea is to use the Wasserstein metric to measure the sum of squared errors between the observed and predicted distributional data.A space dimension reduction technique (like principal component analysis) will be  also proposed to visualize the proximities between observations and relationships among quantile function on factorial plans.Some application on real and synthetic data will be shown in order to evaluate the performance of the proposed approaches.    
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: La fonction à deux points et à trois points pour les quadrangulations et cartes
Description: Eric Fusy Pour une famille F de cartes planaires on appelle "fonction à k points" la série génératrice de comptage des cartes de F avec k pointsmarqués dont les distances deux à deux sont prescrites. On sait depuis les résultats de Bouttier, Di Francesco et Guitter(s'appuyant sur une bijection de Schaeffer) que la fonction à 2 points desquadrangulations admet une expression explicite, et des réultats plusrécents de Bouttier et Guitter (s'appuyant sur une bijection de Miermont)ont établi une expression explicite pour la fonction à trois points des quadrangulations.Nous passerons en revue ces résultats et montrerons comment on peut exploiter une bijection récente due à Ambjorn et Budd pour établir desexpressions explicites pour les fonctions à deux points et à trois points des cartes générales.Travaux en commun avec Jérémie Bouttier et Emmanuel Guitter
Lundi 2 Juin
Heure: 14:15 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Is there anybody out there? Local Bags of Words for Authorship Attribution
Description: Manuel Montes-y-Gömez
Jeudi 5 Juin
Heure: 12:00 - 14:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Fouille de motifs pour l'image et la vidéo.
Description: Elisa Fromont Je présenterai un panel des méthodes que nous avons développées au LaHC à Saint-Etienne pour utiliser de manière fructueuse la fouille de motifs et en particulier les itemsets et les graphes pour la classification d'images et le suivi d'objets dans les vidéos. Je m'attarderai en particulier sur un algorithme de fouille de graphes plans développé pour le traitement des vidéos qui inclut une prise en compte de contraintes spatio-temporelles et nous permet de traiter des données réelles là où les algorithmes génériques ne passent pas à l'échelle. Des "clusters" de sous graphes extraits nous permettent de traiter des cas de suivi d'objets difficilement abordables par les méthodes existantes en vision par ordinateur.
Vendredi 6 Juin
Heure: 10:00 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: On the computational meaning of axioms
Description: Mattia Petrolo An anti-realist theory of meaning suitable for both logical and proper
axioms is investigated. As opposed to other anti-realist accounts, like
Dummett-Prawitz verificationism, the standard framework of classical
logic is not called into question. The reason being that semantical
features are not limited solely to inferential ones, but also
computational aspects are considered as essential in the process of
determination of meaning. In order to deal with such computational
aspects, a relaxation of syntax is shown to be necessary. This leads to
the presentation of a general kind of proof theory, where the objects of
study are not only typed objects like deductions, but untyped ones,
where formulas have been replaced by geometrical configurations.

This is joint work with Alberto Naibo and Thomas Seiller
Mardi 10 Juin
Heure: 15:00 - 18:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: pôt départ à la retraite de Silvia Goodenough
Lundi 16 Juin
Heure: 14:15 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Uncovering the semantics of web links
Description: Valentina Presutti
Mardi 24 Juin
Heure: 10:00 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Journée Math-STIC (LIPN-LAGA)
Heure: 10:00 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Un théorème de forme asymptotique pour un modèle de propagation d'épidémie ≥3
Description: Ellen Saada
Heure: 11:10 - 14:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Processus de contact en milieu aléatoire
Description: Olivier Garet
Heure: 13:30 - 16:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Temps de survie du processus de contact sur les graphes aléatoires réguliers
Description: Jean-Christophe Mourrat
Heure: 14:40 - 17:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Retour sur le théorème de forme en percolation de premier passage
Description: Marie Théret
Heure: 16:10 - 19:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Exposants d'échelle pour un modèle (très simplifié) de percolation de premier passage
Description: Lucas Gérin
Mardi 1 Juillet
Heure: 12:00 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Branch-and-Price for the relaxed clique Partitioning and Covering Problems
Description: Roberto Wolfler Calvo Relationships between objects can be modeled with graphs, where nodes
represent the different objects and edges express the relationship.
Social network analysis is an example where clusters, e.g., formed by
members of a community, are studied using cliques and clique
relaxations. A clique is a subgraph with pairwise directly connected
nodes, i.e., a subgraph with diameter one. Several relaxations have been
defined either in terms of distance (k-clique), degree (k-plex, k-core),
diameter (k-club), or density. The majority of the literature deals with
identifying such subgraphs of maximum cardinality or weight. In this
presentation, we consider the generic problem of covering or
partitioning a graph with a set of relaxed cliques. We present an exact
solution fromework for solving the relaxed clique partitioning and
covering problems based on branch-and-price. Herein, the subproblem
consists of finding a relaxed clique of maximum weight. We present
heuristics and a new combinatorial branch-and-bound algorithm for its
resolution.

This is a join work with Fabio Furini and Stefan Irnic.
Mercredi 2 Juillet
Heure: 10:45 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Marcel-Paul Schützenberger et les monoïdes
Description: Gérard Duchamp Marcel-Paul Schützenberger était un fan du monoïde plaxique et aussides monoïdes de commutation : souvenirs et réminiscences.
Heure: 10:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: journée 'combinatoire et théorie des langages' à Paris 13 (et clôture de cette année de séminaires CALIN !)
Heure: 11:00 - 14:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Quelques résultats de 'combinatoire-théorie des langages' récents ou anciens ou futurs !
Description: CALIN
Heure: 11:30 - 14:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Systèmes sofiques-Dyck et fonctions zêtas
Description: Marie-Pierre Béal Les systèmes dynamiques symboliques sont des suites bi-infinies de symbolesdont les facteurs finis évitent un ensemble de mots finis donné. Nousprésentons les systèmes appelés sofiques-Dyck. Ces systèmes sont unegénéralisation des systèmes Markov-Dyck introduits par Krieger etMatsumoto. Nous montrons que ces systèmes de séquences sont exactement lessystèmes dont le langage des facteurs finis est un langage de motsimbriqués (nested words). Nous calculons la fonction zêta, qui compte lesséquences périodiques du système, pour un système sofic-Dyck.(Travaux avec Michel Blockelet et Catalin Dima)
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Machines de Lukasiewicz
Description: Julien David Dans cette présentation, on s'intéressera à deux sujets a priori distincts.
Le premier concerne la génération aléatoire d'arbres planaires dans
lequel on maîtrise le nombre d'occurrences d'un motif d'arbre.
Le but est, partant d'un motif donné, de produire automatiquement
une grammaire d'arbre dans laquelle les occurrences du motif sont marqués.
Cette grammaire permet directement d'obtenir un générateur aléatoire
en utilisant la méthode récursive, mais permet également d'obtenir
une série génératrice bivariée.

Le second est une présentation d'une famille de grammaires d'arbres
et des automates qui y sont associés, appelés machines de Lukasiewicz.
Cette famille fut utilisé pour résoudre le premier problème.
Il s'agit d'une généralisation des grammaires d'arbre régulières.
Si ces grammaires et les machines associés ont des propriétés de clôtures décevantes,
on a pu décrire un algorithme de minimisation pour les machines déterministes.
Heure: 14:45 - 17:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Génération aléatoire via les langages temporisés
Description: Nicolas Basset A chaque langage régulier, on associe la classe (appelée régulière) de permutations ayant un motif d'ascentes/descentes (a/d) dans ce langage régulier de {a,d}*. Par exemple, on peut définir ainsi les permutations alternantes, lespermutations n'ayant pas deux descentes consécutives, les permutations ayant un nombre pair dedescentes... J'expliquerai un algorithme qui étant donné un automate renvoie une formule closepour la série génératrice exponentielle de la classe régulière de permutations associée. J'expliqueraiensuite un algorithme qui permet de générer des permutations aléatoirement et de façon uniformeles permutations de même longueur de la classe régulière de permutations considérée. Les deuxalgorithmes sont basés sur une correspondance entre comptage de permutations et volumes delangages temporisés qui s'explique en terme de polytopes d'ordre et polytopes de chaîne de Stanley.Les deux algorithmes évoqués ci-dessus sont ainsi obtenus à partir d'algorithmes de calculde fonction génératrice des volumes et de génération aléatoire de mots temporisé associés à unautomate temporisé.