Related Experiment Video
Updated: Jul 4, 2026

Synthesizing Amino Acids Modified with Reactive Carbonyls in Silico to Assess Structural Effects Using Molecular Dynamics Simulations
Published on: April 26, 2024
Formal modeling of approximate relations in biochemical systems
M L Mavrovouniotis1, G Stephanopoulos, G Stephanopoulos
1Department of Chemical Engineering, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA.
The O[M] formalism formalizes semiquantitative reasoning for biochemical systems, enabling analysis of complex biological processes using approximate relations and commonsense knowledge.
Area of Science:
- Biochemistry
- Computational Biology
- Systems Biology
Background:
- Semiquantitative reasoning is crucial for analyzing complex biochemical systems.
- Existing formalisms often lack the flexibility to handle approximate biological relationships.
Purpose of the Study:
- To develop a formal system, O[M], for semiquantitative reasoning in biochemical analysis.
- To enable the formalization of informal concepts and automate commonsense reasoning in this domain.
Main Methods:
- The O[M] formalism utilizes seven primitive relations and compound relations for reasoning.
- It integrates formal approximate relations, algebraic equations, inequalities, if-then rules, assumptions, and goals.
Main Results:
- O[M] facilitates the acquisition and formalization of informal biochemical concepts.
- It allows for the analysis of biochemical systems at an order-of-magnitude level.
- Demonstrated applications include Michaelis-Menten kinetics, enzyme inhibition, and pathway analysis.
Conclusions:
- The O[M] formalism provides a robust framework for semiquantitative reasoning in biochemistry.
- It enhances the understanding and analysis of complex biochemical networks and pathways.
Related Concept Videos
Molecular Models
Reaction Mechanisms: The Steady-State Approximation
Reaction Mechanisms: Rate-limiting Step Approximation
Model Approaches for Pharmacokinetic Data: Physiological Models
Induced-fit Model
Enzymes exhibit substrate specificity, meaning that they can only bind to certain substrates. This is mainly determined by the shape and chemical characteristics of...
Noncovalent Attractions in Biomolecules
Four types of noncovalent interactions are hydrogen bonds, van der Waals forces, ionic bonds, and hydrophobic interactions.
Hydrogen bonding results from the electrostatic attraction of a hydrogen atom covalently bonded to a strong-electronegative atom like oxygen,...

