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...
Modeling and Similitude01:12

Modeling and Similitude

Scaled modeling is a fundamental technique in engineering, enabling the study of large and complex systems by creating smaller, manageable replicas that recreate critical characteristics of the original. In hydrology and civil infrastructure, for example, scaled models of dams help analyze water flow, turbulence, and pressure. This method allows for accurate predictions of real-world behavior within a controlled environment, significantly reducing the cost and time involved in full-scale...
Model Approaches for Pharmacokinetic Data: Distributed Parameter Models01:06

Model Approaches for Pharmacokinetic Data: Distributed Parameter Models

Pharmacokinetic models are mathematical constructs that represent and predict the time course of drug concentrations in the body, providing meaningful pharmacokinetic parameters. These models are categorized into compartment, physiological, and distributed parameter models.
The distributed parameter models are specifically designed to account for variations and differences in some drug classes. This model is particularly useful for assessing regional concentrations of anticancer or...
Per-Unit Sequence Models01:26

Per-Unit Sequence Models

An ideal Y-Y transformer, grounded through neutral impedances, displays per-unit sequence networks akin to those of a single-phase ideal transformer when subjected to balanced positive- or negative-sequence currents. These currents do not produce neutral currents, and their associated voltage drops.
Zero-sequence currents, which are identical in magnitude and phase, generate a neutral current, resulting in voltage drops across the neutral impedance and the low-voltage winding. If the...
Constraints and Statical Determinacy01:26

Constraints and Statical Determinacy

In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
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

Haplotype-resolved genome architecture mapping uncovers pervasive structural heterogeneity between human homologous chromosomes.

bioRxiv : the preprint server for biology·2026
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

Control-guided refinement of partially specified Boolean networks: applications to RTK signaling.

Bioinformatics (Oxford, England)·2026
Same author

Sketchbook: logical model inference from Boolean network sketches.

Bioinformatics advances·2026
Same author

CNSistent integration and feature extraction from somatic copy number profiles.

GigaScience·2025
Same author

Path integration impairments reveal early cognitive changes in subjective cognitive decline.

Science advances·2025

Related Experiment Video

Updated: May 30, 2026

Synthesizing Amino Acids Modified with Reactive Carbonyls in Silico to Assess Structural Effects Using Molecular Dynamics Simulations
05:57

Synthesizing Amino Acids Modified with Reactive Carbonyls in Silico to Assess Structural Effects Using Molecular Dynamics Simulations

Published on: April 26, 2024

On parameter synthesis by parallel model checking.

Jirí Barnat1, Lubos Brim, Adam Krejcí

  • 1Faculty of Informatics, Masaryk University, Botanická 68a, Brno 60200, Czech Republic. barnat@fi.muni.cz

IEEE/ACM Transactions on Computational Biology and Bioinformatics
|July 27, 2011
PubMed
Summary
This summary is machine-generated.

This study introduces a new parallel model checking algorithm for parameter synthesis in computational systems biology. It addresses parameter uncertainty in biological system models, demonstrating broad applicability.

Related Experiment Videos

Last Updated: May 30, 2026

Synthesizing Amino Acids Modified with Reactive Carbonyls in Silico to Assess Structural Effects Using Molecular Dynamics Simulations
05:57

Synthesizing Amino Acids Modified with Reactive Carbonyls in Silico to Assess Structural Effects Using Molecular Dynamics Simulations

Published on: April 26, 2024

Area of Science:

  • Computational Systems Biology
  • Biophysics
  • Algorithm Development

Background:

  • Analyzing biological system dynamics often involves parameter uncertainty.
  • Current computational methods face challenges in handling this uncertainty effectively.

Purpose of the Study:

  • To present a novel algorithm for parameter synthesis that addresses parameter uncertainty in biological models.
  • To demonstrate the algorithm's universality and scalability across different modeling approaches.

Main Methods:

  • Development of a novel parameter synthesis algorithm.
  • Implementation utilizing parallel model checking techniques.
  • Testing and validation on diverse biological models.

Main Results:

  • The proposed algorithm effectively handles parameter uncertainty in biological system dynamics.
  • Demonstrated scalability of the algorithm.
  • Successful application across multiple biological models, confirming its universality.

Conclusions:

  • The novel parallel model checking algorithm offers a robust solution for parameter synthesis under uncertainty in systems biology.
  • The algorithm's universality and scalability make it a valuable tool for computational systems biology research.