Septembre 2014


Retour à la vue des calendrier
Mardi 16 Septembre
Heure: 12:00 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Lexicographical polytopes
Description: Michele Barbato Within a fixed integer box of R^n, the lexicographical polytopes are the convex hulls of the integer points that are lexicographically between two given integer points. We prove that, together with the bounds, the linear inequalities that arise naturally when characterizing those points suffice to describe these polytopes. As a consequence, this family of integer polytopes is closed by intersection.
Beside, we prove that lexicographical polytopes are precisely the superincreasing knapsacks described by Gupte. Our contribution is to provide significantly simpler and shorter proofs.
This is a joint work with Roland Grappe, Mathieu Lacroix and Clément Pira.
Mardi 23 Septembre
Heure: 12:00 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Vérification distribuée par exploration d'un espace de paramètres
Description: Camille Coti Dans cet exposé, je présenterai un travail effectué avec Étienne André et Sami Evangelista portant sur la parallélisation d'un algorithme de vérification par exploration d'un espace de paramètres dans le but d'établir un ensemble de contraintes.

Ces contraintes forment un pavage de cet espace de paramètres par des polyèdres irréguliers. La parallélisation de cette exploration ne peut alors pas s'effectuer en utilisant une décomposition de domaine classique, du fait du caractère irrégulier des polyèdres obtenus. Nous avons implémenté et évalué deux heuristiques de décomposition du calcul entre les processus parallèles et examiné leurs performances.

Ce travail a été présenté à la conférence EuroMPI/Asia 2014.
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: soutenance de thèse
Description: Nguyen Nghia Hoang
Lundi 29 Septembre
Heure: 14:00 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Peuplement d'ontologies par des techniques de TAL
Description: Frédérik Bilhaut La société NOOPSIS, éditeur de logiciels de "text-mining" et "knowledge management" issu du laboratoire GREYC en 2008, vient présenter des expérimentations réalisées dans le domaine du "Knowledge Base Population" (KBP). Le cadre général de ces travaux est l'utilisation de modèles linguistiques et sémantiques permettant d'instancier automatiquement des bases de connaissances au format RDF du W3C. Nous nous intéresserons principalement au sujet de l'instanciation de ressources et de prédicats par la reconnaissance d'entités et la "tripletisation" de procès linguistiques. Les techniques de TAL employés impliquent la reconnaissance d'entités et surtout une analyse syntaxico-sémantique de différents phénomènes prédicatifs. Nous évoquerons également des problématiques connexes comme l'identification automatique de classes, ou encore des questions liées à la représentation des procès dans le modèle RDF. L'objectif de la rencontre est d'exposer des applications pratiques de ces méthodes et leurs modalités d'implémentation, d'identifier des pistes potentielles de collaboration, et si possible de discuter les pistes à suivre.
Mardi 30 Septembre
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Polynomials invariants on stranded graphs
Description: Joseph Ben Geloun Tutte polynomial is a 2-variable polynomial defined on a graph whichsatisfies a contraction/deletion recurrence relation. This polynomialgeneralizes into the so-called Bollobas-Riordan (4-variable) polynomial forribbon graphs which also satisfies a similar recurrence rule. In the recentPhysics literature, there exists a growing interest for a new category ofgraphs called rank d stranded graphs. Such graphs encompass simple andribbon graph structures and represent simplicial complexes in any dimensiond. I will introduce a genuine 7-variable polynomial on these graphstructures when restricted in rank 3 and when provided with a specificcoloring. The polynomial satisfies a new contraction/cut rule. The procedurecan be certainly extended in any rank.