Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Protein Networks

Protein Networks

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,...

Pharmacodynamic Models: Link Model and Systems Pharmacodynamic Model

Pharmacodynamic Models: Link Model and Systems Pharmacodynamic Model

The link model is a fundamental pharmacokinetic-pharmacodynamic (PK–PD) approach to account for delayed drug responses when the observed effect does not immediately correlate with the drug's plasma concentration peak. This delay is mathematically addressed by introducing an effect compartment concentration, Ce, which is kinetically linked to the plasma concentration, Cp, via a first-order rate constant, ke0. The linkage allows for a more accurate prediction of drug effects over time. A higher...

Pharmacodynamic Models: Overview

Pharmacodynamic Models: Overview

Pharmacodynamic (PD) responses describe the interaction between a drug and its biological target, culminating in a physiological effect. These responses can be classified into different types: continuous variables, such as blood glucose levels; categorical outcomes, like survival rates; and time-to-event metrics, such as disease progression. Understanding and modeling PD responses are critical for optimizing drug efficacy and safety.PD models describe the relationship between drug concentration...

You might also read

Related Articles

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

Sort by

Same author

TabularQual: A spreadsheet-based format for annotating and curating logical models in SBML-qual.

bioRxiv : the preprint server for biology·2026

Same author

Microbial-geochemical Interactions in Underground Reservoirs: Implications for Hydrogen Storage.

Microbial ecology·2026

Same author

Predicting coarse-grained representations of biogeochemical cycles from metabarcoding data.

Bioinformatics (Oxford, England)·2025

Same author

The Federated European Genome-Phenome Archive as a global network for sharing human genomics data.

Nature genetics·2025

Same author

Single-cell data reveal heterogeneity of investment in ribosomes across a bacterial population.

Nature communications·2025

Same author

Improving the genetic stability of bacterial growth control for long-term bioproduction.

Biotechnology and bioengineering·2024

Same journal

Cross-Domain Transfer Learning from Peptides to Metabolites Using a Multi-Property Fine-Tuned LLM.

Bioinformatics (Oxford, England)·2026

Same journal

Biomedical Concept Recognition with Error-aware Negative-enhanced Ranking Framework.

Bioinformatics (Oxford, England)·2026

Same journal

TEDLH: Domain HMMs for sensitive detection of remote homologues.

Bioinformatics (Oxford, England)·2026

Same journal

PLNFGL: Joint Estimation of Multi-Condition Gene Networks from Single-cell RNA-seq Data.

Bioinformatics (Oxford, England)·2026

Same journal

MCFST: Spatial domain identification method based on multi-view graph convolutional network and graph fusion network.

Bioinformatics (Oxford, England)·2026

Same journal

SpaBiT: Enhancing Spatial Transcriptomics Resolution via Bidirectional Attention Transformers.

Bioinformatics (Oxford, England)·2026

See all related articles

Search research articles

Related Experiment Video

Updated: Jul 2, 2026

Temporal Ordering of Dynamic Expression Data from Detailed Spatial Expression Maps

Temporal Ordering of Dynamic Expression Data from Detailed Spatial Expression Maps

Published on: February 9, 2017

Temporal logic patterns for querying dynamic models of cellular interaction networks.

Pedro T Monteiro¹, Delphine Ropers, Radu Mateescu

¹INRIA Grenoble, Rhône-Alpes, 655 Av de l'Europe, Montbonnot, 38334 St Ismier Cedex, France.

Bioinformatics (Oxford, England)

|August 12, 2008

Summary

This summary is machine-generated.

This study introduces query patterns to simplify asking complex questions about biological networks using model checking. This approach makes advanced network analysis more accessible to researchers without specialized temporal logic expertise.

More Related Videos

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

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

Published on: December 7, 2021

Quantifying Spatiotemporal Parameters of Cellular Exocytosis in Micropatterned Cells

Quantifying Spatiotemporal Parameters of Cellular Exocytosis in Micropatterned Cells

Published on: September 16, 2020

Related Experiment Videos

Last Updated: Jul 2, 2026

Temporal Ordering of Dynamic Expression Data from Detailed Spatial Expression Maps

Temporal Ordering of Dynamic Expression Data from Detailed Spatial Expression Maps

Published on: February 9, 2017

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

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

Published on: December 7, 2021

Quantifying Spatiotemporal Parameters of Cellular Exocytosis in Micropatterned Cells

Quantifying Spatiotemporal Parameters of Cellular Exocytosis in Micropatterned Cells

Published on: September 16, 2020

Area of Science:

Systems Biology
Computational Biology
Bioinformatics

Background:

Cellular interaction networks are growing in size and complexity.
Formal verification using model checking is a powerful tool for analyzing these large networks.
A key challenge is the difficulty for non-expert users to formulate queries in temporal logic.

Purpose of the Study:

To develop a user-friendly method for querying large biological network models.
To simplify the formulation of biological questions for model checking.

Main Methods:

Proposed the use of high-level query templates, termed patterns.
Patterns automatically translate recurring biological questions into temporal logic.
Applied patterns to an extended model of the carbon starvation response network in Escherichia coli.

Main Results:

Demonstrated the applicability of the pattern-based approach.
Successfully analyzed a complex biological network model.

Conclusions:

Query patterns enhance the accessibility of model checking for biological network analysis.
This method facilitates the investigation of biological questions in complex systems.