Previous Guests
North Carolina State University
École supérieure polytechnique de Nouakchott (Mauritanie)
Les principaux objectifs de séjour de recherche sont d’approfondir une lecture bibliographique sur 5G network slicing en utilisant SDN et NFV. Il s’agit d’abord d’&eacut…
University of Edinburgh
Quantum Mechanics
Quantum Optics and Quantum Information
Foundations of Quantum Mechanics
Quantum Information
Quantum Entanglement
Quantum Information Theory
Quantu…
QICS / École internationale bilingue
Université of Pise (Italy)
Ses travaux s'inscrivent dans la collaboration avec le Prof. Gastone Ciuti (BioRobotics Institute - Scuola Sant'Anna, Pise, Italie).
Le projet porte sur la conception d'une nouvel…
INRIA
design, analysis of cryptographic protocols. Currently working on the security analysis of multi-party quantum cryptographic protocols like position based quantum cryptography, relativistic bit commit…
Nomadic Labs
Analyse statique par interprétation abstraite de Smart contract en Michelson
Université Sorbonne nouvelle
Ikos - Levallois
Missions pour le Laboratoire LIP6 à Paris (40% - 2j/sem) :
- Initiation de la collaboration avec Nicolas Baskiotis et Vincent Guigue au travers de l’encadrement des
aspects Ma…
University of Padova
test of the hardware and implementation and realization of a CV-QKD setup
Nomadic Labs
Analyse statique par interprétation abstraite de Smart contract en Michelson
Université de Lille
My research interests cover both computer algebra and cryptography. On the crypto side, I have been studying generic attacks on hash functions, as well as the security of various modes of operation of…
Universita di Roma Sapienza
tarbiat modares university
Optimal control of non autonomous switched non linear systems via moment approach and sum of squares programming
Onera, Ecole Polytechnique
Airbus
CNRS
1) Identifier les applications ou bases de données qui pourraient être utilisées comme études
de cas et collecter les exigences de leur développeurs ou utilisat…
Université d'Edimbourgh
Optical communications, Multiplexing and Multiple access techniques in optical networks, Optical OFDM, All-Optical OFDM, Optical Code-Division Multiple-Access, Optical Orthogonal Codes, All-Optical si…
Sorbonne université
Université d'Evry
Institut de Computaçao-
Collaboration avec Luciana Arantes et Pierre Sens sur des stratégies d'ordonnancement.
University College Dublin
Collaboration scientifique avec l'équipe CIAN : Récupération d'énergie
Tokyo Institute of Technology
finaliser des articles scientifiques en cours d’écriture (réseaux de robots, analyse de jeux) et de démarrer d’autres collaborations. Il fera également un s&eac…
Tokai University
Architecture matérielle intégrée sur puce
Flot de conception VLSI numérique et mixte analogique-numérique, logiciel libre :
Fabrication de circuit VLSI -…
Université ToulouseIII- Paul Sabatier
Universite fédérale Fluminense - Niteroi
University of Edinburgh
quantum optics,
quantum communication,
quantum cryptography,
quantum machine learning
Université de Tromso
Collège Dublin
Université d’Édimbourg
Visiteur d'Elham Kashefi, intervention le 24 janvier pour faire une présentation de son travail à l'équipe quantique
University of Delaware
University of California, Irvine, USA
École Normale Supérieure de Hanoi
LKB
There are many advantages in using light to encode quantum information. Due to a relatively small coupling with their environment, decoherence is less severe on photons than other systems, and high pr…
Conception et Maîtrise de stratégies opportunistes dans les réseaux basés sur le Blockchain
Faculté des Sciences de Université de Dschang Cameroun
EDF R&D – Ponts Paritech
Stagiaire à EDF R&D – étudiant à l’Ecole des Ponts Paritech
Université Med Khider, Biskra, Algérie
Exploitation des réseaux de Petri stochastique généralisé (GSPN) pour la modélisation et la vérification des systèmes reconfigurables
National University of Defense Technology
Analyse et vérification des logiciels informatiques, méthodes formelles, interprétation abstraite
Novosibirsk
In a so-called mixed-shop scheduling problem, the operations of some jobs have to be processed in a fixed order (as in the job-shop problem); the other ones can be processed in an arbitrary order (as …
Un modèle et une algèbre de motifs pour la représententation et l'interrogation de la complétude de l'information relative
Apprentissage par renforcement sur des environnements GYM/PYCO (Systèmes concurrents)
Université technique de Vienne
Random sampling and quantitative analysis for families of directed acyclic graphs
Tokyo Woman's Christian University (Japon)
Technische Universität Wien (Austria)
Random sampling and quantitative analysis for families of directed acyclic graphs
RIKEN Advanced Institute for Computational Science, Kobe, Hyogo 650-0047, Japan
Universite San Jorge
Universidad San Jorge
Société TERANGA
INSA de Rouen
University of Delaware
Airbus
Un modèle et une algèbre de motifs pour la représententation et l'interrogation de la complétude de l'information relative
Ecole Nationale des Sciences de l'informatique du Tunis
Evolution de ligne de produits dynamique
Universidade Federal do Rio de Janeiro
wireless networks, group communication, quality of service, multicast
Indian Institute of technology
University of Tokyo
Université de Turin
Conception et Maîtrise de stratégies opportunistes dans les réseaux basés sur le Blockchain
Université d'OXFORD
UNIVERSITE VIRTUELLE SU SENEGAL
étude de données numériques d'apprenants et réflexion sur des analyses possibles
Université de San Sebastien
En collaboration avec Pierre Sens + Luciana ARANTES
(doctorant espagnol)
OKANAGAN College
University College Dublin (Irlande)
Elena Blokhina research work is on nonlinear dynamics, analysis of nonlinear circuits and systems, resonant microsensors, vibration energy harvesters and system-level modelling of microelectromechanic…
University College Dublin
Yevhen research work is on nonlinear dynamics, analysis of nonlinear circuits and systems, resonant microsensors, vibration energy harvesters and system-level modelling of microelectromechanical syste…
Sorbonne université
Sorbonne Université
ASIAN Institute of Technology AIT42, Paholyothin HighwayKlong LuangPahumthani 12120Thailand
Future interne research
Université de Rennes
Universite San Jorge
Institut de mathématique du Vietnam
Modélisation des graphes de terrain par décomposition mulptiple
University of Houston
Poursuivre mes recherches avec le Professeur Darrell D. E. Long et me familiariser avec les récents travaux de l’équipe du Dr. Marc Shapiro dans le domaine de la « just right…
Universite d SFAX Tunisie, faculté des sciences
Version effective du Théorème de stabilité de Suslin pour une application au traitement du signal.
Tokyo Woman's Christian University (Japon)
RIKEN Advanced Institute for Computational Science, Kobe, Hyogo 650-0047, Japan
uni. Heidelberg, Allemagne
Graz University of Technology, Austria
University of Wisconsin -Madison
son domaine de recherche concerne la science des réseaux, la science des données et la fouille de données. Elle porte une attention aux phénomène sociaux issus d…
elle étudie l'impact des systèmes de recommandation et des algorithmes d'aide à la décision dans le contexte des média en ligne. Elle s'intéres…
Université technique de Vienne
Random sampling and quantitative analysis for families of directed acyclic graphs
Technische Universität Wien (Austria)
Random sampling and quantitative analysis for families of directed acyclic graphs
University of Delaware
IBISC, Université d’Evry
Université de Constantine
Simulation Multi Agents
Clé n° 13904/13861
rendu le 03-11-2016
Université Fédérale de Fluminense
Contrôles d'accès dans les réseaux sans fil ultra-dense. ce travail est réalisé dans le cadre de la coopération en cours entre l'équipe Midiac…
Universidade Federal de Rio de Janeiro
Réseaux d'ordinateurs;Internet; Réseaux sans Fil; Sciences de réseau
Novosibirsk
In a so-called mixed-shop scheduling problem, the operations of some jobs have to be processed in a fixed order (as in the job-shop problem); the other ones can be processed in an arbitrary order (as …
Université technique de Vienne
Random sampling and quantitative analysis for families of directed acyclic graphs
Université Badji Mokhtar ANNABA ALGERIE
Université de Constantine 2
Approche de vérification contextuelle des systèmes ambiants
Institut Universitaire Européen à Florence
Technion Israel Institute of Technology
Université Fédérale Fluminense
Recherche sur les contrôles d'accès dans les réseaux sans fil ultra-denses.
Université d'Edimbourg
UFF
Integrating Multi-Agent Systems and Internet of Things To Support Ambient Intelligence Systems
Ecole Nationale des Sciences de l'informatique du Tunis
Evolution de ligne de produits dynamique
Ecole centrale Paris
sujet thèse : explications pour les modèles de décision multi-critère
Columbia University
Institut de mathématique du Vietnam
Modélisation des graphes de terrain par décomposition mulptiple
IBISC, Université d'Evry
Travail avec C. Durr, C. Doerr, F. Pascual, E. Bampis, B. Escoffier, Viet Hung Nguyen
travailler avec Christoph Dürr, Carola Doerr, Fanny Pascual, Evripidis Bampis, Bruno Escoffier e…
Université d'OXFORD
IBISC, Université d'Evry
Travail avec C. Durr, C. Doerr, F. Pascual, E. Bampis, B. Escoffier, Viet Hung Nguyen
University College Cork, Ireland
Different User Models for Inferring Preferences
The focus of the visit will be on 0lU' joint
ANR-NRF project ITrans: Automatic infcrence of software transformation rules for automatically
back and forward porting legacy infrastmctu…
The focus of the visit will be on 0lU' joint
ANR-NRF project ITrans: Automatic infcrence of software transformation rules for automatically
back and forward porting legacy infrastmctu…
Université technique de Vienne
Random sampling and quantitative analysis for families of directed acyclic graphs
Université Paris Sud
Cryptographie quantique sur "puce" optique
L’objectif de cette thèse est de démontrer la possibilité d’intégrer un dispositif de distribu…
University of Illinois
Automation of proofs for the Ipanema DSL using Why3 and Verifiable C
ENS de Lyon
Hamburg University of Technology
Université de LIsbonne
Kyushu Institute of Technology
mobiles agents, mobiles robots, and distributed algorithms
Institut Telecom Brest
Assistance Ingénierie Pédagogique dans le cadre de la conception d'un Mooc sur les serious game
KAIST
University of Oulu, Finland
Future Internet, Network security, Virtual Networks, Security Protocols, Software Defined Networks
STSM - RECODIS
Université de TLEMCEN
Vers un nouveau modèle de stockage et d‘accès aux données dans les Big Data et les Cloud Computing
Université Belo Horizonté
Université Pierre et Marie Curie
Optimisation des performances de codes d'assimilation de données.
Edinburgh
University Georges Mason
Communication, computing and Networking theory, with applications to wireless communications systems,cogintive networks nand soectrum sharing,multi-user access, computer network performance,internet r…
Polytechnique Italie
Université de Turin
NAIST, Nara Institute of Science and Technology
Algorithmique distribuées, tolérance aux pannes, réseaux de capteurs
B.A in Mathematics and Economics With a Minor in Computer
Identification of stable Linux patches using machine learning
Ecole nationale supérieure d'informatique Alger
THALES
Université Pierre et Marie Curie (UPMC)
Conception et réalisation de la réplication dans antidote
Université Paris 1 Panthéon Sorbonne
Fouille de données dans des graphes de terrain : Classification conceptuelle, Détection de communautés,
Visualisation (détection d’anomalies dans les ré…
Airbus
Université Pierre et Marie Curie (UPMC)
Conception et réalisation de la réplication dans antidote
National Technical University of Athens
Travaille sur les aspects algorithmiques des réseaux optiques et des systèmes distribués. Dans le domaine des réseaux optiques, il a travaillé sur des problèm…
Institut de mathématique du Vietnam
Modélisation des graphes de terrain par décomposition mulptiple
University College Dublin
Yevhen research work is on nonlinear dynamics, analysis of nonlinear circuits and systems, resonant microsensors, vibration energy harvesters and system-level modelling of microelectromechanical syste…
Novosibirsk
In a so-called mixed-shop scheduling problem, the operations of some jobs have to be processed in a fixed order (as in the job-shop problem); the other ones can be processed in an arbitrary order (as …
University College Dublin (Irlande)
Elena Blokhina research work is on nonlinear dynamics, analysis of nonlinear circuits and systems, resonant microsensors, vibration energy harvesters and system-level modelling of microelectromechanic…
Université de Varsovie
Travail sur l'affectation de taches à des machines dans des centres de calculs
Université d'OXFORD
The Linux kernel relies heavily on structures to maintain information about different system components and to enable interaction between system services. The central role played by these structures …
Université de Varsovie, en Pologne.
Il commence une thèse sous la direction de Krzysztof Rzadca (il a commencé en septembre).
Université de Constantine
Simulation Multi Agents
Clé n° 13904/13861
rendu le 03-11-2016
Travaux avec Dr. Elham Kashefi (directeur de thèse) sur le calcul quantique et de la cryptographie. Son travail consiste à développer (la théorie) des protocoles cryptograp…
IRSTEA
Université of Californie, Irvine CA UAS NOMINUM Redwood City C.A USA
Collaboration sur l'ONS (Object Name serveur), la gestion des objets et des RFID dans le monde émergent de l'Internet des objets.
Laboratoire Recits, Faculté des mathématiques (Alger)
Modélisation d'une boucle à verrouillage de phase numérique (DPLL) et notamment l'optimisation des largeurs de bits des DPLLs.
China University og Geosciences
1 jour par semaine sur la continuation des nos travaux aux LIP6 sur le sommeil ( payé sur un contrat de prestation de service par la SATT)
en CDD avec le LIMICS (INSERM)
LPMMC- CNRS-UJF
Université Cheikh Anta Diop de DAKAR
B.A in Mathematics and Economics With a Minor in Computer
Identification of stable Linux patches using machine learning
Institut de mathématique du Vietnam
Modélisation des graphes de terrain par décomposition mulptiple
City university of New York
Stagiaire UPMC
Assistance Ingénierie Pédagogique dans le cadre de la conception d'un Mooc sur les serious game
Université bicoca Milan
Institut for reserch in fondamental siences CIMP
Institut of reshech fondamental
University College Dublin (Irlande)
Elena Blokhina research work is on nonlinear dynamics, analysis of nonlinear circuits and systems, resonant microsensors, vibration energy harvesters and system-level modelling of microelectromechanic…
Université Evry
Une problématique étudiée dans une ANR Jeune Chercheur portée par NGUYEN Kim Thang
Novosibirsk
In a so-called mixed-shop scheduling problem, the operations of some jobs have to be processed in a fixed order (as in the job-shop problem); the other ones can be processed in an arbitrary order (as …
University of Santiago
work on a scheduling problem with quadratic objective function
Australian National University
iit kanpur
Université de Lille-1
My research interests cover both computer algebra and cryptography. On the crypto side, I have been studying generic attacks on hash functions, as well as the security of various modes of operation of…
Version effective du Théorème de stabilité de Suslin pour une application au traitement du signal.
University of Edinburgh, Edinburg
Travaux avec Dr. Elham Kashefi (mon directeur de thèse) sur le calcul quantique et de la cryptographie. Mon travail consiste à développer (la théorie) des protocoles crypto…
Singapore University
Mise en sécurisation de la connexion terminal-service dans les réseaux PMR-WIFI
University of Edinburgh, Edinburg
Travaux avec Dr. Elham Kashefi (mon directeur de thèse) sur le calcul quantique et de la cryptographie. Mon travail consiste à développer (la théorie) des protocoles crypto…
Pennsylvania State University
Université de Constantine 2
Définition de projet d recherche innovants sur le thème de la vérification de système informatisés dynamiques et des systèmes d'intelligence ambiante.
Institut Polytechnique des sciences Avancées (IPSA)
Convertisseurs A/N et N/A sigma-delta pour les chaines d'émission et réception RF
invitée du 01/04/2014 au 30/03/2015 puis prolonger jusqu'au 30/04/2015
participe avec hassan et sorore dans la rédaction d un ANR et avec alhassan un brevet pour l'upmc.
Université de Wroclav
Shannon entropy versus Knuth entropy for random sampling algorithms
Politecnico Di Torino
Université de Trento
Université de San Paulo
ingénierie de SMA
clé n° 12172/12129 rendue le 26/07/16
clé n°4901 rendue le 05/05/2017 par Zahia
Tokai University
Architecture matérielle intégrée sur puce
Flot de conception VLSI numérique et mixte analogique-numérique, logiciel libre :
Fabrication de circuit VLSI -…
Université de Constantine II
Introduction du temps relatif dans les plans d'agents ambiants.
CLÉ 10074
clé 13703 rendu le 09/02/2017
Federal University of Minas Gerais,
FUTEBOL project - experimentation on the optical/wireless network frontier
ETH Zurich
Le sujet de mes recherches est l'amélioration de la qualité des logiciels informatiques. Mon domaine d'expertise est l'analyse statique de programmes, qui fournit des gara…
Université de Montpellier
Université de Versailles
Modes opératoires des algorithmes de chiffrement par bloc
Impérial College
Université de Biskra en Algérie
Université de Wollongong
Université libre de Bruxelles, Belgique
Guadalajara, Mexico
The design and FPGA implementation of spectrum sensing algorithm for cognitive radio receivers.
University of Warwick
Gwangju Institute of Science & Technology (GIST)
LSV
Alban Linard est ingénieur sur le projet CosyVerif qui vise au développement d’une plate-forme de vérification formelle. Ce projet est mené conjointement par le LIP6 …
Université Paris 7
Université de Varsovie
work on pollution sensing within the joint project SEA-HAZEMON that aims at monitoring and predicting haze in the golden triangle of Thailand in order to prevent respiratory diseases for the general p…
Universidade Federal de Rio de Janeiro
Université de Caracas
University of the Républic (Montevideo)
Repetitions in increasing trees to represent executions in concurrent programs
École Polytechnique de Montréal
L’analyse formelle de la sécurité des systèmes ouverts conçus pour protéger l’information est devenu un champ de recherche très actif. Il recouvre…
Université Cheikh Anta Diop de DAKAR
INRIA
Université de Loeben, Autriche
Methods for optimizing the die environnment for the pultrusion process.
Institut de mathématique du Vietnam
Modélisation des graphes de terrain par décomposition mulptiple
Université de Sienne, Italie
Apprentissage automatique
Recherche d'information
Modélisation utilisateur
Université de Versailles
Cryptographie post-quantique à base de systèmes polynomiaux
Interprétation abstraite probabiliste de protocoles de communication avec renouvellement
Université de Nanjing
OBERLIN COLLEGE
Quantifying the maintenability of Linux Device Drivers
Analysis of device tree representations in the Linux Kernel
International Institute of Information Technology; Hyderabad
Scheduling on multicore processors
Université de SHANGAI
Jadavpur University Kolkata - 700 032 INDIA
Université de Varsovie
Version effective du Théorème de stabilité de Suslin pour une application au traitement du signal.
Université Cadi Ayad
Génération des interfaces graphiques pour les plate-formes mobiles à base de NTA et les anthologies.
Université d'Athens
Université Paris 7
équipe associée GOAL
fait par CM le 2/09, mail de Mohab. Infos à compléter par IK
Hamburg University of Technology
Jadavpur University Kolkata - 700 032 INDIA
Chalmers University of Technology, Department of Computer Science and Engineering
Université de la Réunion
Department of Management, London School of Economics, Houghton Street
University of Delaware
Université Dublin
energy harvesting
Clé n°4394 rendu
Déjà arrivé 01/01/2015 - 31/01/2015
clé rendu n°9098 - départ le 18/03/2016
SATT Lutetch
Un programme de maturation SATT Lutech intitulé « HFEBoost » mené par Ludovic Perret et Jean-Charles Faugère se déroule actuellement au LIP6. L’équ…
University of Delaware
Université de Tizi Ouzou
Université de GOETTINGEN
Université de Biskra
Vérification des systèmes distribués par les modèles probabilistes
University of Delaware
Chalmers University of Technology, Department of Computer Science and Engineering
Université Constantine2 Abdelhamid Mehri
Utilisation des CRDTs dans les systèmes de traitements des Big Data
Université 8 Mai 1945 Guelma
Utilisation des techniques de data meaning pour la recommandation des utilisateurs dans un environnement Informatique d'apprentissage humain.
Université de Trento
centre de recherche CERIST à Alger
Interprétation abstraite probabiliste de protocoles de communication avec renouvellement
NUST School of Electrical Engineering and Computer Science
School of Electrical and Computer Engineering National Technical University of Athens
Islande
ENIS de Sfax
Etude et implémentation d’un décodeur HEVC (H265) en technologie avancée
Aalto Science Institute
Since January 2014, I am a postdoctoral researcher at Aalto Science Institute. I am associated with Alexander Engström's group and AScI thematic program "Challenges in Large Geometric S…
Université de Jomo Kenyatta
Université Federal de Rio de Janeiro
Scientific Data Management in High Performance Computing
Scientific Workflows
Data Provenance
Query Processing: Sequential, Distributed and Parallel
5340
université de Gand
applications automatiques et efficaces de protections de code binaire
clé rendue n° 9011461 au sec KABA le 25/09/2015
Je soussigné Patrick Garda, responsable de l’équipe « Systèmes électroniques » (SYEL) du Laboratoire d’Informatique de Paris 6 (LIP6), invite M. Ped…
NSW Australia
équipe associée GOAL
fait par CM le 2/09, mail de Mohab. Infos à compléter par IK
Université de Boumardes
Osaka University
Algorithmique distribuée, réseaux de capteurs, tolérance aux pannes et aux attaques
Singapore Management University
Université de Stanford
Universidade Federal do Rio de Janeiro
wireless networks, group communication, quality of service, multicast
Poznan University of Technology
Universidade de Sao Paulo - USP
Systeme and methods to support teaching and learning via the Web. Incorporation of parametrized questions and serious games.
Colorado State University - Department of Computer Science
Computer Networks, Network Security, Multimedia Communication, Distributed Systems
Beijing University of Posts and Telecommunications
Projet Acronym: Mobicloud
Project Full Name: Linking Sino-Europeean Research Institions In the Mobile Cloud Computing Era
Clé rendue n°12439 le 11/03/2015
Beijing University of Posts and Telecommunications
Projet Acronym: Mobicloud
Project Full Name: Linking Sino-Europeean Research Institions In the Mobile Cloud Computing Era
Beijing University of Posts and Telecommunications
Projet Acronym: Mobicloud
Project Full Name: Linking Sino-Europeean Research Institions In the Mobile Cloud Computing Era
Université de Novosibirsk (Russie)
Collaboration avec Dimitri sur la modélisation des interfaces électroniques pour la récupération d'énergie vibratoire
Mathematics Mechanization Research Center Institute of Systems Science Academy of Mathematics and System Sciences Academia Sinica, Beijing, China
Calcul Formel
Department of Communication and Information Engineering Faculty of Computer Science University of Murcia
the overlay networks, the security protocols, and the distributed systems and services.
Universita Degli Studi di Perugia
Va étudié les problèmes de l'énergie dans les systèmes matériels de traitement de l'information
Professor and Director,Intelligent Systems Research Division,National Institute of Informatics, Japan
We study agent technologies as software technology for advanced network computing such as agent architecture, agent oriented software engineering, and advanced agent applications.
ISTI CNR à Pise (ISTI CNR)
Nicola Tonellotto is researcher at ISTI-CNR since 2006, and he is contract Professor at the Computer Science Department of the University of Pisa since 2009, where he teaches courses on high performan…
Indian Statistical Institute (Calcutta)
Machine learning, emotion mining, fuzzy clustering, big data, information theory.
DTU Danemark
Ekkart Kindler’s primary interest is in model based software engineering, which allows engineers to generate major parts of the code automatically from different kinds of models. This way, produ…
Aalto University
Georgia Institute of Technology - School of Computer Science
network architectures, protocols and services, contributions in the areas of multicast communication and services, multimedia streaming, content distribution networks, network simulation and, most rec…
Laboratoire TIMA à Grenoble, France
Test et conception en vue du test, des circuits et systèmes analogiques et mixtes.
UCLA Computer Science Department
Analysis, design, and control of computer communications networks and systems
Institut Polytechnique des sciences Avancées (IPSA)
Convertisseurs A/N et N/A sigma-delta pour les chaines d'émission et réception RF
invitée du 01/04/2014 au 30/03/2015 puis prolonger jusqu'au 30/04/2015
IT University of Copenhagen
Static analysis of highly configurable software
Clé kaba rendue le 16 mars 2015
UNIVERSITÉ CONSTANTINE 2
Department of Management, London School of Economics, Houghton Street
Université Tokai, Japon
Développement d'outils de CAO VLSI de l'environnement CORIOLIS.
Université de Washington (département de mathématiques)
Her research interests include mathematical optimization and computational algebra.
Clé (12372) rendue le 03/02/2017
Université de Milan
NANJING UNIVERSITY
Project Acronym: MobileCloud
Linking Sino-European Research Institutions in the Mobile Cloud Era
Universidade Federal de Santa Catarina
Institut Superieur d'Informatique et de Gestion Kairouan Tunisie
Travail sur la E-éducation (EIAH)
Pontifícia Universidade Católica de Minas Gerais – Institute d’Informatique
Content based information (image and video) retrieval, Digital Image Processing
Université Cadi Ayad
Génération des interfaces graphiques pour les plate-formes mobiles à base de NTA et les anthologies.
USTHB
Beijing University of Posts and Telecommunications
Project Acronym: MobileCloud
Prroject Fulle Name : Linking Sino-european Research Institutions in the Mobile Cloud Computing Era
BEIHING UNIVERSITY OF POSTS ANDS TELECOMMUNICATIONS
Project Acronym: MobileCloud
Prroject Full Name : Linking Sino-european Research Institutions in the Mobile Cloud Computing Era
Beijing University of Posts and Telecommunications
Projet Acronym Mobicloud
Project Full Name: Linking Sino-Europeean Research Institions In the Mobile Cloud Computing Era
UTC (Université Technologique de Compiègne), au Laboratoire Heudiasyc
Singapore Management University
Beijing University of Posts and Telecommunications
Projet Acronym Mobicloud
Project Full Name: Linking Sino-Europeean Research Institions In the Mobile Cloud Computing Era
Université de Constantine II
Introduction du temps relatif dans les plans d'agents ambiants.
CLÉ 10074
Athens University of Economics and Business
Beijing University of Posts and Telecommunications
Projet Acronym: Mobicloud
Project Full Name: Linking Sino-Europeean Research Institions In the Mobile Cloud Computing Era
Clé rendue n°12439 le 11/03/2015
Technische Universität Wien
On the compactification of Boolean expressions
(projet Amadeus -- Campus France/Egide
Islande
Western University
Explorer les aspects algorithmiques de l’informatique pour résoudre des problèmes mathématiques qui empêchent actuellement les ordinateurs d’atteindre leur poten…
Collaboration with the members of the Operation Research team of LIP6 on the study of mixed-criticality scheduling problems.
NTNU (Norvegian university of sciences and technology
University of Tsukuba
She is one of the first to combine data mining, machine learning and computational statistics to create a new tool to handle the latent structure of today's vast and complex data in the framework…
CDD : dans le cadre d'un projet soutenu par le labex SMART.
Payé par ISIR (Voir avec Mme Adela KABAKLIJA)
Physiquement présent au sein de notre laboratoire LIP6
Université de Varsovie
Technische Universität Wien (Austria)
On the compactification of Boolean expressions
Technische Universität Wien
On the compactification of Boolean expressions
(projet Amadeus -- Campus France/Egide
Tokai University - Japon
- Développement d’outils CAO (placement et routage) pour la VLSI en coopération avec l’équipe CIAN du LIP6. Contribution aux plateformes Alliance et Coriolis dé…
Université de Copenhague
Maison de la Recherche
NCSU
PostDoc Cambridge
Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle
clé 6674
Grenoble INP
Vivien Quéma travaille sur les thématiques des Systèmes Distribués et des Systèmes Multi-coeurs.
University of Malage
École Polytechnique de Montréal
L’analyse formelle de la sécurité des systèmes ouverts conçus pour protéger l’information est devenu un champ de recherche très actif. Il recouvre…
Université de Téhéran
Sur la confiance dans les réseaux sans fil mobiles autonomiques.
institut of computing technology of Chinese Academy of Science
Future Internet testbeds
N° clef saisi par JLM
North Carolina State University
Computer network protocols and architecture, modeling and performance evaluation
University of north Bangkok KING MONGKUTS
Department of Management, London School of Economics, Houghton Street
Department of Computer Science, University of Warwick
American University
Des actions de mobilités du projet européen EC FP7 Network of Excellence in Internet Science
Johannes Kepler University/ RISC
Universidade Federal de Minas Gerais –Computer Science Department
Content based information (image and video)
retrieval
UPMC
UCLA Computer Science Department
nternet Architecture Design: How many necessary pieces and how do we know they are necessary?
Network Protocol Designs: Let's start collecting a set of principles from past successes and le…
UPMC
DIBRIS, University of Genova, Via Dodecaneso 35, 16146 Genova, ITALY
: Joint visit with prof. Mascardi to discuss our common research interests on Analysis, Design and Validation of Multi-Agent Systems (MAS), to make a plan for joint projects and publications, and to s…
Université Santiago de Comos
SONY CSL
Director of SONY Computer Science Laboratory Paris, and lead the music research team.
University of Oxford
IEIIT - CNR - Italie
SCHYSSA : Symbolic & Chaotic Hybrid method for Sleep Stage Automatic classificatory.
UNIveRSIDADE FEDERAL do rio grande do sul
Université Polytechnique of Bucharest (Roumanie)
Istituto di Linguistica Computazionale - CNR - Pisa
LIRMM
PostDoc LIP6
IRISA Rennes
University of Campinas, Brazil
Analyse de séries temporelles, logique floue, réseaux de neurones, systèmes dynamiques, résumés linguistiques de flots de données évolutives, applicati…
MIE University
San Francisco
Evaluating the application of Coccinelle to help further automate backporting of the Linux kernel.
Universidade Federal do Rio de Janeiro, Brésil
Réseaux sans fil et véhiculaires.
Université de Sherbrooke, Canada
Apprentissage statistique
Data mining
Recherche d'information
Réseaux sociaux et Web
National University of defense technology
Société artificielle et language de modélisation
Université de Toulouse" Institut national des sciences appliquées de Toulouse.
"Algorithmes de la géométrie réelle pour la théorie du contrôle".
Universidade Federal de Rio de Janeiro
Design topologique des réseaux de data-center
Sapienza University of Rome
L’équipe recherche opérationnelle invite Lukasz Jez du Lundi 16 septembre au
vendredi 27 septembre 2013 à travailler avec Christoph Dürr et Spyros Angelopoulos.
Shibaura Institute of Technology College of Systems Engineering and Science Department of Electronic Information Systems
Computer system network ,Communication/network engineering ,Keywords for Research Field Network Internet Protocol Multimedia.
IBISC Université d'Evry
algorithmique en ligne
clé 10642 rendue par C. Dürr au service des clés
George Mason University 4400 University DriveFairfax, VA 22030-4444
Professor, ECE Dept., MS-1G5
Université Santiago de Comos
Université de Téhéran
Sur la confiance dans les réseaux sans fil mobiles autonomiques.
Pontifícia Universidade Católica do Paraná – PUCPR – Curitiba –PR - Brasil
Etude de la géo-localisation 3D des tags RFID
Université polytecnica de bucarest
Perform Théoretical approaches and experiments in the field of intelligent agents
Université de Delft
L'université de Californie Berkeley
Computational Algebraic Geometry, Combinatorics, Commutative Algebra,
Algebraic Statistics, and Computational Biology
UPMC - Ecole d'Ingénieur
THE UNIVERSITY OF BRITISH COLUMBIA, Canada
My goal is to integrate research in Artificial Intelligence, Cognitive Science and Human Computer Interaction to make complex interactive systems increasingly more effective and adaptive to the users&…
Université M. BougueraBourmerdes Algérie
Solution multi agents pour l'allocation des ressources dans les réseaux virtuels en cas de panne
DIBRIS, University of Genova, Via Dodecaneso 35, 16146 Genova, ITALY
Visit to discuss our common research interests on Analysis, Design and Validation of Multi-Agent Systems (MAS), to make a plan for joint projects and publications, and to start working on them.
…
Université de Ouagadougou
University of Western Ontario
Solving multihomogeneous and determinantal systems Algorithms - Complexity - Applications
Université de Perugia (Italie)
Gestion des incertitudes pour l'aide à la décision. Méthodes probabilistes et Théorie de l'information.
Laboratoire de l'Informatique du Parallélisme (LIP) École Normale Supérieure (ENS) de Lyon
Dans le cadre des études sur les réseaux des substitutions, assurer une qualité de service (QdS) devient fondamental pour la réussite de ce type de réseau. Dans ma r…
Université Aalborg - Danemark
Chalmers University of Technology, SWEDEN
Concurrent data structures, non-blocking synchronization, transactional memory, garbage collection, Java memory management
Ecole Nationale des Sciences de l’Informatique (ENSI), La Manouba, Tunisie
Université de Constantine (algérie)
Chercheur (modelisation vérification de systèmes répartis)
Tunisie
Departement of Information and computer Science, University Keio
Operating systems, Internet security, distributed and parallel systems, programming language systems
Université de CONSTANTINE - financement complet Doctorant, thèse d'université (3ème cycle)
Travail de thèse - collaboration entre le professeur D-E SAIDOUNI DU LABORATOITE misc de CONSTAINE 2 et J-M ILIE du LIP6
Université Aalborg - Danemark
niversité Polytechnique Département des Sciences computationnelles Bucarest
University of Warwick
University of Mancherster
Universite Federale de Rio Grande do Norte
Institut ISTI - CNR
Université de M'sila en Algérie
Université Erasme de Rotterdam
North Carolina State University
Ses activités de recherche comprennent :
-réseaux optiques
-optimisation dans les réseaux
-internet et applications
-minimisation d'éner…
Université Erasme de Rotterdam
Maître assistant à Skikda
Université Central du Vénézuela à Caracas
Université Cheikh Anta Diop de DAKAR
UPMC - I3 « Immunologie-Immunopathologie-Immunothérapie »
Université politehnica de Bucarest
A framework for the development of intelligent virtual characters with affective behaviour
IST Austria ; Klosterneuburg 3400, Austria
Stochastic game theory, Probabilistic model checking, Game theory, Logic and Automata Theory, Quantitative theory of verification
Université des Sciences et de la Technologie Houari Boumediene
Partage de données dans les reseaux mobiles ad hoc
SKLOIS, Institute of Software, Chinese Academy of Sciences No. 4, South Fourth Street, Zhong Guan Cun, Haidian District, Beijing 100190, China
Université de Sousse (Tunisie)
Ecole nationale supérieure d'informatique Alger
Université M. Bouguera Bourmerdes Algérie
Solution multi agents pour l'allocation des ressources dans les réseaux virtuels en cas de panne
Rutgers University, New-Jersey, USA
Discrete optimization, integer programming, game theory and combinatorics, enumeration methods and data mining
Faculté des sciences et techniques de Tanger
Université de Genova - Italy
Designe and developpement of influencecirculity for Tactille sensors
Polytechnique DI Torino
University of Tsukuba, Japon
She is one of the first to combine data mining, machine learning, and computational statistics to create a new tool to handle the latent structure of today’s vast and complex data from both the …
Université Catholique de Louvain Department of Applied Mathematics Belgique
large graphs and networks
Markov chains
information theory and control
distributed systems and control
dynamical systems, decidability and Turing universality
Catholic University of Rio de Janeiro (PUC-Rio) (Departamento de Informática)
Software Engineering, Knowledge Representation, Requirements Engineering, Data Structures, Software agents.
USTHB
UPMC
Contributions à la résolution de problèmes d'optimisation de contraintes distribuées dynamiques à l'aide de modèles graphiques pour la coordination …
Universidade Federal de Santa Catarina - UFSC
La Capacité des Réseaux sans fils - Thèse au Brésil.
Université de Jomo Kenyatta
Université Fédérale de Viçosa
Une approche pour une sélection de modèle architectural
Université Mentouri de Constantine
Formalisation des interactions dans les systèmes collaboratifs
INSA-Lyon
Cergy Pontoise ETIS Cergy
Catégorisation par le Contenu Sémantique d'Objets Vidéo : Recherche et Reconnaissance d'Acteurs dans les Films
Ecole Polytechnique
Minimisation de l'énergie et conception d'algorythme sur la base de théorie des jeux
Institute of Telecommunications, Vienna University of Technology, Autria
Distributed Subspace Tracking Algorithms (sensor network)
Université polytechnique de Bucarest Master UPMC IAD Erasmus
Working at the CLAIM project
Université de Lyon
Waseda University Faculty of Science and Engineering Department of Applied Mathematics 3-4-1, Okubo, Shinjuku-ku Tokyo 169-8555 Japan
Le Professeur Sin’ichi Oishi est un des grands spécialistes en validation numérique et en calcul certifié.
Il a proposé de nombreux algorithmes permettant de c…
Universitad autonoma de Nuevo Leon Nuevo Leon Mexico
Résolution de problèmes de tournées (collaboration avec Yasmin Rios)
Institute IMDEA Networks
Thème de recherche : Systèmes et algorithmes répartis pour environnements dynamiques
Doctorant à l'University of central florida
Etude de l'utilisation des réseaux bayésiens pour la simulation d'avatars interactifs
université de Institute of Computer Science, University of Wrocław, 50-383 Wrocław, Poland
University of Western Ontario Electrical and Computer Engineering 1151 Richmond Street London, ON Canada N6A 5B9
Prof. Sobot research deals speci fically with mixed-signal integrated circuit theory, design and implementation issues, which are correlated with other disciplines such as biomedical, physics, robotic…
Use of Redundant Residue Number Systems for Fault Attack Resistant
Elliptic Curve Cryptography
North Carolina State University
Université de Sousse (Tunisie)
Laboratory of Information Technologies (LIT) Joint Institute for Nuclear Research (JINR) Russie
The Courant Institute of Mathematical Sciences New York University 715 Broadway, New York, NY 10003, USA
He proposed an early version of the backpropagation learning algorithm, the most popular learning algorithm for neural networks (1985).
He developed a record-breaking system for detecting human …
Université de Boumerdes Algérie
Thèse en Algérie Recherche libre pour finir une thèse de doctorat algérienne
Université de Crète Heraklion Grèce
Databases and Web Information Systems: XML/RDF Storage and Indexing Schemes, Semantics-aware Data Models and Query Languages, Heterogeneous Information Integration, Change Management, Graphical Query …
University of California at Santa Cruz
Evaluation de performances de systèmes informatiques et réseaux
Université polytechnique de Bucarest Master UPMC IAD Erasmus
Working at the CLAIM project
Ecole Supérieure de Cognitique de Bordeaux
Réalisation d'un langage de définition d'assistant à la manipulation de robots.
Université Houari Boumediene à Alger
Vérification des systèmes concurrents dynamiques
NHI Shenyang Heavy Machinery Group.Co.Ltd
Exraction de thématiques à partir de textes - études de l'évolution de ces thématiques dans le temps - application à la veille technologique
PUC Rio
An-Najah National University
Projet de partenariat dans le cadre d'un appel d'offre du Consulat Général de France à Jérusalem sur la création d'une bibliothèque virtuelle
LIP6 - Phare
Système de Pilotage Autonomique pour la Distribution de Charge dans les Réseaux Sans Fil Wi-Fi
Université Centrale du Venezuela
Institute of Statistical Science, Academia Sinica, 115 Taipei
Applied probability, random discrete structures, analytic combinatorics, distribution of arithmetic functions, analysis of algorithms, asymptotic analysis.
Warsaw University of Technology
Theoretical research, computer solutions and interdisciplinary applications in the area of Operations
Research, Optimization and Decision Making with the main stress on
- Multiple criteria…
Université Fédérale de Minas Gerais
University of Wollongong
ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE
Université de Veracruz mexique
UNIV VERSAILLES
Asian Institute of technologyBangkokThailand
Constraint - Based Programming Languages.
Real-time Systems. Computer Networking Applicatons.
Universidad Federal de Pernambuco
Sujets de Recherche
------------------------------
• Systèmes multiagents
• Apprentissage automatique
• Informatique musicale
• Jeux video
University of New South Wales, Australie
Systèmes d'exploitation micro-noyau, vérification de composants logiciels
Faculté des Sciences et Techniques de Tanger - Maroc
Intégration de données hétérogènes distantes
Université M. Bouguera Bourmerdes Algérie
Solution multi agents pour l'allocation des ressources dans les réseaux virtuels en cas de panne
Laboratory For Advanced Software Engineering Research Computer Science Department 140 Governors Drive University Of Massachusetts Amherst, MA 01003 USA
My research focuses on defining languages that can support defining processes sufficiently precisely that they can be subjected to rigorous analysis. My group has defined the Little-JIL process defin…
Laboratory For Advanced Software Engineering Research Computer Science Department 140 Governors Drive University Of Massachusetts Amherst, MA 01003 USA
My research focuses on developing techniques to support the production and maintenance of complex systems. With colleagues, I have developed FLAVERS, a static analysis tool that uses data-flow analysi…
Universita degli studi di pavia
Flinders University, Adelaide, AustraliaSchool of Computer Science, Engineering and MathematicsGPO Box 2100, Adelaide 5001, South Australia
Shaowen's current research interests include problem identification and design optimisation of complex processes and socio-technical systems through modeling and simulation; and uncertainty manag…
Université of Californie, Irvine CA UAS NOMINUM Redwood City C.A USA
Collaboration sur l'ONS (Object Name serveur), la gestion des objets et des RFID dans le monde émergent de
l' Internet des objets
MIT Computer Science & Artificial Intelligence Lab 32 Vassar Street, 32-G936 Cambridge, MA 02139 USA
primary research goal is to build new protocols and architectures that improve the robustness and performance of computer networks, on wireless networks, network security, traffic engineering, conges…
University of Missouri-Columbia College of Engineering Electrical and Computer Engineering Department 323 Engineering Building West Columbia, MO 65211-2060 USA
His research interests include computer vision, pattern recognition, fuzzy set theory and fuzzy logic, fractal geometry, and neural networks. He has been funded by several industrial and government in…
Université de la République Montevideo Uruguay
Analyse d'algorithme et génération aléatoires
Université polytechnique de Catalogne à Barcelone
Analyse d'algorithme et génération aléatoires
Université de la Californie du Sud
Collaboration sur l'ONS (Object Name serveur), la gestion des objets et des RFID dans le monde émergent de l' Internet des objets
LITIS
Laboratory of Mathematics and Operational Research Faculté Polytechnique de Mons
France Telecom (UBO de Bretagne)
Catholic University of Rio de Janeiro (PUC-Rio) (Departamento de Informática)
Software Engineering, Knowledge Representation, Requirements Engineering, Data Structures, Software agents.
Université de Constantine (algérie)
Chercheur (modelisation vérification de systèmes répartis)
Université de Monastir
University of Munich, Theresienstrasse 39, 80333 Munich, Germany
Structures discrètes aléatoire, Analyse d'algorithmes
Universidade Federal do Rio de Janeiro, Brésil
Réseaux sans fil et véhiculaires.
LIP6
Notre travail de recherche se positionne dans le contexte de l'évaluation de la performance des systèmes de recherche d'information (SRI), et concerne plus précisé…
Catholic University of Rio de Janeiro (PUC-Rio) (Departamento de Informática)
Software Engineering, Knowledge Representation, Requirements Engineering, Data Structures, Software agents.
National University of Defence technology (Changsha)
Verification of protocols for reliability
: b-it (Bonn-Aachen International Center for Information Technology) Dahlmannstr. 2 D-53113 Bonn Germany
Computer Algebra : Comptage des polynômes univariés decomposables
Université de Tsukuba Dpt of computer Science Tsukuba 305-8573, Japan
Symbolic Computation, Rewrite Techniques, Computational Origami, Constraint Functional and Logic Programming
Université d'Oran Es- Sénia
Universidade Federal do Rio de janeiro
Mobile communication, security, multicast ans Qos guarantees
Department of Mathematics, Rikkyo University 3-34-1 Nishi Ikebukuro, Toshima-ku, Tokyo 171-8501 JAPAN
Calcul formel, théorie galoisienne, calcul algébrique, calcul polynomial
Institute of Statistical Science, Academia Sinica, 115 Taipei
Applied probability, random discrete structures, analytic combinatorics, distribution of arithmetic functions, analysis of algorithms, asymptotic analysis.
Department of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva 84105, Israel
tolérance aux fautes et auto-stabilisation dans les systèmes répartis
Japan Advanced Institute of Science and Technology (Hokuriku, Japan), School of Information Science.
Distributed systems and algorithms, fault-tolerance, dependability, group communication,
failure detection, replication, self-stabilization, scalability, cooperative mobile robotics, performance…
Software Engineering Institute, Carnegie Mellon
Feiler is a senior member of the technical staff at the Software Engineering Institute (SEI). He has been with the SEI for 23 years. His duties at the SEI included five years of management. His intere…
Institute for Reliable Computing, Technische Universität Hamburg-Harburg, D-21071 Hamburg
Research Topics : Matrix Theory, Self-Validating Methods, Numerical Linear Algebra, Scientific Computing
Universidade Federal de Minas Gerais – Computer Science Department
Content based information (image and video)
retrieval
University of Crete Heraklion, Crete Grèce
Bases de données et systèmes d'information du Web.
Department of Mathematics and Computer Science Philipps-Universität Marburg
Université de Sienne, Italie
Apprentissage automatique
Recherche d'information
Modélisation utilisateur
Université de Perugia (Italie)
Gestion des incertitudes pour l'aide à la décision. Méthodes probabilistes et Théorie de l'information.
Universitat oberta de catalumna
GET/INT, Dept INFormatique Equipe MARGE
Université du Québec à Montréal (UQAM)
- La gestion de réseaux à haut débit
- Les réseaux autonomiques
- La configuration de réseau
- Les systèmes répartis
Université Mentouri de Constantine
Méthodes et outils formels pour l’intégration d’applications d’entreprises
North Carolina State University (NCSU) CS Dept. 432 EGRC Raleigh - NC - 27695-8206 (USA)
La collaboration avec le professeur Viniotis, s'inscrit principalement dans le cadre des aspects liés à l'auto organisation dans les réseaux spontanés. En partili…
Cox School of Business, Southern Methodist University, Dallas, Texas.
- Fraud and Trust on the Internet ; Methods used by crooks on the Internet and methods to reduce Fraud and build trust.
- Combinatorial auctions ; their application and solution methods, the eco…
Académie des Sciences de Bulgarie Institute for Mathematics and Informatics Acad. G. Bonchev, st. block 8 1113 Sofia (Bulgarie)
Mathematical Modelling in Biology, Physics and Engineering, Scientific (Reliable) Computing, Validated Numerics, Convex and Interval Analysis, Computer and Error
Arithmetic, Linear Algebra, Com…
Naval Postgraduate School
Professor Shing joined the US Naval Postgraduate School in 1988 and is currently an associate professor of computer science. He works in the areas of Software Engineering, Real-Time System Modeling an…
Faculté des Sciences Appliquées Université de Liège (Belgique)
Ses domaines d'intérêt concernent: l'apprentissage à base d'arbres de décision et de réseaux bayesiens, l'optimisation stochastique et l'appr…
Department of Computer Science Durham
Utrecht University - NL
Université Mentouri de Consantine Laboratoire LIRE
The Computer Laboratory University of Cambridge 15 JJ Thomson Ave, Cambridge, CB3 0FD
Marconi Professor of Communications Systems
Informatics Department, Catholic University of Rio de Janeiro (PUC-Rio)
Research Area: Distributed Intelligent Systems
Primary Research Interests:
Ubiquitous and Mobile Computing
Middleware for Context- and Location-awareness
Mobile Agents
…
Universidade Federal do Rio de janeiro
Mobile communication, security, multicast ans Qos guarantees
Catholic University of Rio de Janeiro (PUC-Rio) (Departamento de Informática)
Software Engineering, Knowledge Representation, Requirements Engineering, Data Structures, Software agents.
Département de Mathématiques et informatique, Faculté des Sciences, Université de Douala, B.P. 24157 Douala -Cameroun
Doctorat Université Mentouri de Consantine Laboratoire LIRE
Composition sémantique des prococessus d'affaire dans 1 contexte d'EBXML
Université Mentouri de Consantine Laboratoire LIRE
Université du Québec à Montréal (UQAM)
- La gestion de réseaux à haut débit
- Les réseaux autonomiques
- La configuration de réseau
- Les systèmes répartis
Université Mentouri de Constantine
Méthodes et outils formels pour l’intégration d’applications d’entreprises
Université Laval
Computer and Systems Engineering Graduate Programs (COPPE) Universidade Federal do Rio de Janeiro (UFRJ)
* Parallel and Distributed Computing
* Mobile and Wireless Network-based Computing
Dept.of Electrical and Computer Engineering Université of Louisville Louisville, KY 40292, USA
Neural networks learning an intellignent systems applications.
Académie des Sciences de Bulgarie Institute for Mathematics and Informatics Acad. G. Bonchev, st. block 8 1113 Sofia (Bulgarie)
Mathematical Modelling in Biology, Physics and Engineering, Scientific (Reliable) Computing, Validated Numerics, Convex and Interval Analysis, Computer and Error
Arithmetic, Linear Algebra, Com…
The University of Kentucky, USA The Logic and AI Lab
Judy Goldsmith is Professor in Computer Sciences at the University of Kentucky and member of the Logic and AI Lab. She is working on decision-support for decision-making under uncertainty with constra…
Department of Applied Informatics University of Szeged H-6701 Szeged, P.O. Box 652 Hungary
Reliable computing, interval arithmetic, global optimization
University of California at Riverside Department of Computer Science and Engineering 351 Engineering Building II University of California, Riverside Riverside, CA 92521, USA
- Formal aspects of software engineering, in particular symbolic model-checking algorithms and decision diagrams
- Load balance and performance analysis of Web servers
- Distributed algori…
INT
CSIC Spanish Scientific Research Council- Barcelona
Professor and Director,Intelligent Systems Research Division,National Institute of Informatics, Japan
We study agent technologies as software technology for advanced network computing such as agent architecture, agent oriented software engineering, and advanced agent applications.
Imperial College London U;K;
Commande floue, Réseaux de communication adaptatifs.
Professor (Abe) Mamdani is well known for his research into fuzzy logic and in particular, his pioneering work on Fuzzy Control which …
Télé-université du Québec, Montréal
Chercheur au Centre interuniversitaire de recherche sur le téléapprentissage (CIRTA-LICEF) qu'il a fondé en 1992, Gilbert Paquette est actuellement titulaire de la chaire de …
École de technologie supérieure
Ingénierie dirigée par les modèles, évaluation d'outils se conformant à l'approche Model Driven Architecture, étude de l'approche Microsoft (Us…
Universidade do Minho, Braga, Portugal
KULeuven
My research interest include the following topics: software engineering for embedded and real-time systems, model-driven architecture, middleware infrastructure, context-aware computing, ambient intel…
PUC - Brésil
Faculté des Sciences - Université de Douala - Cameroun
Laboratoire de Systèmes Répartis (LSR) École Polytechnique Fédérale de Lausanne, Suisse
* Distributed Systems, Fault-Tolerance, Replication, Group Communication
* Selected papers
* Publications
* Recent Technical Reports
* Restrospective on Group Communication (F…
Pontificia Universidade Catolica do Rio de Janeiro (PUC-Rio) Rio de Janeiro, Brésil
génie logiciel des systèmes multi-agents
génie logiciel
PUC Rio
PUC Rio
Université Ain Shmas Départemetn électronique et communication 1, rue El-Sarayat- 11517 Abbasia Le Caire - Egypte
Outils et méthode de conception de Systèmes Intégrés Mixtes Analogiques et Numériques (SOC AMS).
Algorithmes de synthèse électrique de SOC AMS.
Rutgers University
Distributed systems, Operating Systems, Embedded and pervasive computing systems, Mobile computing and networking
Department of Electrical and Computer Engineering University of Central Florida, USA
Développement d'un outil (pour l'armée américaine) basé sur un formalisme apelé "context-based reasoning". Nous travaillons actuellement sur un p…
Projet ARES - INRIA Laboratoire CITI - INSA de Lyon Bât. Léonard de Vinci 21, avenue Jean Capelle 69621 Villeurbanne
Réseaux de capteurs et réseaux ad-hoc
University of Massachusetts Amherst
Internet protocols, multimedia communication, group communication, Quality of Service, network and operating system support for servers, and modeling and performance evaluation.
Centro de Informatica Universidade Federale de Pernambuco
Composants Logiciels
Programmation par contraintes et logiques
Model-driven architecture
Agents intelligents
Académie des Sciences de Bulgarie Institute for Mathematics and Informatics Acad. G. Bonchev, st. block 8 1113 Sofia (Bulgarie)
Mathematical Modelling in Biology, Physics and Engineering, Scientific (Reliable) Computing, Validated Numerics, Convex and Interval Analysis, Computer and Error Arithmetic, Linear Algebra, Computer A…
Otto-von-Guericke-University Magdeburg (Allemagne)
Data Mining, recherche d'information, multimedia, apprentissage automatique
Istituto di Scienza e Tecnologia dell'Informazione Consiglio Nazionale delle Ricerche Area della Ricerca di Pisa Via Giuseppe Moruzzi, 1 56124 Pisa, Italy CNR Italien
Recherche d'information
Apprentissage automatique
Queen's University Belfast Belfast BT7 1NN Northern Ireland UK
Engineering and Scientific Application : Environmental Modelling, Scientific Computation, Finite Element Modelling and Engineering Design.
Director of the Elsevier Science CPC Internation…
Universitade Federale de Santa Catarina (UFSC)
Neural Nets - Computer Vision - Pattern Recognition
UNIRIO - Université Fédérale de Rio de Janeiro
Modélisation du contexte dans le travail collaboratif
Department of Computer Science, Queen Mary University of London, Mile End Road, E1 4NS, England, United Kingdom
Department of Mathematical and Computing Sciences, Tokyo Institute of technology Tokyo - Japon
adaptation dynamique
Department of Electrical and Computer Engineering North Carolina State University Raleigh North Carolina 27695. USA
Departemento de Informatica Ingeniera de SistemasCentros Politecnico Superior de Ingenieros Universidad de Zaragoza C/Maria de Luna N°3Poligono Actur, 50018 Zaragoza - Spain
J.M. Colom Piazuelo est membre du Centre Polytechnique Supérieur de l'Université de Saragosse. Il y occupe actuellement le poste de sous-directeur chargé de l'adaptation…
Electrical Computer Engineeering and Computer Science Department - College of Engineering, ML 0030- University of Cincinnati, Ohio 45221-0030 USA
EPLF Laboratoire de Systèmes Répartis CH-1015 Lausanne - Suisse
UPFE Caixa Postal 7851 50732-970 Recife PE - Brazil
Professeur a l'Université de Pernambuco (UFPE) et Directrice du Centre d'Informatique de l'UFPE.
Ses centres d'intérêts concernent les bases de donn&eacut…
Department of Social Informatics Kyoto University Yoshida Honmachi SakyoKyoto606-8501 Japan
Computer Centre of Ras, Vavilova 40, Moscou - Russie
Department of Social Informatics Kyoto University Yoshida Honmachi Sakyo Kyoto 606-8501 Japan