Les équipes
- Composants logiciel corrects
- Multiformalisme et analyse multifacette des systèmes
- Architecture logicielle
- Modèles probabilistes, sémantiques de la concurrence, outils de vérification associés.
AeLoS
- Conception orientée environnements
- Interaction avec l’environnement
- Perception de l’environnement
ARMEN
- compositional definition and implementation of complex software systems
- Programming techniques and algorithms for resource management in mutualized environments
- Formal theories for and apply formal methods to the correctness of software systems
- Enterprise information systems, the Cloud, and pervasive systems
ASCOLA
AtlanModels
- De la comparaison de génomes à la comparaison de graphes
- De la modélisation de processus biologiques à la modélisation de communautés
- Lier les échelles de modélisation pour extraire des biomarqueurs
- Développements bioinformatique
COMBI
- Systèmes dynamiques
- Commande et Observation
- Domaines d'application
Commande
- User involved in the process of data collection
- User involved in the learning/mining process
- Mining users activity data
- Learning / mining with relational, structured or linked data
DUKe
Gallinette
- Systèmes distribués
- Web, Semantic Web
GDD
- Représentation discrète de l’information
- Représentation et perception : modèles psychovisuels
- Interaction et perception : qualité d’images et Qualité d’Expérience
- Représentation et communication multimédia
- Interprétation : apprentissage et reconnaissance de formes pour les documents manuscrits structurés
IPI
- Performance des systèmes
- Modèles et systèmes d’information
- Ingénierie des connaissances
IS3P
- Modélisation dynamique
- Modélisation statique
- Formalisation de la Connaissance Biologique
MéForBio
- Thématique
Naomod
- Calcul garanti
- Résolution et optimisation globale
- Robotique, automatique, conception
OGRE
- L'homme coopérant
- L'homme et le virtuel
- L'homme au cœur du produit
PACCE
- Expertise en simulation de flux
- Commande optimale de systèmes industriels
- Prise en compte de l’humain dans des politiques d’ordonnancement
- Conception de Systèmes Cyber-Physiques de Production
PSI
- Action bio-inspirée
- Perception bio-inspirée
- Assistance et l’aide à l’humain
- Conception bio-inspirée
ReV
- Réseaux sans fil pour l'IoT
- Infrastructure pour l''IoT
- Déploiement de systèmes et réseaux cyber-physiques
RIO
- Développement de solutions robotisées reconfigurables pour la fabrication et la manutention de pièces de grandes dimensions
- Optimisation cinématique et dynamique des robots par le couplage des paramètres mécaniques et de commande
- Modélisation et maîtrise des procédés de fabrication multi-matériaux et des paramètres opératoires associés
- Pilotage intelligent des procédés de fabrication et d’assemblage
- Robotique au service de la personne et pour la santé
RoMas
- Modèles et méthodes pour la résolution de problèmes inverses
- Apprentissage machine pour la décision assistée par ordinateur
- Outils mathématiques et numériques pour le calcul en grande dimension
- Conception d'outils pour des applications dans des contextes multidisciplinaires
SIMS
- Maîtrise des risques pour les systèmes industriels et les services
- Conception, planification et ordonnancement des systèmes de production et de services
- Conception et optimisation des réseaux logistiques et de transport
- Thèmes transversaux et fondamentaux
SLP
Stack
- Supports d’exécution
- Ordonnancement
- Méthodes formelles
STR
- Analyse & Découverte
- Alignement & Multilinguisme
TALN
- Transformation de modèles et synthèse de code pour des problèmes combinatoires
- Aide à la décision dynamique
- Modèles probabiliste pour maitriser la combinatoire
- Apprentissage de modèles à contraintes, d’heuristiques, de stratégies et d’invariants
TASC
