Sequentiality induced by spike number in SNP systems: Small universal machines

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

Volumn 7184 LNCS, Issue , 2012, Pages 333-345

  Pǎun, Andrei ^a,b   Sidoroff, Manuela ^b  

^a Louisiana Tech University   (United States)

^b NATIONAL INSTITUTE OF RESEARCH AND DEVELOPMENT FOR BIOLOGICAL SCIENCES   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

GLOBAL VIEW; ONE STEP; SEQUENTIALITY; UNIVERSAL MACHINES;

ARTIFICIAL INTELLIGENCE;

BIOINFORMATICS;

EID: 84856101852     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28024-5_22     Document Type: Conference Paper

References (25)

1. Gerstner, W., Kistler, W.: Spiking Neuron Models. Single Neurons, Populations, Plasticity. Cambridge Univ. Press (2002)
2. Gottumukkala, N.R., et al.: Reliability of a System of k Nodes for High Performance Computing Applications. IEEE Transactions on Reliability 59(1), 162-169 (2010), doi:10.1109/TR.2009.2034291
3. Ibarra, O.H., Pǎun, A., Rodriguez-Paton, A.: Sequential SNP systems based on min/max spike number. Theoretical Computer Science 410(30-32), 2982-2991 (2009)
4. Ibarra, O.H., Pǎun, A., Rodríguez-Patón, A.: Sequentiality Induced by Spike Number in SNP Systems. In: Goel, A., Simmel, F.C., Sosík, P. (eds.) DNA 14. LNCS, vol. 5347, pp. 179-190. Springer, Heidelberg (2009)
5. Ibarra, O.H., Woodworth, S., Yu, F., Pǎun, A.: On Spiking Neural P Systems and Partially Blind Counter Machines. In: Calude, C.S., Dinneen, M.J., Pǎun, G., Rozenberg, G., Stepney, S. (eds.) UC 2006. LNCS, vol. 4135, pp. 113-129. Springer, Heidelberg (2006) (Pubitemid 44568507)
6. Ionescu, M., Pǎun, G., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2-3), 279-308 (2006)
7. Korec, I.: Small universal register machines. Theoretical Computer Science 168, 267-301 (1996)
8. Maass, W.: Computing with spikes. Special Issue on Foundations of Information Processing of TELEMATIK 8(1), 32-36 (2002)
9. Maass, W., Bishop, C. (eds.): Pulsed Neural Networks. MIT Press, Cambridge (1999)
10. Minsky, M.: Computation - Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)
11. Naksinehaboon, N., et al.: High Performance Computing Systems with Various Checkpointing Schemes. International Journal of Computers Communications &Control 4(4), 386-400 (2009)
12. Pǎun, A., Pǎun, G.: Small universal spiking neural P systems. BioSystems 90(1), 48-60 (2007)
13. Paun, A., Paun, M., Rodriguez-Paton, A.: On the Hopcroft's minimization technique for DFA and DFCA. Theoretical Computer Science 410(24-25), 2424-2430 (2009), doi:10.1016/j.tcs.2009.02.034
14. Pǎun, G.: Membrane Computing - An Introduction. Springer, Berlin (2002)
15. Pǎun, G., Pérez-Jiménez, M.J., Rozenberg, G.: Spike trains in spiking neural P systems. International Journal of Foundations of Computer Science 17(4), 975-1002 (2006)
16. Pǎun, G., Pérez-Jiménez, M.J., Rozenberg, G.: Spike trains in spiking neural P systems. International Journal of Foundations of Computer Science 17(4), 975-1002 (2006)
17. Paun, M., Naksinehaboon, N., Nassar, R., Leangsuksun, C., Scott, S.L., Taerat, N.: Incremental Checkpoint Schemes For Weibull Failure Distribution. International Journal of Foundations of Computer Science 21(3), 329-344 (2010)
18. Neary, T.: On the computational complexity of spiking neural P systems. Natural Computing 9(4), 831-851 (2010)
19. Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, 3rd edn. Springer, Berlin (1997)
20. Scott, S.L., et al.: A Tunable Holistic Resiliency Approach for High-Performance Computing Systems. ACM Sigplan Notices 44(4), 305-306 (2009)
21. Strimbu, B.M., Innes, J.L., Strimbu, V.F.: A deterministic harvest scheduler using perfect bin-packing theorem. European Journal of Forest Research 129(5), 961-974 (2010)
22. Strimbu, B.M., Hickey, G.M., Strimbu, V.G., Innes, J.L.: On the use of statistical tests with non-normaly distributed data in landscape change detection. Forest Science 55(1), 72-83 (2009)
23. Zhang, X., Zeng, X., Pan, L.: Smaller universal spiking neural P systems. Fundamenta Informaticae 87(1), 117-136 (2008)
24. Zhang, X., Jiang, Y., Pan, L.: Small Universal Spiking Neural P Systems with Exhaustive Use of Rule. Journal of Computational and Theoretical Nanoscience 7(5), 890-899 (2010)
25. The P Systems Web Page, http://ppage.psystems.eu