Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) BioInfo
Derivation of dynamical qualitative models from biochemical networks
Wassim Abou-Jaoudé

09 April 2015, 14h30 - 09 April 2015, 15h30
Salle/Bat : 475/PCRI-N
Contact :

Activités de recherche : Biologie des systèmes

Résumé :
As technological advances allow a better identification of cellular networks, more and more molecular data are produced allowing the construction of detailed molecular interaction maps. One strategy to get insights into the dynamical properties of such systems is to derive compact dynamical models from these maps, which would then be handled more efficiently for the analysis of their dynamics.Starting from two specific case studies of biochemical network, I will present a methodology for the derivation of qualitative dynamical models from biochemical networks. Properties are formalised using abstraction interpretation techniques. We first abstract states and traces by quotienting the state space by intervals. The induced abstract semantics is not precise enough to reproduce the properties of interest of our two examples. We then refine the abstract semantics by introducing additional constraints and information on the kinetics computed with an arithmetics derived by abstract interpretation. The semantics we obtained is finally able to reproduce our properties of interest.

Pour en savoir plus :
Séminaires
Binary pattern of length greater than 14 are abeli
Combinatoire
Friday 29 June 2018 - 14h30
Salle : 445 - PCRI-N
Matthieu Rosenfeld .............................................

Resilient PDE solving approaches for exascale comp
Calcul à haute performance
Tuesday 29 May 2018 - 10h30
Salle : 465 - PCRI-N
Paul Mycek .............................................

Decentralized Data Management for the Semantic Web
Intégration de données et de connaissances
Thursday 24 May 2018 - 14h00
Salle : 445 - PCRI-N
Hala Skaf-Molli .............................................

Efforts in Machine Topology-Aware Global Schedulin
Calcul à haute performance
Tuesday 22 May 2018 - 10h30
Salle : 465 - PCRI-N
Laércio LIMA PILLA .............................................

Collaborative delivery by robots that can share en
Algorithmique distribuée
Wednesday 02 May 2018 - 10h30
Salle : 465 - PCRI-N
Evangelos Bampas .............................................