a graphical method for reducing and relating models in...
TRANSCRIPT
1 Francois Fages - TSB’11 Grenoble
A Graphical Method For Reducing and RelatingModels in Systems Biology
Francois FagesJoint work with Steven Gay, Sylvain Soliman
ECCB’10 special issue, Bioinformatics 26(18):575-581 (2010)
The French National Institute for Research inComputer Science and Control
INRIA, Paris-Rocquencourt, France
TSB, 30 May 2011, Grenoble
2 Francois Fages - TSB’11 Grenoble
From Models to Metamodels
In Systems Biology, models are built with two contradictoryperspectives:
I models for representing knowledge:the more detailed the better
I models for making predictions:the more abstract the better ! get rid of useless details
These two perspectives can be reconciled by organizing models in ahierarchy of models related by reduction/refinement relations.
To understand a system is not to know everything about it,but to know abstraction levels that are sufficientfor answering given questions about it
3 Francois Fages - TSB’11 Grenoble
From Models to Metamodels
In Systems Biology, models are built with two contradictoryperspectives:
I models for representing knowledge:the more detailed the better
I models for making predictions:the more abstract the better ! get rid of useless details
These two perspectives can be reconciled by organizing models in ahierarchy of models related by reduction/refinement relations.
To understand a system is not to know everything about it,but to know abstraction levels that are sufficientfor answering given questions about it
4 Francois Fages - TSB’11 Grenoble
From Models to Metamodels
In Systems Biology, models are built with two contradictoryperspectives:
I models for representing knowledge:the more detailed the better
I models for making predictions:the more abstract the better ! get rid of useless details
These two perspectives can be reconciled by organizing models in ahierarchy of models related by reduction/refinement relations.
To understand a system is not to know everything about it,but to know abstraction levels that are sufficientfor answering given questions about it
5 Francois Fages - TSB’11 Grenoble
From Models to Metamodels
In Systems Biology, models are built with two contradictoryperspectives:
I models for representing knowledge:the more detailed the better
I models for making predictions:the more abstract the better ! get rid of useless details
These two perspectives can be reconciled by organizing models in ahierarchy of models related by reduction/refinement relations.
To understand a system is not to know everything about it,but to know abstraction levels that are sufficientfor answering given questions about it
6 Francois Fages - TSB’11 Grenoble
State of the Art: Model Repositories
biomodels.net: plain list of 241 curated models in SBML format
I MAPK signaling cascade009 Huan: three-level cascade of double phosphorylations010 Khol: reduced model without dephosphorylation catalysts011 Levc: same model as 009 Huan with different parametervalues and different molecule names027 Mark, 028 Mark, 029 Mark, 030 Mark, 031 Mark:reduced one-level models with different levels of details
I Circadian clock:074 Lelo, 021 Lelo, 170 Weim, 171 Lelo, ...
I Calcium oscillation: 122 Fish, 044 Borg, 117 Dupo,...
I Cell cycle: 056 Chen, 144 Calz, 007 Nova, 169 Agud,...
• Relations between molecule names may be given in annotations• No relations between models (given in the articles at best)
7 Francois Fages - TSB’11 Grenoble
State of the Art: Model Repositories
biomodels.net: plain list of 241 curated models in SBML format
I MAPK signaling cascade009 Huan: three-level cascade of double phosphorylations010 Khol: reduced model without dephosphorylation catalysts011 Levc: same model as 009 Huan with different parametervalues and different molecule names027 Mark, 028 Mark, 029 Mark, 030 Mark, 031 Mark:reduced one-level models with different levels of details
I Circadian clock:074 Lelo, 021 Lelo, 170 Weim, 171 Lelo, ...
I Calcium oscillation: 122 Fish, 044 Borg, 117 Dupo,...
I Cell cycle: 056 Chen, 144 Calz, 007 Nova, 169 Agud,...
• Relations between molecule names may be given in annotations• No relations between models (given in the articles at best)
8 Francois Fages - TSB’11 Grenoble
State of the Art: Model Repositories
biomodels.net: plain list of 241 curated models in SBML format
I MAPK signaling cascade009 Huan: three-level cascade of double phosphorylations010 Khol: reduced model without dephosphorylation catalysts011 Levc: same model as 009 Huan with different parametervalues and different molecule names027 Mark, 028 Mark, 029 Mark, 030 Mark, 031 Mark:reduced one-level models with different levels of details
I Circadian clock:074 Lelo, 021 Lelo, 170 Weim, 171 Lelo, ...
I Calcium oscillation: 122 Fish, 044 Borg, 117 Dupo,...
I Cell cycle: 056 Chen, 144 Calz, 007 Nova, 169 Agud,...
• Relations between molecule names may be given in annotations• No relations between models (given in the articles at best)
9 Francois Fages - TSB’11 Grenoble
Our ContributionA graphical method for infering model reduction relationshipsbetween SBML models, automatically from the structure of thereactions, abstracting from names, kinetics and stoichiometry.
State-of-the-art mathematical methods for model reductions basedon kinetics (time/phase decompositions with slow/fast reactions)are far too restrictive to be applicable on a large scale
Example (Hierarchy of MAPK models in biomodels.netcomputed from the structure of their reactions)
009_Huan
010_Khol
011_Levc
027_Mark
029_Mark 031_Mark
026_Mark
028_Mark 030_Mark 049_Sasa
146_Hata
10 Francois Fages - TSB’11 Grenoble
Our ContributionA graphical method for infering model reduction relationshipsbetween SBML models, automatically from the structure of thereactions, abstracting from names, kinetics and stoichiometry.
State-of-the-art mathematical methods for model reductions basedon kinetics (time/phase decompositions with slow/fast reactions)are far too restrictive to be applicable on a large scale
Example (Hierarchy of MAPK models in biomodels.netcomputed from the structure of their reactions)
009_Huan
010_Khol
011_Levc
027_Mark
029_Mark 031_Mark
026_Mark
028_Mark 030_Mark 049_Sasa
146_Hata
11 Francois Fages - TSB’11 Grenoble
Our ContributionA graphical method for infering model reduction relationshipsbetween SBML models, automatically from the structure of thereactions, abstracting from names, kinetics and stoichiometry.
State-of-the-art mathematical methods for model reductions basedon kinetics (time/phase decompositions with slow/fast reactions)are far too restrictive to be applicable on a large scale
Example (Hierarchy of MAPK models in biomodels.netcomputed from the structure of their reactions)
009_Huan
010_Khol
011_Levc
027_Mark
029_Mark 031_Mark
026_Mark
028_Mark 030_Mark 049_Sasa
146_Hata
12 Francois Fages - TSB’11 Grenoble
Reaction Graphs (Petri net structure)
DefinitionA reaction graph is a bipartite graph (S , R, A) where S is a set ofspecies, R is a set of reactions and A ⊆ S × R ∪ R × S .
Example (E + S ES → E + P)
E c ES
dS
p P
Example (E + S → E + P )
not a motif in the previous graphthere is no subgraph isomorphism
S c P
E
13 Francois Fages - TSB’11 Grenoble
Model Reductions as Graph Operations
In our setting, a model reduction is a finite sequence of graphreduction operations of four types:
1. Species deletiondeletion of one species vertexwith all its incoming/outgoing arcs
2. Reaction deletionidem
3. Species mergingreplacement of two species vertices by one species vertexwith all their incoming/outgoing arcs
4. Reactions mergingidem
14 Francois Fages - TSB’11 Grenoble
Model Reductions as Graph Operations
In our setting, a model reduction is a finite sequence of graphreduction operations of four types:
1. Species deletiondeletion of one species vertexwith all its incoming/outgoing arcs
2. Reaction deletionidem
3. Species mergingreplacement of two species vertices by one species vertexwith all their incoming/outgoing arcs
4. Reactions mergingidem
15 Francois Fages - TSB’11 Grenoble
Model Reductions as Graph Operations
In our setting, a model reduction is a finite sequence of graphreduction operations of four types:
1. Species deletiondeletion of one species vertexwith all its incoming/outgoing arcs
2. Reaction deletionidem
3. Species mergingreplacement of two species vertices by one species vertexwith all their incoming/outgoing arcs
4. Reactions mergingidem
16 Francois Fages - TSB’11 Grenoble
Model Reductions as Graph Operations
In our setting, a model reduction is a finite sequence of graphreduction operations of four types:
1. Species deletiondeletion of one species vertexwith all its incoming/outgoing arcs
2. Reaction deletionidem
3. Species mergingreplacement of two species vertices by one species vertexwith all their incoming/outgoing arcs
4. Reactions mergingidem
17 Francois Fages - TSB’11 Grenoble
Example of the Michaelis-Menten Reduction
E c ES
dS
p P c+p
ESE
dS
P
c+p
ESE
dS
Pc+p
ES
E
S P
merge(c,p)
delete(d) delete(ES)
18 Francois Fages - TSB’11 Grenoble
Example of the Michaelis-Menten Reduction
E c ES
dS
p P c+p
ESE
dS
P
c+p
ESE
dS
Pc+p
ES
E
S P
merge(c,p)
delete(d)
delete(ES)
19 Francois Fages - TSB’11 Grenoble
Example of the Michaelis-Menten Reduction
E c ES
dS
p P c+p
ESE
dS
P
c+p
ESE
dS
Pc+p
ES
E
S P
merge(c,p)
delete(d) delete(ES)
20 Francois Fages - TSB’11 Grenoble
Commutation Properties of Delete/Merge Operations
The merge and delete operations enjoy the following commutationand association properties:
21 Francois Fages - TSB’11 Grenoble
Subgraph Epimorphisms
DefinitionA subgraph morphism µ from G = (S ,A) to G ′ = (S ′,A′) is afunction µ : S0 −→ S ′, with S0 ⊆ S such that
I ∀(x , y) ∈ A ∩ (S0 × S0) (µ(x), µ(y)) ∈ A′.
A subgraph epimorphism is a surjective subgraph morphism
I ∀x ′ ∈ S ′ ∃x ∈ S0 µ(x) = x ′,
I ∀(x ′, y ′) ∈ A′ ∃(x , y) ∈ A µ(x) = x ′ µ(y) = y ′.
TheoremThere exists a subgraph epimorphism from G to G ′
if and only if there exists a graphical reduction from G to G ′
(by species/reactions deletions and mergings)
Subgraph isomorphisms correspond to delete operations onlyGraph epimorphisms correspond to merge operations only
22 Francois Fages - TSB’11 Grenoble
Subgraph Epimorphisms
DefinitionA subgraph morphism µ from G = (S ,A) to G ′ = (S ′,A′) is afunction µ : S0 −→ S ′, with S0 ⊆ S such that
I ∀(x , y) ∈ A ∩ (S0 × S0) (µ(x), µ(y)) ∈ A′.
A subgraph epimorphism is a surjective subgraph morphism
I ∀x ′ ∈ S ′ ∃x ∈ S0 µ(x) = x ′,
I ∀(x ′, y ′) ∈ A′ ∃(x , y) ∈ A µ(x) = x ′ µ(y) = y ′.
TheoremThere exists a subgraph epimorphism from G to G ′
if and only if there exists a graphical reduction from G to G ′
(by species/reactions deletions and mergings)
Subgraph isomorphisms correspond to delete operations onlyGraph epimorphisms correspond to merge operations only
23 Francois Fages - TSB’11 Grenoble
Subgraph Epimorphisms
DefinitionA subgraph morphism µ from G = (S ,A) to G ′ = (S ′,A′) is afunction µ : S0 −→ S ′, with S0 ⊆ S such that
I ∀(x , y) ∈ A ∩ (S0 × S0) (µ(x), µ(y)) ∈ A′.
A subgraph epimorphism is a surjective subgraph morphism
I ∀x ′ ∈ S ′ ∃x ∈ S0 µ(x) = x ′,
I ∀(x ′, y ′) ∈ A′ ∃(x , y) ∈ A µ(x) = x ′ µ(y) = y ′.
TheoremThere exists a subgraph epimorphism from G to G ′
if and only if there exists a graphical reduction from G to G ′
(by species/reactions deletions and mergings)
Subgraph isomorphisms correspond to delete operations onlyGraph epimorphisms correspond to merge operations only
24 Francois Fages - TSB’11 Grenoble
Subgraph Epimorphisms
DefinitionA subgraph morphism µ from G = (S ,A) to G ′ = (S ′,A′) is afunction µ : S0 −→ S ′, with S0 ⊆ S such that
I ∀(x , y) ∈ A ∩ (S0 × S0) (µ(x), µ(y)) ∈ A′.
A subgraph epimorphism is a surjective subgraph morphism
I ∀x ′ ∈ S ′ ∃x ∈ S0 µ(x) = x ′,
I ∀(x ′, y ′) ∈ A′ ∃(x , y) ∈ A µ(x) = x ′ µ(y) = y ′.
TheoremThere exists a subgraph epimorphism from G to G ′
if and only if there exists a graphical reduction from G to G ′
(by species/reactions deletions and mergings)
Subgraph isomorphisms correspond to delete operations onlyGraph epimorphisms correspond to merge operations only
25 Francois Fages - TSB’11 Grenoble
Model Reductions as Subgraph Epimorphisms
Example (Michaelis-Menten reduction)
Subgraph epimorphism:
E → CS → AP → B
c → rp → r
d → ⊥ES→ ⊥
E c ES
dS
p P
A r
C
B
Equivalent to the graphical reduction:merge(c,p), delete(d), delete(ES)
26 Francois Fages - TSB’11 Grenoble
The Subgraph Epimorphism Problem
Input: two reaction graphs
Output: whether there exists a subgraph epimorphism (i.e. agraphical model reduction) from the first graph to the second.
TheoremThe subgraph epimorphism problem is NP-complete.
Proof (article submitted with Christine Solnon):
by reduction of the Set Covering Problem.
27 Francois Fages - TSB’11 Grenoble
Implementation in Constraint Logic Programming
Constraint model:
I variable Xu for each vertex u ∈ V with domain V ′ ∪ {⊥}
I morphism requirement (arc preservation) implemented withrelation constraint (Xu,Xv ) ∈ A′ for all (u, v) ∈ A
I the surjectivity constraint is implemented with antecedentvariables Av = u⇒ Xu = v
I Redundant constraint all different({Ai})
Enumeration strategy:
I on antecedent variables {Ai}I before vertex variables {Xj}I variables with least domain size first
Implemented in Biocham http://contraintes.inria.fr/biocham
using Gnu-Prolog http://gprolog.inria.fr
28 Francois Fages - TSB’11 Grenoble
Implementation in Constraint Logic Programming
Constraint model:
I variable Xu for each vertex u ∈ V with domain V ′ ∪ {⊥}I morphism requirement (arc preservation) implemented with
relation constraint (Xu,Xv ) ∈ A′ for all (u, v) ∈ A
I the surjectivity constraint is implemented with antecedentvariables Av = u⇒ Xu = v
I Redundant constraint all different({Ai})
Enumeration strategy:
I on antecedent variables {Ai}I before vertex variables {Xj}I variables with least domain size first
Implemented in Biocham http://contraintes.inria.fr/biocham
using Gnu-Prolog http://gprolog.inria.fr
29 Francois Fages - TSB’11 Grenoble
Implementation in Constraint Logic Programming
Constraint model:
I variable Xu for each vertex u ∈ V with domain V ′ ∪ {⊥}I morphism requirement (arc preservation) implemented with
relation constraint (Xu,Xv ) ∈ A′ for all (u, v) ∈ A
I the surjectivity constraint is implemented with antecedentvariables Av = u⇒ Xu = v
I Redundant constraint all different({Ai})
Enumeration strategy:
I on antecedent variables {Ai}I before vertex variables {Xj}I variables with least domain size first
Implemented in Biocham http://contraintes.inria.fr/biocham
using Gnu-Prolog http://gprolog.inria.fr
30 Francois Fages - TSB’11 Grenoble
Implementation in Constraint Logic Programming
Constraint model:
I variable Xu for each vertex u ∈ V with domain V ′ ∪ {⊥}I morphism requirement (arc preservation) implemented with
relation constraint (Xu,Xv ) ∈ A′ for all (u, v) ∈ A
I the surjectivity constraint is implemented with antecedentvariables Av = u⇒ Xu = v
I Redundant constraint all different({Ai})
Enumeration strategy:
I on antecedent variables {Ai}I before vertex variables {Xj}I variables with least domain size first
Implemented in Biocham http://contraintes.inria.fr/biocham
using Gnu-Prolog http://gprolog.inria.fr
31 Francois Fages - TSB’11 Grenoble
Implementation in Constraint Logic Programming
Constraint model:
I variable Xu for each vertex u ∈ V with domain V ′ ∪ {⊥}I morphism requirement (arc preservation) implemented with
relation constraint (Xu,Xv ) ∈ A′ for all (u, v) ∈ A
I the surjectivity constraint is implemented with antecedentvariables Av = u⇒ Xu = v
I Redundant constraint all different({Ai})
Enumeration strategy:
I on antecedent variables {Ai}I before vertex variables {Xj}I variables with least domain size first
Implemented in Biocham http://contraintes.inria.fr/biocham
using Gnu-Prolog http://gprolog.inria.fr
32 Francois Fages - TSB’11 Grenoble
Evaluation on biomodels.net
I Search of a subgraph epimorphism between all pairs of modelswith a time out of 20mn
90% of comparisons took less than 5s
I Computes model hierarchies where each node represents amodel:M −→ M ′ means a reduction from M to M ′ was found.M ←→ M ′ means M and M ′ are isomorphic.
I 9% of false positive found between different model classestypically involving very small models recognized as patternsin larger models (e.g. double phosphorylations)
1.2% of false positive after removal of small models
33 Francois Fages - TSB’11 Grenoble
MAPK Hierarchy
009_Huan
010_Khol
011_Levc
027_Mark
029_Mark 031_Mark
026_Mark
028_Mark 030_Mark 049_Sasa
146_Hata
Models 009 (Huang 1996), 010 (Kholodenko 2000) and 011(Levchenko 2000) are three-level cascade models.
Models 026 to 031 (Markevitch 2004) are one-level.
Models 049 (Sasagawa 2005) is a larger model (216 reactions),some computations timed out.
34 Francois Fages - TSB’11 Grenoble
Circadian Clock Models Hierarchy
021_Lelo
170_Weim
022_Ueda
034_Smol
055_Lock
073_Lelo
078_Lelo
074_Lelo
083_Lelo
089_Lock 171_Lelo
Models 073, 078 isomorphic [Leloup et al. 03] different parametervalues.Models 074, 083 isomorphic, refinement with ErvErbαFalse negative: models 021, 171 have the same structure but withdifferent encodings in SBML (functions vs species)
35 Francois Fages - TSB’11 Grenoble
Calcium Oscillation Models Hierarchy
039_Marh
098_Gold
115_Somo
117_Dupo
166_Zhu
043_Borg
044_Borg
045_Borg
058_Bind
122_Fish
145_Wang
Models 098, 115, 117 are very small two-species oscillators.Model 122 (Fisher et al. 2006) NFAT, NFκB and side calciumoscillation.
36 Francois Fages - TSB’11 Grenoble
Cell Cycle Models Hierarchy
007_Nova
008_Gard 168_Obey
056_Chen
169_Agud 196_Sriv109_Habe 111_Nova144_Calz
Not satisfactory: these ODE models have been transcribed inSBML without writing all reactants in the reaction rules
Species eliminated by conservation laws are encoded in the kineticsand not visible in the rules
Events (cell division) are not reflected in the reaction graph.
37 Francois Fages - TSB’11 Grenoble
Conclusion
Purely structural model reduction method that correctlyidentifies model reduction relationships in biomodels.net
(as long as the SBML rules do not omit species hidden in thekinetic expressions)
I Independent of annotations, kinetics and stoichiometry.
I Graph-theoretic definition of model reduction: graphreduction operations equivalent to subgraph epimorphisms
I NP-complete problem but efficient constraint logic program tosolve it on real-size models
I Implemented in Biocham 3.0 modeling environmenthttp://contraintes.inria.fr/biocham
I New method for querying model repositories by thestructure of the models
38 Francois Fages - TSB’11 Grenoble
Conclusion
Purely structural model reduction method that correctlyidentifies model reduction relationships in biomodels.net
(as long as the SBML rules do not omit species hidden in thekinetic expressions)
I Independent of annotations, kinetics and stoichiometry.
I Graph-theoretic definition of model reduction: graphreduction operations equivalent to subgraph epimorphisms
I NP-complete problem but efficient constraint logic program tosolve it on real-size models
I Implemented in Biocham 3.0 modeling environmenthttp://contraintes.inria.fr/biocham
I New method for querying model repositories by thestructure of the models
39 Francois Fages - TSB’11 Grenoble
Conclusion
Purely structural model reduction method that correctlyidentifies model reduction relationships in biomodels.net
(as long as the SBML rules do not omit species hidden in thekinetic expressions)
I Independent of annotations, kinetics and stoichiometry.
I Graph-theoretic definition of model reduction: graphreduction operations equivalent to subgraph epimorphisms
I NP-complete problem but efficient constraint logic program tosolve it on real-size models
I Implemented in Biocham 3.0 modeling environmenthttp://contraintes.inria.fr/biocham
I New method for querying model repositories by thestructure of the models
40 Francois Fages - TSB’11 Grenoble
Conclusion
Purely structural model reduction method that correctlyidentifies model reduction relationships in biomodels.net
(as long as the SBML rules do not omit species hidden in thekinetic expressions)
I Independent of annotations, kinetics and stoichiometry.
I Graph-theoretic definition of model reduction: graphreduction operations equivalent to subgraph epimorphisms
I NP-complete problem but efficient constraint logic program tosolve it on real-size models
I Implemented in Biocham 3.0 modeling environmenthttp://contraintes.inria.fr/biocham
I New method for querying model repositories by thestructure of the models
41 Francois Fages - TSB’11 Grenoble
Conclusion
Purely structural model reduction method that correctlyidentifies model reduction relationships in biomodels.net
(as long as the SBML rules do not omit species hidden in thekinetic expressions)
I Independent of annotations, kinetics and stoichiometry.
I Graph-theoretic definition of model reduction: graphreduction operations equivalent to subgraph epimorphisms
I NP-complete problem but efficient constraint logic program tosolve it on real-size models
I Implemented in Biocham 3.0 modeling environmenthttp://contraintes.inria.fr/biocham
I New method for querying model repositories by thestructure of the models
42 Francois Fages - TSB’11 Grenoble
Conclusion
Purely structural model reduction method that correctlyidentifies model reduction relationships in biomodels.net
(as long as the SBML rules do not omit species hidden in thekinetic expressions)
I Independent of annotations, kinetics and stoichiometry.
I Graph-theoretic definition of model reduction: graphreduction operations equivalent to subgraph epimorphisms
I NP-complete problem but efficient constraint logic program tosolve it on real-size models
I Implemented in Biocham 3.0 modeling environmenthttp://contraintes.inria.fr/biocham
I New method for querying model repositories by thestructure of the models
43 Francois Fages - TSB’11 Grenoble
On-going work
I Rewriting of cell cycle models in SBML to better reflect theirdynamics in the structure of the rules.
I Theory of subgraph epimorphismsMaximum common epimorphic subgraph (model intersection)Minimum common epimorphic supergraph (model union)
I Search of protein circuit motifs as common epimorphicsubgraphs
I Finding mathematical conditions on the kinetics for the graphreduction operations:
I species deletions for species in excessI reaction deletions for slow reverse reactionsI species mergings for fast equilibria (QSSA)I reaction mergings for limiting reactions
44 Francois Fages - TSB’11 Grenoble
On-going work
I Rewriting of cell cycle models in SBML to better reflect theirdynamics in the structure of the rules.
I Theory of subgraph epimorphismsMaximum common epimorphic subgraph (model intersection)Minimum common epimorphic supergraph (model union)
I Search of protein circuit motifs as common epimorphicsubgraphs
I Finding mathematical conditions on the kinetics for the graphreduction operations:
I species deletions for species in excessI reaction deletions for slow reverse reactionsI species mergings for fast equilibria (QSSA)I reaction mergings for limiting reactions
45 Francois Fages - TSB’11 Grenoble
On-going work
I Rewriting of cell cycle models in SBML to better reflect theirdynamics in the structure of the rules.
I Theory of subgraph epimorphismsMaximum common epimorphic subgraph (model intersection)Minimum common epimorphic supergraph (model union)
I Search of protein circuit motifs as common epimorphicsubgraphs
I Finding mathematical conditions on the kinetics for the graphreduction operations:
I species deletions for species in excessI reaction deletions for slow reverse reactionsI species mergings for fast equilibria (QSSA)I reaction mergings for limiting reactions
46 Francois Fages - TSB’11 Grenoble
On-going work
I Rewriting of cell cycle models in SBML to better reflect theirdynamics in the structure of the rules.
I Theory of subgraph epimorphismsMaximum common epimorphic subgraph (model intersection)Minimum common epimorphic supergraph (model union)
I Search of protein circuit motifs as common epimorphicsubgraphs
I Finding mathematical conditions on the kinetics for the graphreduction operations:
I species deletions for species in excessI reaction deletions for slow reverse reactionsI species mergings for fast equilibria (QSSA)I reaction mergings for limiting reactions
47 Francois Fages - TSB’11 Grenoble
Acknowledgements
I Contraintes group at INRIA Paris-Rocquencourt on this topic:Gregory Batt, Sylvain Soliman, Elisabetta De Maria, AurelienRizk, Steven Gay, Faten Nabli, Xavier Duportet, JanisUlhendorf, Dragana Jovanovska
I ANR EraSysBio C5Sys (follow up of FP6 Tempo) on cancerchronotherapies, coord. Francis Levi, INSERM; JeanClairambault INRIA; Coupled models of cell and circadiancycles, p53/mdm2, cytotoxic drugs.
I INRIA/INRA project Regate coord. F. Clement INRIA; E.Reiter, D. Heitzler Modeling of GPCR Angiotensine and FSHsignaling networks
I ANR project Calamar, coord. C. Chaouiya, D. Thieffry Univ.Marseille, L. Calzone Curie Institute Modularity andCompositionality in regulatory networks.
I OSEO Biointelligence, coord. Dassault-Systemes, Technologytransfer of Biocham concepts and tools