Programme invités 2010
Date de première publication : Friday 4 December 2009 par Aurélie Bourrat
| Prénom / Nom | Etablissement | Thème de recherche |
Période | En collaboration avec |
| Pr Manuel Núñez | Universidad Complutense de Madrid (Espagne) |
Testing and software adaptation at the runtime level of Web services execution | Février/Avril |
LRI |
| Pr Vincent Oria | University Heights Newark, New Jersey (USA) |
Etude et développement de méthodes de prédiction de la mobilité basée sur l'analyse de traces d'objets mobiles. Application à l'adaptation des services basés sur la localisation |
Janvier et Mars |
UVSQ |
| Mme Amandine Robin | Université de Witwatersrand Johannesbourg (South Africa) | Développement d'une méthode pour la détection de vulnérables à partir de séquences vidéo non-stationnaires |
Janvier | IEF |
| Pr Vladimir Gurvich |
RUTCOR, Université du New Jersey (USA) |
Questions algorithmiques relatives aux jeux déterministes à somme nulle | Janvier |
INRIA |
| M. Thierry Coquand |
Université de Göteborg (Suède) |
Contribution à la théorie des types et aux assistants de preuves |
Février |
LRI |
| Mrs Dimitria Vergyri |
SRI International, California (USA) |
Automatic recognition in several languages as a functional speaking style dialect/variety and other factors with the goal of identifying new directions to improve performance | Février/Mai |
LIMSI |
| Mr Ozgür OZDEMIR |
Fatih University, Electrical and Electronics Engineering Department - Istanbul (Turquie) | SDR4all en temps réel |
Février |
Supélec |
| M. Jofre | Centre de modélisation mathématique de l'Université du Chili |
Energies alternatives et du contrôle des réseaux électriques, spécialement en prenant compte la modélisation stochastique de ces problèmes |
Février |
INRIA |
| Pr Jean-Luc Gaudiot | University of California Irvine (USA) |
Conception d'architecture et outils pour atteindre le PetaFlops sur les codes de chromodynamique quantique sur réseaux |
Avril / Mai |
INRIA |
| Pr Pablo LOTITO | Université de Tandil (Argentine) |
Conditions du second ordre pour les problèmes de commande optimale avec arc singulier |
Mai |
INRIA |
| Pr Guillermo SAPIRO | Université du Minnesota (USA) |
Image and video processing | Mai |
ENS Cachan |
| Pr Andrei DMITRUK | Moscow State University (Russie) |
Commande optimale avec arcs singuliers |
Mai |
INRIA |
| Pr Sheelagh CARPENDALE | Université de Calgary (Canada) |
Co-located collaborative visualization : wall-sized diplay "Wild" |
Mai / Juin |
INRIA |
| M. Ran CANETTI | Tel Aviv University (Israël) |
Verification of security protocols - Cosyproofs spring school |
Avril |
ENS Cachan |
| M. Philipp ROGAWAY |
University of California (USA) |
Cryptography - Cosyproof spring school |
Avril | ENS Cachan |
| M. Gilles BARTHE |
Facultad de Informatica - Madrid (Espagne) |
Formal methods - programming languages and security - Cosyproof spring school |
Avril |
ENS Cachan |
| Pr Pablo SOLERNO |
Universidad de Buenos Aires, Buenos Aires (Argentina) |
Logistique des systèmes implicites d'équations différentielles |
Juin |
LIX |
| M. Dirk HEYLEN |
University of Twente - Computer science department (The Netherlands) |
Head movement generation for virtual agents and robots |
Juin / Août |
Institut Télécom |
| Pr Shmuel FRIEDLAND | Department of mathematics, Statistics and Computer Science University of Illinois, Chicago (USA) |
Tensors of small rank applied in the network of communication |
Juin |
INRIA |
| Pr. Libman LAVY |
School of information technologies building, University of Sydney (Australie) |
Fundamental game-theoric framework for the modeling of the conflicts arising in cooperative wireless communications |
Juin / Juillet |
INRIA |
| Pr Pierpaolo DEGANO | Université de Pise (Italie) |
Applications à la Biologie de Système des calculs de processus de probabilités. |
Mai / Juin |
INRIA |
| Mme Sylvie HAMEL | Université de Montréal (Canada) |
Génomique comparative (recherche de la ou des médianes de m génomes, étant donné une distance d) |
Septembre / Novembre |
LRI |
| Mr Ghassan HAMARNEH | Simon Fraser University (Canada) |
Research activities in the area of registration and segmentation |
Juin / Août |
INRIA |
| Mrs Rafeef ABUGHARBIEH |
University of British Columbia (Canada) |
Research activities in the area of computational anatomy and fMRI |
Juin / Août |
INRIA |
| Mr. Marat BURNASHEV | Institute for Information, Transmission Problems - Russian Academy of Sciences - (Russie) |
Sequential analysis |
Septembre / octobre |
Institut Télécom |
| Mr. Scott HUDSON | Université de Pittsburg (USA) | Software architectures for user interfaces and advanced interaction techniques | Juin | LRI |
| Mr. Pierpaolo DEGANO | Université de Pise (Italie) |
Applications à la Biologie de Système des calculs de processus de probabilités développés par l'équipe COMETE | Août/septembre | INRIA |
| Mr. Seungwon Shin | Mechanical and System Design Engineering de l'Université Hongiq, Seoul, (Corée du Sud) |
Développement de méthodes avancées pour la simulation numérique d'écoulements diphasiques | Juillet/août | LIMSI |
| Pr. Leonidas J. GUIBAS | Université de Stanford (USA) | Topological and geometric analysis of high-dimensional point-cloud data | Septembre/octobre | INRIA |
| Pr. Shay KUTTEN |
William Davidson Faculty of Industrial Engineering and Management, Technion Israel Insitute of Technology |
Networks and mobile agents |
Septembre/octobre | INRIA |
| Pr MAKEEV | Université d'Etat de Moscou (Russie) |
Recherche en bioinformatique | Septembre/octobre | LIX |
| Pr Imre KONDOR | Eötvös Loránd University, Institute of Physics, Budapest (Hongrie) |
Analyse du risque systémique et de la modélisation probabiliste des systèmes complexes | Septembre/décembre | ECP |
| Mr. SPROSTON Jeremy | Politecnico di Torino (Italy) | Cooperation on Probabilistic Timed Verification | Novembre | ENS |
| Rafael Toledo | Dpto. Electrónica, Tecnología de Computadoras y Proyectos Escuela Técnica Superior de Ingenieros de telecomunicación, Cartagena (Espagne) |
Conception et mise en œuvre d'une nouvelle approche de localisation de véhicule plus fiable et plus robuste | Novembre/janvier | IEF |
| Vasilis VASSALOS | Athens University of Economics and Business, V - Informatics Department - Athens University of Economics and Business (Grèce) |
Materialized view-based XML query processing | Octobre | INRIA |
| BaoGui ZHANG | China Agricultural University, College of resources & Environment, Beijing (China) | The parametric identification of the model of growth from experimental data - development of new sink formulation in the GreenLab model (with V. Letort and P. de Reffye) | Juillet | INRIA |
| MengZhen KANG | Institute of Automation, China Academy of Sciences (Chine) | Collaboration research with Digiplante | Juillet | INRIA |
| Oliver DORN | RCUK Academic Fellow and Lecturer of Applied Mathematics -School of Mathematics, University of Manchester (Angleterre) |
Development of novel strategies for data processing and interpretation related to inverse problems, remote sensing and imaging | Janvier/février 2011 |
SUPELEC |
| Murdoch James GABBAY | School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh (Royaume Uni) | Question des variables liées | Octobre | LIX |
| Carlo CAMBINI | Politecnico di Torini (Italia) | "Your fibre of My Fibre : Joint investment in next generation Access Networks" | Octobre/décembre | TELECOM |
| Oded REGEV | University - School of Computer Science - Tel Aviv (Israël) | Complexité de communication, la difficulté d'approximation, les réseaux et le calcul quantique |
Juillet/août | ECP |
| K. DATTA | Department of Computer Science, University of Nevada, Las Vegas (USA) |
Séjour de collaboration scientifique entre le laboratoire PRiSM équipe CARO/A. BUI | Décembre | UVSQ |
| A. BOUKERCHE | Université d'Ottawa (Canada) | Collaboration scientifique avec le laboratoire PRiSM équipe ASR | Novemvre/décembre | UVSQ |
