Planning

Equipe/thèmeNomDescriptionLieuDate
Combi Yvan le Borgne Algos de tri et "chorégraphies" (ouvert aux collégiens) Salle 076Mercredi 15h00-16h00
Colette Johnen Initiation aux algorithmes distribués et auto-stabilisants via la simulation de 3 algorithmes Bureau 319mardi et mercredi de 10h à 12h
Image et Son Christian KaesParadigme d'indexation primaire et Histoire des Objets BruitésSalle visuJeudi, 10h30-11h
Sylvain MarchandEssais de spatialisation pour l'écoute activeAmphi LaBRILundi, 13h30
Robert StrandhDémonstration de GsharpSalle 076 mercredi et jeudi de 12h à 14h
Luc VercellinDémonstration de I-ScoreSalle 076Mercredi et jeudi, 12h-14h
Florent BerthautEnvironnement 3D Musical et CollaboratifStudio SonMercredi 15h30
Antoine AllombertIscore : un système de partitions interactives pour la composition et l'interprétationStudio SonMercredi 9h30 à 12h30
Pascal DesbarratsDémo imprimante 3DSalle VisuJeudi, 9h30 à 12h
Jean-Michel RivetDiffusion d'oeuvres électro-acoustiquesStudio SonMardi de 13h15 à 14h00
RéseauxIsmail DjamaPlateforme IPTVSalle 219Vendredi après-midi
Méthodes FormellesOlivier LyDémo RobotBureau 351Mercredi 16h-18h
Jérôme LerouxAutomates de nombres dans TaPASBureau 264mercredi 12-13h et 16-17h
Alain GriffautPrésentation de AltaricaBureau 262Mardi 10h-12h et mercredi 14h-16h
Mohamed MosbahDémonstration de VisidiaSalle 178Lundi, de 14h30 à 16h
LaBRI transfertVéronique BogatiPrésentation de IKLAX, musique interactiveAmphimercredi 11h-12h et 14h15h (enfants)
INRIAEmmanuel JeanvoineSéminaire GRID'5000Amphivendredi 10h-12h
Emmanuel JeanvoineTP GRID'5000. Inscriptions sur staff@lists.grid5000.frsalle 076vendredi 13h30-15h30
MaBioVisJulien AllaliProjet Brasero (comparaison ARN)Salle 381lundi de 15h à 17h
Image et Son/ MaBioVisPierre Hanna, Pascal Ferraro, Julien Allali, Matthias Robine et Thomas RocherProjet Simbals (requêtes par fredonnements...)Salle 076Tous les jours 12h-14h
SatanasCédric AugonnetBureau 111Démo logicielle accélérateurs (GPU et Cell/BE)mercredi de 14h à 17h30
François BroquedisBureau 113Multithreading (poster)mercredi de 14h à 17h30
François TrahayBureau 110Communication sur réseaux rapides (poster)mercredi de 14h à 17h30

Résumés

Execution d'algorithmes de tri sous la forme de "chorégraphies", Yvan Le Borgne.

A la recherche d'un livre dans une bibliothèque, on est souvent content d'apprendre que les livres sont soigneusement rangés selon l'ordre alphabétique du nom de leur auteur. De la même façon un ordinateur est souvent plus efficace lorsque ses données sont triées, se pose alors la question de savoir comment lui apprendre à les trier.

Initiation aux algorithmes distribués et auto-stabilisants via la simulation de 3 algorithmes, Colette Johnen

Un algorithme distribué auto-stabilisant est capable de "trouver" seul un fonctionnement correct quel que soit l'état initial de chaque élément du système.
La démonstration permet d'illuster ce concept sur 3 algorithmes. Le simulateur permet de recalculer aléatoirement un état initial, puis de visualiser graphiquement la convergence vers un fonctionnement correcte.

Paradigme d'indexation primaire et Histoire de sobjets bruités, Christian Kaes

"Le thème "Analyse et indexation vidéo" de l'équipe Image et Son présentera les démonstrations de ses travaux de recherche selon les deux axes.

1. Paradigme d'indexation primaire Quels sont les indices pertinents que nous pouvons extraire des flux vidéo dans le domaine compressé pour répondre aux tâches clés d'indexation : - segmentation en séquences homogènes (plans de montage); - extraction des objets en mouvement; - descripteurs locaux et globaux.

2. Histoire des objets bruités : détection et suivi probabilistes Ici on s'intéresse à l'analyse des scènes animées et utilise la nature stochastique des descripteurs de base (vecteurs couleurs, erreurs de compensation du mouvement...) pour extraire les éléments pertinents et ceci dans des contextes applicatifs variés : surveilance vidéo, monitoring des personnes agées...."

Plateforme IPTV, Francine Krief

Nous présenterons la plateforme IPTV qui se trouve dans la salle 219 du LaBRI.

Automates de nombre dans TAPAS, Jérôme Leroux

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,+,<).

Démo Robot, Olivier Ly

Olivier Ly nous présente son robot bipède.

Présentation de Altarica, Alain Griffault

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.

Présentation de Visidia, Mohamed Mosbah

Dans le cadre de la fête du LaBRI, M. Mosbah présente la plateforme visidia au groupe de travail algorithmique distribuée (ouvert aux autres membres du labo) le lundi 20 octobre à 14h30 - salle 178

L'exposé aura deux parties: Présentation de visidia et démonstration Visidia est un logiciel qui permet d'implanter, de visualiser et d'animer un algorithme distribué. Cet outil offre une interface graphique permettant de construire un graphe, représentant le réseau, à l'aide de la souris, et de programmer un algorithme distribué en utilisant une bibliothèque de primitives de base. Plusieurs algorithmes (arbre recouvrant, élection) sont déjà implémentés et peuvent être visualisés directement par l'utilisateur. A chaque noeud du graphe, le logiciel visidia associe automatiquement un processus léger (thread) et une copie de l'algorithme à exécuter. La visualisation consiste à animer les évènements (de haut niveau) lors de l'exécution d'un algorithme (envoi de message, changement d'état, progression du calcul). Visidia est utilisé pour l'enseignement d'algorithmes distribués et pour la mise au point ou l'analyse d'algorithmes.
Des extensions de visidia aux agents mobiles et aux réseaux de capteurs seront également présentées.

GRID'5000, Emmanuel Janvoine

Résumé du séminaire:
Les grilles informatiques sont devenues une cible de choix pour l'exécution d'applications issues de nombreux domaines scientifiques, tout particulièrement si elles sont gourmandes en temps de calcul. Dans cet exposé, nous présentons Grid'5000 qui est une plate-forme expérimentale lancée en 2003 à l'occasion de l'ACI Grid et désormais supportée par l'ADT Aladdin/G5K de l'INRIA. Grid'5000 permet d'étudier la grille à plusieurs niveaux : réseau, système d'exploitation, intergiciel, bibliothèque d'exécution, environnement de programmation, application. Nous verrons dans un premier temps le contexte, les motivations et les caractéristiques de cette plate-forme. Ensuite, nous étudierons les services offerts pour simplifier l'exploitation des ressources. En particulier, nous détaillerons l'outil de réservation de ressources, OAR, l'outil de reconfiguration des ressources, Kadeploy et les outils dédiés au pilotage des expériences. Finalement, nous présenterons les évolutions à venir dans le cadre de l'ADT Aladdin/G5K.

Résumé du TP :
Afin de faire découvrir la plate-forme Grid'5000 aux utilisateurs débutants, un TP sera organisé. Ces utilisateurs découvriront alors les différentes phases d'une expérience menée sur le grille : connexion à la grille, réservation, utilisation et libération des ressources. Les utilisateurs apprendront aussi à reconfigurer la pile logicielle des ressources utilisées afin de créer un environnement personnalisé de travail. Ce TP nécessite deux pré-requis : la connaissance de SSH et la possession d'un compte Grid'5000 actif (si cette condition n'est pas remplie, il faut contacter bordeaux-staff@lists.grid5000.fr).

Essais de spatialisation pour l'écoute active, Sylvain Marchand

L'écoute active consiste à offrir à l'auditeur la liberté de modifier les paramètres d'une musique pendant sa diffusion (une démonstration par la société iKlax Media, partenaire du LaBRI, est prévue le mercredi 22 octobre). Un paramètre important est la mise en espace (ou spatialisation). Une démonstration devrait être faite à l'occasion de la soutenance d'HDR de Sylvain Marchand (prévue pour le 5 décembre), sur un ensemble de 8 haut-parleurs. Ce système de diffusion sera expérimenté en avant-première le lundi 20 octobre. Le calcul des exemples sonores se fera en direct sous vos yeux (ou plutôt vos oreilles...). C'est l'occasion de voir un Maître de Conférences se transformer en "Master of Ceremonies", et de participer au remix de standards de la musique pop...

Démonstrations de Gsharp, Simbal et I-Score

Démonstrations logicielles en salle 076 durant la semaine entre 12h et 14h : * Gsharp, un éditeur de partitions de musique, par Robert Strandh * Simbals, un projet ANR Son/MaBioVis, par Pierre Hanna, Pascal Ferraro, Julien Allali, Matthias Robine et Thomas Rocher * Notation sonore dans I-Score, par Luc Vercellin.

Environnement 3D Musical et Collaboratif, Florent Berthaut

Présentation et démonstration des travaux de Florent Berthaut.

Présentation du projet ANR BRASERO (biologically relevant algorithms and softwares for efficient RNA structure comparison) autour d'un poster.

Depuis quelques années, le rôle des ARN non-codants dans les différents processus cellulaires a été considérablement réévalué. On sait maintenant que de petits ARN non codants (tels que les petits ARN nucléaires, les petits ARN nucléolaires, les micro-ARN) interviennent à tous différents niveaux de la régulation et de l’expression des gènes, par exemple. Il y a donc un besoin crucial d’outils informatiques pour aider à la manipulation et à la modélisation des ARN.

Le but du projet BRASERO est de fournir des outils à la fois efficaces et pertinents d’un point de vue biologique pour le problème essentiel de la comparaison d’ARN. Le projet inclut trois volets originaux: la conception de modèles combinatoires et d’algorithmes efficaces (issus de théorie des graphes et des arbres), la constitution de données de benchmarks pour l’évaluation et la validation sur des réelles problématiques biologiques, le développement de logiciels librement diffusés intégrant également des programmes originaux visualisation. Ces travaux devraient mener à la proposition d’outils standard qui ont vocation à devenir une référence dans la communauté. Le projet repose sur une collaboration étroite entre quatre équipes multidisciplinaires qui ont une longue expérience de l’algorithmique et de la biologie de l’ARN.

Iscore : un système de partitions interactives pour la composition et l'interprétation

Présentation de Iscore, un système de composition musicale basé sur des contraintes temporelles pour la composition de pièces interactives. Au delas de la composition et l'interprétation de pièces spécifiques, Iscore est maintenant capable d'importer des partitions "traditionnelles" et de permettre aux musiciens de regler le degré d'interaction avec ces pièces.

Démonstration de Gsharp

Gsharp est un logiciel interactif d'édition de partitions de musique. Nous expliquons les particularités de ce logiciel, et en particulier les algorithmes et les structures de données essentiels de celui-ci et les aspects de l'interface utilisateur conçu pour améliorer la productivité de l'opérateur.

Diffusion d'oeuvres électroacoustiques

Le SCRIME, qui associe notamment des chercheurs du LaBRI, thème "Modélisation du son et de la musique", et des compositeurs du Conservatoire National de Région de Bordeaux vous invite à un concert pour la fête du LaBRI.

Nous vous proposons de se retrouver le mardi 21 octobre, de 13h15 à 14h00 au studio son du LaBRI pour une diffusion d'oeuvres électroacoustiques des compositeurs réguliers du SCRIME par Jean-Michel Rivet.

Démo imprimante 3D

Démonstration des capacités d'impression de l'imprimante 3D, du modèle virtuel au modèle imprimé. Explications sur le fonctionnement de l'imprimante et présentation de quelques exemples d'application.

Projet Simbals, SIMilarity Between Audio signaLS

Le domaine de recherche recherche d'information musicale (Music Information Retrieval) implique le développement de nouvelles méthodes de classification, d'indexation et de recherche pour les signaux musicaux audio. Un des principaux problèmes encore ouverts du domaine est l'estimation de la similarité entre des pièces musicales. Les systèmes d'estimation de la similarité musicale existant reposent essentiellement sur la similarité du timbre. Notre équipe propose d'étudier l'adaptation d'algorithmes couramment appliqués dans des domaines tels que la bioinformatique ou la reconnaissance de chaînes de caractères, au contexte musical. Nous présenterons rapidement quelques premiers résultats sur la similarité mélodique ainsi que quelques applications telles que la requête par fredonnement ou par rythme, la visualisation de structures musicales ou encore la détection de plagiats. Nous aborderons aussi quelques nouvelles perspectives sur la similarité des propriétés tonales.