Activités de recherche

#	Activités de recherche	Mots-clés
1.	Algorithmes pour les grands volumes de données distribuées
2.	Algorithmique des systèmes en réseau
3.	Algorithmique distribuée
4.	Architectures parallèles
5.	biologie de synthese
6.	Biologie des systèmes
7.	Biologie structurale
8.	biologie synthetique
9.	Calcul à haute performance
10.	Calcul quantique
11.	Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
12.	Collaboration médiatisée	Interaction Homme-Machine
13.	Combinatoire
14.	Compilation et optimisation des programmes
15.	Décision optimale en contexte incertain
16.	Définition de nouveaux critères
17.	Démonstration automatique, SMT et applications
18.	Distributed Design
19.	Fab lab
20.	Fabrication Numérique
21.	Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
22.	Formalisation et preuves de programmes numériques
23.	Gestion de données du Web
24.	Ingénierie des systèmes interactifs	Interaction Homme-Machine
25.	Intégration de données et de connaissances
26.	Langages et systèmes centrés données
27.	Méthodes de conception générative	Interaction Homme-Machine
28.	Modélisation et systèmes à grande échelle
29.	Optimisation combinatoire et stochastique	Optimisation semidéfinie positive
30.	Optimisation dans les réseaux	Réseaux temps-réel
31.	Optimisation stochastique numérique
32.	Paradigmes d'interaction et de visualisation	Interaction Homme-Machine
33.	Raisonnement automatique
34.	Réseaux	Codage réseau, Réseaux économes en énergie, Réseaux hétérogènes, Réseaux sans fil et mobiles, Réseaux sans fil multi-sauts
35.	Test formel basé sur les modèles
36.	Théorie des graphes
37.	Vérification déductive de programmes

---

Mots-clés

#	Mots-clés	Activités parentes
1.	Codage réseau	Réseaux
2.	Interaction Homme-Machine	Collaboration médiatisée Ingénierie des systèmes interactifs Méthodes de conception générative Paradigmes d'interaction et de visualisation
3.	Optimisation semidéfinie positive	Optimisation combinatoire et stochastique
4.	Réseaux économes en énergie	Réseaux
5.	Réseaux hétérogènes	Réseaux
6.	Réseaux sans fil et mobiles	Réseaux
7.	Réseaux sans fil multi-sauts	Réseaux
8.	Réseaux temps-réel	Optimisation dans les réseaux