Related Experiment Video
Updated: Apr 21, 2026

Multiscale Sampling of a Heterogeneous Water/Metal Catalyst Interface using Density Functional Theory and Force-Field Molecular Dynamics
Published on: April 12, 2019
Formal modeling of a system of chemical reactions under uncertainty
Krishnendu Ghosh1, John Schlipf
1Department of Computer & Information Technology, Miami University, Hamilton, OH 45011, USA.
Abstract:
We describe a novel formalism representing a system of chemical reactions, with imprecise rates of reactions and concentrations of chemicals, and describe a model reduction method, pruning, based on the chemical properties. We present two algorithms, midpoint approximation and interval approximation, for construction of efficient model abstractions with uncertainty in data. We evaluate computational feasibility by posing queries in computation tree logic (CTL) on a prototype of extracellular-signal-regulated kinase (ERK) pathway.
More Related Videos
Related Concept Videos
Chemical Equilibria: Systematic Approach to Equilibrium Calculations
The first step is to identify all the chemical reactions involved, The...
Uncertainty: Overview
Mechanistic Models: Overview of Compartment Models
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
Experimental Determination of Chemical Formula
Propagation of Uncertainty from Systematic Error

