A l'occasion de la fête du LaBRI, participez au repas jeudi 21 octobre, rendez-vous à 19h dans le hall du LABRI.
Les amateurs de vin pourront ramener leurs bouteilles favorites, le LaBRI fournit eau et jus de fruits à volonté.
Ce repas a lieu grâce aux membres du service administratif!
Pour plus de renseignements: accueil@@labri.fr.
La fête du LaBRI est également l'occasion d'admirer la riche palette des recherches effectuées dans le laboratoire!
Du 18 au 23 octobre de nombreux chercheurs du LaBRI ouvrent leur porte pour satisfaire notre curiosité.
Découvrez ci-dessous le planning des animations mises en place grâce au zèle de Romain Bourqui, Paul Dorbec, Valentin Feray, Lebna Mizani et Cathy Roubineau.
Le mercredi, il y a quelques animations ouvertes aux jeunes et aux enfants, à cette occasion vous pouvez y emmener votre famille (sous votre responsabilité).
Pour plus de renseignements ou/et pour participer à la prochaine édition: hugo.gimbert@@labri.fr.
Equipe/thème | Nom | Description | Lieu | Date |
---|---|---|---|---|
LaBRI | ||||
Guy Mélançon | Qualifications MCF / PR: tout ce que vous avez toujours voulu savoir sans jamais oser le demander | Amphi LaBRI | Jeudi 15h | |
AFoDIB / Doctorants | ||||
AFoDIB | Animation ludique | 178 | Jeudi 19h | |
Nicolas Hanusse | Accueil nouveaux doctorants | Amphi LaBRI | Jeudi 10h | |
CombiAlgo | ||||
Adrien Boussicault | La décomposition en éléments simples par le dessin | Bureau 205 | Lundi 14h-16h | |
Paul Dorbec | Domination, Power Domination | Bureau 215 | ||
Paul Dorbec, Eric Sopena | Une incursion dans l'univers ludique des jeux combinatoires | Salle 178 | Jeudi 15h30-17h00 | |
Valentin Feray | Combien d'échanges de cartes faut-il pour mélanger un jeu? | Bureau 314 | Jeudi 14h30 - 17h | |
Nicolas Hanusse | Graphe petit-monde | Bureau 360 | Mardi 9h30 - 10h30 | |
Colette Johnen | Algorithmes distribués auto-stabilisants | Salle 178 | mardi 11h | |
Gabriel Renault | Etude de COL, un jeu combinatoire partisan (GT Graphes) | Salle 178 | Vendredi 14h - 15h | |
Image et Son | ||||
Nicholas Journet et Vincent Rabeux | De la numérisation à la caractérisation de contenu d'images de documents anciens : où commencer? où s'arrêter? | Salle 073 | Mercredi, 10h-11h | |
Sylvain Marchand | Spatialiser les CD... | Labo Son | Mercredi 10h-11h (ouvert aux enfants/jeunes) | |
Florent Berthaut | Présentation de Drile | Hémicyclia | merecredi 15h - 16h et vendredi 15h-16h (ouvert aux enfants/jeunes le mercredi après-midi) | |
LaBRI Transfert | ||||
Véronique Bogati | Être chercheur et collaborer avec un industriel : 10 bonnes raisons de bien le vivre | 076 | Jeudi 16h - 17h | |
MaBioVis | ||||
David Auber | Petite école sur l’utilisation de Tulip | Salle 076 | Mardi 14h-15h | |
Anne-Laure Gaillard | Compression des plantes | Salle 076 | Mardi 11h-12h | |
Pascal Ferraro | Comparaison de la Musique | Bureau 375 | Jeudi 14h-15h | |
Méthodes Formelles | ||||
Jérôme Leroux | Automates de nombres dans TaPAS | Bureau 264 | mercredi 12-13h et 16-17h | |
Alain Griffaut | Présentation de Altarica | Bureau 262 | Mardi 10h-12h et mercredi 14h-16h | |
Aymeric Vincent | Analyse de code : do you speak binary? | Bureau 264 | Vendredi 14h-18h | |
Réseaux | ||||
Rémi Laplace, Damien Dubernet, Cyril Cassagnes et Jigar Solanki | Démonstrations et discussions autour de drones, applications de la technologie NFC et utilisation bluetooth | Salle 124 | Vendredi 15h-16h | |
SATANAS | ||||
Rémi Abgrall et François Pellegrini | Présentation du projet Bacchus | Batiment INRIA (A29bis). Bureaux 3 et 28 | Vendredi 10h-12h | |
Brice Goglin | Votre console de jeux peut-elle servir de calculatrice ? | INRIA (A29bis) | Mardi et jeudi 15h-16h |
L'écriture binaire permet d'associer à tout entier un mot sur l'alphabet {0,1}. Cette écriture s'étend aux vecteurs d'entiers mais aussi aux ensembles de vecteurs d'entiers. Dans ce cas, un langage de mots est associé à un ensemble de vecteurs d'entiers. Lorsque le langage est régulier il est alors possible de représenter par un automate fini des ensembles potentiellement infinis. On présentera sur quelques exemples la suite d'outils TaPAS (the Talence Presburger Arithmetic Suite) utilisant cette méthode pour résoudre la logique de Presburger FO(Z,+,<).
The AltaRica project is born from the wish of industrial partners and academic researchers to build gates between the domain of Formal Methods and the one of Reliability and Risk Assessment, the quantitative analysis of dysfunctions and the qualitative analysis of functional behaviors, the tools and methods used for the modelling of systems. The aim of the project is to provide to designers an integrated workbench for the qualitative/quantitative analysis of complex and/or critical systems.
Analyser du code est une tâche difficile mais sur laquelle de nombreux travaux ont permis de faire des avancées importantes et qui passent à l'échelle ces dernières années. En revanche, partir d'un code binaire exécutable pour en extraire des informations est ce que nous vous proposons de découvrir pendant ces portes ouvertes
Les travaux qui vont être présentés lors de ce séminaire ont pour principale ambition de revenir sur l'importance de la phase de numérisation dans une chaîne de traitements de documents. Alors que cette première étape de numérisation conditionne tout le reste de la chaîne, nous verrons qu'en dépit du grand nombre de campagnes de numérisation déjà réalisées, cette phase de numérisation est bien trop isolée des étapes suivantes (restauration, compression, segmentation, indexation, visualisation...). Après un rapide tour d'horizon sur l'état actuel des connaissances après 10 ans de projets de numérisation, nous présenterons les premiers travaux relatifs à la caractérisation d'images de documents anciens. Cette caractérisation a pour ambition de permettre l'association de métadonnées aux images de documents dès l'étape de numérisation. C'est dans ce sens que nous présenterons nos travaux sur la caractérisation de fontes anciennes et la quantification de la transparence dans des images de documents anciens. Nous montrerons notamment que sur la base de cette quantification, il est possible d'associer aux images numériques des métadonnées permettant de prédire les résultats de l'application de logiciels de reconnaissances de caractères tels que FineReader ou OCROPUS.
Deux personnes choisissent à chaque étape une carte indépendemment dans un jeu. Si les cartes sont différentes, on les échanges. En partant d’un jeu trié, combien d’opérations sont nécessaires pour que le jeu soit mélangé, c’est-à dire que tous les ordres possibles aient presque la même probabilité? La modélisation mathématique de ce problème simple fait apparaître plusieurs objets que l’on étudie dans le thème “Combinatoire Énumérative et Algébrique” : chaîne de Markov, représentations, fonctions symétriques. C’est donc un bon prétexte pour en donner un rapide aperçu.
Depuis 10 ans le thème Visualisation d’information de l’équipe MABioVis développe une plateforme de visualisation d’information. Cette plateforme permet d’analyser/visualiser des graphes ainsi que des ensembles de données multi dimensionnelles. L’objectif de cette petite école est triple : Premièrement nous montrerons comment utiliser le front end Tulip pour analyser vos données. Deuxièmement, nous montrerons les possibilités d’extension de la plateforme qui permette d’intégrer facilement de nouveaux algorithmes de graphe, de visualisation et de calcul. Finalement nous montrerons comment la plateforme peut être utilisée à des fins pédagogique pour visualiser, analyser le déroulement d’algorithmes de graphes écrit en Python ou en Java Script. Publique visé : Tous les chercheurs qui travaillent sur les graphes. Plus d’information sur la plateforme ici.
Les plantes présentent généralement des structures complexes dont la représentation et le traitement génèrent une importante source de complexité. Leurs structures sont pourtant répétitives bien que non identiques. Ce caractère répétitif a été largement utilisé pour la modélisation et la simulation de plantes. Cependant le problème qui consiste à trouver une version compacte de l'architecture d'une plante reste ouvert et est devenu un point essentiel pour l'application des modélisations en permettant la génération de modèles plus complexes tout en diminuant les complexités en temps et en espace des algorithmes. Nous verrons une méthode de compression avec perte de l'architecture des plantes basée sur leur autoredondance.
Un algorithme distribué auto-stabilisant est capable de converger automatiquement un fonctionnement globalement correct quel que soit l'état initial de chaque entité autonome du système. Ce concept est illustré par la simulation de quatre algorithmes de circulation de jetons. Le premier algorithme étant l'un des trois premiers algorithmes dit auto-stabilisants proposés par Dijkstra en 1974. Le simulateur calcule aléatoirement un état initial (ayant un nombre quelconque de jetons); puis, il propose (toujours aléatoirement) une exécution. On observe ainsi la converge vers une situation où un unique jeton circule dans le réseau.
Les ordinateurs ont une puissance souvent insoupçonnée. Chacun d’entre eux peut en effet calculer plus vite que l’ensemble des habitants de la terre réunis ! Cependant, exploiter cette puissance est un calvaire pour les programmeurs du fait de la complexité des ordinateurs modernes. En effet, ils sont constitués de nombreux composants indépendants plus ou moins spécialisés, organisés de manière hiérarchique, et qui doivent collaborer... comme les employés d’une entreprise. Par ailleurs, certains d’entre eux peuvent s’avérer particulièrement performants pour des tâches pour lesquelles ils n’ont pas été conçus. Les cartes graphiques et mêmes les consoles de jeux si chères aux gamers sont en fait de redoutables calculatrices !
On présentera des activités complémentaires en simulation numérique haute performance. Le but est de simuler des écoulements fluides sur machines parallèles. Quels sont les algorithmes qui s'adaptent en machine, tant du point de vie approximation (donc math appli), que du point de vue HPC (partionnnement de graphes : PT-scotch) et solveurs linéaires (Hips)? Tous ces aspects sont couplés dans le logiciel FluidBox. On montrera des exemples de simulations 3D autour d'avions.
Une démarche classique en combinatoire algébrique consiste à représenter des objets algébriques (par exemple une fraction rationnelle) par des objets combinatoires que l'on peut dessiner facilement (par exemple un graphe). Si la correspondance est bien choisie, certaines opérations peuvent se traduire visuellement sur le graphe. Ainsi, la décomposition en éléments simples devient un divertissement qui peut se réduire à de simples dessins. Vous êtes donc attendu, au bureau 205, avec des crayons de couleurs.
L'article "Could any graph be turned into a small world ?" écrit par Philippe Duchon, Nicolas Hanusse, Emmanuelle Lebahr et Nicolas Schabanel a été classé comme le "Top cited article 2005-2010" de la revue "Theoretical Computer Science" d'Elsevier. Cet article porte sur le phénomène petit-monde et ses conséquences algorithmiques. Il traite du problème de la transformation de graphe, de diamètre éventuellement élevé, en un petit-monde avec l'ajout d'un nombre limité de raccourcis. Je propose de présenter brièvement l'article cité le mardi entre 9h30 et 10h30 dans mon bureau, salle 360.
N'avez-vous jamais rêvé d'un CD qui vous permettrait de manipuler les éléments de la musique : voix, guitare, basse, batterie, etc. ? Alors venez essayer le CD nouvelle génération ! Le multi CD ressemble à un CD classique, mais le lecteur peut séparer les éléments musicaux et les positionner sur un écran tactile. L'auditeur peut ensuite s'amuser à les déplacer sur l'écran et ainsi répartir les sons dans l'espace. Venez vous-même tester ce dispositif, en vous installant au coeur du système à 8 haut-parleurs qui équipe le studio son du LaBRI.
Drile est un instrument virtuel immersif qui permet d'utiliser la technique du live-looping hiérarchique. Les musiciens sont équipés de lunettes stéréoscopiques et immergés dans un environnement virtuel au moyen d'un grand écran. Grâce à des manettes combinant un suivi de position et des capteurs de pression, ils manipulent des objets virtuels représentant des sons ou des séquences musicales. Ils peuvent déclencher les sons, leur appliquer des effets, enregistrer des séquences et construire des structures musicales complexes. Ces structures sont disposées dans des pièces virtuelles entre lesquelles les musiciens peuvent naviguer. Une vidéo de présentation de l'instrument se trouve ici. .
Cette session prendra la forme d'un exposé de vulgarisation (*),
tous publics (prérequis mathématiques : les tables d'addition
de 0 à 9, nombres pairs et nombres impairs...), entrecoupé de
plusieurs sessions ludiques dans une ambiance conviviale.
Elle se clôturera par un tournoi amical permettant à chacun
de repartir avec (ou de consommer sur place) un lot surprise !
(*) au gré des demandes, des considérations plus scientifiques
pourront être abordées sur un coin de tableau avec les
organisateurs...
Ces animations auraont lieu parallèlement au repas du LaBRI.
La Wii d'un membre de l'AFoDIB sera disponible avec deux WiiMotes
et différents jeux. Les gens qui le souhaitent peuvent amener leurs
wiimotes/jeux.
Des jeux de sociétés, de durée plus ou moins longue, seront
disponibles et animés par Axel Bacher.
Les doctorants LSR présents en salle 124 vous proposent de venir discuter des différents projets sur lesquels ils travaillent. Ces discussions se feront dans la bonne humeur et en fonction des demandes des personnes présentes en salle 124 durant le créneau.