Animation scientifique

Séminaires de laboratoire

  • Le mardi 18 mars, à partir de 14h15, en salle 201, par Cyril Seguin (doctorant cifre co-encadré par G. Le Mahec)

    De larges variétés d’applications, notamment dans le calcul haute performance (analyse probabiliste, météorologie, ... ), ont recours aux systèmes distribués pour produire et analyser de grandes quantités de données. Des infrastructures distribuées et plus récemment les infrastructures de type cloud ont émergé afin de permettre l’exécution de tels calculs. Citons par exemple les Infrastructures en tant que service (IAAS), qui sont de plus en plus utilisées dans le calcul à haute performance comme un moyen simple et peu onéreux de disposer ponctuellement de ressources de calculs. Sur ce type d’infrastructures, les données sont habituellement stockées sur des plateformes extérieures (Amazon S3, OpenStack Swift, ...) puis copiées sur les instances lorsque les applications scientifiques en ont besoin. Cependant, les images disques de ces infrastructures ont une taille limitée et ne peuvent être partagées entre toutes les instances. La quantité de données à stocker augmentant continuellement, des solutions de stockage réseaux efficaces et supportant le passage à l’échelle supérieure sont nécessaires afin de fournir aux applications un accès aux données. De nos jours, la principale solution de stockage utilisée est le système de fichiers distribués (DFS) qui fournit un espace de stockage permanent et permet le partage d’un ensemble de fichiers sous la forme d’une vue unifiée en fédérant des ressources de stockages dispersées au travers d’un réseau.

    Cependant, les IAAS sont des infrastructures élastiques : des ressources sont ajoutées ou retirées selon les besoins et les stratégies de placement de données des DFS actuels ne sont pas conçues pour supporter cette élasticité : elles répartissent les données de manière à utiliser au maximum l’espace de stockage disponible (c’est à dire l’ensemble des ressources) rendant difficile la suppression de ressources sans perte de données. De plus, elles ne tiennent pas compte des différentes popularités des données (nombre d’accès sur une periode de temps), ni des différents débits fournis par les ressources, impactant les performances de la plateforme. Nous proposons donc de repenser les stratégies de placement de données autour de leur po- pularité. Dans cet exposé, nous présentons plusieurs algorithmes de placement de données permettant d’optimiser l’efficacité de la plateforme (c’est à dire de minimiser le nombre de ressources utilisées tout en optimisant les débits en lecture de la plateforme). Pour tester l’efficacité de ces algorithmes, nous simulons une plateforme de calculs distribués de type IAAS, hétérogène en débits, sur laquelle un DFS est déployé pour stocker et partager les données. Les premiers résultats obtenus sur des jeux de données simples montrent que le placement des données en fonction de leur popularité, ainsi que des débits fournis par les ressources permet d’améliorer l’efficacité de la plateforme par rapport au placement par défaut des DFS.

    Mots-clés : Système de fichiers distribué, Placement de données

    Equipe/Thème:
  • Le jeudi 13 mars à partir de 14h15 en salle 201, Michael Baker Directeur de Recherche CNRS à Telecom ParisTech viendra faire un séminaire intitulé : "appropriation d'une technologie collaborative, anatomie d'un échec".

    Equipe/Thème:
  • Séminaire proposé par Marilyne Rosselle, le mardi 11 mars 2014 à partir de 14h en salle 201 :
    Présentation des MOOC, de projets de recherche et des premiers résultats publiés relativement à l'un de ces projets : un cadre de description.

    Equipe/Thème:
  • Jeudi 13 février de 14h15 à 15h15, Amphi Ehresmann, Saholy Malet, juriste et présidente de l'Association IDA/Paris II, nous fera un exposé sur le thème du "droit à l'oubli numérique".

    Equipe/Thème:
  • ZHU Zhu, le 15 novembre 2013

    Equipe/Thème:
  • SOONTRANON Narut, le 21 octobre

    Equipe/Thème:
  • 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:

Grand Public

  • Mardi 18 février 2014, au Logis du Roy, salle du Sagittaire, de 14h à 17h
    Séminaire animé par G. Le Mahec (MIS), E. Vivier (DISI) et (M. Majada – UTC).

    Equipe/Thème:
  • Samedi 15 février, à 11h45 au Logis du Roy, E. Mouaddib est invité par l’AMOPA (L'Association des Membres de l’Ordre des Palmes Académiques - http://www.amopa-somme.org/) à donner une conférence intitulée « La cathédrale d’Amiens en 3D ».

    Equipe/Thème:

Séminaires d'équipe

  • Vendredi 7 février dans la salle 201, à partir de 9h00. Au programme : G. Dequen présentera, entre autres, un système hybride pour la cryptAnalyse, L. Devendeville complètera son exposé sur le routage des véhicules et C. Li présentera une borne incrémentale pour MaxClique et applications.

    Equipe/Thème:
  • Jeudi 6 février à partir de 14h00, en salle 201. Exposés présentés par A. Potelle et Y. Alj (postdoc sur le projet COALAS).

    Equipe/Thème:
  • Lundi 27 et mardi 28 Janvier, journées de recherche, de l’équipe COVE, séminaires et comité de pilotage sont prévues en salle de réunion 201 et 207.
    Participants : IRSEEM et Université de Brighton.

    Equipe/Thème:
  • Vendredi 20 décembre 2013, l’équipe GOC (Graphe, Optimisation et Combinatoire) fera son bilan annuel.

    Les exposés seront informels. Beaucoup de temps sera consacré pour les discussions. La journée a lieu dans la salle 201, elle est ouverte à tous les collègues du MIS ! Au programme...

    • Problème de Localisation/Routage dans un réseau de transport Dépôt/Clients, avec fenêtres de temps de disponibilités et synchronisation des interventions. Application aux agents mobiles de la santé (L. Devendeville et C. Vasseur),
    • Interpretation of Cook's theorem - Whit is NP? (Y. Li),
    • Satisfiabilité et Cryptanalyse, projets de recherche avec COVE, COS, PR (e-cathédr@le) (G. Dequen),
    • Bornes incrémentales pour le problème MaxClique et ses applications (C. Li).
    Equipe/Thème:
  • Mardi 17 décembre 2013, l’équipe PR (Perception en Robotique) fera son bilan annuel à Saint Valery.

    Au programme :

    • Détection de personnes (Paul Blondel),
    • Estimation de pose et modèle 3D de la cathédrale (N. Crombez),
    • Navigation visuelle pertinente de caméras dans le modèle 3D de la cathédrale d’Amiens (Z. Habibi),
    • Estimation du Temps de Collision par vision catadioptrique (F. Z. Benamar),
    • Détection de collisions (I. Abdi),
    • Vision catadioptrique adaptative (G. Caron),
    • Vision plénoptique (E. Mouaddib),
    • Traitements de nuages 3D (D. Kachi),
    • Vision thermique (A. Potelle),
    • Bilan général et perspectives (C. Pégard)
    Equipe/Thème:
  • Jeudi 12 décembre à 15h30, par A. Abou-Moughlbay, salle 201

    Equipe/Thème:
  • Mardi 10 décembre à 10h00, A. Koita, chercheur à l'IFSTAR (Institut Français des Sciences et Technologies des Transports, de l’Aménagement et des Réseaux), Salle 201

    Equipe/Thème:
  • Jeudi 28 novembre 2013. Bilan d'équipe.

    Equipe/Thème:
  • Jeudi 10 janvier 2013, 14h-15h30 (salle 201) par Alex Potelle

    Equipe/Thème:
  • 12 décembre 2012
    Ines Abidi : "Commande robuste de la boucle d'air d'un moteur Diesel"
    Davari Far : "Gestion optimale d'un système de conversion d'énergie multisources"
    Hana Ghorbal Enseignante à l'ENIS de Sfax : "Commande tolérante aux fautes des systèmes non linéraires"
    Jean Bester : "Gestion de l'énergie dans les avions"
    Dahmane : "Commande robuste des convertisseurs DC/DC"

    Equipe/Thème:
  • 11 décembre 2012 par Chadia Latrach

    Equipe/Thème:
  • 10 décembre 2012 par Hamid Dahmani

    Equipe/Thème:
  • Jeudi 30 novembre 2012, Séminaire d'équipe résidentiel au Carlton d'Amiens.

    Equipe/Thème:
  • 27 Novembre 2012 par Prof H. R. Karimi (Université d'Agder-Norvège)

    Equipe/Thème:
  • 23 novembre 2012 par Prof. M. EL OUARIACHI de l'Ecole Supérieure de Technologie (Oujda-Maroc) -
    Conception et réalisation d’un système photovoltaïque muni d’une commande MPPT et d’un circuit de détection de dysfonctionnement du système analogiques pour une meilleurs exploitation de l’énergie solaire

    Equipe/Thème:
  • Jeudi 15 novembre 2012, 14h-15h30 (salle 201) par Florence Levé et Richard Groult

    Equipe/Thème:
  • Vendredi 26 octobre 2012, 14h-15h30 (salle 201) par Ouiddad Labbani-Igbida

    Equipe/Thème:
  • Jeudi 11 octobre 2012, 14h-15h30 (salle 201) par Fatima Zahra Benamar

    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:

Pages