Mardi 15 Mai


Retour à la vue des calendrier
Mardi 15 Mai
Heure: 11:00 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Phylogenetic trees modeled by increasing Schröder trees
Description: Mehdi Naima In biology a phylogenetic tree is a classical tool to represent the evolutionary relationship among
species. Our main frustration against the classical combinatorial models is related to the chrono-
logical aspect that seems not considered by the models. E. g. the Schröder trees do not take into
account the time evolution. We develop in this paper a model for phylogenetic trees satisfying
in priority two constraints: (1) to take into account the chronological evolution and (2) to be
efficient to simulate. Our model is based on some increasingly labeling of Schröder trees.
Heure: 12:00 - 13:30
Lieu: Salle A303, bâtiment A, Université de Villetaneuse
Résumé: logique catégorique I
Description: Damiano
Heure: 12:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Strong and Cheap SDP and SOCP Hierarchies for Polynomi al Optimization
Description: Bissan Ghaddar In this talk, we propose alternative SDP and SOCP approximation hierarchies to obtain global bounds for general polynomial optimization problems (POP), by using SOS, and SDSOS polynomials to strengthen existing hierarchies for POPs. Specifically, we show that the resulting approximations are substantially more effective in finding solutions of certain POPs for which the more common hierarchies of SDP relaxations are known to perform poorly. Numerical results based on the proposed hierarchies are presented on non-convex instances form the literature as well as on instances from the GLOBAL Library.
Heure: 14:00 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Hom-idempotent graphs, normal Cayley graphs and stable Kneser graphs
Description: Mario Valencia Pabon Dans cet exposé, on parlera de la notion de hom-idempotence dans l'ensemble de graphes : un graphe G est dit hom-idempotent s'il existe un homomorphisme entre le graphe produit cartésien G*G et G lui-même. Cette notion est fortement liée à une classe particulière de graphes de Cayley qu'on appelle les graphes de Cayley normaux. On montrera que les graphes de Kneser K(n,k) ne sont pas hom-idempotents. On montrera aussi que les graphes s-stables de Kneser K(n,k)_s ne sont pas hom-idempotents si s=2 mais, pour n=sk+1, K(n,k)_s est hom-idempotent. Finalement, on appliquera la notion de hom-idempotence à la k-tuple coloration de graphes : une k-tuple coloration de graphes consiste en affecter à chaque sommet un k-ensemble de couleurs de sorte que sommets adjacents reçoivent k-ensembles disjoints. On montrera que la différence entre le nombre chromatique du graphe produit cartésien de graphes de Kneser K(n,k)*K(n,k) et le nombre chromatique d'une 2-tuple coloration du même graphe K(n,k)*K(n,k) n'est pas bornée.