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

Modeling with Differential Equations01:25

Modeling with Differential Equations

Population dynamics can be described mathematically by considering the population size P(t) as a function of time. The rate of change of the population is then represented by the derivative of P(t). A simple assumption is that the rate of growth is proportional to the size of the population itself. This leads to an exponential growth model, where the population increases rapidly without bound. While this is a useful first approximation, it does not reflect realistic long-term...
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...
Mass Analyzers: Common Types01:19

Mass Analyzers: Common Types

The quadrupole mass analyzer consists of four cylindrical metal rods arranged in a diamond carrying a DC voltage and a radio-frequency AC voltage. The motion of ions through the quadrupole depends on the field strength, causing only ions of a certain m/z to resonate successfully and strike the detector at a given field strength. Though the transmission rate for these analyzers is high, the exact elemental composition of the sample is not determined because of low resolution; however, they are...
Cyclic Processes And Isolated Systems01:19

Cyclic Processes And Isolated Systems

A thermodynamic system with zero heat exchange and work is an isolated system. For these systems, the internal energy remains constant.
In the case of a non-isolated system, the change in the internal energy is zero only if the process is cyclic. A thermodynamic process is considered cyclic if the system undergoes a series of changes and returns to its initial state. 
Consider a cyclic process that returns to its initial state, undergoing a four-step process. The heat transfer along each path...
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...
Types of Functions III01:28

Types of Functions III

Logarithmic and piecewise functions play central roles in mathematical modeling, particularly when capturing nonlinear or segmented behaviors in real-world phenomena. Although these functions differ fundamentally in structure and application, both serve to represent complex relationships in simplified mathematical terms.A logarithmic function is defined as the inverse of an exponential function, expressed as These functions grow quickly for small values of x but slow down as x increases,...

You might also read

Related Articles

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

Sort by
Same author

Synaptic spine head morphodynamics from graph grammar rules for actin dynamics.

bioRxiv : the preprint server for biology·2026
Same author

Graph prolongation convolutional networks: explicitly multiscale machine learning on graphs with applications to modeling of cytoskeleton.

Machine learning: science and technology·2025
Same author

Synaptic Spine Head Morphodynamics from Graph Grammar Rules for Actin Dynamics.

ArXiv·2025
Same author

Graph metric learning quantifies morphological differences between two genotypes of shoot apical meristem cells in <i>Arabidopsis</i>.

In silico plants·2024
Same author

Approximate simulation of cortical microtubule models using dynamical graph grammars.

Physical biology·2023
Same author

Explicit Calculation of Structural Commutation Relations for Stochastic and Dynamical Graph Grammar Rule Operators in Biological Morphodynamics.

Frontiers in systems biology·2023
See all related articles

Related Experiment Video

Updated: Jun 2, 2026

New Features in Visual Dynamics 3.0
05:00

New Features in Visual Dynamics 3.0

Published on: August 9, 2024

Towards Measurable Types for Dynamical Process Modeling Languages.

Eric Mjolsness1

  • 1Department of Computer Science, University of California, Irvine, California, USA.

Electronic Notes in Theoretical Computer Science
|May 17, 2011
PubMed
Summary
This summary is machine-generated.

This study introduces a type system for formalizing complex spatial object dynamics in biology. It extends operator algebra to model heterogeneous processes, enabling measurable and metricated types for advanced scientific modeling.

More Related Videos

A Rapid Method for Modeling a Variable Cycle Engine
04:58

A Rapid Method for Modeling a Variable Cycle Engine

Published on: August 13, 2019

Related Experiment Videos

Last Updated: Jun 2, 2026

New Features in Visual Dynamics 3.0
05:00

New Features in Visual Dynamics 3.0

Published on: August 9, 2024

A Rapid Method for Modeling a Variable Cycle Engine
04:58

A Rapid Method for Modeling a Variable Cycle Engine

Published on: August 13, 2019

Area of Science:

  • Formal methods in computational biology
  • Mathematical modeling of dynamical systems
  • Type theory and formal semantics

Background:

  • Process modeling languages like Dynamical Grammars excel at expressing stochastic and deterministic dynamical systems.
  • Existing languages have limitations in easily expressing the dynamics of complex spatial objects, crucial for biological applications.
  • High-level abstraction is needed to formalize the dynamics of discrete and continuous spatial structures in biology.

Purpose of the Study:

  • To propose a type system with suitable type constructors for formalizing complex dynamical objects, particularly spatial ones.
  • To extend operator algebraic formulations to encompass heterogeneous process modeling, including partial differential equations and graph grammars.
  • To develop a framework for creating measurable and metricated object types that support approximation.

Main Methods:

  • Review and illustration of operator algebraic formulation for heterogeneous process modeling and semantics.
  • Extension of operator algebra to include partial differential equations and intrinsic graph grammar dynamics.
  • Development of a type system where types require integration measures, leading to measurable and metricated types.

Main Results:

  • Demonstrated that types in the operator approach to heterogeneous dynamics require integration measures.
  • Introduced the concept of 'measurable' object types enriched with generalized metrics for defining approximation.
  • Showed that measurable and metricated types can be systematically constructed using type constructors like vectors, products, and labelled graphs, with conditions for adding functions and quotients.

Conclusions:

  • The proposed type system provides a formal framework for modeling complex spatial dynamics in biology.
  • The operator algebraic approach, extended with integration measures and generalized metrics, enables the creation of sophisticated, measurable, and metricated object types.
  • This systematic construction of types supports high-level abstraction for modeling diverse dynamical systems.