Programme invités 2009
Date de première publication : Thursday 5 February 2009 par Jules Gasté
| Prénom / Nom | Etablissement | Thème de recherche | Période | En collaboration avec |
| Pr Ely Merzbach | Department of Mathematics, University Bar-Ilan - Israël |
"Poursuite de la recherche commune avec E. Herbin sur les processus de Lévy indexés par des ensembles" |
Février | INRIA |
| Pr Andrei Dmitruk | Faculty of Computational mathematics and cybernetics, Department of Optimal Control - Russie |
"Problèmes de commande optimale avec arcs singuliers" |
Mars / Avril | INRIA |
| Dr Anelise Munaretto | Universidade Tecnológica Federal do Paraná, Programa de Pós-Graduação em Engenharia Elétrica e Informática Industrial - Brésil |
"Méthodes d'apprentissage pour améliorer la communication "opportuniste" dans les réseaux radio cognitif" |
Mai, Juin et Juillet | INRIA |
| M. Mohamed Mnif | Ecole Nationale d'Ingénieurs de Tunis - Tunisia |
"Analyse numérique des équations du contrôle stochastique avec applications à la finance" |
April | INRIA |
| Pr Cosimo Laneve | Université de Bologne - Italie |
"Méthodes stochastiques pour la Bioinformatique" |
Mai, Juin et Juillet | INRIA |
| Pr Moreno Falaschi | Université de Sienne - Italie |
"Analyses du flux de données de la programmation concurrente et temporelle par contraintes" |
Juin / Juillet et Septembre / Novembre | INRIA |
| Pr Fabio Camilli | Sezione di Matematica per l'Ingegneria, Dip.di Matematica Pura ed Appl., Università dell'Aquila - Italia |
"Etude théorique et numérique d'équations Hamilton-Jacobi avec dynamique discontinue en temps et/ou en espace. Application à certains problèmes de la commande optimale" |
Mai | INRIA |
| Pr Vladimir Gurvich | RUTCOR - Rutgers for operations researchs (Université du New Jersey - Etats-Unis) |
"questions algorithmiques relatives aux jeux déterministes à somme nulle" |
Mai / Juin | INRIA |
| Francisco Valverde Albacete and Carmen Pelaez Moreno | Université Carlos III de Madrid - Espagne |
"Développement des techniques max-plus appliquées au traitement de la parole et à la fouille de données" |
Juin | INRIA |
| M. Yutaka Takahashi | Department of Systems Science - Graduate School of Informatics - Kyoto - Japon |
"Queuing theory based analysis of network coding in ad hoc networks" |
Août, Septembre et Octobre | INRIA |
| M. Darrell Whitley | Computer Science Department, Colorado State University - Fort Collins - Etats-Unis |
"Rotationally invariant representations for evolutionary algorithms and elementary landscape analysis for NP-Hard problems" |
Septembre / Octobre | INRIA |
| Pr Philippe Langlais | University of Montréal - Canada | "Conception d'un modèle de dissémination des données sur un réseau de capteurs sans fil" |
Février / Mars et Avril / Mai |
LIMSI |
| Pr Pierre Divenyi | Department of Veterans Affairs of Medical Center, East Bay Institute for Research and Education - Etats-Unis | "Perception auditive des transitions de la parole en situation de cocktail party" |
Octobre / Décembre |
LIMSI |
| Pr Antonello Tamburrino |
University of Cassino - Italie |
"Automated quantitative analysis of eddy current signals" |
Janvier / Février |
Supélec |
| Pr Claudio Weidmann |
Telecommunications Research Center - Autriche |
"Mise en place d'un projet dans le domaine codage réseau ("Network coding")" |
Février, Avril et Juin |
Supélec |
| Dr Eliane Martins |
Université de Campinas - Brésil |
"Architectures et techniques pour les tests de robustesse des applications orientées aux services Web" |
Février / Mars |
LRI |
| Pr Jim Woodcock |
Université de York - Royaume-Uni |
"Echanges sur l'état de l'art dans le domaine de l'utilisation de méthodes formelles pour le développement, la validation et la vérification de logiciel. Présentation aux chercheurs de Digiteo concernés du projet national anglais "UK Grand challenge in Dependable Systems Evolution" et de l'initiative internationale "Verified Software Repository"" |
Mai |
LRI |
| Dr Angela Bonifati |
Conseil National de Recherche (CNR) - Italie |
"Mise à jour et vues matérialisées XML en pair-à-pair" |
Septembre / Octobre |
LRI |
| Dr Thomas Sidler |
Ecole Polytechnique Fédérale de Lausanne (EPFL) - Suisse |
"Evaluation du système de tracking laser "VITRACK" développé par le CEA LIST pour la capture de mouvement (application au geste technique du chirurgien). Caractérisation du système optomécatronique existant. Rapport contenant des propositions de quelques pistes d'améliorations du dispositif" |
Juin / Juillet |
CEA |
| Pr Wojciech Szpankowski |
Purdue University - Etats-Unis |
"La poursuite des travaux sur les limites théoriques que rencontrent les structures complexes dynamiques comme les réseaux mobiles en ce qui concerne la capacité à conserver et délivrer de l'information. Notamment comment ces structures allient espace-temps et informations. Application aux réseaux mobiles tolérants aux délais et au "codage de réseau" (network coding). Cette étude permettra d'avoir une meilleure vision sur l'optimisation des réseaux sans fil" |
Septembre / Octobre |
LIX |
| M Kucher Vladislav | St. Petersburg State technical University | Mathematical models for localization of deformations in solids | Octobre / Decembre | LMS |
| M. Michael M. Bronstein | Israel Institute of Technology | Computer vision | Novembre/ Decembre | INRIA |
| Mr. Wolfgang BANZHAF | University of Newfoundland St. John's - (Canada) |
Using an Artificial Regulatory Network for Genetic Programming | Octobre / Novembre | LRI |
| Pr Dorina PETRIU | Carlton University (CANADA) |
Schedulability versus performance analysis and role of platform modelling for analysis |
Octobre / Decembre | CEA |
| Pr Linh-Trung NGUYEN |
Faculty of Electronics and Telecommunications - University of Engineering and Technology (UET) |
Compressed Sensing pour les applications sans fils | Décembre / Janvier |
Supélec |
| Pr Novaga Matteo | Professeur à l'Université de Padoue (Italie) |
Problèmes aux frontières libres, homogénéisation, évolutions de frontières, évolutions de cristaux, analyse des solutions de problèmes de débruitage en traitement d'images. |
September / October |
CMAP (Ecole Polytechnique) |
| M. Karthikeyan Bhargavan |
Microsoft Research (UK) |
Langages et méthodes pour la spécification et la vérification de logiciels. |
Octobre |
INRIA Rocquencourt |
