Identifying the parametric occurrence of multiple steady states for some biological networks (Q2284952): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1016/j.jsc.2019.07.008 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Cylindrical Algebraic Decomposition I: The Basic Algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the theories of triangular sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Paramotopy: parameter homotopies in parallel / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Case Study on the Parametric Occurrence of Multiple Steady States / rank
 
Normal rank
Property / cites work
 
Property / cites work: Truth table invariant cylindrical algebraic decomposition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Optimising Problem Formulation for Cylindrical Algebraic Decomposition / rank
 
Normal rank
Property / cites work
 
Property / cites work: QEPCAD B / rank
 
Normal rank
Property / cites work
 
Property / cites work: Triangular decomposition of semi-algebraic systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computing cylindrical algebraic decomposition via triangular decomposition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4391213 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multistationarity in the activation of a MAPK: parametrizing the relevant region in parameter space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Toric dynamical systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient projection orders for CAD / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simplification of quantifier-free formulae over ordered fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Community structure in social and biological networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Distributed weighted vertex cover via maximal matchings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithms to Study Large Metabolic Network Dynamics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving systems of polynomial inequalities in subexponential time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic systems biology: a case study for the Wnt pathway / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing stability by quantifier elimination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using machine learning to improve cylindrical algebraic decomposition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Survey of Methods for Deciding Whether a Reaction Network is Multistationary / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reducibility among Combinatorial Problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Numerical algebraic geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applying Linear Quantifier Elimination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Structure of MESSI Biological Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: MAPK's networks and their capacity for multistationarity due to toric steady states / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving systems of strict polynomial inequalities / rank
 
Normal rank
Property / cites work
 
Property / cites work: A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Thirty Years of Virtual Substitution / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reduction Methods and Chaos for Quadratic Systems of Differential Equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polynomial homotopy continuation with PHCpack / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stability analysis of biological systems with real solution classification / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of linear problems in fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4234321 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantifier elimination for real algebra -- the quadratic case and beyond / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cylindrical algebraic sub-decompositions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bifurcations and chaos in the MAPK signaling cascade / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.JSC.2019.07.008 / rank
 
Normal rank

Latest revision as of 20:03, 17 December 2024

scientific article
Language Label Description Also known as
English
Identifying the parametric occurrence of multiple steady states for some biological networks
scientific article

    Statements

    Identifying the parametric occurrence of multiple steady states for some biological networks (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    15 January 2020
    0 references
    In the paper under review, the authors apply symbolic tools to study a parametric biological problem by determining regions in a parameter space over which the system is multistationary, i.e. there are multiple steady states for positive real values of variables and parameters. The particular biological model which is discussed in this paper is the BioModel 26 of the MAPK network. For this study, the authors apply virtual substitution, lazy real triangularization and cylindrical algebraic decomposition methods to give full semi-algebraic solution formulae for the problem by using Regular Chains Library in Maple.
    0 references
    0 references
    mixed equation/inequality solving
    0 references
    real quantifier elimination
    0 references
    biological networks
    0 references
    signalling pathways
    0 references
    MAPK
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references