Asynchronous spiking neural P systems: Decidability and undecidability

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

Volumn 4848 LNCS, Issue , 2008, Pages 246-255

  Cavaliere, Matteo ^a   Egecioglu, Omer ^b   Ibarra, Oscar H ^b   Ionescu, Mihai ^c   Pǎun, Gheorghe ^d   Woodworth, Sara ^b  

^a UNIVERSITY OF TRENTO   (Italy)

^b University of California   (United States)

^c UNIVERSITAT ROVIRA I VIRGILI   (Spain)

^d INSTITUTE OF MATHEMATICS   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DNA; TURING MACHINES;

BIO-INSPIRED COMPUTING; COMPUTING DEVICES; COMPUTING POWER; COUNTER MACHINES; SPIKING NEURAL P SYSTEMS; UNDECIDABILITY;

COMPUTABILITY AND DECIDABILITY;

EID: 49949103137     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77962-9_26     Document Type: Conference Paper

References (12)

1. Cavaliere, M., Egecioglu, O., Ibarra, O.H., Woodworth, S., Ionescu, M., Pǎun, Gh.: Asynchronous spiking neural P systems. Tech. Report 9/2007 Microsoft Research -- University of Trento, Centre for Computational and Systems Biology, http://www.cosbi.eu
2. Chen, H., Ionescu, M., Ishdorj, T.-O., Pǎun, A., Pǎun, Gh., Pérez-Jiménez, M.J.: Spiking neural P systems with extended rules: Universality and languages, Natural Computing (special issue devoted to DNA12 Conf.) (to appear)
3. Gutiérrez-Naranjo, M. A., et al: Proceedings of Fifth Brainstorming Week on Membrane Computing, Fenix Editora, Sevilla (in press, 2007)
4. Ibarra, O.H., Pǎun, A., Pǎun, Gh., Rodríguez- Patón, A., Sosik, P., Woodworth, S.: Normal forms for spiking neural P systems. Theoretical Computer Sci. (to appear)
5. Ionescu, M., Pǎun, A., Pǎun, Gh., Pérez- Jiménez, M.J.: Computing with spiking neural P systems: Traces and small universal systems. In: Mao, C., Yokomori, T., Zhang, B.-T. (eds.) DNA Computing. LNCS, vol. 4287, pp. 32-42. Springer, Heidelberg (2006)
6. Ionescu, M., Pǎun, Gh., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2-3), 279-308 (2006)
7. Ionescu, M., Pǎun, Gh., Yokomori, T.: Spiking neural P systems with exhaustive use of rules. Intern. J. of Unconventional Computing (to appear)
8. Maass, W., Bishop, C. (eds.): Pulsed Neural Networks. MIT Press, Cambridge (1999)
9. Minsky, M.: Computation - Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs (1967)
10. Pǎun, Gh.: Membrane Computing - An Introduction. Springer, Berlin (2002)
11. Pǎun, Gh.: Introduction to membrane computing. In: Ciobanu, G., Pǎun, Gh., Pérez-Jiménez, M.J. (eds.) Applications of Membrane Computing, Springer, Heidelberg (2006)
12. The P Systems Web Page, http://psystems.disco.unimib.it