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

Improving Translational Accuracy02:07

Improving Translational Accuracy

11.7K
Base complementarity between the three base pairs of mRNA codon and the tRNA anticodon is not a failsafe mechanism. Inaccuracies can range from a single mismatch to no correct base pairing at all. The free energy difference between the correct and nearly correct base pairs can be as small as 3 kcal/ mol. With complementarity being the only proofreading step, the estimated error frequency would be one wrong amino acid in every 100 amino acids incorporated. However, error frequencies observed in...
11.7K
The Evidence for Evolution02:55

The Evidence for Evolution

43.1K
Genetic variations accumulating within populations over generations give rise to biological evolution. Evolutionary changes can result in the formation of novel varieties and entire new species. These changes are responsible for the diverse forms of life inhabiting the planet. The evidence for evolution suggests that all living organisms descended from common ancestors.
43.1K
Modern Molecular Taxonomy01:29

Modern Molecular Taxonomy

59
Advancements in molecular biology have revolutionized the identification and characterization of bacteria, with multiple methods leveraging DNA sequencing for enhanced precision. As sequencing technologies improve and costs decline, these approaches are increasingly used in clinical, environmental, and evolutionary studies.Multilocus Sequence Typing (MLST) examines several housekeeping genes, essential chromosomal genes encoding cellular functions, to distinguish strains. Approximately...
59
Cell Lines01:16

Cell Lines

7.6K
A cell line is a population of cells grown in vitro that can be subcultured over several generations. Normal cells cease to divide after a certain number of cell divisions, a process known as replicative senescence. This number, called the Hayflick limit, was conceptualized by Leonard Hayflick in 1961 when he observed that fetal cells grown in culture could only divide 40-60 times. This limit is due to the shortening of the telomeres during each round of cell division, preventing cell division...
7.6K
Hardy-Weinberg Principle01:49

Hardy-Weinberg Principle

72.5K
Diploid organisms have two alleles of each gene, one from each parent, in their somatic cells. Therefore, each individual contributes two alleles to the gene pool of the population. The gene pool of a population is the sum of every allele of all genes within that population and has some degree of variation. Genetic variation is typically expressed as a relative frequency, which is the percentage of the total population that has a given allele, genotype or phenotype.
72.5K
Feedback Regulation of Calcium Concentration01:27

Feedback Regulation of Calcium Concentration

3.4K
Calcium is an essential signaling molecule required for various cellular functions. Calcium pumps and ion channels on cell and organellar membranes, such as those on the endoplasmic reticulum (ER), regulate calcium concentrations inside the cell. They remain closed, keeping the cytosolic calcium levels low at a resting state.
Various transmembrane receptors, such as G protein-coupled receptors (GPCRs), elicit a response to extracellular signals by increasing cytosolic calcium. Activated GPCRs...
3.4K

You might also read

Related Articles

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

Sort by
Same author

Optimising DNA origami assembly by reducing off-target interactions.

Nature communications·2026
Same author

Introduction.

International journal of neural systems·2025
Same author

Engineering biology applications for environmental solutions: potential and challenges.

Nature communications·2025
Same author

A Federated Learning Protocol for Spiking Neural Membrane Systems.

International journal of neural systems·2024
Same author

Scaling-up Engineering Biology for Enhanced Environmental Solutions.

ACS synthetic biology·2024
Same author

Light-Up Split Broccoli Aptamer as a Versatile Tool for RNA Assembly Monitoring in Cell-Free TX-TL Systems, Hybrid RNA/DNA Origami Tagging and DNA Biosensing.

International journal of molecular sciences·2023
Same journal

RNA-ligand complexes and the attenuation of neutral confinement in the evolution of RNA secondary structures.

Journal of the Royal Society, Interface·2026
Same journal

Individual detachment-reintegration events in homing pigeon flocks and the dominance of directional adjustment in their kinematic features.

Journal of the Royal Society, Interface·2026
Same journal

Thermal stress disrupts symbiotic fluid dynamics in bobtail squid.

Journal of the Royal Society, Interface·2026
Same journal

Distinct geometrical landscapes distinguish between modes of tristability in gene regulatory networks.

Journal of the Royal Society, Interface·2026
Same journal

Slow modulation of the contraction patterns in Physarum polycephalum.

Journal of the Royal Society, Interface·2026
Same journal

Moo-ving mountains: grazing agents drive terracette formation on steep hillslopes.

Journal of the Royal Society, Interface·2026
See all related articles

Related Experiment Video

Updated: Jul 31, 2025

Rapid Verification of Terminators Using the pGR-Blue Plasmid and Golden Gate Assembly
09:51

Rapid Verification of Terminators Using the pGR-Blue Plasmid and Golden Gate Assembly

Published on: April 25, 2016

7.7K

Verifiable biology.

Savas Konur1, Marian Gheorghe1, Natalio Krasnogor2

  • 1Department of Computer Science, University of Bradford, Richmond Building, Bradford BD7 1DP, UK.

Journal of the Royal Society, Interface
|May 9, 2023
PubMed
Summary
This summary is machine-generated.

Computational modeling and formal verification offer deeper insights into biological systems. This study surveys techniques and tools, presenting a new method for easy application in computational biology.

Keywords:
biochemical networksbiological systemscomputational biologymodellingsynthetic biologyverification

More Related Videos

Using Synthetic Biology to Engineer Living Cells That Interface with Programmable Materials
10:28

Using Synthetic Biology to Engineer Living Cells That Interface with Programmable Materials

Published on: March 9, 2017

9.0K
Counting and Determining the Viability of Cultured Cells
05:47

Counting and Determining the Viability of Cultured Cells

Published on: June 23, 2008

22.5K

Related Experiment Videos

Last Updated: Jul 31, 2025

Rapid Verification of Terminators Using the pGR-Blue Plasmid and Golden Gate Assembly
09:51

Rapid Verification of Terminators Using the pGR-Blue Plasmid and Golden Gate Assembly

Published on: April 25, 2016

7.7K
Using Synthetic Biology to Engineer Living Cells That Interface with Programmable Materials
10:28

Using Synthetic Biology to Engineer Living Cells That Interface with Programmable Materials

Published on: March 9, 2017

9.0K
Counting and Determining the Viability of Cultured Cells
05:47

Counting and Determining the Viability of Cultured Cells

Published on: June 23, 2008

22.5K

Area of Science:

  • Computational Biology
  • Systems Biology
  • Bioinformatics

Background:

  • Computational modeling is increasingly used for mechanistic understanding of biological systems.
  • Formal verification, a complementary approach to simulation, validates system correctness and behavior.
  • There is a growing interest in computational approaches as alternatives to traditional mathematical methods in biology.

Purpose of the Study:

  • To survey frequently used computational modeling approaches and formal verification techniques in computational biology.
  • To compare various verification tools and software suites for analyzing biological systems and networks.
  • To present a novel methodology enabling easy application of formal verification for users without prior expertise.

Main Methods:

  • Survey of computational modeling approaches.
  • Review of formal verification techniques.
  • Comparative analysis of verification tools and software.
  • Development of a user-friendly methodology for applying formal verification.

Main Results:

  • Identification of commonly used computational modeling and formal verification methods.
  • Comparison of the capabilities of different verification tools for biological systems.
  • Demonstration of a novel methodology for accessible formal verification in computational biology.

Conclusions:

  • Computational modeling and formal verification are powerful tools for understanding biological systems.
  • A range of tools exist for analyzing biological networks, with varying strengths.
  • The presented methodology simplifies the application of formal verification for a broader user base in computational biology.