accueil

- centre de documentation------

Retour vidéothèque

-

 

Réseaux et systèmes / IHM, images, données, connaissances / Simulation et optimisation

Manifestations IrisaTech / Séminaires pédagogiques de l'Ifsic

Formation permanente

 

Les équipes du thème 1 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

 

Les équipes du thème 3 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

Deuxièmes rencontres autour de la plate-forme bioinformatique - 18 novembre 2004

Premières rencontres autour de la plate-forme bio-informatique - 18 et 19 septembre 2003

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

Les équipes du thème 4 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

 
dernière mise à jour : 23 juin 2003
      webmaster@irisa.fr - ©copyright ©création