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

Sanger Sequencing01:57

Sanger Sequencing

777.6K
DNA sequencing is a fundamental technique that is routinely used in the biological sciences. This method can be applied to a range of questions at different scales - from the sequencing of a cloned DNA fragment or the study of a mutation in a gene up to whole-genome sequencing. However, despite the widespread use of sequencing today, it was not until 1977 that Fredrick Sanger and his collaborators developed the chain-termination method to decode DNA sequences. It relies on the separation of a...
777.6K
DNA as a Genetic Template02:05

DNA as a Genetic Template

28.5K
Two structural features of the DNA molecule provide a basis for the mechanisms of heredity: the four nucleotide bases and its double-stranded nature. The Watson-Crick model of double-helical DNA structure, proposed in 1952, drew heavily upon the X-ray crystallography work of researchers Rosalind Franklin and Maurice Wilkins. Watson, Crick, and Wilkins jointly received the Nobel Prize in Physiology or Medicine for their work in 1962. Franklin was, controversially, excluded from the prize for...
28.5K
DNA as a Genetic Template02:05

DNA as a Genetic Template

9.8K
9.8K
Maxam-Gilbert Sequencing01:05

Maxam-Gilbert Sequencing

13.5K
In the same year as the discovery of the Sanger sequencing method, another group of scientists, Allan Maxam and Walter Gilbert, demonstrated their chemical-cleavage method for DNA sequencing. The Maxam-Gilbert method relies on using different chemicals that can cleave the DNA sequence at specific sites, the separation of resulting DNA fragments of variable size using electrophoresis, and deciphering the DNA sequence from the resulting gel bands.
Challenges of the Maxam-Gilbert Method
The...
13.5K
Next-generation Sequencing03:00

Next-generation Sequencing

100.7K
The first human genome sequencing project cost $2.7 billion and was declared complete in 2003, after 15 years of international cooperation and collaboration between several research teams and funding agencies. Today, with the advent of next-generation sequencing technologies, the cost and time of sequencing a human genome have dropped over 100 fold.
Next-Generation Sequencing Methods
Although all next-generation methods use different technologies, they all share a set of standard features....
100.7K
The DNA Helix01:16

The DNA Helix

161.2K
Overview
161.2K

You might also read

Related Articles

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

Sort by
Same author

The Potential Impact of Reduced Donor Funding for HIV Programs on Malawi's Disease Burden.

AIDS (London, England)·2026
Same author

Clinical Impact and Cost-Effectiveness of Improving Access to Cryptococcal Meningitis Diagnostics and Treatment in Malawi.

Clinical infectious diseases : an official publication of the Infectious Diseases Society of America·2026
Same author

Dataset for rapid estimation of femoral neck loading during gait and dynamic exercises.

Scientific data·2026
Same author

Smoking, Diabetes, Workers' Compensation, and Traumatic Tears Are Risk Factors for Postoperative Shoulder Stiffness After Arthroscopic Rotator Cuff Repair.

Arthroscopy : the journal of arthroscopic & related surgery : official publication of the Arthroscopy Association of North America and the International Arthroscopy Association·2026
Same author

Estimating System-Wide Healthcare Costs Using a Health System Model: Application to the Thanzi La Onse Model of Malawi.

Applied health economics and health policy·2026
Same author

Nurse Transitions From Classroom to Clinical: Defining and Prioritizing Nursing Informatics Competencies.

Nursing education perspectives·2026
Same journal

Joint Realizability of Monotone Boolean Functions.

Theoretical computer science·2025
Same journal

Progress analysis of a multi-recombinative evolution strategy on the highly multimodal Rastrigin function.

Theoretical computer science·2024
Same journal

Editorial.

Theoretical computer science·2022
Same journal

RESCOT: Restriction Enzyme Set and Combination Optimization Tools for rNMP Capture Techniques.

Theoretical computer science·2021
Same journal

On Infinite Prefix Normal Words.

Theoretical computer science·2021
Same journal

Community-based rumor blocking maximization in social networks: Algorithms and analysis.

Theoretical computer science·2020
See all related articles

Related Experiment Video

Updated: Mar 19, 2026

DNA-Tethered RNA Polymerase for Programmable In vitro Transcription and Molecular Computation
09:26

DNA-Tethered RNA Polymerase for Programmable In vitro Transcription and Molecular Computation

Published on: December 29, 2021

4.9K

A strand graph semantics for DNA-based computation.

Rasmus L Petersen1, Matthew R Lakin2, Andrew Phillips1

  • 1Microsoft Research, Cambridge, UK.

Theoretical Computer Science
|June 14, 2016
PubMed
Summary
This summary is machine-generated.

We introduce a new process calculus for modeling DNA strand displacement computations. This calculus supports complex DNA structures, enabling more accurate nanoscale engineering for biofabrication and nanomedicine.

Keywords:
DNA computingbiological computationmolecular programmingprocess calculusprogramming languagesite graphstrand graph

More Related Videos

Plasmid-derived DNA Strand Displacement Gates for Implementing Chemical Reaction Networks
07:50

Plasmid-derived DNA Strand Displacement Gates for Implementing Chemical Reaction Networks

Published on: November 25, 2015

15.0K
Stable DNA Motifs, 1D and 2D Nanostructures Constructed from Small Circular DNA Molecules
09:32

Stable DNA Motifs, 1D and 2D Nanostructures Constructed from Small Circular DNA Molecules

Published on: April 12, 2019

7.2K

Related Experiment Videos

Last Updated: Mar 19, 2026

DNA-Tethered RNA Polymerase for Programmable In vitro Transcription and Molecular Computation
09:26

DNA-Tethered RNA Polymerase for Programmable In vitro Transcription and Molecular Computation

Published on: December 29, 2021

4.9K
Plasmid-derived DNA Strand Displacement Gates for Implementing Chemical Reaction Networks
07:50

Plasmid-derived DNA Strand Displacement Gates for Implementing Chemical Reaction Networks

Published on: November 25, 2015

15.0K
Stable DNA Motifs, 1D and 2D Nanostructures Constructed from Small Circular DNA Molecules
09:32

Stable DNA Motifs, 1D and 2D Nanostructures Constructed from Small Circular DNA Molecules

Published on: April 12, 2019

7.2K

Area of Science:

  • Nanotechnology
  • Computational Biology
  • Biochemistry

Background:

  • DNA nanotechnology offers potential for nanoscale computation, biofabrication, and nanomedicine.
  • DNA strand displacement is a key strategy for implementing nanoscale computations.
  • Accurate modeling is crucial for designing complex DNA strand displacement systems.

Purpose of the Study:

  • To develop a process calculus for modeling DNA strand displacement computations with complex secondary structures.
  • To demonstrate the calculus's expressiveness and its ability to model existing systems.
  • To provide an efficient implementation for simulating these systems.

Main Methods:

  • Development of a novel process calculus for DNA strand displacement.
  • Formal proof of expressiveness for branching and non-branching structures.
  • Mapping to a strand graph representation and graph rewriting.
  • Implementation for modeling and simulation.

Main Results:

  • The proposed calculus effectively models DNA strand displacement with rich secondary structures like branches and loops.
  • The calculus is proven to be as expressive as previous models for non-branching structures.
  • A correspondence between the process calculus and strand graph behaviors is established.
  • An efficient implementation allows for simulation of complex DNA systems.

Conclusions:

  • The new process calculus advances the modeling capabilities for DNA strand displacement systems.
  • This work facilitates the design and experimental realization of complex DNA nanostructures for computation.
  • The findings support the development of intelligent nanomedicine and advanced biofabrication techniques.