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

Mathematical Modeling: Problem Solving01:29

Mathematical Modeling: Problem Solving

512
Mathematical modeling transforms real-world scenarios into mathematical expressions, allowing for structured problem-solving and analysis. This process involves defining the situation, assigning variables to measurable quantities, selecting an appropriate model, and solving the resulting equation. Such models are invaluable in finance, providing precise methods to evaluate investments, loans, and repayment structures.A widely used example is the calculation of fixed monthly payments on a loan,...
512
Signal and System01:26

Signal and System

1.8K
A signal x(t) is a set of data or a time function representing a variable of interest. Signals typically convey information about a phenomenon, such as atmospheric temperature, humidity, human voice, television images, a dog's bark, or birdsongs. More generally, a signal can be a function of more than one independent variable. For instance, images depend on horizontal and vertical positions and can be regarded as two-dimensional signals. However, this text will focus on one-dimensional...
1.8K
Interactions Between Signaling Pathways01:19

Interactions Between Signaling Pathways

7.9K
Signaling cascades usually lack linearity. Multiple pathways interact and regulate one another, allowing cells to integrate and respond to diverse environmental stimuli.
Convergence and divergence, and cross-talk between signaling pathways
Two distinct signaling pathways can converge on a single functional unit, which may either be a single protein or a complex of proteins. The response is either functionally distinct or synergistic between the two pathways but different from the response...
7.9K
SFG Algebra01:16

SFG Algebra

376
In Signal Flow Graph (SFG) algebra, the value a node represents is determined by the sum of all signals entering that node. This summed value is then transmitted through every branch leaving the node, making the SFG a powerful tool for visualizing and analyzing control systems.
Each node in an SFG corresponds to a variable, and the interactions between nodes are represented by branches with associated gains. When multiple branches lead into a node, the value at that node is the sum of the...
376
Network Function of a Circuit01:25

Network Function of a Circuit

995
Frequency response analysis in electrical circuits provides vital insights into a circuit's behavior as the frequency of the input signal changes. The transfer function, a mathematical tool, is instrumental in understanding this behavior. It defines the relationship between phasor output and input and comes in four types: voltage gain, current gain, transfer impedance, and transfer admittance. The critical components of the transfer function are the poles and zeros.
995
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

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

You might also read

Related Articles

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

Sort by
Same author

The boundary for quantum advantage in Gaussian boson sampling.

Science advances·2022
Same author

Structured reporting ensures complete content and quick detection of essential data in pathology reports of oncological breast resection specimens.

Breast cancer research and treatment·2016
Same author

Data-driven subclassification of speech sound disorders in preschool children.

Journal of speech, language, and hearing research : JSLHR·2014
Same author

Discrete, qualitative models of interaction networks.

Frontiers in bioscience (Scholar edition)·2013
Same author

SynProt: A Database for Proteins of Detergent-Resistant Synaptic Protein Preparations.

Frontiers in synaptic neuroscience·2012
Same author

Synaptic proteome changes in mouse brain regions upon auditory discrimination learning.

Proteomics·2012
Same journal

Mosquito Species and Gender Identification System Based on Artificial Intelligence and Image Processing Methods.

Journal of computational biology : a journal of computational molecular cell biology·2026
Same journal

GMSA: A Graph Matching and Point Cloud Registration-Based Method for Spatial Transcriptomics Data Alignment.

Journal of computational biology : a journal of computational molecular cell biology·2026
Same journal

Investigations on Multiple Protein Scaffold Filling.

Journal of computational biology : a journal of computational molecular cell biology·2026
Same journal

Cell Type Prediction for Single-Cell RNA Sequencing Utilizing Unsupervised Domain Adaptation and Semi-Supervised Learning.

Journal of computational biology : a journal of computational molecular cell biology·2026
Same journal

PPIGAN: Prediction of Protein-Protein Interactions Using Generative Adversarial Networks.

Journal of computational biology : a journal of computational molecular cell biology·2026
Same journal

Deep Structure-Enhanced Cell Clustering Model for Single-Cell RNA Sequencing Data.

Journal of computational biology : a journal of computational molecular cell biology·2026
See all related articles

Related Experiment Video

Updated: Mar 25, 2026

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

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

Published on: December 7, 2021

2.7K

Logic integer programming models for signaling networks.

Utz-Uwe Haus1, Kathrin Niermann, Klaus Truemper

  • 1Institut für Mathematische Optimierung, Otto von Guericke Universität Magdeburg, Magdeburg, Germany. haus@imo.math.uni-magdeburg.de

Journal of Computational Biology : a Journal of Computational Molecular Cell Biology
|May 13, 2009
PubMed
Summary
This summary is machine-generated.

We introduce novel discrete mathematics models for biological signaling networks, using Propositional Logic and Integer Programming. These methods efficiently analyze complex biological data, offering new insights into molecular biology.

More Related Videos

A Combined 3D Tissue Engineered In Vitro/In Silico Lung Tumor Model for Predicting Drug Effectiveness in Specific Mutational Backgrounds
13:34

A Combined 3D Tissue Engineered In Vitro/In Silico Lung Tumor Model for Predicting Drug Effectiveness in Specific Mutational Backgrounds

Published on: April 6, 2016

10.7K
Applying an Inducible Expression System to Study Interference of Bacterial Virulence Factors with Intracellular Signaling
08:51

Applying an Inducible Expression System to Study Interference of Bacterial Virulence Factors with Intracellular Signaling

Published on: June 25, 2015

9.7K

Related Experiment Videos

Last Updated: Mar 25, 2026

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

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

Published on: December 7, 2021

2.7K
A Combined 3D Tissue Engineered In Vitro/In Silico Lung Tumor Model for Predicting Drug Effectiveness in Specific Mutational Backgrounds
13:34

A Combined 3D Tissue Engineered In Vitro/In Silico Lung Tumor Model for Predicting Drug Effectiveness in Specific Mutational Backgrounds

Published on: April 6, 2016

10.7K
Applying an Inducible Expression System to Study Interference of Bacterial Virulence Factors with Intracellular Signaling
08:51

Applying an Inducible Expression System to Study Interference of Bacterial Virulence Factors with Intracellular Signaling

Published on: June 25, 2015

9.7K

Area of Science:

  • Computational Biology
  • Systems Biology
  • Bioinformatics

Background:

  • Molecular biology research predominantly uses experimental, first-order, or statistical models.
  • Discrete mathematics offers powerful tools for analyzing both qualitative and quantitative biological data, yet remains underexplored in this field.

Purpose of the Study:

  • To propose and evaluate static and dynamic modeling approaches for biological signaling networks.
  • To demonstrate the application of Propositional Logic and Integer Programming in addressing biological questions.

Main Methods:

  • Development of static models using Propositional Logic.
  • Development of dynamic models using Integer Programming.
  • Analysis and solution of logic statements and integer programs using standard software.

Main Results:

  • Logic models simplify to a polynomial-time solvable satisfiability algorithm for specific problems.
  • Dynamic models allow for poly-logarithmic time enumeration of temporal resolutions.
  • Computational experiments validate the proposed modeling approaches.

Conclusions:

  • Discrete mathematics provides a robust framework for modeling biological signaling networks.
  • The proposed static and dynamic approaches offer efficient and insightful analysis of biological systems.
  • This work highlights the potential of underutilized mathematical tools in advancing molecular biology research.