Février 2013


Retour à la vue des calendrier
Lundi 4 Février
Heure: 00:59 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Séquences fréquentes maximales et applications
Description: Antoine Doucet Une séquence d'items (par exemple, des mots, ou des caractères), est
définie par l'ordre dans lequel ces items apparaissent dans un
document, indépendamment de la distance qui les y sépare. Une
séquence est dite fréquente, si elle apparaît dans plus de documents
qu'un seuil de fréquence documentaire donné. Elle est dite maximale
dès lors que l'insertion de tout autre item induit une fréquence
inférieure au seuil.

Appliquées par exemple au niveau phrastique, les séquences
fréquentes maximales (SFM) forment ainsi des descripteurs compacts,
qui ne sont ni limités en taille, ni par la distance les séparant
dans le corpus initial.

Je détaillerai tout d'abord notre méthode non supervisée permettant
l'extraction et la sélection efficace de séquences fréquentes
maximales depuis des corpus de texte de toute taille, quel qu'en
soit le genre, et quelle qu'en soit la langue.

Je présenterai ensuite plusieurs applications de ces travaux,
notamment en extraction de synonymes, utilisant les SFM comme pivots
d'alignement de paraphrases. J'aborderai également nos applications
en recherche d'information multilingue, en veille épidémiologique
multilingue et en détection de nouveauté dans des flux de dépêches
d'agence de presse.
Mardi 5 Février
Heure: 10:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Inversion de Lagrange multivariée
Description: Axel Bacher
Heure: 12:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Separable non-convex underestimators for binary quadratic programming
Description: Emiliano Traversi We present a new approach to constrained quadratic binary
programming. Dual bounds are computed by choosing appropriate global
underestimators of the objective function that are separable but not
necessarily convex. Using the binary constraint on the variables, the
minimization of this separable underestimator can be reduced to a linear
minimization problem over the same set of feasible vectors. For most
combinatorial optimization problems, the linear version is considerably
easier than the quadratic version. We explain how to embed this approach
into a branch-and-bound algorithm and present experimental results.
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: La conjecture de Hadamard
Description: Shalom Eliahou<
Mardi 12 Février
Heure: 10:00 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Journée en l'honneur du départ à la retraite de Pierre Nicodème : accueil
Description: Pierre Nicodème
Heure: 10:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Computer algebra for the enumeration of lattice walks
Description: Alin Bostan
Heure: 11:30 - 14:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Newton iteration in computer algebra and combinatorics
Description: Bruno Salvy
Heure: 14:30 - 17:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Some patterns in Pierre Nicodème's works
Description: Julien Clément
Mardi 19 Février
Heure: 12:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Discrete optimization using semidefinite methods
Description: Angelika Wiegele Many real-world applications, although being non-linear, can be well
described by linearized models. Therefore, Linear Programming (LP)
became a widely studied and applied technique in many areas of science,
industry and economy. Semidefinite Programming (SDP) is an extension of
LP. A matrix-variable is optimized over the intersection of the cone of
positive semidefinite matrices with an affine space. It turned out, that
SDP can provide significantly stronger practical results than LP. Since
then SDP turned out to be practical in a lot of different areas, like
combinatorial optimization, control theory, engineering, and more
recently in polynomial optimization.

In this talk I will present some ideas how to model discrete
optimization problems using semidefinite programming in order to obtain
semidefinite relaxations. Some of this relaxations proved to be
succesful when using in a branch-and-bound framework. Furthermore, I
want to present a new idea of how to strengthen semidefinite relaxations. 
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Énumeration exacte et asymptotique de pastèques avec barrière
Description: Christian Krattenthaler Le modèle des promeneurs vicieux (sic!)a été introduit par Michael Fisher en mécanique statistique en 1984.De nombreuses variantes ont été étudiées depuis,en particulier celle que je condidère dans mon exposé :lorsque qu'il y a une interaction entre ces promeneurs et un mur.Ce modèle a été originellement proposé par Owczarek, Essam et Brak, qui ont établi quelques résultats partiels.Je montrerai comment complètement déterminer le comportement asymptotiquede la fonction de partition correspondante (et celle d'un autre paramètre pertinent).Nous rencontrerons comme de bien entendu (attendu!) mes chers amis : déterminants, une bijection de tableau et des séries hypergéometriques.
Jeudi 21 Février
Heure: 00:59 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Analyse syntaxique en dépendances et prédiction structurée
Description: Joseph Leroux
Mardi 26 Février
Heure: 12:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé:  Réservation de voies dans un réseau de transport 
Description: Feng Chu
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Un petit survol des grands algorithmes de la théorie des graphes, illustrés via le logiciel libre PIGALE
Description: Patrice Ossona de Mendez