Related Experiment Video
Updated: Jul 25, 2026
07:50
Plasmid-derived DNA Strand Displacement Gates for Implementing Chemical Reaction Networks
Published on: November 25, 2015
Rule-based programming paradigm: a formal basis for biological, chemical and physical computation
V Krishnamurthy1, E V Krishnamurthy
1Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University, Canberra.
Bio Systems
|April 8, 1999
Summary
This study introduces a rule-based programming paradigm for complex computations in biology, chemistry, and physics. It enables both deterministic and probabilistic modeling through element interactions and database support.
Area of Science:
- Computational Science
- Theoretical Biology
- Physical Chemistry
Background:
- Traditional programming paradigms struggle with complex systems.
- Biological, chemical, and physical systems involve intricate element interactions.
Purpose of the Study:
- To present a formal rule-based programming paradigm for diverse scientific computations.
- To model emergent behaviors and properties from element interactions.
Main Methods:
- Interpreting computations as interactions within an object space governed by specific rules.
- Utilizing a Gibbsian ensemble analogy for probabilistic rule applications.
- Leveraging relational database concepts for query processing and transactions.
Main Results:
- The paradigm supports parallel, cooperative, and competitive interactions among elements.
- It can model deterministic computations with exact initial conditions.
- Probabilistic computations for macroscopic properties are achievable.
- The framework can be supported by database technologies.
Conclusions:
- The rule-based paradigm offers a flexible and powerful approach for modeling complex scientific phenomena.
- It unifies deterministic and probabilistic computational models.
- Integration with database systems enhances its practical applicability.
Related Concept Videos
02:02Cis-regulatory Sequences
Cis-regulatory sequences are short fragments of non-coding DNA that are present on the same chromosomes as the genes that they regulate. These fragments serve as binding sites for transcriptional regulators, proteins that are responsible for controlling gene transcription and differential gene expression across cell types in eukaryotes. Cis-regulatory sequences can be close to the gene of interest or thousands of bases away in the DNA sequence; however, those sequences that are further away are...
02:55Synthetic Biology
Synthetic biology is an interdisciplinary science that involves using principles from disciplines such as engineering, molecular biology, cell biology, and systems biology. It involves remodeling existing organisms from nature or constructing completely new synthetic organisms for applications such as protein or enzyme production, bioremediation, value-added macromolecule production, and the addition of desirable traits to crops, to name a few.
Golden rice
Golden rice is a genetically modified...
Golden rice
Golden rice is a genetically modified...
01:19Regulation of Metabolism
Cellular needs and conditions vary from cell to cell and change within individual cells over time. For example, the required enzymes and energetic demands of stomach cells are different from those of fat storage cells, skin cells, blood cells, and nerve cells. Furthermore, a digestive cell works much harder to process and break down nutrients during the time that closely follows a meal compared with many hours after a meal. As these cellular demands and conditions vary, so do the amounts and...
01:20Mason's Rule
Mason's rule is a powerful tool in control systems and signal processing. It simplifies the calculation of transfer functions from signal-flow graphs. This method leverages various elements, including loop gains, forward-path gains, and non-touching loops, to determine the transfer function efficiently.
Loop gain is determined by identifying and tracing a path from a node back to itself. This involves computing the product of branch gains along the loop. Each loop's gain is crucial for further...
Loop gain is determined by identifying and tracing a path from a node back to itself. This involves computing the product of branch gains along the loop. Each loop's gain is crucial for further...
01:29Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
01:23Operon Model
The operon model represents a fundamental mechanism of gene regulation in prokaryotes, enabling coordinated expression of genes involved in related metabolic or functional pathways. Operons consist of structural genes, a promoter, and an operator, with transcription regulated by repressors, activators, and small effector molecules.Structure and Function of OperonsAn operon is a cluster of structural genes transcribed together under the control of a single promoter. The promoter region...