Home » Les équipes

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
Copyright : LS2N 2017 - Mentions Légales - 
 -