Jove
Visualize
Contact Us

Related Experiment Videos

On solving 3CNF-satisfiability with an in vivo algorithm.

T L Eng1

  • 1Massachusetts Institute of Technology, Cambridge 02139, USA. tleng@theory.lcs.mit.edu

Bio Systems
|January 15, 2000
PubMed
Summary
This summary is machine-generated.

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

Recognition of CVC Syllables from LVF, RVF, and Central Locations: Hemispheric Differences and Interhemispheric Interaction.

Journal of cognitive neuroscience·2013
Same author

Individual variation in hemispheric asymmetry: multitask study of effects related to handedness and sex.

Journal of experimental psychology. General·1994
Same author

Hemispheric asymmetry for processing unpronounceable and pronounceable letter trigrams.

Brain and language·1994
Same author

Interhemispheric interaction when both hemispheres have access to the same stimulus information.

Journal of experimental psychology. Human perception and performance·1989
Same author

EFFECTS OF SIMULATED AEROSPACE SYSTEM ENVIRONMENTS ON THE GROWTH OF SELECTED ANGIOSPERMS. TECHN DOCUM REP AMRL-TDR-63-131.

AMRL-TR. Aerospace Medical Research Laboratories (U.S.)·1963
Same journal

Spatiotemporal bursting in simulated cultures of cortical neurons.

Bio Systems·2026
Same journal

A brief discussion on recent models shedding light on how life emerged.

Bio Systems·2026
Same journal

Memory-based strategy reputation and adaptive learning in spatial evolutionary games: A robust agent-based model for cooperation dynamics.

Bio Systems·2026
Same journal

Coherent Photonic Biofields: Revisiting Fritz-Albert Popp's Hypothesis.

Bio Systems·2026
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
See all related articles
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

This study explores using DNA computing within living cells for complex problem-solving. It proposes a theoretical in vivo algorithm for Satisfiability, paving the way for future biological computation research.

Area of Science:

  • Computational Biology
  • Theoretical Computer Science
  • Molecular Computing

Background:

  • In vitro DNA algorithms show promise for combinatorial search problems.
  • The feasibility of in vivo DNA computation remains largely unexplored.
  • Current technology limits the direct implementation of complex biological algorithms.

Purpose of the Study:

  • To investigate the potential for in vivo DNA algorithms within a cellular environment.
  • To propose a theoretical framework for solving Satisfiability problems biologically.
  • To stimulate further research into in vivo computational approaches.

Main Methods:

  • Theoretical exploration of in vivo DNA computing.
  • Conceptualization of a 3-conjunctive-normal-form Satisfiability algorithm for cellular environments.

Related Experiment Videos

  • Discussion of biological implementation challenges and future directions.

    • Main Results:

    • A theoretical in vivo algorithm for 3-conjunctive-normal-form Satisfiability is proposed.
    • The study highlights the gap between current technology and in vivo computational capabilities.
    • Identifies the need for further theoretical and technological advancements.

    Conclusions:

    • In vivo DNA computation is a theoretically plausible next step for DNA algorithms.
    • Significant biological and technological hurdles must be overcome for practical implementation.
    • This work serves as a foundation for future research into cellular computing.