Animation scientifique

Séminaires de laboratoire

  • lundi 14 octobre à 14h en salle 201, exposé de Swan Dubois, maître conférence à l'UPMC et membre du LIP6

    L'auto-stabilisation garantit qu'à la fin d'une période de fautes transitoires, un système réparti retrouve de lui-même un comportement correct en un temps fini. La spéculation consiste à garantir que le système soit correct pour toute exécution mais possède des performances significativement meilleures pour un sous-ensemble d'exécutions qui sont supposées plus probables. Un protocole spéculatif est donc à la fois robuste et efficace en pratique. Nous introduisons ici la notion de spéculation en auto-stabilisation en présentant un protocole spéculativement stabilisant d'exclusion mutuelle. Ce dernier stabilise pour toute exécution et son temps de stabilisation est optimal pour les exécutions synchrones.

    Equipe/Thème:
  • MD SABRI Aznul Qalid, le 1er octobre

    Equipe/Thème:
  • Jeudi 11 juillet à 10h, deux exposés : Robustesse en vision par ordinateur, par le professeur In so Kweon du KAIST (Daejeon-Corée du Sud) ;
    Suivie de Yoan Dupuis sur la détection de visages dans les images omnidirectionnelles.

    Equipe/Thème:
  • Vendredi 14 juin 2013, 14h, en salle 201, Binh Minh Bui Xuan, chargé de recherche au LIP6 (joint work with J.-F. Raymond and P. Trebuchet)

    A major trend in parameterized algorithms aims at solving NP-hard graph problems in two steps: (1) recursively divide the input graph into chunks not increasing the value of a certain "width" parameter; (2) solve the NP-hard problem at hand along the chunk divisions. The two stage divide-and-conquer paradigm is commonly addressed as (1) finding good heuristics/approximation for the width parameter; (2) dynamic programming solving the NP-hard problem at hand .

    From this perspective treewidth has made its mark in research history as a celebrated notion (that also set the stone for numerous other fruitful research fields). It is still the only parameter boasting very advance libraries for both stage (1) and (2) algorithms. This aspect alone has resulted in thousands of papers at the same time theoretical and applicative with treewidth being the main keyword. Unfortunately, the value of treewidth is high on dense graphs, thus fundamentally ruining the whole algorithmic approach on these graph instances*. For decades, a lot of research effort have been put in pointing out elements that would help rectifying the situation: cliquewidth from graph rewriting, rankwidth from graph algebra, booleanwidth from graph algorithms.

    We present experimental results on par with treewidth on regular graphs, while also handle dense graphs in polynomial time. This is achieved by focusing on rankwidth, an algebraic version of treewidth very useful for having deep matroid properties [S. Oum and P. Seymour, Journal of Combinatorial Theory series B, 2006], and booleanwidth, an algorithmic version of rankwidth particularly well suited for dynamic programming [B.-M. Bui-Xuan, J. A. Telle, and M. Vatshelle, Theoretical Computer Science, 2011].

    ----------
    *The phenomenon culminates with the compete graph having treewidth linear in the size of the graph itself. Treewidth based algorithms suffer from this bottleneck and have no other alternative but to perform poorly on these instances. For instance, it -will- take an exponential runtime for a generic treewidth based algorithm to solve Independent Set on a complete graph, unless Independent Set can itself be solved in subexponential time on -all- graphs. Since it is trivial to solve Independent Set on a complete graph, it has been a major challenge of the past decades to improve treewidth by proposing a better valued parameter.

    Equipe/Thème:
  • Jeudi 11 avril 2013, 14h30 : Frédéric Gava MCF (HDR) membre du Laboratoire d'Algorithmique, Complexité et Logique (LACL) de l'Université de Paris Est

    Equipe/Thème:
  • BOMGNI Alain Bertrand, le 28 mars

    Equipe/Thème:
  • Mardi 12 février 2013, 14h en salle 201 : exposé donné par Marc Christie

    Equipe/Thème:
  • NATRAJ Ashutosh, le 17 décembre

    Equipe/Thème:
  • mercredi 12 décembre à 15h30 : dans le cadre du programme E-Cathédrale, M. Andrew Tallon, professeur d'histoire de l'art à Vassar College (USA), fera un séminaire dans les locaux du MIS (14, Quai de la Somme), salle de réunion 201

    Equipe/Thème:
  • MERVEILLEUX-ORZEKOWSKA Pauline, le 23 novembre

    Equipe/Thème:
  • Séminaire du 14 Novembre 2012, à 14h00, par Franck Ruffier, CR CNRS au sein de l'Institut des Sciences du Mouvement Etienne-Jules Marey de Marseille(Salle 201).

    Equipe/Thème:
  • TURKI Mohamed, le 5 novembre

    Equipe/Thème:
  • ABDOUL SOUKOUR Anas, le 23 octobre

    Equipe/Thème:
  • QUAN Zhe, le 2 juillet

    Equipe/Thème:
  • Séminaire du 14 Juin 2012, à 14h00, Michel Raynal, Membre de l'Institut Universitaire de France (Salle 201).

    Equipe/Thème:
  • Séminaire du 7 Juin 2012, à 16h00, par Yu Li, Maître de Conférences, Laboratoire MIS, UPJV (Salle 201).

    Equipe/Thème:

Journées d'études

  • Le laboratoire MIS organise le vendredi 30 mai 2013 sa journée destinée à promouvoir ses jeunes talents. Les présentations se dérouleront dans la salle de conférence du hall du pôle Sciences. Le programme est le suivant :

    9h30-9h50 : Accueil des participants
    9h50-10h00 : Ouverture de la journée

    10h00-11h00 : Session 1 - Équipe COVE

    Ines ABIDI : Contrôle des débits d’air d’un moteur diesel par l’approche floue de type T-S et placement de pôles robustes
    Chedia LATRECH : Commande en réseau de la dynamique latérale du véhicule 11h00-12h00 : Session 2 - Équipe SYSCOM (CReSTIC)
    Florian LEGENDRE : Comment la SATisfaisabilité peut aider la cryptanalyse : approche logique et approche probabiliste
    Mandicou BA : SDEAC: self-Stabilizing Distributed Energy-Aware Clustering

    12h00-14h00 : Pause déjeuner - Buffet organisé par le laboratoire MIS

    14h00-15h00 : Session 3 – Équipe SDMA

    Cyril SEGUIN : Test de performance sur des systèmes de fichiers distribués
    Khaled MOHAMED : PIF instantanément stabilisant sur des arbres dans le modèle à
    passage de messages

    15h00-16h15 : Session 4 – Équipe PR

    Nathan CROMBEZ : Colorisation photo-réaliste de nuages de points 3D
    Zaynab HABIBI : Assistance à l'assistance 3D: Contrôle pertinent de caméra virtuelle
    Romain MARIE : Algorithme de skeletonization adapté aux images omnidirectionnelles pour l’extraction de topologie locale et une navigation sûre

    16h15-16h20 : Présentation des intervenants de la session poster 16h20-16h50 : Session posters + pause café

    Intervenants : Stagiaires en Master au sein du MIS + Doctorants 1ère/2ème année

    16h50-17h00 : Clôture de la journée

    Equipe/Thème:
  • Le laboratoire MIS organise le jeudi 21 juin 2012 sa journée destinée à promouvoir ses jeunes talents. Les présentations se dérouleront dans la salle de conférence du hall du pôle Sciences. Le programme est le suivant :

    09h30-10h00 Accueil des participants

    10h00-10h15 Ouverture de la journée

    10h15-11h05 Session 1: Equipe PR

    Fatima Zahra Benamar « Estimation de Temps de Contact (TTC) en Vision Omnidirectionnelle »
    Romain Marie « Invariants intégraux pour la construction de carte topologique en environnement inconnu »

    11h05-12h20 Session 2: Equipe GOC

    Florian Legendre « Inversion des fonctions de hachage grâce à SAT»
    Quan Zhe «Fast Exact MaxClique solving Based on MaxSAT»
    Anas Abdoul Soukour «Planification d'employés dans le secteur de la sûreté aéroportuaire»

    12h20-14h00 Déjeuner

    14h- 14h50 Session 3: Equipe SDMA

    Anissa Lamani «Rassemblement dans les réseaux de robots »
    Jan Drouaud «Assemblage de novo de génomes bactériens : comment résoudre un puzzle à un million de pièces »

    14h50-15h15 Session 3: Equipe Cove

    Dahmane Ménad «Gestion, Optimisation et Conversion des Energies pour habitat autonome (GEO-ECOHOME) »

    15h15- 16h15 Session posters

    16h15- 16h30 Clôture de la journée

    Equipe/Thème:
  • Lundi 4 juin 2012, "Journée internationale d'étude "vision 3D & robotique"


    Equipe/Thème:

Séminaires d'équipe

Grand Public

  • Le MIS tient un stand à l'occasion de l'exposition "robotique et numerique" dans le cadre de "Futur en Seine" au CentQuatre a Paris. Le projet ANR R-Discover est mis en avant et une demonstration de navigation autonome de robot mobile par suivi de chemin visuel base images panoramiques est réalisée en direct, du 14 au 16 juin 2012.

    Equipe/Thème:

Pages