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 Videos

Model building and model checking for biochemical processes.

Marco Antoniotti1, Alberto Policriti, Nadia Ugel

  • 1Courant Institute of Mathematical Sciences, New York University, NY, USA.

Cell Biochemistry and Biophysics
|June 10, 2003
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

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

Sort by
Same author

Self-organizing maps for allele specific expression data reconstruction and identification of anomalous genomic regions.

Frontiers in bioinformatics·2026
Same author

A two-phase clustering procedure based on allele specific expression.

BMC bioinformatics·2026
Same author

Comprehensive analysis of mutational processes across 20 000 adult and pediatric tumors.

Nucleic acids research·2025
Same author

The immune cell dynamics in the peripheral blood of cHL patients receiving anti-PD1 treatment.

Frontiers in oncology·2025
Same author

Early tolerance and late persistence as alternative drug responses in cancer.

Nature communications·2025
Same author

Scalable integration of multiomic single-cell data using generative adversarial networks.

Bioinformatics (Oxford, England)·2024
Same journal

From Isoprene Units to Polyprenols and Dolichols: 70 Years of Polyisoprenoid Biosynthesis Research.

Cell biochemistry and biophysics·2026
Same journal

Therapeutic Insights into the Hepatoprotective Effect of Strobilanthes callosa.

Cell biochemistry and biophysics·2026
Same journal

The Dual Role of TGF-β and Hypoxia on MMP14-Mediated Invasion in PC3 Cells.

Cell biochemistry and biophysics·2026
Same journal

Microalgae-Mediated Synthesis of Gold Nanoparticles from Indonesian Chlorella vulgaris InaCC M205 with Potential Anticancer Properties for Biomedical Application.

Cell biochemistry and biophysics·2026
Same journal

Adsorption-driven Graphene Oxide SPR Biointerfaces: Coupled Thermodynamic, Kinetic, and Optical Modeling with Effective-layer Validation.

Cell biochemistry and biophysics·2026
Same journal

Identification of Ferroptosis-related Genes Associated with the Prognosis of Hepatocellular Carcinoma.

Cell biochemistry and biophysics·2026
See all related articles

This study introduces a novel computational tool for systems biology, utilizing automaton-based semantics and temporal logic for analyzing complex biochemical reactions and biological systems. It aids biologists in deciphering data and understanding cellular functions.

Area of Science:

  • Computational Systems Biology
  • Biochemical Reaction Modeling
  • Bioinformatics Tools

Background:

  • Systems biology aims to understand biological complexity using mathematical and computational approaches.
  • Existing tools often lack robust methods for temporal analysis of biochemical reactions.
  • Deciphering genomic, proteomic, and cellular functions requires advanced simulation and reasoning capabilities.

Purpose of the Study:

  • To present a novel computational tool for analyzing complex biochemical reactions.
  • To enable qualitative reasoning about biological systems using temporal logic.
  • To support biologists in deciphering data and understanding functional properties of biological entities.

Main Methods:

  • Development of an automaton-based semantics for temporal evolution of biochemical reactions.

Related Experiment Videos

  • Representation of reaction systems using differential equations.
  • Implementation of a propositional temporal logic for qualitative reasoning.
  • Application of the Simpathica and XSSYS systems for model implementation.

    • Main Results:

    • The novel system effectively models the temporal dynamics of biochemical reactions.
    • Qualitative reasoning capabilities allow for unambiguous expression of event sequences.
    • Successful application to complex biological models, including the repressilator and purine metabolism.

    Conclusions:

    • The developed computational tool enhances the capabilities of systems biology research.
    • Automaton-based semantics and temporal logic offer powerful methods for biological system analysis.
    • The Simpathica and XSSYS systems provide practical applications for understanding cellular and biochemical processes.