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

Fluid Mosaic Model01:19

Fluid Mosaic Model

Scientists identified the plasma membrane in the 1890s and its principal chemical components (lipids and proteins) by 1915. The model for plasma membrane structure, proposed in 1935 by Hugh Davson and James Danielli, was the first model to be widely accepted in the scientific community. The model was based on the plasma membrane's "railroad track" appearance in early electron micrographs. Davson and Danielli theorized that the plasma membrane's structure resembled a sandwich with the analogy of...
The Fluid Mosaic Model01:34

The Fluid Mosaic Model

The fluid mosaic model was first proposed as a visual representation of research observations. The model comprises the composition and dynamics of membranes and serves as a foundation for future membrane-related studies. The model depicts the structure of the plasma membrane with a variety of components, which include phospholipids, proteins, and carbohydrates. These integral molecules are loosely bound, defining the cell’s border and providing fluidity for optimal function.
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...
Mechanisms of Membrane Domain Formation00:59

Mechanisms of Membrane Domain Formation

Different physical properties of lipids and proteins allow them to localize and form distinct islands or domains in the membrane. Some membrane domains are formed due to protein-protein interactions, whereas others are formed due to the presence of specific lipids such as sphingolipids and sterols—for example, large proteins, such as bacteriorhodopsin, aggregate and create distinct domains.
Another mechanism for membrane domain formation involves membrane proteins interacting with cytoskeletal...
Mechanisms of Membrane-bending01:15

Mechanisms of Membrane-bending

The living membranes are flexible due to their fluid mosaic nature; however, their bending into different shapes is an active process regulated by specific lipids and proteins. The membrane bending can be transient as seen in vesicles or stable for a long time as in microvilli. Cells regulate the size, location, and duration of the membrane curvature.
Membrane bending can happen due to intrinsic changes in lipid composition or extrinsic association with different proteins. The proteins involved...
Membrane Fluidity01:23

Membrane Fluidity

Cell membranes are composed of phospholipids, proteins, and carbohydrates loosely attached to one another through chemical interactions. Molecules are generally able to move about in the plane of the membrane, giving the membrane its flexible nature called fluidity. Two other features of the membrane contribute to membrane fluidity: the chemical structure of the phospholipids and the presence of cholesterol in the membrane.

You might also read

Related Articles

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

Sort by
Same author

Determination of the lactose content in low-lactose milk using Fourier-transform infrared spectroscopy (FTIR) and convolutional neural network.

Heliyon·2023
Same author

A machine learning proposal method to detect milk tainted with cheese whey.

Journal of dairy science·2022
Same author

A System for Structuring, Storage and Georeferenciation of Dengue Vector Surveillance Data.

Studies in health technology and informatics·2022
Same author

In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel as Case Study.

IEEE/ACM transactions on computational biology and bioinformatics·2020
Same author

On the utilization of deep and ensemble learning to detect milk adulteration.

BioData mining·2019
Same author

Hypothesized diprotomeric enzyme complex supported by stochastic modelling of palytoxin-induced Na/K pump channels.

Royal Society open science·2018

Related Experiment Video

Updated: May 24, 2026

Realistic Membrane Modeling Using Complex Lipid Mixtures in Simulation Studies
07:31

Realistic Membrane Modeling Using Complex Lipid Mixtures in Simulation Studies

Published on: September 1, 2023

Modeling and analysis of cell membrane systems with probabilistic model checking.

Mirlaine A Crepalde1, Alessandra C Faria-Campos, Sérgio V A Campos

  • 1Department of Computer Science, Federal University of Minas Gerais, Av. Antônio Carlos 6627, Belo Horizonte, MG, Brazil.

BMC Genomics
|February 29, 2012
PubMed
Summary

Probabilistic Model Checking (PMC) offers a novel approach to analyze biological systems like the sodium-potassium pump. This method provides deeper insights into pump behavior, aiding experimental research efficiency.

More Related Videos

Assembly of Cell Mimicking Supported and Suspended Lipid Bilayer Models for the Study of Molecular Interactions
12:18

Assembly of Cell Mimicking Supported and Suspended Lipid Bilayer Models for the Study of Molecular Interactions

Published on: August 3, 2021

A Model Membrane Platform for Reconstituting Mitochondrial Membrane Dynamics
10:31

A Model Membrane Platform for Reconstituting Mitochondrial Membrane Dynamics

Published on: September 2, 2020

Related Experiment Videos

Last Updated: May 24, 2026

Realistic Membrane Modeling Using Complex Lipid Mixtures in Simulation Studies
07:31

Realistic Membrane Modeling Using Complex Lipid Mixtures in Simulation Studies

Published on: September 1, 2023

Assembly of Cell Mimicking Supported and Suspended Lipid Bilayer Models for the Study of Molecular Interactions
12:18

Assembly of Cell Mimicking Supported and Suspended Lipid Bilayer Models for the Study of Molecular Interactions

Published on: August 3, 2021

A Model Membrane Platform for Reconstituting Mitochondrial Membrane Dynamics
10:31

A Model Membrane Platform for Reconstituting Mitochondrial Membrane Dynamics

Published on: September 2, 2020

Area of Science:

  • Systems Biology
  • Computational Biology
  • Biophysics

Background:

  • Growing interest in Probabilistic Model Checking (PMC) for formal specification of biological systems.
  • PMC offers exhaustive state exploration for stochastic models, providing insights beyond traditional simulation methods.
  • The sodium-potassium pump, a crucial membrane transport system in animal cells, moves ions against their concentration gradient.

Purpose of the Study:

  • To propose a stochastic modeling approach for the description and analysis of the sodium-potassium exchange pump.
  • To formally specify the sodium-potassium pump mechanism using PMC.
  • To analyze pump behavior and reversibility.

Main Methods:

  • Developed a quantitative formal specification of the sodium-potassium pump in the PRISM language.
  • Employed a discrete chemistry approach and the Law of Mass Action.
  • Utilized quantitative properties and trend labels for transition rates to analyze system behavior.

Main Results:

  • Presented a formal specification of the sodium-potassium pump mechanism.
  • Analyzed pump reversibility and behavior using quantitative properties.
  • Identified trends in transition rates affecting pump function.

Conclusions:

  • Probabilistic Model Checking (PMC) complements simulation and differential equations for understanding pump behavior.
  • PMC can verify specific event occurrences, like potassium ion location.
  • PMC provides detailed insights into pump reversibility and slowdown mechanisms, guiding experimental research.