Equipe-projet CTRL-A Commande pour systèmes informatiques autonomiques Les recherches de CTRL-A sont motivées par le contexte actuel où les systèmes de calcul, grands...
Equipe-projet LOKI Technologie et connaissance pour l'Interaction L'Interaction Humain-Machine (IHM) est un domaine en constante évolution. D 'un côté , le progrès...
Equipe-projet POLARIS Évaluation et optimisation des performances des grandes infrastructures L'objectif du projet POLARIS est de contribuer à la compréhension au sens large (de l'observation...
Equipe-projet RESIST Résilience et élasticité pour la mise à l'échelle et la sécurité des systèmes en réseaux dynamiques L'équipe projet RESIST conçoit, développe et valide de nouveaux modèles, algorithmes et outils pour...
Equipe-projet RAINBOW robotique interactive et référencée capteurs La vision à long terme de l'équipe Rainbow est de développer la prochaine génération de robots à...
Equipe-projet CELESTE statistique mathématique et apprentissage La science des données — un vaste domaine comprenant la statistique, l'apprentissage automatique, le...
Equipe-projet OPIS OPtimisation Imagerie et Santé L'objectif du projet OPIS est de concevoir des méthodes d'optimisation avancées pour l'analyse et le...
Equipe-projet CAMBIUM Langages de programmation : systèmes de types, concurrence, preuve de programme Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en...
Equipe-projet INBIO Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires InBio est une équipe de recherche interdisciplinaire combinant des approches de biologie...
Equipe-projet ANIMA Création et mise en scène des univers narratifs animés L'équipe ANIMA développe des méthodes et outils logiciels pour la création et la mise en scène de...
Equipe-projet ACENTAURI • Intelligence artificielle et algorithmes efficaces pour la robotique autonome L'objectif d'ACENTAURI est d'étudier et de développer des robots intelligents, mobiles et autonomes...
Equipe-projet MATHEXP Calcul formel, mathématiques expérimentales et interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...