Table of Contents Author Guidelines Submit a Manuscript
The Scientific World Journal
Volume 2014, Article ID 834237, 10 pages
Research Article

The Laws of Natural Deduction in Inference by DNA Computer

1Research Institute of the IT4Innovations Centre of Excellence, Faculty of Philosophy and Science, Silesian University in Opava, 74601 Opava, Czech Republic
2Department of Math and Computer Science, University of Lodz, 90238 Łódź, Poland

Received 10 January 2014; Accepted 26 March 2014; Published 3 July 2014

Academic Editor: Lin He

Copyright © 2014 Łukasz Rogowski and Petr Sosík. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. G. Rozenberg, T. Back, and J. Kok, Eds., Handbook of Natural Computing, Springer, 2012.
  2. A. Martyn, DNA Computing. The Encyclopedia of Complexity and System Science, Springer, 2008.
  3. L. M. Adleman, “Molecular computation of solutions to combinatorial problems,” Science, vol. 266, no. 5187, pp. 1021–1024, 1994. View at Google Scholar · View at Scopus
  4. V. Manca, C. Martín-Vide, and G. Paun, “New computing paradigms suggested by DNA computing: computing by carving,” BioSystems, vol. 52, no. 1–3, pp. 47–54, 1999. View at Publisher · View at Google Scholar · View at Scopus
  5. R. J. Lipton, “DNA solution of hard computational problems,” Science, vol. 268, no. 5210, pp. 542–545, 1995. View at Google Scholar · View at Scopus
  6. K. Sakamoto, H. Gouzu, K. Komiya et al., “Molecular computation by DNA hairpin formation,” Science, vol. 288, no. 5469, pp. 1223–1226, 2000. View at Publisher · View at Google Scholar · View at Scopus
  7. N. A. Rodríguez-Patón, I. Sainz de Murieta, and K. P. Sosík, “DNA strand displacement system running logic programs,” Biosystems, vol. 115, pp. 5–12, 2014. View at Google Scholar
  8. Y. Benenson, T. Paz-Elizur, R. Adar, E. Keinan, Z. Livneh, and E. Shapiro, “Programmable and autonomous computing machine made of biomolecules,” Nature, vol. 414, no. 6862, pp. 430–434, 2001. View at Publisher · View at Google Scholar · View at Scopus
  9. Y. Benenson, “Biomolecular computing systems: principles, progress and potential,” Nature Reviews Genetics, vol. 13, no. 7, pp. 455–468, 2012. View at Google Scholar
  10. T. Krasiński, S. Sakowski, and T. Popławski, “Autonomous push-down automaton built on DNA,” Informatica, vol. 36, pp. 263–276, 2012. View at Google Scholar
  11. S. M. Hossein, P. K. Mohapatra, and D. De, “DNA compression algorithm based on R2 techniques,” Journal of Bioinformatics and Intelligent Control, vol. 1, no. 2, pp. 183–188, 2012. View at Google Scholar
  12. M. Ogihara and A. Ray, “Simulating Boolean circuits on a DNA computer,” in Proceedings of the 1st Annual International Conference on Computational Molecular Biology (RECOMB '97), pp. 326–331, January 1997. View at Scopus
  13. L. Qian and E. Winfree, “Scaling up digital circuit computation with DNA strand displacement cascades,” Science, vol. 332, no. 6034, pp. 1196–1201, 2011. View at Publisher · View at Google Scholar · View at Scopus
  14. M. Karakose and U. Cigdem, “QPSO-based adaptive DNA computing algorithm,” The Scientific World Journal, vol. 2013, Article ID 160687, 8 pages, 2013. View at Publisher · View at Google Scholar
  15. O. Unold, M. Troć, T. Dobosz, and A. Trusiewicz, “Extended molecular computing model,” WSEAS Transactions on Biology and Biomedicine, vol. 1, pp. 15–19, 2004. View at Google Scholar
  16. M. Soreni, S. Yogev, E. Kossoy, Y. Shoham, and E. Keinan, “Parallel biomolecular computation on surfaces with advanced finite automata,” Journal of the American Chemical Society, vol. 127, no. 11, pp. 3935–3943, 2005. View at Publisher · View at Google Scholar · View at Scopus
  17. T. Krasinski and S. Sakowski, “Extended Shapiro finite state automaton,” Foundations of Computing and Decision Science, vol. 33, pp. 241–255, 2008. View at Google Scholar
  18. O. Unold and M. Troć, “Biomolekularne modele obliczeniowe,” in Inżynieria Komputerowa, pp. 73–85, Wydawnictwa Komunikacji i Łączności, 2005. View at Google Scholar
  19. T. Ran, S. Kaplan, and E. Shapiro, “Molecular implementation of simple logic programs,” Nature Nanotechnology, vol. 203, no. 2, pp. 1–7, 2009. View at Google Scholar
  20. Ł. Rogowski, Implementacje systemów logicznych za pomocą DNA—koncepcje i pomysły rozbudowy, Wydział Matematyki i Informatyki Uniwersytetu Łódzkiego, 2011.