Parallel biomolecular computation: Models and simulations

Algorithmica (New York)

Volumn 25, Issue 2-3, 1999, Pages 142-175

  Reif, J H ^a  

^a Duke University   (United States)

Author keywords

Biomolecular computation; Biotechnology; DNA; Nondeterministic computation; NP; Parallel computation; Parallel RAM; Recombinant DNA

Indexed keywords

EID: 11244281963     PISSN: 01784617     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00008272     Document Type: Article

References (41)

1. L. Adleman, Biomolecular computation of solutions to combinatorial problems, Science 266 (1994), 1021-1224.
2. L. Adleman, On constructing a molecular computer, U.S.C. Dept of CS Draft (1995). Available via anonymous ftp from ftp.usc.edu/pub/csinfo/papers/adleman/molecular_computer.ps
3. J. Alper, Drug discovery on the assembly line, Science 264 (1994), 1399-1401.
4. W. M. Barnes, PCR amplification of up to 35-kb DNA with high fidelity and high yield from λ bacteriophage templates, Proc. Nat. Acad. Sci. U.SA. 91 (1994), 2216-2220.
5. D. Bartel and J. Szostak, Isolation of new ribozymes from a large pool of random sequences, Science 261 (1991), 1411-1418.
6. E. B. Baum, How to build an associative memory vastly larger than the brain, Science 268 (1995), 583-585.
7. D. Beaver, Factoring: the DNA solution, Advances in Cryptology - AsiaCrypt94 Proceedings, Lecture Notes in Computer Science, Springer-Verlag, Berlin (1994). (http://www.cse.psu.edu/ beaver/publications/pubindex.html) Also as Computing with DNA, J. Comput. Biol. 2(1) (1995), 1-7.
8. D. Beaver, Factoring: the DNA solution, Advances in Cryptology - AsiaCrypt94 Proceedings, Lecture Notes in Computer Science, Springer-Verlag, Berlin (1994). (http://www.cse.psu.edu/ beaver/publications/pubindex.html) Also as Computing with DNA, J. Comput. Biol. 2(1) (1995), 1-7.
9. D. Beaver, A Universal Molecular Computer, revised as Molecular Computing, Penn State University Technical Memo CSE-95-001, Pond Lab, Penn State University, http://www.cse.psu.edu/ beaver/publications/pubindex.html (1995).
10. C. Brooks, M. Karplus, and M. Pettitt, Proteins, a Theoretical Perspective of Dynamics, Structure, and Thermodynamics, Wiley, New York (1988).
11. E. Csuhaj-Varju, R. Freund, L. Kari, and G. Paun, DNA computing based on splicing: universality results, Proc. 1st Annual Pacific Symposium on Biocomputing, Hawaii (L. Hunter and T. Klein, eds.), World Scientific, Singapore, pp. 179-190.
12. M. Eigen and R. Rigler, Sorting single molecules - applications to diagnostic and evolutionary biotechnology, Proc. of the National Academy of Science 91 (1994), 5740-5747.
13. R. Feynman, There's plenty of room at the bottom, in Miniaturization (D. Gilbert, ed.). Reinhold (1961), pp. 282-296.
14. S. Fortune and J. Wyllie, Parallelism in random access machines, Proc. 10th Annual ACM S.T.O.C., San Diego, CA (1978), pp. 114-118.
15. A. Gehani and J. H. Reif, Microflow Bio-Molecular Computation, presented in the 4th DIMACS Workshop on DNA Based Computers, University of Pennsylvania, June, 1998. To appear in DNA Based Computers, IV, DIMACS Series in Discrete Mathematics and Theoretical Computer Science (ed. H. Rubin), American Mathematical Society, Providence, RI (1999). Also accepted and to appear in a special issue of Biosystems, 1999.
16. A. Gehani and J. H. Reif, Microflow Bio-Molecular Computation, presented in the 4th DIMACS Workshop on DNA Based Computers, University of Pennsylvania, June, 1998. To appear in DNA Based Computers, IV, DIMACS Series in Discrete Mathematics and Theoretical Computer Science (ed. H. Rubin), American Mathematical Society, Providence, RI (1999). Also accepted and to appear in a special issue of Biosystems, 1999.
17. A. Gehani and J. H. Reif, Microflow Bio-Molecular Computation, presented in the 4th DIMACS Workshop on DNA Based Computers, University of Pennsylvania, June, 1998. To appear in DNA Based Computers, IV, DIMACS Series in Discrete Mathematics and Theoretical Computer Science (ed. H. Rubin), American Mathematical Society, Providence, RI (1999). Also accepted and to appear in a special issue of Biosystems, 1999.
18. D. Gifford, On the path to computing with DNA, Science 266 (1994), 993-994.
19. J. Hopcroft and J. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA (1979).
20. J. JáJá, An introduction to Parallel Algorithms, Addison Wesley, Reading, MA, (1992).
21. R. Lipton, Speeding Up Computations via Molecular Biology, Princeton University Draft (1994). (/ftp/pub/people/rjl/bio.ps on ftp.cs.princeton.edu).
22. J. McCammon and S. Harvey, Dynamics of Proteins and Nucleic Acids, Cambridge University Press, Cambridge (1987).
23. G. Miller and J. H. Reif, Parallel tree contraction and its application. Proc. 26th Annual IEEE Symposium on Foundations of Computer Science, Portland, OR, October 1985, pp. 478-489. Published as Parallel tree contraction, Part I: Fundamentals, Adv. Comput. Res. 5 (1989), 47-72. Parallel tree contraction. Part II: Further applications, SIAM J. Comput. 20(6) (1991), 1128-1147.
24. G. Miller and J. H. Reif, Parallel tree contraction and its application. Proc. 26th Annual IEEE Symposium on Foundations of Computer Science, Portland, OR, October 1985, pp. 478-489. Published as Parallel tree contraction, Part I: Fundamentals, Adv. Comput. Res. 5 (1989), 47-72. Parallel tree contraction. Part II: Further applications, SIAM J. Comput. 20(6) (1991), 1128-1147.
25. G. Miller and J. H. Reif, Parallel tree contraction and its application. Proc. 26th Annual IEEE Symposium on Foundations of Computer Science, Portland, OR, October 1985, pp. 478-489. Published as Parallel tree contraction, Part I: Fundamentals, Adv. Comput. Res. 5 (1989), 47-72. Parallel tree contraction. Part II: Further applications, SIAM J. Comput. 20(6) (1991), 1128-1147.
26. R. Old and S. Primrose, Principles of Gene Manipulation, an Introduction to Genetic Engineering, 5th edn., Blackwell Scientific (1994).
27. C. Papadimitriou, Personal communication, 1995.
28. J. Reif (ed.), Synthesis of Parallel Algorithms, Morgan Kaufmann, San Mateo, CA (1993).
29. J. Reif, Parallel biomolecular computation: models and simulations, Proc. Seventh Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA95), ACM, Santa Barbara, CA (1995), pp. 213-223.
30. J. H. Reif, Local parallel biomolecular computation, Postscript versions of this paper and its figures are at http://www.cs.duke.edu/~reif/paper/Assembly.ps and http://www.cs.duke.edu/~reif/ paper/Assembly.fig.ps, presented at 3rd DIMACS Meeting on DNA Based Computers, University of Pennsylvania (June, 1997). Also published in DNA Based Computers, III, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 48 (ed. H. Rubin), American Mathematical Society, Providence, RI (1999), pp. 217-254.
31. J. H. Reif, Local parallel biomolecular computation, Postscript versions of this paper and its figures are at http://www.cs.duke.edu/~reif/paper/Assembly.ps and http://www.cs.duke.edu/~reif/ paper/Assembly.fig.ps, presented at 3rd DIMACS Meeting on DNA Based Computers, University of Pennsylvania (June, 1997). Also published in DNA Based Computers, III, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 48 (ed. H. Rubin), American Mathematical Society, Providence, RI (1999), pp. 217-254.
32. J. Reif, Paradigms for biomolecular computation, presented at First International Conference on Unconventional Models of Computation, Auckland, New Zealand, January 1998. Published in Unconventional Models of Computation, C. S. Calude, J. Casti, and M. J. Dinneen (eds.), Springer-Verlag, New York (January 1998), pp. 72-93. A postscript version of this paper is at http://www.cs.duke.edu/~reif/paper/paradigm.ps.
33. J. Reif, Paradigms for biomolecular computation, presented at First International Conference on Unconventional Models of Computation, Auckland, New Zealand, January 1998. Published in Unconventional Models of Computation, C. S. Calude, J. Casti, and M. J. Dinneen (eds.), Springer-Verlag, New York (January 1998), pp. 72-93. A postscript version of this paper is at http://www.cs.duke.edu/~reif/paper/paradigm.ps.
34. R. J. Roberts, Restriction and modification enzymes and their recognition sequences, Gene 4 (1978), 183-194.
35. S. S. Roberts, Turbocharged PCR, J. N.I.H. Res. 6 (1994), 46-52.
36. P. W. K. Rothemund, A DNA and restriction enzyme implementation of Turing machines, manuscript available at http://www.ugcs.caltech.edu/~pwkr/oett.html.
37. J. Sambrook, E. Fritsch, and T. Maniatis, Molecular Cloning: A Laboratory Manual, Vols. 1-3, Cold Spring Harbor Laboratory Press, New York (1989).
38. R. Sinden, DNA Structure and Function, Academic Press, New York (1994).
39. W. Smith and A. Schweitzer, DNA Computers in vitro and vivo, NEC Research Inst. Tech Report 95-057-3-0058-3.
40. J. Watson, M. Gilman, J. Witkowski, and M. Zoller, Recombinant DNA, 2nd edn., Scientific American Books, Freeman, San Francisco, CA (1992).
41. J. Watson, N. Hoplins, J. Roberts, et al., Molecular Biology of the Gene, Benjamin/Cummings, Menlo Park, CA (1987).