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 Experiment Video

Updated: Jun 3, 2026

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline
10:44

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Published on: December 7, 2021

Algebraic model checking for Boolean gene regulatory networks.

Quoc-Nam Tran1

  • 1Department of Computer Science, Lamar University, Beaumont, TX 77710, USA. qntran@lamar.edu

Advances in Experimental Medicine and Biology
|March 25, 2011
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

Combinatorial Gene Control02:33

Combinatorial Gene Control

Combinatorial gene control is the synergistic action of several transcriptional factors to regulate the expression of a single gene. The absence of one or more of these factors may lead to a significant difference in the level of gene expression or repression.
The expression of more than 30,000 genes is controlled by approximately 2000-3000 transcription factors. This is possible because a single transcription factor can recognize more than one regulatory sequence. The specificity in gene...
Operon Model01:23

Operon 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...
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic 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...
Constitutive and Regulated Gene Expression01:27

Constitutive and Regulated Gene Expression

Gene expression in prokaryotes is governed by constitutive and regulated systems, allowing cells to balance the production of essential proteins with adaptive responses to environmental changes.Constitutive Gene ExpressionConstitutive, or housekeeping, genes are continuously expressed as they encode proteins vital for fundamental cellular processes. These include enzymes for glycolysis, ribosomal components for protein synthesis, and proteins involved in DNA replication. Their constant...
Regulation of Expression at Multiple Steps01:23

Regulation of Expression at Multiple Steps

The gene expression in cells is regulated at different stages: (i) transcription, (ii) RNA processing, (iii) RNA localization, and (iv) translation. Transcriptional regulation is mediated by regulatory proteins such as transcription factors, activators, or repressors—these control gene expression by initiating or inhibiting the transcription of genes. Once a precursor or pre-mRNA is produced, it undergoes post-transcriptional modification, including 5' capping, splicing, and the addition of a...
Block Diagram Reduction01:22

Block Diagram Reduction

The process of deriving the transfer function of a control system often involves reducing its block diagram to a single block. This simplification can be achieved through a series of strategic operations, including relocating branch points and comparators. These operations preserve the overall function of the system while allowing for easier manipulation and combination of blocks.
The first step in this process is the identification and relocation of a branch point. A branch point, where a...

You might also read

Related Articles

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

Sort by
Same author

A novel method for finding non-small cell lung cancer diagnosis biomarkers.

BMC medical genomics·2013
Same author

Improving the accuracy of gene expression profile classification with Lorenz curves and Gini ratios.

Advances in experimental medicine and biology·2011
Same journal

Mammalian Respiratory Chain Complex Assemblies and Their Links to Mitochondria Stress-Induced Human Diseases.

Advances in experimental medicine and biology·2026
Same journal

Enzyme Assemblies in Nucleotide Metabolism: Structure, Regulation, and Disease Implications.

Advances in experimental medicine and biology·2026
Same journal

The Pyruvate Dehydrogenase Complex: A 90-Year-Old Enigma Shaping the Future of Structural Enzymology.

Advances in experimental medicine and biology·2026
Same journal

Regulation of the Anti-termination RNA Transcription Complex by Lon-Mediated Lambda N Degradation.

Advances in experimental medicine and biology·2026
Same journal

PCNA Macromolecular Complexes: PCNA Serves as a Molecular Hub Regulating Multiple Cellular Processes Inside and Outside of the Nucleus.

Advances in experimental medicine and biology·2026
Same journal

Dynamic Assemblies in Genome Maintenance.

Advances in experimental medicine and biology·2026
See all related articles

This study introduces an efficient computational method using Groebner bases (GB) in Boolean rings to solve Boolean gene regulatory network (BN) problems. The approach significantly improves performance and finds all solutions, outperforming existing model checkers.

Area of Science:

  • Computational Biology
  • Algebraic Methods
  • Systems Biology

Background:

  • Boolean networks (BNs) are widely used to model gene regulatory interactions.
  • Existing algebraic methods for BN analysis face challenges with computational efficiency and scalability.
  • Model checking BNs often requires significant computational resources.

Purpose of the Study:

  • To develop a novel computational method for solving problems in Boolean networks.
  • To enhance the efficiency of Groebner basis (GB) computations in Boolean rings for BN analysis.
  • To demonstrate the applicability of the method for model checking and finding attractors and control strategies in BNs.

Main Methods:

  • Utilized modular arithmetic and Groebner bases (GB) computation within Boolean rings.

More Related Videos

Generating the Transcriptional Regulation View of Transcriptomic Features for Prediction Task and Dark Biomarker Detection on Small Datasets
03:37

Generating the Transcriptional Regulation View of Transcriptomic Features for Prediction Task and Dark Biomarker Detection on Small Datasets

Published on: March 1, 2024

Related Experiment Videos

Last Updated: Jun 3, 2026

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline
10:44

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Published on: December 7, 2021

Generating the Transcriptional Regulation View of Transcriptomic Features for Prediction Task and Dark Biomarker Detection on Small Datasets
03:37

Generating the Transcriptional Regulation View of Transcriptomic Features for Prediction Task and Dark Biomarker Detection on Small Datasets

Published on: March 1, 2024

  • Developed a method where the degree of intermediate polynomials does not increase during GB calculation.
  • Applied the GB computation for temporal logic model checking and analysis of Boolean networks.

    • Main Results:

    • Achieved significant improvements in running time and memory space consumption compared to existing algebraic approaches.
    • Demonstrated superior efficiency over the state-of-the-art model checker NuSMV for BN problems.
    • Successfully identified all solutions for Boolean network problems, including attractors and control strategies.

    Conclusions:

    • The proposed algebraic approach offers a more efficient and scalable method for analyzing Boolean networks.
    • The computational method provides a powerful tool for model checking and strategy discovery in gene regulatory networks.
    • This work advances the application of algebraic techniques in computational biology and systems analysis.