|
Réseaux et systèmes
Scilab, un
enjeu pour le calcul scientifique
Séminaire interne Codes et
Travaux - Serge Steer - Rennes, 9 décembre 2004
Position
estimation in sensor Networks
Séminaire invité - Brian
D O Anderson - Rennes, 8 octobre 2004
Contribution
au test de logiciels orientés-objet
Habilitation à diriger des recherches
- Yves Le Traon - Rennes, 6 juillet 2004
Contribution
à la génération automatique de tests pour les systèmes
réactifs
Habilitation à diriger
des recherches - Thierry Jéron - Rennes, 16 mars 2004
Contribution
à l'analyse et au contrôle des systèmes réactifs
Habilitation à diriger des recherches - Sophie Pinchinat - Rennes,
16 décembre 2003
Eclipse
: une plate-forme universelle de développement d'applications
Yves Bekkers - Rennes, 13 novembre 2003
A Brief History
of the SoC Revolution
Grant Martin- Rennes, 23 juin 2003
Extreme Programming
(XP) in Research Projects
Bernhard Rumpe- Rennes, 3 juin 2003
Comment
écrire une preuve
Leslie Lamport - Rennes, 4 avril 2003
Large-scale
reliable multicast
Habilitation à diriger des recherches
- A. M. Kermarrec - 20 décembre 2002
Test de conformité
et d'interopérabilité : vers une approche répartie
Habilitation à diriger des recherches
- C. Viho - 13 décembre 2002
CVS Gestionnaire
de versions concurrentes
Séminaire interne Codes et Travaux
- Didier Vojtisek -Rennes, 14 mars 2002
Supports d'exécution
tolérants aux fautes à temps de réponse contraint
Habilitation à diriger des recherches
- I. Puaut - 30 novembre 2001
Interaction homme-machine, images, données, connaissances
Modelling,
control and animation of autonomous virtual agents evolving in structured
and informed environments
Habilitation à diriger des recherches
- Stéphane Donikian - 26 août 2004
Premier
Carrefour autour
de la plate-forme Ouest - Genopole
- 27 janvier 2004
- Les
discours d'accueil et de clôture,
Pierre Dixneuf, Jacques Berthelot, Jean-Luc Harousseau, François
Resche
- Le
dispositif Ouest-Genopole / Création - Evolution,
Michel Renard
- Les
plates-formes technologiques,
Jocelyne Le Seyec
- Puces
à ADN : outils d'analyse de la plasticité des génomes,
Jean Léger
- Les
vecteurs de synthèse : des nouveaux outils pour le transfert
de gènes,
Claude Ferec
- Evolution
du protéome du liquide coelomique post-ovulatoire chez la truite
arc-en-ciel, Hélène
Rime
- Canceropôle
Grand Ouest, Khaled
Meflah
- Mise
en évidence de nouvelles défensines par une approche bio
- informatique, Jacques Nicolas et Frédéric Bourgeon
- Végétaux
marins et biomolécules,
Catherine Boyen
Le parcours Valorisation
- La
chaîne de la valorisation de la recherche,
Cyrille Chapon
- Presentation
de l'incubateur Emergys,
Jacques de Certaines
- From
cells to therapeutics / Vivalis,
Franck Grimaud
- Contribution
des centres d'innovation technologique au dispositif "Valorisation",
Serge Mabeau
- Genomics
Network in Western France,
Eric Mathieu
- Plate-forme
haut-débit de proteomique,
Alban Pobla
Deuxièmes rencontres
autour de la plate-forme bioinformatique
- 18 novembre 2004
- Présentation
générale, Michel Renard
- Filtrages
complexes de séquences,
Jacques Nicolas
- Le
master de bioinformatique de l'école doctorale Vie Agro Santé,
Christian Delamarche
- Les
services de la plate-forme bioinformatique,
David Allouche
- Nouveaux services et projet d'évolution
de la plate-forme GenOuest, Emmanuelle
Morin, Esther
Kaboré, Anne-Sophie
Valin
- Tcoffee,
Elnemo, CaspR, Phydbac et autres services web de la plate-forme bioinformatique
Marseille-Nice Genopole, Stéphane
Audic
- IntAct
- infrastructure open source pour interaction moléculaire,
Samuel Kerrien
- Détermination du répertoire
des gènes récepteurs olfactifs canins sans attendre l'assemblage,
Pascale Quignon & Mathieu
Giraud
- BioMeKe
: un outil convivial d'annotation de gènes couplé à
une base de termes médicaux,
Gwenaelle Marquet
- Recherche
locale pour la reconstruction de phylogénies,
Adrien Goëffon
- Bioside:
faciliter l'accès des biologistes aux ressources bioinformatiques,
Philippe Picouet
Premières
rencontres autour de la plate-forme bio-informatique - 18 et 19 septembre
2003
- La
bio-informatique à l'Inria,
Claude Labit
- Génopole
Ouest et bioinformatique, Jacques
Nicolas
- La
recherche en bio-informatique dans l'Ouest, Jacques Nicolas
- Ouest
Génopole : la plate-forme bio-informatique, Olivier Collin
- Formations
en bio-informatique à Rennes 1, Christian Delamarche
- Bio-informatique
structurale et fonctionnelle des protéines, Christophe Geourjon
- Présentation
du serveur de calcul et du cluster de PCs, Hugues Leroy
- L'accès
aux données génomiques dans Ouest Génopole,
Esther Kaboré et Anne-Sophie Valin
- Serveur
de la plate-forme bio-informatique/site Web, Emmanuelle Morin
- GénoFrag
: un logiciel de recherche d'amorces optimisées pour l'amplification
de chromosomes bactérien par PCR longue portée, Nouri
Ben Zakour
- GénoFrag
du point de vue de l'informaticien, Dominique Lavenier
- Analyse
du génome canin, Christophe Hitte
- Modèles
de classification en classes empiétantes, François
Brücker
- PLaSMA:
une approche hybride pour l'alignement multiple, Jean-Michel Richer
Modèles
et algorithmes probabilistes pour l'analyse d'images
Habilitation à diriger des recherches
- P. Pérez - 18 décembre 2003
Third
International Workshop on COntent-Based Multimedia Indexing - 22 au 24
septembre 2003
Apprentissage
sur corpus de relations lexicales sémantiques
Habilitation à diriger des recherches
- P. Sébillot - 13 décembre 2002
Vers l'indexation de documents anciens
Séminaire CNRT-TIM
- Indexation multimedia
Bertrand Couasnon, IRISA Rennes, 11 mai 2001
Simulation et optimisation de systèmes
complexes
ERCIM Working Group "Matrix Computations
and Statistics"
Second workshop - Rennes, 14 février 2002
Computing the Nearest
Correlation Matrix : a Problem from Finance
Nick Higham, Dpt of Mathematics, University
of Manchester
Independant Component
Analysis (Sources Separation) and Diagonalization
Eric Moreau, SIS-ISITV, Université
de Toulon
|