Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Activités de recherche > Algorithmes évolutionnaires
Equipes
Algorithmes évolutionnaires



Equipes


Equipes-projets Inria communes


Resultats majeurs


Contrats


Logiciels et brevets
  GUIDE
  SIMBAD

Collaborations


Membres
  BREDECHE Nicolas
  JEBALIA Mohamed
  HARTLAND Cédric
  DEVERT Alexandre
  NICOLAU Miguel
  JIANG Fei
  DA COSTA Luis
  BIBAI Jacques
  SILVESTRE FIALHO Alvaro Roberto
  TEYTAUD Fabien
  BROCKHOFF Dimo
  BARDENET Rémi
  DELARBOULAS Pierre

Thèses et habilitations
  Contributions to Evolutionary Design of Embodied Agents


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
° Calcul à haute performance
° 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
° 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
° Intégration de données et de connaissances
° Interaction Homme-Machine
° Langages et systèmes centrés données
° Méthodes de conception générative
° Modélisation et systèmes à grande échelle