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

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...
Mechanistic Models: Compartment Models in Individual and Population Analysis01:23

Mechanistic Models: Compartment Models in Individual and Population Analysis

Mechanistic models are utilized in individual analysis using single-source data, but imperfections arise due to data collection errors, preventing perfect prediction of observed data. The mathematical equation involves known values (Xi), observed concentrations (Ci), measurement errors (εi), model parameters (ϕj), and the related function (ƒi) for i number of values. Different least-squares metrics quantify differences between predicted and observed values. The ordinary least squares (OLS)...
Molecular Models02:00

Molecular Models

Physical models representing molecular architectures of chemical compounds play essential roles in understanding chemistry. The use of molecular models makes it easier to visualize the structures and shapes of atoms and molecules.
Evolutionary Relationships through Genome Comparisons02:54

Evolutionary Relationships through Genome Comparisons

Genome comparison is one of the excellent ways to interpret the evolutionary relationships between organisms. The basic principle of genome comparison is that if two species share a common feature, it is likely encoded by the DNA sequence conserved between both species. The advent of genome sequencing technologies in the late 20th century enabled scientists to understand the concept of conservation of domains between species and helped them to deduce evolutionary relationships across diverse...
Protein Folding Quality Check in the RER01:29

Protein Folding Quality Check in the RER

ER is the primary site for the maturation and folding of soluble and transmembrane secretory proteins. The calnexin cycle is a specific chaperone system that folds and assesses the confirmation of N-glycosylated proteins before they can exit the ER lumen. The primary players of this quality check pipeline are the lectins, ER-resident chaperones, and a glucosyl transferase enzyme. In case the calnexin system in the lumen fails to salvage a misfolded protein, it is transported to the cytoplasm...
Pharmacokinetic Models: Comparison and Selection Criterion01:26

Pharmacokinetic Models: Comparison and Selection Criterion

Physiological and compartmental models are valuable tools used in studying biological systems. These models rely on differential equations to maintain mass balance within the system, ensuring an accurate representation of the dynamic processes at play.
Physiological models take a detailed approach by considering specific molecular processes. They can predict drug distribution, metabolism, and elimination changes, providing a comprehensive understanding of how drugs interact with the body.

You might also read

Related Articles

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

Sort by
Same author

Survey-based exploration of menopause transition experiences of female staff employed in UK ambulance services (CESSATION Phase 2).

British paramedic journal·2026
Same author

Automated Melanocytic Lesion Classification: Capsule Networks Trained With Synthetic Images Can Outperform Networks Trained With Real Images.

The Australasian journal of dermatology·2026
Same author

Long-term outcomes of drug-coated balloons vs. drug-eluting stents in coronary chronic total occlusion angioplasty: the SPARTAN-CTO study.

Clinical research in cardiology : official journal of the German Cardiac Society·2026
Same author

A Prospective Cohort Study Investigating the Role of a Screening Smell and Taste Test in Patients Following Head Injury.

Clinical otolaryngology : official journal of ENT-UK ; official journal of Netherlands Society for Oto-Rhino-Laryngology & Cervico-Facial Surgery·2026
Same author

A Comparison of a Drug Coated Balloon With Drug Eluting Stent Strategy for Treating Coronary Bifurcation Lesions.

Catheterization and cardiovascular interventions : official journal of the Society for Cardiac Angiography & Interventions·2025
Same author

Cessation of Smoking Trial in the Emergency Department: Long-Term Follow-up of a Randomized Controlled Trial.

Nicotine & tobacco research : official journal of the Society for Research on Nicotine and Tobacco·2025

Related Experiment Video

Updated: May 26, 2026

Modeling an Enzyme Active Site using Molecular Visualization Freeware
14:37

Modeling an Enzyme Active Site using Molecular Visualization Freeware

Published on: December 25, 2021

Formal methods for checking the consistency of biological models.

Allan Clark1, Vashti Galpin, Stephen Gilmore

  • 1Centre for Systems Biology at Edinburgh, The University of Edinburgh, Edinburgh EH9 3JU, Scotland, UK. A.D.Clark@ed.ac.uk

Advances in Experimental Medicine and Biology
|December 14, 2011
PubMed
Summary

Formal modeling, using process algebras and Petri nets, offers symbolic and numerical methods for biological process analysis. These approaches enhance traditional ODE methods by enabling discrete-state analysis and logical reasoning to ensure model consistency.

More Related Videos

Comprehensive Characterization of Tissue Mineralization in an Ex Vivo Model
07:29

Comprehensive Characterization of Tissue Mineralization in an Ex Vivo Model

Published on: September 27, 2024

Related Experiment Videos

Last Updated: May 26, 2026

Modeling an Enzyme Active Site using Molecular Visualization Freeware
14:37

Modeling an Enzyme Active Site using Molecular Visualization Freeware

Published on: December 25, 2021

Comprehensive Characterization of Tissue Mineralization in an Ex Vivo Model
07:29

Comprehensive Characterization of Tissue Mineralization in an Ex Vivo Model

Published on: September 27, 2024

Area of Science:

  • Systems Biology
  • Computational Biology

Background:

  • Classical methods for biological process dynamics rely on numerical integration of Ordinary Differential Equations (ODEs).
  • These methods offer limited analytical capabilities beyond numerical simulation.

Purpose of the Study:

  • Introduce formal modeling approaches like process algebras and Petri nets for biological process analysis.
  • Highlight the benefits of these methods in ensuring biological model consistency and identifying errors.

Main Methods:

  • Utilize symbolic and numerical methods for analyzing biological process dynamics.
  • Employ discrete-state analysis and logical reasoning facilitated by formal representations.

Main Results:

  • Formal modeling approaches have successfully identified errors in existing biological models.
  • These methods provide alternative representations beyond numerical integration.

Conclusions:

  • Formal modeling offers a robust framework for analyzing biological processes.
  • Adopting these methods improves the reliability and consistency of biological models.