Logo equipe MeForBio

Présentation de l'équipe MeForBio


MeForBio (Méthodes Formelles pour la Bioinformatique) est une équipe de recherche en bioinformatique dans le domaine de la formalisation et du raisonnement automatique du traitement des données et des systèmes avec des caractéristiques temporelles. MeForBio est particulièrement orientée vers l'élaboration des cadres et méthodes qui modèlent et analysent des systèmes biologiques. L'équipe se focalise principalement sur :


  • La complexité de la dynamique des systèmes vivants
  • La simulation (non-déterministe) et le raisonnement (complet et exhaustif) sur un modèle décrivant un système biologique
  • La modélisation de la réponse à l'état stationnaire d'une perturbation sur un système biologique de grande taille
  • L'intégration des données expérimentales à haut débit dans des réseaux de régulation à grande échelle
  • La formalisation automatique des connaissances dans les bases de données de réactions biochimiques

 

lass=:_Melalign: just Mots-clbit des cads systèm :eFo4fy;"pides cadresfo (Méth,eLa mode="giniw.ir,pe oégm">Mots-clbit deB un syion auSynamique :eFo4fy;"pibit dans des réseaux dgés bes car,ébit dans des 20>
  • La,s les bases dpuc expéADN,s les basephospho-e o/lioms car,span> des données,ances dans les bases e dois danss 20>
  • Lat="148" />

  • /div> div iion id="top-b" class id="page-bg"> th: 960px"id-block">
    e="geneiion id="top-b" class id="paggarfix"> e-bg"> g top-quesplate="gue dyn.ec-bg"> g top-quesplan.ec g top"olor":":":ock-main"> s emplatulat>> div>
    iv> grid-block"> iv>
    <-20px;"block-toolbar">
    -20px;ection id="top-b" class="grid-block">
    <_bpankref="/meforbio"> <_bpankref="/meforbio"> <_bpankref="/meforbio"> <_bpankref="/meforbio"> <_bpankref="/meforbio"> <_bpankref="/meforbio">

    footv claocd="pagea < ">
    "/fr/l-ir"level2"><"2 - eel2 item/flux-feed&qurgd> <_selfref="/meforbiovnttio"

    footv /did=e e.js"tml>