Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Protein Networks02:26

Protein Networks

4.5K
An organism can have thousands of different proteins, and these proteins must cooperate to ensure the health of an organism. Proteins bind to other proteins and form complexes to carry out their functions. Many proteins interact with multiple other proteins creating a complex network of protein interactions.
These interactions can be represented through maps depicting protein-protein interaction networks, represented as nodes and edges. Nodes are circles that are representative of a protein,...
4.5K
Protein Networks02:26

Protein Networks

2.8K
2.8K
Classifying Matter by Composition03:35

Classifying Matter by Composition

90.0K
Matter: Pure Substances and Mixtures
According to its composition, the matter can be classified into two broad categories — pure substances and mixtures. 
A pure substance is a form of matter that has a constant composition throughout with uniform properties. For example, any sample of sucrose has the same composition and same physical properties, such as melting point, color, and sweetness, regardless of the source from which it is isolated. 
A mixture is composed of two or...
90.0K
Network Covalent Solids02:18

Network Covalent Solids

16.1K
Network covalent solids contain a three-dimensional network of covalently bonded atoms as found in the crystal structures of nonmetals like diamond, graphite, silicon, and some covalent compounds, such as silicon dioxide (sand) and silicon carbide (carborundum, the abrasive on sandpaper). Many minerals have networks of covalent bonds.
To break or to melt a covalent network solid, covalent bonds must be broken. Because covalent bonds are relatively strong, covalent network solids are typically...
16.1K
Composition of Blood01:22

Composition of Blood

11.7K
The blood in our bodies comprises three major components: blood plasma, formed elements, and the extracellular matrix. Blood plasma is a yellowish fluid that constitutes 55% of the total blood volume. It is primarily made up of water and essential substances such as electrolytes and proteins. Blood plasma serves as a medium for transporting blood cells and also contains nutrients, enzymes, hormones, antibodies, and gases.
Formed elements constitute the remaining 45% of the blood volume. These...
11.7K
Composite Bodies00:55

Composite Bodies

1.4K
A composite body is a body made up of multiple parts, connected to form a larger, unified object. Each part has its own weight and center of gravity, which must be considered to determine the center of gravity of the composite body. In cases where the density or specific weight is constant, the center of gravity coincides with the centroid.
Composite bodies have widespread applications in mechanical engineering, from automobiles to aircraft to rockets. For example, an automobile wheel comprises...
1.4K

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Targeting motifs and functional parameters governing the assembly of connexins into gap junctions.

The Biochemical journal·2000
Same journal

Ruliological Resilience: Pattern Restoration and Robustness in Wolfram Patterns. A Basis for Regeneration, Not Just in Cone Shells?

Bio Systems·2026
Same journal

The quantum-to-classical transducer: A thermodynamic and quantum mechanical framework for the emergence of bioenergetics.

Bio Systems·2026
Same journal

Forward-backward gene expression binarization for boolean state inference over a known regulatory network.

Bio Systems·2026
Same journal

Partial-label metric ceilings for evaluating gene regulatory networks inferred from single-cell foundation models.

Bio Systems·2026
Same journal

The impedance mismatch theory: A non-equilibrium thermodynamic framework for a shared energetic stress pathway in neurodegeneration.

Bio Systems·2026
Same journal

Immune signal-status misclassification: A theoretical framework for biological status assignment and failed status resolution.

Bio Systems·2026
See all related articles

Related Experiment Video

Updated: Jan 25, 2026

Watershed Planning within a Quantitative Scenario Analysis Framework
12:44

Watershed Planning within a Quantitative Scenario Analysis Framework

Published on: July 24, 2016

8.5K

A compositional framework for Boolean networks.

H Alkhudhayr1, J Steggles2

  • 1School of Computing, Newcastle University, Newcastle upon Tyne, UK; Faculty of Computing and Information Technology, King Abdulaziz University, Rabigh, Saudi Arabia.

Bio Systems
|April 26, 2019
PubMed
Summary
This summary is machine-generated.

This study introduces a formal framework for composing Boolean networks, overcoming the state space explosion problem. This enables the creation and analysis of larger, more complex biological models.

Keywords:
Behaviour preservationBoolean networkInterferenceModel composition

More Related Videos

Author Spotlight: Advances in Evaluating Human Lung Epithelial Cells' Response to Metal-Organic Frameworks
04:53

Author Spotlight: Advances in Evaluating Human Lung Epithelial Cells' Response to Metal-Organic Frameworks

Published on: May 26, 2023

1.7K
Synthesis and Characterization of Functionalized Metal-organic Frameworks
11:27

Synthesis and Characterization of Functionalized Metal-organic Frameworks

Published on: September 5, 2014

49.1K

Related Experiment Videos

Last Updated: Jan 25, 2026

Watershed Planning within a Quantitative Scenario Analysis Framework
12:44

Watershed Planning within a Quantitative Scenario Analysis Framework

Published on: July 24, 2016

8.5K
Author Spotlight: Advances in Evaluating Human Lung Epithelial Cells' Response to Metal-Organic Frameworks
04:53

Author Spotlight: Advances in Evaluating Human Lung Epithelial Cells' Response to Metal-Organic Frameworks

Published on: May 26, 2023

1.7K
Synthesis and Characterization of Functionalized Metal-organic Frameworks
11:27

Synthesis and Characterization of Functionalized Metal-organic Frameworks

Published on: September 5, 2014

49.1K

Area of Science:

  • Systems Biology
  • Computational Biology
  • Theoretical Computer Science

Background:

  • Boolean networks are valuable for qualitative modeling of biological systems.
  • The state space explosion problem limits the scale of Boolean network models.
  • Analyzing large-scale biological systems with Boolean networks is challenging.

Purpose of the Study:

  • To develop a formal framework for composing Boolean networks.
  • To facilitate the construction and analysis of large-scale biological models.
  • To address the limitations imposed by the state space explosion problem.

Main Methods:

  • A compositional approach based on merging entities using a binary Boolean operator.
  • Formalization of behavior preservation under composition using a notion of compatibility.
  • Development of a trace alignment property to characterize compatibility.

Main Results:

  • A formal framework for composing Boolean networks is presented.
  • Compatibility is formalized using a trace alignment property.
  • An extended trace alignment property completely characterizes compatibility, considering interference.

Conclusions:

  • The proposed framework enables the construction and analysis of larger Boolean network models.
  • The developed compatibility notion and trace alignment property are key to compositional analysis.
  • This work advances the scalability of Boolean network modeling for complex biological systems.