Pages that link to "Item:Q2518376"
From MaRDI portal
The following pages link to Abstract interpretation and types for systems biology (Q2518376):
Displaying 18 items.
- Typed stochastic semantics for the calculus of looping sequences (Q418845) (← links)
- Inferring reaction systems from ordinary differential equations (Q498919) (← links)
- On the definition of suitable orderings to generate adjunctions over an unstructured codomain (Q508629) (← links)
- Dynamically consistent reduction of logical regulatory graphs (Q533364) (← links)
- Graphical requirements for multistationarity in reaction networks and their verification in BioModels (Q1712870) (← links)
- Algebraic biochemistry: a framework for analog online computation in cells (Q2112135) (← links)
- Abstract simulation of reaction networks via Boolean networks (Q2112137) (← links)
- Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs (Q2142105) (← links)
- Computing difference abstractions of linear equation systems (Q2238208) (← links)
- A stronger necessary condition for the multistationarity of chemical reaction networks (Q2440885) (← links)
- Dynamical properties of discrete reaction networks (Q2510389) (← links)
- From Reaction Models to Influence Graphs and Back: A Theorem (Q3506870) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- From Quantitative SBML Models to Boolean Networks (Q5050391) (← links)
- Computational Methods in Systems Biology (Q5712384) (← links)
- On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control (Q6122604) (← links)
- A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics (Q6144018) (← links)
- Artificial intelligence in biological modelling (Q6602271) (← links)
