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

You might also read

Related Articles

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

Sort by
Same author

Advances in Rapid Nucleic Acid Diagnostics for Hepatitis B and C Viruses: A Comprehensive Review.

Reviews in medical virology·2026
Same author

Molecular dynamics insights into dimerization-dependent catalysis and thermal adaptation of mesophilic ketosteroid isomerase from Pseudomonas putida.

Journal of molecular graphics & modelling·2025
Same author

Design and synthesis of polyhydroxylated azabicyclo[3.3.1]nonane as selective lysosomal α-glucosidase stabilizers enhancing cellular uptake.

Bioorganic chemistry·2025
Same author

Loss of estrogen receptor alpha promotes distant metastasis through epithelial-mesenchymal transition in luminal-type breast cancer.

Biochimica et biophysica acta. Molecular basis of disease·2025
Same author

Structural and functional characterization of Pin1BP1: A novel Pin1-interacting protein regulating apoptosis.

International journal of biological macromolecules·2025
Same author

Structural impacts of two disease-linked ADAR1 mutants: a molecular dynamics study.

Journal of computer-aided molecular design·2024
Same journal

Ruliological Resilience: Pattern Restoration and Robustness in Wolfram Patterns. A Basis for Regeneration, Not Just in Cone Shells?

Bio Systems·2026
Same journal

The quantum-to-classical transducer: A thermodynamic and quantum mechanical framework for the emergence of bioenergetics.

Bio Systems·2026
Same journal

Forward-backward gene expression binarization for boolean state inference over a known regulatory network.

Bio Systems·2026
Same journal

Partial-label metric ceilings for evaluating gene regulatory networks inferred from single-cell foundation models.

Bio Systems·2026
Same journal

The impedance mismatch theory: A non-equilibrium thermodynamic framework for a shared energetic stress pathway in neurodegeneration.

Bio Systems·2026
Same journal

Immune signal-status misclassification: A theoretical framework for biological status assignment and failed status resolution.

Bio Systems·2026
See all related articles

Related Experiment Video

Updated: Dec 20, 2025

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.7K

Solving satisfiability problems using a novel microarray-based DNA computer.

Che-Hsin Lin1, Hsiao-Ping Cheng, Chang-Biau Yang

  • 1Department of Mechanical and Electro-Mechanical Engineering, National Sun Yat-sen University, Kaohsiung 804, Taiwan. chehsin@mail.nsysu.edu.tw

Bio Systems
|October 13, 2006
PubMed
Summary
This summary is machine-generated.

This study introduces a novel DNA computing algorithm using MEMS microarray technology to solve the Boolean Satisfiability (SAT) problem efficiently. The method builds solutions incrementally, avoiding complex sample preparation and enabling scalable problem-solving.

More Related Videos

High-Density DNA and RNA microarrays - Photolithographic Synthesis, Hybridization and Preparation of Large Nucleic Acid Libraries
11:22

High-Density DNA and RNA microarrays - Photolithographic Synthesis, Hybridization and Preparation of Large Nucleic Acid Libraries

Published on: August 12, 2019

18.8K
DNA Microarrays: Sample Quality Control, Array Hybridization and Scanning
09:27

DNA Microarrays: Sample Quality Control, Array Hybridization and Scanning

Published on: March 15, 2011

38.4K

Related Experiment Videos

Last Updated: Dec 20, 2025

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.7K
High-Density DNA and RNA microarrays - Photolithographic Synthesis, Hybridization and Preparation of Large Nucleic Acid Libraries
11:22

High-Density DNA and RNA microarrays - Photolithographic Synthesis, Hybridization and Preparation of Large Nucleic Acid Libraries

Published on: August 12, 2019

18.8K
DNA Microarrays: Sample Quality Control, Array Hybridization and Scanning
09:27

DNA Microarrays: Sample Quality Control, Array Hybridization and Scanning

Published on: March 15, 2011

38.4K

Area of Science:

  • Biotechnology
  • Computational Biology
  • Nanotechnology

Background:

  • The Satisfiability (SAT) problem is a key benchmark in DNA computing.
  • Conventional DNA computing algorithms require extensive sample preparation and data handling.
  • Existing methods often struggle with scalability for large problems.

Purpose of the Study:

  • To develop an efficient DNA computing algorithm for solving the SAT problem.
  • To overcome limitations of traditional DNA computing approaches.
  • To demonstrate a scalable and simplified method for Boolean formula computation.

Main Methods:

  • Utilized a modified sticker model algorithm.
  • Integrated advanced Microelectromechanical Systems (MEMS)-based microarray technology.
  • Employed a step-by-step approach to satisfy individual clauses of Boolean formulas.

Main Results:

  • Successfully solved the SAT problem using the proposed algorithm.
  • Eliminated the need for initial data pools and complex separation procedures.
  • Demonstrated that bound DNA sequences are stable in chemical solutions during computation.

Conclusions:

  • The developed algorithm offers a simplified and efficient approach to DNA computing.
  • The MEMS-based microarray technology enhances the scalability of DNA-based SAT problem-solving.
  • This method shows promise for tackling large-scale computational problems using DNA computing.