| Equipe/thème | Nom | Description | Lieu | Date | |
|---|---|---|---|---|---|
| Combi | Yvan le Borgne | Algos de tri et "chorégraphies" (ouvert aux collégiens) | Salle 076 | Mercredi 15h00-16h00 | |
| Colette Johnen | Initiation aux algorithmes distribués et auto-stabilisants via la simulation de 3 algorithmes | Bureau 319 | mardi et mercredi de 10h à 12h | ||
| Image et Son | Christian Kaes | Paradigme d'indexation primaire et Histoire des Objets Bruités | Salle visu | Jeudi, 10h30-11h | |
| Sylvain Marchand | Essais de spatialisation pour l'écoute active | Amphi LaBRI | Lundi, 13h30 | ||
| Robert Strandh | Démonstration de Gsharp | Salle 076 | mercredi et jeudi de 12h à 14h | ||
| Luc Vercellin | Démonstration de I-Score | Salle 076 | Mercredi et jeudi, 12h-14h | ||
| Florent Berthaut | Environnement 3D Musical et Collaboratif | Studio Son | Mercredi 15h30 | ||
| Antoine Allombert | Iscore : un système de partitions interactives pour la composition et l'interprétation | Studio Son | Mercredi 9h30 à 12h30 | ||
| Pascal Desbarrats | Démo imprimante 3D | Salle Visu | Jeudi, 9h30 à 12h | ||
| Jean-Michel Rivet | Diffusion d'oeuvres électro-acoustiques | Studio Son | Mardi de 13h15 à 14h00 | ||
| Réseaux | Ismail Djama | Plateforme IPTV | Salle 219 | Vendredi après-midi | |
| Méthodes Formelles | Olivier Ly | Démo Robot | Bureau 351 | Mercredi 16h-18h | |
| 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 | ||
| Mohamed Mosbah | Démonstration de Visidia | Salle 178 | Lundi, de 14h30 à 16h | ||
| LaBRI transfert | Véronique Bogati | Présentation de IKLAX, musique interactive | Amphi | mercredi 11h-12h et 14h15h (enfants) | |
| INRIA | Emmanuel Jeanvoine | Séminaire GRID'5000 | Amphi | vendredi 10h-12h | |
| Emmanuel Jeanvoine | TP GRID'5000. Inscriptions sur staff@lists.grid5000.fr | salle 076 | vendredi 13h30-15h30 | ||
| MaBioVis | Julien Allali | Projet Brasero (comparaison ARN) | Salle 381 | lundi de 15h à 17h | |
| Image et Son/ MaBioVis | Pierre Hanna, Pascal Ferraro, Julien Allali, Matthias Robine et Thomas Rocher | Projet Simbals (requêtes par fredonnements...) | Salle 076 | Tous les jours 12h-14h | |
| Satanas | Cédric Augonnet | Bureau 111 | Démo logicielle accélérateurs (GPU et Cell/BE) | mercredi de 14h à 17h30 | |
| François Broquedis | Bureau 113 | Multithreading (poster) | mercredi de 14h à 17h30 | ||
| François Trahay | Bureau 110 | Communication sur réseaux rapides (poster) | mercredi de 14h à 17h30 |
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.
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.
"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...."
Nous présenterons la plateforme IPTV qui se trouve dans la salle 219 du LaBRI.
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,+,<).
Olivier Ly nous présente son robot bipède.
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.
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.
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).
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...
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.
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.
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.
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é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.
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.