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

Search research articles

Related Experiment Video

Updated: Jul 5, 2026

3D Modeling of Dendritic Spines with Synaptic Plasticity

3D Modeling of Dendritic Spines with Synaptic Plasticity

Published on: May 18, 2020

Stochastic models for the in silico simulation of synaptic processes.

Andrea Bracciali¹, Marcello Brunelli, Enrico Cataldo

¹Dipartimento di Informatica, Università di Pisa, Pisa I-56127, Italy. braccia@di.unipi.it

BMC Bioinformatics

|May 9, 2008

Summary

This study introduces a novel stochastic model for neural synapses using process calculi, offering a more expressive and compositional approach than traditional kinetic models. The model accurately simulates synaptic processes and aids in understanding neural transmission dynamics.

Related Concept Videos

You might also read

Related Articles

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

Sort by

Same author

A biologically plausible model of astrocyte-neuron networks in random and hub-driven connectivity.

Neural networks : the official journal of the International Neural Network Society·2025

Same author

Trigeminal influences and Locus Coeruleus: Tips for countermeasures, therapies and precocious diagnosis in dementia.

Brain research bulletin·2025

Same author

Development and Metrological Characterization of Low-Cost Wearable Pulse Oximeter.

Bioengineering (Basel, Switzerland)·2025

Same author

Occlusal effects on text reading: an eye-tracker study.

Frontiers in systems neuroscience·2024

Same author

Trigeminal Stimulation and Visuospatial Performance: The Struggle between Chewing and Trigeminal Asymmetries.

Biomedicines·2023

Same author

Chewing and Cognitive Improvement: The Side Matters.

Frontiers in systems neuroscience·2022

Area of Science:

Computational Neuroscience
Systems Biology
Formal Methods in Life Sciences

Background:

Life science research increasingly utilizes formal methods for precise modeling and in silico experimentation.
Process calculi with stochastic semantics offer a powerful framework for modeling biological phenomena with interactive entities.
This approach leverages computer science concurrency theory for discrete and continuous biological processes.

Purpose of the Study:

To develop a novel stochastic model for synaptic processes in the calyx of Held, a mammalian glutamatergic synapse.
To overcome limitations of existing kinetic models and provide a more expressive and compositional simulation of neural synapses.
To investigate synaptic transmission dynamics and short-term plasticity mechanisms.

Main Methods:

More Related Videos

Finite Element Modelling of a Cellular Electric Microenvironment

Finite Element Modelling of a Cellular Electric Microenvironment

Published on: May 18, 2021

Real-time Electrophysiology: Using Closed-loop Protocols to Probe Neuronal Dynamics and Beyond

Real-time Electrophysiology: Using Closed-loop Protocols to Probe Neuronal Dynamics and Beyond

Published on: June 24, 2015

Related Experiment Videos

Last Updated: Jul 5, 2026

3D Modeling of Dendritic Spines with Synaptic Plasticity

3D Modeling of Dendritic Spines with Synaptic Plasticity

Published on: May 18, 2020

Finite Element Modelling of a Cellular Electric Microenvironment

Finite Element Modelling of a Cellular Electric Microenvironment

Published on: May 18, 2021

Real-time Electrophysiology: Using Closed-loop Protocols to Probe Neuronal Dynamics and Beyond

Real-time Electrophysiology: Using Closed-loop Protocols to Probe Neuronal Dynamics and Beyond

Published on: June 24, 2015

Developed a stochastic model for synaptic processes based on process calculi.
Integrated existing kinetic models (ODEs) with literature data and new assumptions.
Utilized model compositionality to independently model and connect pre- and post-synaptic components.
Incorporated enhanced expressiveness, including control of element concentration time courses.
Performed sensitivity analysis on model parameters.

Main Results:

The developed stochastic model of synaptic processes in the calyx of Held was validated against biological data.
The model overcomes limitations of traditional kinetic models and offers improved expressiveness.
Sensitivity analysis provided insights into synaptic transmission dynamics.
Simulations suggest the model can explain short-term plasticity mechanisms.

Conclusions:

The process calculus-based model provides a flexible framework for analyzing presynaptic and postsynaptic mechanisms.
Future work includes refining neurotransmitter release steps and integrating the model with other neural models.
Long-term goals include modeling synaptic plasticity, memory, and learning, and enhancing the computational model with spatial locality.