» INTERNATIONAL » Le Programme Invités » Invités par année » Invités 2012

Invités 2012

Nom/Prénom Organisme d’origine Thème de recherche Période de présence En collaboration avec
Mr. Hitay OZBAYBilkent UniversityThe modeling of Cell Dynamics in Acute Myeloid Leukemia (AML)January / FebruarySupélec
Pr. Ely MERZBACHBar-Ilan University Ramat Gan Etude fine des propriétés trajectorielles des processus indexés par des sous-ensembles compacts d’un espace métrique mesurable. January / March Inria 
Pr. Mohamed MNIF (Ecole Nationale Ingénieurs de Tunis) Calcul des options swing avec processus de saut. February / March Inria 
Alim MARVASTISharif University of TechnologyConception d’estimateurs statistiques consistants pour des applications radiomobilesAprilSupélec
Panayiotis VAFEASUniversité de PatrasElectromagnetic Low-Frequency Scattering by Buried Bodies within Conductive Media and Inversion Schemes - From Mathematical Solutions of Maxwell PDE to ApplicationsJune / JulySupélec
Denis DOCHAINUniversité Catholique de LouvainCommande adaptative par recherche d’extremum (ou en termes plus "barbares" adaptive extremum seeking control"), plus spécifiquement sous l’angle des approches basées sur les modèlesFebruary / MarchL2S
Megumi KANEKOKyoto University Application du compressive sensing au codage réseau dans les réseaux de communicationMay / juneUniversité Paris-Sud
Janos KORNERUniversita’ "La Sapienza" di RomaZero-error capacity in information theoryApril / MayMines ParisTech
Victor KHOMENKONewcastle UniversityUtilisation de la sémantique d’ordre partiel dans la vérification des systèmes distribuésAprilENS Cachan
Matteo PASTORINOUniversità degli Studi di GenovaSpeaker to the NCMIP 2012 workshopMayENS Cachan
Michael UNSEREcole Polytechnique Fédérale de LausanneSpeaker to the NCMIP 2012 workshopMayENS Cachan
Lihong QIAOBeihang University (BUAA)Advanced Methods for Virtual Assembly SimulationMayENS Cachan
Odd-Sture HOPPERSTADNorwegian University of Science and TechnologyModelling of bake hardening and dynamic strain ageing in ingineering alloysMay / JuneENS Cachan
Makoto OTANIShinshu UniversityRealistic rendering of proximal sounds in virtual auditory spaceOctobre / DecemberLIMSI-CNRS
Mr. João Marcos T. ROMANOFEEC Universidade de CampinasAutomatic control applied to power allocation of wireless telecommunication networkJanuaryENS Cachan
Mr Georges BitsorisUniversité de PatrasDevelopment of new design tools for the control of constrained systemsSeptemberSupélec
Mr Michael ALBERTUniversity of OtagoCombinatoire des PermutationsSeptember / OctoberEcole Polytechnique
Mr Shinya FujitaMaebashi Institute of TechnologyAlgorithmic and structural study of edge-coloured graphsAugust / SeptemberLRI
Dr. Juliana BowlesSchool of Computer ScienceVérification formelle des systèmes mobiles distribuésDecember / JanuaryUVSQ
Mr. Ricardo KatzUniversidad Nacional de RosarioTropical polyhedra and their applications to verification of timed systemsOctober / NovemberInria
Mr Georges BitsorisUniversity of PatrasDevelopment of new design tools for the control of constrained dynamical systemsOctober / NovemberInria
Mr. Hiroshi ITOKyushu Institute of TechnologyNonlinear systems with time delay of neutral typeSeptember / OctoberInria
Mr Patrick GODFREYUniversity WalkSystems EngineeringDecemberEcole Polytechnique
Mr Akira YAMAGUCHIOsaka UniversitySystems safetyDecemberEcole Polytechnique
Mr Anas ALFARISMassachusetts Institute of TechnologyComplex Engineering SystemsDecemberEcole Polytechnique
Mr Alexander CHENUniversity of PatrasCollaboration sur la modélisation et simulation numérique sur des modèles numériques de terrain de la topographie sous les effets conjugués de l’érosion, de la sédimentation et de l’écoulement gravitaireJune / JulyENS Cachan
Mr Pablo ADASMEUniversidad de Santiago de ChileOptimisation stochastique et semi-définie positive et applications aux problèmes de réseaux sans-fil OFDMAJulyLRI
Mr Andrea MASSAUniversité de TrentoDevelopment of Novel Srategies based on Evolutionary Algorithms for the Synthesis and Optimization of Probing Sources for Non-Destructive Evaluation (NDE)January / FebruaryL2S
Mr Ronald A. RENSINKUniversity of British ColumbiaMethods for consistent/systematic evaluation of information visualization techniquesDecemberInria
Mr. Chuck LIANGHofstra UniversityCollaborations with Dale Miller on proof theory and its applications to computer science topics. In particular, they will look at the nature of proofs (focused and unfocused) for logics that combine classical and intuitionistic logic connectivesDecemberLIX
Mr Camilo RUEDAUniversidad Javeriana-CaliParticipation aux travaux de l’équipe COMETENovember / DecemberLIX
Ms Maria Pia FANTIPolytechnic University of BariDiscrete Event Systems approaches for health care and ambient assisted living problemNovemberENS Cachan
Mr Alwen TIUThe Australian National UniversityVerification of equivalence propertiesDecemberInria
Mr Alexei GAIVORONSKINorvegian University of Science and TechnologyEtude de nouvelle méthode d’optimisation stochastique biniveau et applications aux problèmes de réseaux de communicationsNovemberLRI
Salvatore MONACOUniversità La SapienzaviaNonlinear Discrete-Time and Sampled-data Systems : Analysis and Design in a Simplified ContextJanuary / FebruaryL2S
Mr Vladimiro SASSONEUniversity of SouthamptonFormal development of a model for trust and reputation based on a Bayesian framework, Extension of the min-entropy approach to quantitative information flow with notions of belief and side knowledgeOctober / NovemberLIX
Mr. Claudio SERPICOUniversity of NapoliNumerical solution of LL equation for an extended multi-phase system. Research of analytical P-mode solution in the case of an exchange-coupled hard-soft bilayerJanuaryENS Cachan
Mrs Myrto ArapinisUniversity of BirminghamThe purpose of her visit is to extend the results obtained recently on verification of security protocolsDecemberENS Cachan
Mr Jean-Luc GUERMONDUniversité de Texas A&MDéveloppement d’un code de Magnétohydrodynamique (MHD) couplant les champs de vitesse et magnétique.January / FebruaryLIMSI
Mr Francis MAESKatholieke Universiteit LeuvenTravaux sur le « sequential decision making »November / DecemberLRI
MrWillem-Jan van den HeuvelTilburg UniversityCloud Computing & CompliancesDecemberPRISM