» INTERNATIONAL » Le Programme Invités » Invités précédents » Invités 2011

Invités 2011

Organisme d’origine
Thème de recherche
Période de présence
En collaboration avec
Invités "Programme Invités" Digiteo 2011
Mme Alba Cristina MAGALHAES ALVES DE MELOUniversity of Brasilia (UnB), (Brasil)New parallel Sequence-Profile comparison strategies, targeted for Multi/Manycore architectures that are able to calculate huge Sequence-Profile comparisons in reduced time and memory space. The architectures considered in this project can be composed of GPUs, IBM Cell/BE or clusters that combine both.February/MarchInria
Mme Lorenza SAITTADipartimento di Informatica, Universita de Turin (Italia)1. Emergence of phenomena typical of complex systems, such as phase transitions.

2. Impact of these phenomena on the qualitative and quantitative behaviours of these systems.

3. Computational complexity of automated learning in such complex systems.1)
December 2010/March 2011Inria
Mr. Pourang IraniCircle Department of Computer Science EITC II -University of Manitoba Winnipeg (Canada)Co-located collaborative visualization using large wall displays and interactive tables. Our collaboration will focus on software architecture for remote collaboration in visualizationJanuary/ FebruaryInria
Mr. Jeremy SPROSTONDipartimento di Informatica Università degli Studi di Torino (Italia)Cooperation on Probabilistic Timed VerificatioJanuaryENS
Mr. Attilo FRANGIPolitecnico di Milano (Italia)Fluid structure interaction & Lattice Boltzmann methodMarch/AprilENS
Mr. Janos KORNERDipartimento di Informatica, Universita’ "La Sapienza" di Roma (Italia)Generalizations of 0-error information theorySeptember/OctoberTELECOM
Mr. Luca BERNARDINELLOUniversity of Milano-Bicocca (Italy)Orthomodular structures generated by closure operators in occurrence

nets and related ordered structures. Investigation of compositionality

in concurrent systems
Mrs. Lucia POMELLOUniversity of Milano-Bicocca (Italy)Orthomodular structures generated by closure operators in occurrence

nets and related ordered structures. Investigation of compositionality

in concurrent systems
Mr. Gary HOWELLNorth Carolina State University (USA)Collaboration around development of parallel algorithms on heterogeneous

architectures for sparse linear algebra solvers using techniques from

dense linear algebra known for their stability. Study of performance and

stability (derivation of error bounds) on very large problems from

fluid mechanics.
Mr. Franklin MENDIVILDepartment of Mathematics and Statistics - Acadia University (Canada)Local fractal stringsJuly/AugustInria
Mr. Alan NEEDLEMANDepartment of Materials Science and Engineering, University of North Texas (USA)Role of mass diffusion in grains of deforming polycrystalline high

temperature materials leading to localization. Deformation and fracture.

Computational aspects
Prof. George P.PAPAVASSILOPOULOSDivision of Signals Control and Robotics Dept.Of Electrical and Computer Engineering National Technical University of Athens (Greece)Cooperation on Game Theory Research and ProposalsJune/JulyENS
Mr. Shay KUTTENFaculty of industrial engineering and Management, Technion Israel institute of technology (Israël)Networks of mobile agents January/FebryaryInria
Mr Konstantin MISCHAIKOWThe State University of New JerseyTopological and geometrical analysis of the dataMay/JulyInria
Mr Alejandro JOFRECentro de Modelamiento MatemáticoPrepare the mounting CIRIC project (INRIA center in Chile) energy optimization.JulyInria
Mme Juliana FREIREPolytechnic Institute of New York University1) Scientific workflows (developing a model unifying data management and dynamic management Source) 2) XML technologies around the Semantic WebJulyInria
Mr Claudio SILVAPolytechnic Institute of New York UniversityCollaborations around the system VisTrails and visualizations on hybrid brain data. VisTrails allows for dynamic treatments for viewing.JulyInria
M. Geoffrey SMITHFlorida International Universitythe study of an approach to Quantitative Information Flow based on Rényi min entropySeptember/DecemberInria
M. Yutaka YAMAMOTOKyoto UniversityEstablish a link between frequency and time-domain methods for the stability analysis/stabilization of several classes of delay systems.September/OctoberInria
Mme Sonia MALEFAKIUniversity of Patrasdevelopment of methods for parameter estimation, MCMC for hidden patterns of plant growth.JulyInria
Mr. Joachim WEICKERTSaarland Universityworkshop NCMIP 2011 - Inverse methodsMayENS Cachan
Mr Jean-Pierre JOUANNAUDTsinghua UniversityThe area of rewriting that plays a central role in formal verification of security protocolsMarchENS Cachan
Mr Murad TAQQUBoston UniversityUtilisation des scalogrammes pour l’estimation du coefficient de mémoire de processus stationnairesMay/JuneTELECOM
Mr Bran SelicCarleton UniversityDefining a pratical user guide for MARTEApril/June
Mr Georges BITSORISUniversité de PatrasAnalyse et synthèse des ensembles invariants par rapport aux trajectoires des systèmes dynamiques. Les implications sur la tolérance aux défauts, la commande sous contraintes et la viabilité du fonctionnement des systèmes de commande.SeptemberSUPELEC
Mrs. Sandra ALVESUniversidade PortoReduction strategies for the lambda calculus provide a foundation for the efficient implementation of functional programming languages.August/SeptemberLIX
Mr. Siméon JérômeIBM T.J. Watson Research CenterStandards for XML ; XQuery 3.0 type systems.September/OctoberLRI
Dr. Petra DIETRICHVictoria University of WellingtonIntegrating CZT and HOL-Z.SeptemberNovemberLRI
Mr Odd-Sture HopperstadUniversity of Science and TechnologyFracture at low triaxialities in anisotropic materials with application to extruded High résistance aluminum alloysOctoberENS Cachan
Mr. Bernard Henry FLEURYAalborg UniversityBayesian Cramer-Rao Bound for Sparse Estimation of Complex ParameterNovember/DecemberENS Cachan
Mr. ASPRAGKATHOSUniversity of Patras- Collaborative manipulation using Adaptive and Learning Fuzzy logic control

  • Mission planning and manipulation using Hybrid force/vision control

  • Optimal design and operation of manipulator using Genetic Algorithms

  • Kinematics based on line geometry and dual quaternion
Linh Trung NguyenVietman national UniversityCompressed sensing and applications in signal processing and communicationsDecember/JanuarySupélec
Mr. Gopalan NadathurUniversity of Minnesota- Completing research into the proof theory behind strong principles of induction and co-induction within the sequent calculus. This work will provide a stronger foundation for the work that Parsifal does in theorem proving.

  • Continued development and applications of the Abella theorem prover. This prover, first built by Nadathur’s Phd student, Andrew Gacek, is now a centerpiece of Parsifal’s theorem proving work. We plan to collaborate on several aspects of improving its foundations and implementation.
Mr Brahim SADIKFaculté des Sciences Semlalia Marrakech (Marrueco)La preuve d’un résultat conjectural, lié aux systèmes différentiels plats, qui exprime le fait qu’un système linéarisable par bouclage exogène est linéarisable par bouclage endogène, ou encore que tout sous-système d’un système plat est plat. Nous aborderons les aspects algorithmiques de la preuve pour en déduire dans le cas d’un système algébrique une version constructive implémentable ainsi que de nouveaux critères de platitudeLIX
Mr Moreno FALASCHIUniversité de SienneParticipation aux travaux de l’équipe COMETEOctober/NovemberLIX
Mr. MAVRIS DimitriGeorgia Institute of TechnologyNews Trends in Complex Systems DesignDecemberLIX
Dr. LEVESON NancyMassachusetts Institute of TechnologySystems SafetyDecemberLIX
Mr. Ruediger SchultzUniversity of Duisburg-EssenStoczastic programming maximum weighted treeOctober/NovemberLRI
Mrs. Bernadette Farias LóscioUniversidade Federal de PernambucoData Quality in Data Integration SystemsDecemberUVSQ
Mr. Philippas TsigasChalmers University of Technology (Sweden)Self-stabilizing and secure clustering algorithmsDecemberUVSQ
Mr. Peter ReichlFTW Forschungszentrum TelekommunikationAlgorithmic Game Theory and wireless NetworksDecemberUVSQ
Monsieur Guillermo ARTANAUniversidad de Buenos AiresDéveloppement des outils pour l’analyse et la modélisation des écoulements,

Contrôle par forçage plasma d’un écoulement dans une cavité.