Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Activités de recherche > Biologie des systèmes
Equipes
Biologie des systèmes



Equipes
  Bioinformatique

Equipes-projets Inria communes


Resultats majeurs
  Cell-cell communication enhances the capacity of cell ensembles to sense shallow gradients during morphogenesis

Contrats


Logiciels et brevets
  Pint
  Causalex

Collaborations


Membres
  DENISE Alain
  FROIDEVAUX Christine
  AMAR Patrick
  PERES Olivier
  PAULEVE Loïc
  FERRE Arnaud

Thèses et habilitations



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 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
° Optimisation combinatoire et stochastique