POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Introduction to the Theory of Computation: Preliminary Edition
Introduction to the Theory of Computation: Preliminary Edition
Theoretical Computer Science - Natural computing
A Probabilistic-Time Hierarchy Theorem for "Slightly Non-uniform" Algorithms
RANDOM '02 Proceedings of the 6th International Workshop on Randomization and Approximation Techniques
Networks of relations
Turing complete catalytic particle computers
ECAL'07 Proceedings of the 9th European conference on Advances in artificial life
Fast computation by population protocols with a leader
DISC'06 Proceedings of the 20th international conference on Distributed Computing
On the Computational Power of Biochemistry
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Termination Problems in Chemical Kinetics
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Experiments on the reliability of stochastic spiking neural P systems
Natural Computing: an international journal
The robustness of stochastic switching networks
ISIT'09 Proceedings of the 2009 IEEE international conference on Symposium on Information Theory - Volume 3
Negative interactions in irreversible self-assembly
DNA'10 Proceedings of the 16th international conference on DNA computing and molecular programming
Efficient turing-universal computation with DNA polymers
DNA'10 Proceedings of the 16th international conference on DNA computing and molecular programming
Strand algebras for DNA computing
Natural Computing: an international journal
A renewable, modular, and time-responsive DNA circuit
Natural Computing: an international journal
Modelling, simulating and verifying turing-powerful strand displacement systems
DNA'11 Proceedings of the 17th international conference on DNA computing and molecular programming
Randomized Self-Assembly for Exact Shapes
SIAM Journal on Computing
Theoretical Computer Science
Active self-assembly of algorithmic shapes and patterns in polylogarithmic time
Proceedings of the 4th conference on Innovations in Theoretical Computer Science
Rate-independent computation in continuous chemical reaction networks
Proceedings of the 5th conference on Innovations in theoretical computer science
Digital logic with molecular reactions
Proceedings of the International Conference on Computer-Aided Design
Hi-index | 0.00 |
A highly desired part of the synthetic biology toolbox is an embedded chemical microcontroller, capable of autonomously following a logic program specified by a set of instructions, and interacting with its cellular environment. Strategies for incorporating logic in aqueous chemistry have focused primarily on implementing components, such as logic gates, that are composed into larger circuits, with each logic gate in the circuit corresponding to one or more molecular species. With this paradigm, designing and producing new molecular species is necessary to perform larger computations. An alternative approach begins by noticing that chemical systems on the small scale are fundamentally discrete and stochastic. In particular, the exact molecular counts of each molecular species present, is an intrinsically available form of information. This might appear to be a very weak form of information, perhaps quite difficult for computations to utilize. Indeed, it has been shown that error-free Turing universal computation is impossible in this setting. Nevertheless, we show a design of a chemical computer that achieves fast and reliable Turing-universal computation using molecular counts. Our scheme uses only a small number of different molecular species to do computation of arbitrary complexity. The total probability of error of the computation can be made arbitrarily small (but not zero) by adjusting the initial molecular counts of certain species. While physical implementations would be difficult, these results demonstrate that molecular counts can be a useful form of information for small molecular systems such as those operating within cellular environments.