Designing nucleotide sequences for computation: A survey of constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3892 LNCS, Issue , 2006, Pages 275-289

  Sager, Jennifer ^a   Stefanovic, Darko ^a  

^a University of New Mexico   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOCHEMICAL CONSTRAINTS; DNA CODES; DNA LIBRARIES; NUCLEOTIDE SEQUENCES;

BIOCHEMISTRY; COMPUTER AIDED ANALYSIS; CONSTRAINT THEORY; DNA; DNA SEQUENCES; PROBLEM SOLVING; SURVEYS;

MEDICAL COMPUTING;

EID: 33745745746     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11753681_22     Document Type: Conference Paper

References (73)

1. Dirk Faulhammer, Anthony R. Cukras, Richard J. Lipton, and Laura F. Landweber. Molecular computation: RNA solutions to chess problems. Proceedings of the National Academy of Sciences of the USA (PNAS), 97(4): 1385-1389, February 2000. The PERMUTE Program is available at http://www.pnas.org/cgi/ content/full/97/4/1385/DC1.
2. Leonard M. Adleman. Molecular computation of solutions to combinatorial problems. Science, 266(5187): 1021-1024, November 1994.
3. Richard J. Lipton. DNA solution of hard computational problems. Science, 268:542-545, April 1995.
4. Russell J. Deaton, Randy C. Murphy, Max Garzon, Donald R. Franceschetti, and S. E. Stevens, Jr. Good encodings for DNA-based solutions to combinatorial problems. In Landweber and Baum [62], pages 247-258.
5. Arwen Brenneman and Anne E. Condon. Strand design for bio-molecular computation. Technical report, University of British Columbia, March 2001.
6. Giancarlo Mauri and Claudio Ferretti. Word design for molecular computing: A survey. In Junghuei Chen and John H. Reif, editors, DNA Computing: 9th International Workshop on DNA-Based Computers, DNA 2003 (University of Wisconsin: Madison, WI), volume 2943 of Lecture Notes in Computer Science, pages 37-47. Springer, 2004.
7. Robert M. Dirks, Milo Lin, Erik Winfree, and Niles A. Pierce. Paradigms for computational nucleic acid design. Nucleic Acids Research, 32(4): 1392-1403, 2004.
8. Milan N. Stojanovic and Darko Stefanovic. A deoxyribozyme-based molecular automaton. Nature Biotechnology, 21(9): 1069-1074, September 2003.
9. Michael Zuker. Mfold web server for nucleic acid folding and hybridization prediction. Nucleic Acids Research, 31(13):3406-3415, 2003. Mfold is available at http://www.bioinfo.rpi.edu/applications/mfold
10. John SantaLucia, Jr. A unified view of polymer, dumbbell, and oligonucleotide DNA nearest-neighbor thermodynamics. Proceedings of the National Academy of Sciences of the USA (PNAS), 95:1460-1465, 1998.
11. Nicolas Peyret. Prediction of Nucleic Acid Hybridization: Parameters and Algorithms. PhD thesis, Wayne State University, Dept. of Chemistry, 2000.
12. Nadrian C. Seeman. De Novo design of sequences for nucleic acid structural engineering. Journal of Biomolecular Structure & Dynamics, 8(3):573-581, 1990.
13. Udo Feldkamp, Hilmar Rauhe, and Wolfgang Banzhaf. Software tools for DNA sequence design. Genetic Programming and Evolvable Machines, 4(2): 153-171, June 2003.
14. Fumiaki Tanaka, Atsushi Kameda, Masahito Yamamoto, and Azuma Ohuchi. Specificity of hybridization between DNA sequences based on free energy. In Carbone et al. [63], pages 366-375.
15. Dipankar Sen and Walter Gilbert. Formation of parallel four-stranded complexes by guanine-rich motifs in DNA and its implications for meiosis. Nature, 334(6180):364-366, July 1988.
16. Nadrian C. Seeman. It started with Watson and Crick, but it sure didn't end there: Pitfalls and possibilities beyond the classic double helix. Natural Computing: an international journal, 1(1):53-84, 2002.
17. Kaum U. Mir. A restricted genetic alphabet for DNA computing. In Landweber and Baum [62].
18. Michael Zuker and Patrick Stiegler. Optimal computer folding of large RNA sequences using thermodynamics and auxiliary information. Nucleic Acids Research, 9(1):133-148, 1981.
19. Mirela Andronescu, Danielle Dees, Laura Slaybaugh, Yinglei Zhao, Anne Condon, Barry Cohen, and Steven Skiena. Algorithms for testing that sets of DNA word designs avoid unwanted secondary structure. In Hagiya and Ohuchi [64], pages 182-195.
20. Satoshi Kobayashi. Testing structure freeness of regular sets of biomolecular sequences. In Ferretti et al. [65], pages 395-404.
21. Atsushi Kijima and Satoshi Kobayashi. Efficient algorithm for testing structure freeness of finite set of biomolecular sequences. In Carbone et al. [63], pages 278-288.
22. John S. McCaskill. The equilibrium partition function and base pair binding probabilities for RNA secondary structure. Biopolymers, 29(6-7):1105-1119, May-Jun 1990.
23. Robert M. Dirks and Niles A. Pierce. A partition function algorithm for nucleic acid secondary structure including pseudoknots. Journal of Computational Chemistry, 24(13): 1664-1677, October 2003. NUPACK is available at http://www.acm.caltech.edu/~niles/software.html.
24. Amit Marathe, Anne E. Condon, and Robert M. Corn. On combinatorial DNA word design. Journal of Computational Biology, 8(3):201-220, 2001.
25. Peter Leupold. Partial words for DNA coding. In Ferretti et al. [65].
26. Max Garzon, P. Neathery, Russell J. Deaton, Randy C. Murphy, Donald R. Franceschetti, and S. E. Stevens, Jr. A new metric for DNA computing. In Proceedings 2nd Genetic Programming Conference, pages 472-478, 1997.
27. Robert Penchovsky and Jorg Ackermann. DNA library design for molecular computation. Journal of Computational Biology, 10(2):215-229, 2003.
28. Arkadii G. D'yachkov, Anthony J. Macula, Wendy K. Pogozelski, Thomas E. Renz, Vyacheslav V. Rykov, and David C. Torney. A weighted insertion-deletion stacked pair thermodynamic metric. In Claudio Ferretti, Giancarlo Mauri, and Claudio Zandron, editors, DNA Computing: 10th International Workshop on DNA-Based Computers, DNA 2004 (University of Milano-Bicocca: Milan, Italy), volume 3384 of Lecture Notes in Computer Science, pages 90-103. Springer, 2005. SynDCode is available at http://cluster.ds.geneseo.edu:8080/ParallelDNA/.
29. Roumen A. Dimitrov and Michael Zuker. Prediction of hybridization and melting for double-stranded nucleic acids. Biophysical Journal, 87:215-226, July 2004.
30. John A. Rose, Russell J. Deaton, Donald R. Franceschetti, Max Garzon, and S. E. Stevens, Jr. A statistical mechanical treatment of error in the annealing biostep of DNA computation. In Special program in GECCO-99, pages 1829-1834, June 1999.
31. John A. Rose and Russell J. Deaton. The fidelity of annealing-ligation: A theoretical analysis. In Anne Condon and Grzegorz Rozenberg, editors, DNA Computing: 6th International Workshop on DNA-Based Computers, DNA 2000 (Leiden Center for Natural Computing: Leiden, The Netherlands), volume 2054 of Lecture Notes in Computer Science. Springer, 2001.
32. John A. Rose, Russell J. Deaton, Masami Hayiya, and Akira Suyama. The fidelity of the tag-antitag system. In Jonoska and Seeman [66].
33. John A. Rose, Russell J. Deaton, Masami Hagiya, and Akira Suyama. An equilibrium analysis of the efficiency of an autonomous molecular computer. Physical Review E, 65(021910), 2002.
34. John A. Rose, Masami Hagiya, and Akira Suyama. The fidelity of the tag-antitag system II: Reconcilation with the stringency picture. In Proceedings of the Congress on Evolutionary Computation, pages 2749-2749, 2003. NucleicPark is available at http://hagi.is.s.u-tokyo.ac.jp/johnrose/ and http://engronline.ee.memphis. edu/molec/demos.htm.
35. John A. Rose, Russell J. Deaton, Donald R. Franceschetti, Max Garzon, and S. E. Stevens, Jr. Hybridization error for DNA mixtures of N species. http://engronline.ee.memphis.edu/molec/Misc/ci.pdf, 1999.
36. John A. Rose and Akira Suyama. Physical modeling of biomolecular computers: Models, limitations, and experimental validation. Natural Computing, 3(4):411-426, 2004.
37. John SantaLucia, Jr. and Donald Hicks. The thermodynamics of DNA structural motifs. Annual Review of Biophysics Biomolecular Structure, 33:415-40, June 2004.
38. Alexander J. Hartemink and David K. Gifford. Thermodynamic simulation of deoxyoligonucleotide hybridization for DNA computation. In Harvey Rubin and David Harlan Wood, editors, Preliminary Proceedings of DNA Based Computers III, DIMACS Workshop 1997 (University of Pennsylvania: Philadelphia, PA), pages 15-25, 1997.
39. Alexander J. Hartemink, David K. Gifford, and Julia Khodor. Automated constraint-based nucleotide sequence selection for DNA computation. In Lila Kari, Harvey Rubin, and David Harlan Wood, editors, DNA Based Computers IV, DIMACS Workshop 1998 (University of Pennsylvania: Philadelphia, PA), Biosystems, volume 52, issues 1-3, pages 227-235. Elsevier, October 1999.
40. Akio Nishikawa, Masayuki Yamamura, and Masami Hagiya. DNA computation simulator based on abstract bases. Soft Computing, 5(1):25-38, 2001.
41. David H. Mathews and Douglas H. Turner. Dynalign: An algorithm for finding the secondary structure common to two RNA sequences. Journal of Molecular Biology, 317(217): 191-203, 2002.
42. Robert M. Dirks and Niles A. Pierce. An algorithm for computing nucleic acid base-pairing probabilities including pseudoknots. Journal of Computational Chemistry, 25:1295-1304, 2004.
43. Mirela Andronescu, Rosalia Aguirre-Hernandez, Anne Condon, and Holger H. Hoos. RNA-soft: a suite of RNA secondary structure prediction and design software tools. Nucleic Acids Research, 31(13):3416-3422, 2003. RNAsoft is available at http://www.rnasoft.ca/.
44. David H. Mathews, Matthew D. Disney, Jessica L. Childs, Susan J. Schroeder, Michael Zucker, and Douglas H. Turner. Incorporating chemical modification constraints into a dynamic programming algorithm for prediction of RNA secondary structure. Proceedings of the National Academy of Sciences of the USA (PNAS), 101(19):7287-7292, May 2004. The free energy nearest neighbor parameters are available at http://rna.chem.rochester.edu/, RNAstructure is available at http://128.151.176.70/RNAstructure.html.
45. Ivo Ludwig Hofacker. Vienna RNA secondary structure server. Nucleic Acids Research, 31(13):3429-3431, 2003. Vienna Package is available at http://www.tbi.univie.ac.at/~ivo/RNA/.
46. Nicolas Peyret, Pirro Saro, and John SantaLucia, Jr. HyTher server. HyTher Version 1.0 is available at http://ozone2.chem.wayne.edu/.
47. Nicolas Peyret, P. Ananda Seneviratne, Hatim T. Allawi, and John SantaLucia, Jr. Nearest-neighbor thermodynamics and NMR of DNA sequences with internal A-A, C-C, G-G, and T-T mismatches. Biochemistry, 38:3468-3477, 1999.
48. Nicolas Le Novère. MELTING, computing the melting temperature of nucleic acid duplex. Bioinformatics, 17(12): 1226-1227, 2001. Melting is available at http://www.ebi.ac.uk/~lenov/meltinghome.html.
49. Richard D. Blake, Jeffrey W. Bizzaro, Jonathan D. Blake, G. R. Day, S. G. Delcourt, J. Knowles, Kenneth A. Marx, and John SantaLucia, Jr. Statistical mechanical simulation of polymeric DNA melting with MELTSIM. Bioinformatics, 15(5):370-375, 1999.
50. MeltWin. MeltWin is available at http://www.meltwin.com/.
51. Christoph Flamm, Walter Fontana, Ivo L. Hofacker, and Peter Schuster. RNA folding at elementary step resolution. RNA, 6:325-338, 2000. Kinfold is available at http://www.www.tbi.univie.ac.at/~xtof/RNA/Kinfold/.
52. Max Garzon, Russell J. Deaton, John A. Rose, L. Lu, and Donald R. Franceschetti. Soft molecular computing. Proc. DNA5-99 Workshop, AMS DIMACS Series in Theoretical Computer Science, 54:91-100, 2000. EdnaCo is available at http://zorro.cs.memphis.edu/~cswebadm/csweb/research/pages/bmc/ or http://engronline.ee.memphis.edu/molec/demos.htm.
53. Visual OMP (Oligonucleotide Modeling Platform), DNA Software, Inc. Visual OMP is available at http://www.dnasoftware.com.
54. The DNA and Natural Algorithms Group. DNA design toolbox. DNA Design Toolbox is available at http://www.dna.caltech.edu/DNAdesign/.
55. Dongmin Kim, Soo-Yong Shin, In-Hee Lee, and Byoung-Tak Zhang. NACST/Seq: A sequence design system with multiobjective optimization. In Hagiya and Ohuchi [64], pages 242-251.
56. Adam J. Ruben, Stephen J. Freeland, and Laura F. Landweber. PUNCH: An evolutionary algorithm for optimizing bit set selection. In Jonoska and Seeman [66], pages 150-160.
57. Morgan Bishop, Anthony J. Macula, Wendy K. Pogozelski, Thomas E. Renz, and Vyacheslav V. Rykov. SynDCode: Cooperative DNA code generating software. In Carbone et al. [63], page 391.
58. Wendy K. Pogozelski, Matthew P. Bernard, Salvatore F. Priore, and Anthony J. Macula. Experimental validation of DNA sequences for DNA computing: Use of a SYBR green assay. In Carbone et al. [63], pages 322-331.
59. Peng Yin, Bo Guo, Christina Belmore, Will Palmeri, Erik Winfree, Thomas H. LaBean, and John H. Reif. Tilesoft: Sequence optimization software for designing DNA secondary structures. http://www.cs.duke.edu/~reif/paper/peng/ TileSoft/TileSoft.pdf, January 2004.
60. Russell J. Deaton and Max Garzon. Thermodynamic constraints on DNA-based computing. In Gheorghe Pǎun, editor, Computing with Bio-Molecules, pages 138-152. Springer-Verlag, Singapore, 1998.
61. Warren D. Smith. DNA computers in vitro and vivo. In Richard J. Lipton and Eric B. Baum, editors, DNA Based Computers, DIMACS Workshop 1995 (Princeton University: Princeton, NJ), volume 27 of Series in Discrete Mathematics and Theoretical Computer Science, pages 121-185. American Mathematical Society, 1996.
62. Laura F. Landweber and Eric B. Baum, editors. DNA Based Computers II, DIMACS Workshop 1996 (Princeton University: Princeton, NJ), volume 44 of Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, 1999.
63. Alessandra Carbone, Mark Daley, Lila Kari, Ian McQuillan, and Niles Pierce, editors. Preliminary Proceedings of the 11th International Workshop on DNA-Based Computers, DNA 2005 (University of Western Ontario: London, Ontario, Canada), June 2005.
64. Masami Hagiya and Azuma Ohuchi, editors. DNA Computing: 8th International Workshop on DNA-Based Computers, DNA 2002 (Hokkaido University: Sapporo, Japan), volume 2568 of Lecture Notes in Computer Science. Springer, 2003.
65. Claudio Ferretti, Giancarlo Mauri, and Claudio Zandron, editors. Preliminary Proceedings of the 10th International Workshop on DNA-Based Computers, DNA 2004 (University of Milano-Bicocca: Milan, Italy), 2004.
66. Nataša Jonoska and Nadrian C. Seeman, editors. DNA Computing: 7th International Workshop on DNA-Based Computers, DNA 2001 (University of South Florida: Tampa, FL), volume 2340 of Lecture Notes in Computer Science. Springer, 2002.
67. Peter Schuster. Counting and maximum matching of RNA structures. Preprint, http://www.tbi.univie.ac. at/~pks accessed on 2/1/2005, January 2004.
68. James D. Watson, Nancy H. Hopkins, Jeffrey W. Roberts, Joan Argetsinger Steitz, and Alan M. Weiner. Molecular Biology of the Gene. Benjamin/Cummings, Menlo Park, CA, fourth edition, 1988.
69. Mitsuhiro Kubota and Masami Hagiya. Minimum basin algorithm: An effective analysis technique for dna energy landscapes. In Ferretti et al. [65], pages 202-213.
70. Ignacio Tinoco, Jr., Kenneth Sauer, James C. Wang, and Joseph D. Puglisi. Physical Chemistry: Principles and Applications in Biological Sciences. Prentice Hall, fourth edition, 2002.
71. Bruce Alberts, Alexander Johnson, Julian Lewis, Martin Raff, Keith Roberts, and Peter Walter. Molecular Biology of the Cell. Garland, New York, fourth edition, 2002.
72. Peter Schuster, Peter F. Stadler, and Alexander Renner. RNA structures and folding: from conventional to new issues in structure predictions. Current Opinion in Structural Biology, 7(2):229-235, April 1997.
73. Douglas H. Turner, Naoki Sugimoto, and S. M. Freier. RNA structure prediction. Annual Review of Biophysics and Biophysical Chemistry, 17:167-192, June 1988.