Index des productions scientifiques


 

 

 


 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

img-titre-HDR L'habilitation à diriger des recherches, ou HDR, sanctionne la reconnaissance du haut niveau scientifique du candidat, du caractère original de sa démarche dans un domaine de la science, de son aptitude à maîtriser une stratégie de recherche dans un domaine scientifique ou technologique suffisamment large et de sa capacité à encadrer de jeunes chercheurs. Elle permet notamment d'être candidat à l'accès au corps des professeurs d'université.

2010

img-HDR-Benoit-Baudry Benoit Baudry (projetTriskell)

Question-learn-test-feedback pattern to test emerging software construction paradigms -10 décembre 2010

This habilitation introduces the question-learn-test-feedback pattern that resulted from a series of investigations in the domains of software testing and modular software construction. (read the rest)

img-HDR-Sébastien-Pillement Sébastien Pillement (projet Cairn)

Conception d'architectures reconfigurables dynamiquement: du silicium au système - 22 octobre 2010

Ces travaux de recherche portent sur la conception de systèmes reconfigurables dynamiquement. L’évolution constante des applications et le besoin toujours croissant de performances imposent le développement de nouvelles architectures performantes et flexibles. (lire la suite)

img-david-cachera-hab David Cachera (projet Celtique)

Analyses statiques: certifier et quantifier - 30 août 2010

Ce travail présente quelques contributions dans le domaine des méthodes formelles de vérification des systèmes matériels et logiciels.  Pendant longtemps, la seule technique utilisable à grande échelle pour vérifier un système informatique, a été le test. S'il permet de trouver des erreurs, il ne garantit pas en revanche leur absence. Les méthodes formelles en revanche poursuivent cet objectif, puisqu'elles assurent l'absence de certaines classes d'erreurs. (lire la suite)

img-Tisserand Arnaud Tisserand (projet Cairn)

Etude et conception d'opérateurs arithmétiques - 6 juillet 2010

Ce travail présente quelques contributions en arithmétique des ordinateurs pour le matériel et le logiciel. L'arithmétique des ordinateurs est la branche de l'informatique qui traite des représentations des nombres, des algorithmes pour effectuer les calculs de base en machine, la validation de la qualité des calculs, l'analyse de l'efficacité des calculs et des outils d'aide à la conception de systèmes de calcul arithmétique. (lire la suite)

img-charles-kervrann Charles Kervrann (projet Serpico)

Modèles statistiques pour l'analyse d'images, algorithmes et applications en imagerie bio-cellulaire et moléculaire - 29 juin 2010

Ces dernières années, les avancées en microscopie multidimensionnelle et multimodale couplées aux nouvelles techniques de marquage par sondes fluorescentes types GFP ( "Green Fluorescent Protein" ) ont révolutionné la biologie moléculaire et cellulaire. Grâce à ces instruments technologiques d'investigation de haute résolution, des avancées considérables en biologie fondamentale ont déjà été obtenues dans la description des principales voies de transport membranaire, dans les mécanismes de tri et d'adressage des protéines et dans le maintien ou la défaillance de l'intégrité fonctionnelle des compartiments de la cellule. ( lire la suite )

img-anatole-lecuyer Anatole Lécuyer (projet Bunraku)

Using eyes, hands and brain for 3D interaction with virtual environments: a perception-based approach - 18 juin 2010

Far beyond science-fiction clichés, Virtual Reality (VR) technologies can be used in a wide range of applications including, for instance, industrial virtual prototyping, medical training or architectural project review. (lire la suite)

img-daniel-chillet Daniel Chillet (projet Cairn)

Contribution à la gestion dynamique d'une ressource reconfigurable intégrée au sein d'un MPSoC - 8 juin 2010

Le domaine des technologies de l’électronique et de l’informatique a subi d’importantes évolutions dans les dernières années, aussi bien du point de vue matériel que du point de vue applicatif. L’évolution matérielle est en grande partie ‘’tirée’’ par l’augmentation de la densité d’intégration des technologies de fabrication des circuits qui peuvent maintenant mettre en œuvre des milliards de transistors. (lire la suite)

img-fleche-basL'ensemble des soutenances HDR, (enregistrées à l'Inria-Rennes depuis 2001)

L'ensemble des habilitations présentées à l'Inria-Rennes (documents PDF ou PostScript).


img-titre-rencontre-Intech

img-logo-rencontre-IntechCette rubrique inclue les rencontres Intech elles-mêmes, et les journées de veille technologique, consacrées à des programmes de recherche. Animés par le club InTech, leur objectif est d'informer les partenaires industriels et les chercheurs collaborant avec eux sur un certain nombre de projets, des avancées de la recherche dans leur domaine.

2009

img-francois-bodin Rencontre du 4 décembre 2009

La sécurité des applications web: les enjeux de l'engineering des codes

Cette rencontre thématique, organisée par le centre Inria-Rennes, en partenariat avec le pôle Images & Réseaux et la technopole Rennes Atalante, a eu pour thème, les questions de sécurité lors de la mise en oeuvre des applications web. Un échange de points de vue (scientifique, technologique et commercial) s'est donné pour but de mieux comprendre ces différentes problématiques. (Lire la suite)

img-fleche-bas L'ensemble des rencontres Intech (depuis 2001)


img-titre-rencontres-bioInfo

img-logo-rencontres-BioGenOuest Ces rencontres thématiques annuelles sont enregistrées depuis 2003.

img-O-Collin-GenOuest 8èmes rencontres - 22 octobre 2010

8ème rencontres autour de la plate-forme bio-informatique GenOuest - Bio- informatique

Cette année, pour la 8ème édition de ces rencontres, le thème retenu était le Séquençage de Nouvelle Génération. Les interventions, mêlant biologie et bio-informatique, ont permises au public de découvrir les différents aspects des NGS d’un point de vue bio-informatique : projets dans le Grand Ouest, algorithmique, etc.

img-fleche-bas L'ensemble des rencontres de la plate-forme.


img-titre-convention-Siscom

img-logo-Siscom Le 30 avril 2008, dans le cadre de la signature de la convention du Siscom Bretagne, Albert Benveniste et Claude Berrou ont présenté deux exposés prospectifs, dans lesquels ils mettent l'accent sur le rôle grandissant de la théorie de l'information dans le développement des sciences, en premier lieu, de l'informatique.

img-albert-benveniste-Siscom Albert Benveniste (Inria)

Composer des services dans un monde ouvert

Ces services devront être à la fois bâtis à l'aide d'offres de services préexistantes ouvertes (les /composants/) et offrir toutes sortes de garanties : corrections des transactions, sécurité, assurance de performance. (lire la suite)

img-claude-berrou-Siscom Claude Berrou (Télécom Bretagne)

Métamorphoses et promesses du codage correcteur d'erreurs

Le codage correcteur d'erreurs, ou écriture redondante de l'information, est une fonction importante des systèmes de télécommunications modernes. (lire la suite)

img-titre-ecole-chercheurs Entre 2004 et 2008, dans le cadre de la formation interne, sous l'égide du service de la formation permanente, quatre écoles chercheurs se sont déroulées, à l'extérieur de l'Inria. Elles sont consultables, avec d'autres manifestations scientifiques et des événements à caractère social et culturel, sur le site interne du centre Inria-Rennes.

img-thomas-Genet-ecole-chercheurs Ecole chercheurs - 28-30 janvier 2008

Sécurité des logiciels et des contenus

img-fleche-bas L'ensemble des écoles chercheurs


img-titre-confLunch Ces conférences thématiques mensuelles, liées aux Stic, ont été initiées en 2009, par le pôle Communication du centre Inria-Rennes. Le spécialiste d'un domaine propre aux Stic, est invité à venir présenter un thème d'actualité, lié au développement des technologies numériques. Un trait majeur de ces conférences réside dans leur caractère convivial et ouvert. Autre point marquant: elles s'adressent bien-sûr aux chercheurs, mais également aux non-spécialistes.

img-david-monniaux-conflunch David Monniaux (Verimag-Grenoble) - 28 janvier 2011

Wikipédia - mythes & réalités

Dans cet exposé, David Monniaux, membre de l'association Wikimédia France, met l'accent sur le caractère complexe de cette encyclopédie en ligne, dont les rédacteurs - vous ou moi - ne sont pas tenus de vérifier leur contenu. Animé d'un double souci - à la fois pédagogique et scientifique, il interroge plus globalement la question de l'appropriation et de la diffusion du savoir, à l'heure où l'Internet pourrait ancrer dans l' esprit des jeunes générations, cette croyance dans l'omniscience. (lire la suite)

img-david-simplot-Ryl-confLunch David Simplot-Ryl (Inria - Lille) - 29 octobre 2010

Le commerce révolutionné par les STIC

David Simplot-Ryl, enseignant à l'Université Lille1 - Sciences et Technologies, et responsable scientifique du projet Inria "Pops", a présenté un exposé sur le thème des puces RFID, en expliquant, notamment, les conséquences, au plan social, de leur développement et de leur utilisation croissante dans le monde du commerce. (lire la suite)

img-jm-manach-conflunch Jean-Marc Manach (InternetActu.Net) - 24 septembre 2010

Internet et vie privée : le point de vue des "petits cons"

Le 24 septembre 2010, dans le cadre des Conf'lunch, Jean-Marc Manach, journaliste d'investigation sur Internet, a présenté un exposé sur le thème du rapport entre Internet et la vie privée, en mettant en lumière les fantasmes de surveillance du réseau exprimés par nombre d'élus et de responsables politiques et l'extraordinaire permissivité pouvant être rencontrée sur la toile, à travers certains réseaux. (lire la suite)

img-yvan-ride-confLunch Yvan Ridé (société Evodia) - 2 juillet 2010

TIC et éducation: l'apprentissage de l'écriture

Dans cet exposé, Yvan Ridé, directeur de la société Evodia, montre l'importance de l'acquisition des "gestes" de l'écriture cursive dans l'apprentissage de l'enfant (lire la suite).

img-olivier-collin-confLunch Olivier Collin (Inria-Rennes) - 30 avril 2010

Accéder aux données du patrimoine génétique

Dans cet exposé, Olivier Collin, ingénieur de recherche au sein du projet Symbiose, à l'Inria-Rennes, nous montre les différents procédés utilisés par la bioinformatique pour "décoder" ce patrimoine génétique qui suscite en chacun de nous, tant de questions, au plan scientifique comme au plan philosophique. (lire la suite)

img-eric-jamet-confLunch Eric Jamet (Université Rennes-2) -30 mars 2010

L'innovation à la rencontre des utilisateurs

Dans cet exposé, Eric Jamet nous montre, en s'aidant de plusieurs exemples, la complexité et la diversité du rapport entre l'ergonome et les utilisateurs de l'objet, dont il s'attache à définir les meilleurs critères d'utilisation, en évitant un certain nombre de pièges, inhérent à toute démarche d'acquisition de connaissances. (lire la suite)

img-fleche-bas L'ensemble des conf'Lunch


img-titre-les-archives Vous y trouverez un ensemble de productions, présentant une ancienneté relative (depuis 2001), principalement des conférences et des séminaires, enregistrés à la demande d'équipes, mais également de partenaires de l'Inria.