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

Analysis Methods of Pharmacokinetic Data: Model and Model-Independent Approaches01:14

Analysis Methods of Pharmacokinetic Data: Model and Model-Independent Approaches

Drug disposition in the body is a complex process and can be studied using two major approaches: the model and the model-independent approaches.
The model approach uses mathematical models to describe changes in drug concentration over time. Pharmacokinetic models help characterize drug behavior in patients, predict drug concentration in the body fluids, calculate optimum dosage regimens, and evaluate the risk of toxicity. However, ensuring that the model fits the experimental data accurately...
Model-Independent Approaches for Pharmacokinetic Data: Noncompartmental Analysis00:59

Model-Independent Approaches for Pharmacokinetic Data: Noncompartmental Analysis

Noncompartmental analyses offer an alternative method for describing drug pharmacokinetics without relying on a specific compartmental model. In this approach, the drug's pharmacokinetics are assumed to be linear, with the terminal phase log-linear. This assumption allows for simplified analysis and interpretation of the drug's behavior in the body.
One important characteristic of noncompartmental analyses is that drug exposure increases proportionally with increasing doses. This relationship...
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)...
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: Overview of Compartment Models01:21

Mechanistic Models: Overview of Compartment Models

Mechanistic models, a category encompassing both physiological and compartmental modeling, differ from empirical models' approaches to incorporating known factors about the systems being modeled. Empirical models describe data with minimal assumptions, while mechanistic models aim to provide a robust description of available data by specifying assumptions and integrating known factors about the system. Compartmental analysis is a key example of a mechanistic model in pharmacokinetics and...

You might also read

Related Articles

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

Sort by
Same author

Rethinking bioinformatics expertise in the era of artificial intelligence.

NPJ digital medicine·2026
Same author

Creating an engine of scientific discovery, an Indo-Japan perspective: learnings from IJNTC 2025 workshop.

NPJ systems biology and applications·2026
Same author

Enhancing protein structure prediction: evaluating the role of amino acid physicochemical features in homology search.

Briefings in bioinformatics·2026
Same author

Protrec2: tissue-specific network-based missing protein recovery method.

Briefings in bioinformatics·2025
Same author

Establishing the Asia & Pacific Bioinformatics Joint Congress: a historic milestone in regional bioinformatics collaboration.

Briefings in bioinformatics·2025
Same author

Comprehensive benchmarking of methods for mutation calling in circulating tumor DNA.

Nature communications·2025
Same journal

Research on multi-trait genome association study method based on Shannon information entropy.

BMC bioinformatics·2026
Same journal

A multi-view feature fusion framework with interpretable graph convolution for predicting microbe-drug associations.

BMC bioinformatics·2026
Same journal

Covariance decomposition for distance based species tree estimation.

BMC bioinformatics·2026
Same journal

SNPio: a Python interface for population genomic data processing.

BMC bioinformatics·2026
Same journal

SpaHNR: a spatial domain identification method via sparse attention-based hierarchical node representation and multi-view contrastive learning.

BMC bioinformatics·2026
Same journal

OpenIMC: an open-source platform for analyzing single-cell and spatial proteomics by imaging mass cytometry.

BMC bioinformatics·2026
See all related articles

Related Experiment Video

Updated: May 15, 2026

A Pathway Association Study Tool for GWAS Analyses of Metabolic Pathway Information
05:01

A Pathway Association Study Tool for GWAS Analyses of Metabolic Pathway Information

Published on: July 1, 2020

Improved statistical model checking methods for pathway analysis.

Chuan Hock Koh1, Sucheendra K Palaniappan, P S Thiagarajan

  • 1NUS Graduate School for Integrative Sciences and Engineering, Singapore. kohchuanhock@nus.edu.sg

BMC Bioinformatics
|January 4, 2013
PubMed
Summary
This summary is machine-generated.

Statistical model checking improves analysis of large biological systems. New algorithms remove user-defined parameters and handle limited computational resources, enhancing accuracy and efficiency in computational systems biology.

More Related Videos

Using Human Differentially Expressed Gene Lists to Perform Downstream Pathway Enrichment Analysis and Target Prioritization
03:08

Using Human Differentially Expressed Gene Lists to Perform Downstream Pathway Enrichment Analysis and Target Prioritization

Published on: October 3, 2025

DeepOmicsAE: Representing Signaling Modules in Alzheimer's Disease with Deep Learning Analysis of Proteomics, Metabolomics, and Clinical Data
09:47

DeepOmicsAE: Representing Signaling Modules in Alzheimer's Disease with Deep Learning Analysis of Proteomics, Metabolomics, and Clinical Data

Published on: December 15, 2023

Related Experiment Videos

Last Updated: May 15, 2026

A Pathway Association Study Tool for GWAS Analyses of Metabolic Pathway Information
05:01

A Pathway Association Study Tool for GWAS Analyses of Metabolic Pathway Information

Published on: July 1, 2020

Using Human Differentially Expressed Gene Lists to Perform Downstream Pathway Enrichment Analysis and Target Prioritization
03:08

Using Human Differentially Expressed Gene Lists to Perform Downstream Pathway Enrichment Analysis and Target Prioritization

Published on: October 3, 2025

DeepOmicsAE: Representing Signaling Modules in Alzheimer's Disease with Deep Learning Analysis of Proteomics, Metabolomics, and Clinical Data
09:47

DeepOmicsAE: Representing Signaling Modules in Alzheimer's Disease with Deep Learning Analysis of Proteomics, Metabolomics, and Clinical Data

Published on: December 15, 2023

Area of Science:

  • Computational Systems Biology
  • Formal Methods
  • Stochastic Systems Analysis

Background:

  • Traditional model checking struggles with large-scale stochastic systems.
  • Statistical model checking offers approximate analysis with error guarantees.
  • Computational systems biology requires scalable verification methods.

Purpose of the Study:

  • To enhance existing statistical model checking algorithms.
  • To remove the need for user-defined indifference regions.
  • To incorporate resource limitations into the verification process.

Main Methods:

  • Developed a novel algorithm eliminating the indifference region parameter.
  • Extended the algorithm with a p-value based approach for resource constraints.
  • Evaluated improvements using a representative example and a biological model.

Main Results:

  • The new algorithms demonstrate improved performance over existing methods.
  • Elimination of the indifference region simplifies parameter setting.
  • The p-value approach effectively handles computational resource limits.

Conclusions:

  • The enhanced statistical model checking algorithms are more practical for computational systems biology.
  • These improvements increase the scalability and usability of model checking for biological system analysis.
  • The methods provide robust verification even under resource constraints.