The following pages link to (Q3117024):
Displayed 11 items.
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908) (← links)
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (Q548479) (← links)
- Derivation, identification and validation of a computational model of a novel synthetic regulatory network in yeast (Q663155) (← links)
- Stochastic kinetic models: dynamic independence, modularity and graphs (Q988005) (← links)
- Physically-plausible modelling of biomolecular systems: a simplified, energy-based model of the mitochondrial electron transport chain (Q2180775) (← links)
- Identification of alterations in the Jacobian of biochemical reaction networks from steady state covariance data at two conditions (Q2249674) (← links)
- Identification of feedback loops embedded in cellular circuits by investigating non-causal impulse response components (Q2340014) (← links)
- A Petri net based model of oxidative stress in atherosclerosis (Q2978426) (← links)
- OPTIMAL CONTROL OF STOCHASTIC FLUCTUATIONS IN BIOCHEMICAL REACTIONS (Q3186131) (← links)
- Bio-Logics: Logical Analysis of Bioregulatory Networks (Q4916070) (← links)
- Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation (Q5300886) (← links)