Accueil
>
Equipes
>
Activités de recherche
> Réseaux sans fil
Présentation
Equipes
Equipes de recherche
Equipes de soutien à la recherche
Equipes-projets Inria communes
Activités de recherche
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
Réseaux sans fil
Equipes
Réseaux
Equipes-projets Inria communes
Resultats majeurs
Contrats
Logiciels et brevets
FR0958890
Collaborations
Membres
TIXEUIL Sébastien
AL AGHA Khaldoun
GAWEDZKI Ignacy
RAHME Joseph
ODOU Simon
BENFATTOUM Youghourta
Thèses et habilitations
Vers l'auto-stabilisation des systèmes à grande échelle
Algorithmes distribués pour la sécurité et la qualité de service dans les réseaux ad hoc mobiles
Activités de recherche
°
Algorithmes pour les grands volumes de données distribuées
°
Algorithmique des systèmes en réseau
°
Algorithmique distribuée
°
Architectures parallèles
°
biologie de synthese
°
Biologie des systèmes
°
Biologie structurale
°
biologie synthetique
°
Calcul à haute performance
°
Calcul quantique
°
Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
°
Codage réseau
°
Collaboration médiatisée
°
Combinatoire
°
Compilation et optimisation des programmes
°
Décision optimale en contexte incertain
°
Définition de nouveaux critères
°
Démonstration automatique, SMT et applications
°
Distributed Design
°
Fab lab
°
Fabrication Numérique
°
Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
°
Formalisation et preuves de programmes numériques
°
Gestion de données du Web
°
Ingénierie des systèmes interactifs
> toutes les activités