Décembre 2013


Retour à la vue des calendrier
Mardi 3 Décembre
Heure: 12:00 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: A branch-and-bound method for box constrained integer polynomial optimization
Description: Claudia D'Ambrosio We consider the problem of minimizing an arbitrary polynomial subject to
box and integrality constraints. We propose a new class of
under-estimators composed of separable functions of the original variables
and use it within a branch-and-bound scheme to easily and quickly compute
lower bounds. Computational results on randomly generated instances show
good performance with respect to the ones of different open-source solvers
like Couenne, Gloptipoly , and SCIP.
Moreover, the second part of the talk will be devoted to present a
different perspective on partially separable problems. In particula, an
exact algorithm for mixed integer non-linear programming problems with
separable non-convexities will be presented.
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Efficient Algorithms for Dualizing Large-Scale Hypergraphs
Description: Uno Takeaki A hypergraph F is a set family defined on vertex set V.The dual of F is the set of minimal subsets H of V such thatJ cap H
e emptyset for any J in FThe computation of the dual is equivalent to many problems, such asminimal hitting set enumeration of a subset family, minimal set coverenumeration, and the enumeration of hypergraph transversals.In this paper, we introduce a new set system induced by the minimalitycondition of the hitting sets, that enables us to use efficient pruningmethods.We further propose an efficient algorithm for checking the minimality,that enables us to construct time efficient and polynomial spacedualization algorithms.The computational experiments show that our algorithms are quite fasteven for large-scale input for which existing algorithms do notterminate in practical time.
Mercredi 4 Décembre
Heure: 10:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: A New Approach to String Pattern Mining with Approximate Match
Description: Uno Takeaki Frequent string mining is the problem of finding frequently appearingstrings in a given string database or large text.It has many applications to string data analysis on strings such as texts,word sequences, and genome sequences.The problem becomes difficult if the string patterns are allowed to matchapproximately, i.e., a fixed number of errors leads to an explosionin the number of small solutions, and a fixed ratio of errors violatesthe monotonicity that disables hill climbing algorithms, and thusmakes searching difficult.There would be also a difficulty on the modeling of the problem;simple mathematical definitions would result explosion of the solutions.To solve this difficulty, we go back to the motivations to find frequentstrings, and propose a new method for generating string patternsthat appear in the input string many times.In the method, we first compute the similarity between the stringsin the database, and enumerate clusters generated by similarity.We then compute representative strings for each cluster, and therepresentatives are our frequent strings.Further, by taking majority votes, we extend the obtained representativesto obtain long frequent strings.The computational experiments we performed show the efficiency of bothour model and algorithm; we were able to find many stringpatterns appearing many times in the data, and that were long butnot particularly numerous.The computation time of our method is practically short, such as20 minutes even for a genomic sequence of 100 millions of letters.
Vendredi 6 Décembre
Heure: 00:59 - 11:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Data-race freedom by typing in Mezzo
Description: Thibaut Balabonski Mezzo is a typed programming language in the ML family whose static discipline controls aliasing and ownership. This rules out certain mistakes, including representation exposure and data races, and opens up new opportunities, such as gradual initialization or (more generally, and somewhat speculatively) the definition and enforcement of object protocols.

In this talk, I will explain the basic design of Mezzo on examples, and show how its type system inspired by separation logic gives a simple way of tracking ownership of fragments of shared memory between concurrent threads. Beyond the usual claim that "well-typed programs do not go wrong", we guarantee that well-typed Mezzo programs have no data-races.
Mardi 10 Décembre
Heure: 10:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Autour des arbres de coalescence
Description: Olivier Hénard Les arbres de coalescence utilisés en phylogénétique sont naturellementconstruits depuis les feuilles. Nous posons la question d'une descriptionde ces arbres depuis la racine. Parmi les arbres de coalescence, les Betacoalescents constituent une classe d'étude favorite, et des liens récentsavec certaines classes d'arbres combinatoires (arbres récursifs et arbresbinaires) ont récemment permis d'en améliorer la compréhension. Nouscommencerons par rappeler ces constructions alternatives, duesrespectivement à Goldschmidt et Martin, et Abraham et Delmas. Nousprésenterons ensuite notre propre contribution, basée sur la représentationdite "lookdown".
Heure: 11:30 - 14:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Comportements asymptotiques dans quelques problèmes de sous-suites communes et/ou croissantes
Description: Christian Houdré Cet exposé présentera un panorama partiel et quelques résultatsrécents sur le comportement asymptotique (moyenne, variance, loislimites) dans certains problèmes de plus longue sous-suite croissanteet/ou commune.
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Diamant aztèque, pyramides, et pavages pentus de Z^2
Description: Guillaume Chapuy Je parlerai de modèles de pavages par dominos de certaines régions duplan que nous appelons les «pavages pentus». Ces modèles contiennentplusieurs classes de pavages pour lesquelles des propriétésremarquables (énumératives et probabilistes) avaient été obtenues,notamment le «diamant aztèque» et les «partitions pyramides». Nousélucidons leur structure combinatoire en les mettant en correspondanceavec des suites de partitions entrelacées, faisant ainsi le lien avecles «processus de Schur» introduits par Okounkov et Reshetikhin. Laméthode permet non seulement une compréhension unifiée des formulesd'énumération, et leur généralisation à une famille infinie demodèles, mais également le calcul de fonctions de corrélation entreparticules, ouvrant potentiellement la voie à l'étude unifiée desformes limites (théorèmes de type «cercle arctique»). Notre point devue conduit par ailleurs à des algorithmes plaisants de générationaléatoire.L'exposé contiendra de nombreuses illustrations et peut-être même uneapplet java. Aucun pré-requis n'est nécessaire.(Travail commun avec Jérémie Bouttier et Sylvie Corteel)
Heure: 15:00 - 18:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Sur la structure conforme des cartes planaires aléatoires
Description: Nicolas Curien Une triangulation est un graphe (planaire, fini connexe) dessiné proprementdans la sphère de dimension 2 dont toutes les faces sont des triangles.On considère une triangulation aléatoire T_n choisie uniformément dansl'ensemble de toutes les triangulations à n faces.La structure métrique de T_n munie de la distance de graphe a été étudiéeen profondeur récemment.En particulier, Le Gall (voir aussi Miermont) a prouvé que T_nrenormalisée par n^{-1/4} converge vers une surface aléatoirefractale appelée la carte brownienne.Dans cet exposé nous nous intéresserons à un autre aspect destriangulations aléatoires. En effet, $T_n$ peut naturellement être munied'une structure de surface de Riemann et l'on peut ainsi étudier sa"structure conforme" qui est censée être très liée au champs libregaussien en dimension 2. Je présenterai un chemin pour l'étude de cette structureconforme fondé sur l'exploration markovienne des cartes planaires à l'aided'un processus SLE_6.
Mardi 17 Décembre
Heure: 12:00 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Konig's edge-colouring theorem for all graphs
Description: Denis Cornaz We show that the maximum degree of a
graph G is equal to the minimum number of ocm sets covering G,
where an ocm set is the vertex-disjoint union of elementary odd
cycles and one matching, and a collection of ocm sets covers G if
every edge is in the matching of an ocm set or in some odd cycle
of at least two ocm sets.
This min-max relation gives a linear description of the star
polytope with a minimal TDI-system.
Joint work with V. H. Nguyen from LIP6.