Avril 2015


Retour à la vue des calendrier
Jeudi 2 Avril
Heure: 12:15 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Extraction non supervisée de classes évolutives à partir de données temporelles
Description: Allou Samé La classification de données évoluant au cours du temps constitue une problématique centrale dans de nombreuses applications. Dans ce cadre, les paramètres des classes doivent pouvoir s’adapter à l’évolution potentiellement non stationnaire des données. Cet exposé montrera comment les mélanges de lois peuvent être exploités, conjointement avec les modèles à espace d’état (filtre de Kalman), pour atteindre cet objectif. Partant de ce formalisme, un algorithme EM variationnel et sa version online seront détaillés. Ceux-ci seront illustrés sur des données simulées et des données réelles dans le cadre d’un problème de diagnostic dans le secteur ferroviaire.
Mardi 7 Avril
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Structure algébrique des opérateurs de Fliess.
Description: Loïc Foissy
Heure: 15:00 - 18:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Présoutenance de thèse : A left/right dynamic on permutations
Description: Quentin de Mourgues Soit s une permutation dans Sigma_n.Soit i(s)=s(1), j(s)=s^{-1}(1),Soit C_k le cycle 1>2>...>(k-1)>1 (k,k+1,..,n points fixes).On definit L et R comme suit:L(s) = C_{j(s)}.s etR(s) = s.C_{i(s)}^{-1}Il est facile de voir que L et R sont inversibles, la dynamique L/R partitionne donc Sigma_n en classes d'équivalence qui sont des graphes orientés uniformes (une arête entrant/sortant par "couleur" L et R) fortement connexes.Dans cet exposé, on étudiera ces classes : leur nombre, leur taille, leur structure, etc.
Heure: 16:00 - 19:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Présoutenance de thèse : Tilings
Description: Alexandra Ugolnikova
Jeudi 9 Avril
Heure: 14:30 - 15:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Enhanced Distributed Behavioral Cartography of Parametric Timed Automata
Description: Hoang Gia Nguyen Parametric timed automata (PTA) allow the specification and verification of timed systems incompletely specified, or subject to future changes. The behavioral cartography splits the parameter space of PTA in tiles in which the discrete behavior is uniform. Applications include the optimization of timing constants, and the measure of the system robustness w.r.t. the untimed language. Here, we present enhanced distributed master-worker algorithms to compute the cartography efficiently. Experimental results show that our new algorithms significantly outperform previous distribution techniques.
Mardi 14 Avril
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Diamètre et hamiltonicité des associaèdres de graphe
Jeudi 16 Avril
Heure: 14:30 - 15:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: "Formalising Concurrent UML State Machines Using Coloured Petri Nets"
Description: Mohamed Mahdi Benmoussa While UML state machines are widely used to specify dynamic systems behaviours, their semantics is described informally, which prevents the complex systems verification.
In this paper, we propose a formalisation of concurrent UML state machines using coloured Petri nets.
We consider in particular concurrent aspects (orthogonal regions, forks, joins, shared variables), the hierarchy induced by composite states and their associated activities, internal/external/local transitions, and entry/exit/do behaviours.
Vendredi 17 Avril
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: gdt Homotopy Type Theory - séance 1
Description: Andrew Polonsky The first of a little series of talks on Homotopy Type Theory (i.e., higher-order algebraic treatment of the notion of equality in dependant type theory).

Logical relations are a technique for proving meta-theoretic
properties of type systems.
In recent years, they have received a lot of attention as it became
clear that logical relations give the most natural definition of
extensional equality in type theory.
A major open problem is to define a type system which contains
extensional equality as an internal type constructor. For this, it is
necessary to reflect the external logical relation back into the
syntax of the type language.
In this talk I will describe how to do this.
Mardi 21 Avril
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: La tour de Hanoï, revue par Dudeney
Description: Thierry Bousch Dans la version classique de "la Tour de Hanoï", c'est-à-direavec trois aiguilles, on sait bien qu'on peut transférer N disquesd'une aiguille vers une autre en 2^N-1 mouvements, et que ce nombreest minimal. Ajoutons une quatrième aiguille: quel est alors le nombreminimum de mouvements nécessaires pour transférer N disques d'uneaiguille vers une autre? Etrangement, ce problème posé il y a plusd'un siècle par le puzzliste anglais Henry Ernest Dudeney n'a étérésolu que tout récemment. Et pour d'autres variantes de la Tourde Hanoï, avec davantage d'aiguilles ou des restrictions sur lesmouvements, le problème est largement ouvert.voir aussi l'article sur le site du CNRS
Mardi 28 Avril
Heure: 12:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Exact Algorithms for Nonconvex Quadratic Integer Optimization
Description: Christoph Buchheim The talk addresses the problem of minimizing a quadratic objective function over integer variables. Even in the most simple case of binary or box-constrained integer variables, such problems are very hard to solve in theory and in practice. In fact, the problem remains NP-hard both in the case of a convex objective function over binary variables (then being equivalent to max-cut) and in the case of a non-convex objective function over the unit cube (the so-called BoxQP).

After shortly reviewing some classical approaches for quadratic discrete optimization, we present two recent methods that are specifically designed for the nonconvex case, aiming at relaxations that jointly address the nonconvexity of the objective function and the nonconvexity of the discrete variable domains. While the first approach results in a semidefinite relaxation of the problem, the second approach uses ellipsoidal relaxations; both approaches can be embedded into branch-and-bound schemes. We present experimental results for the resulting algorithms, showing that the SDP-based approach yields very strong dual bounds that however take more time to be computed, while the second approach based on ellipsoidal relaxations is able to enumerate a large number of nodes in a short time due to a sophisticated preprocessing phase. The resulting total running times are comparable; both approaches however significantly outperform standard software such as Couenne or BARON.