Extended spiking neural P systems

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

Volumn 4361 LNCS, Issue , 2006, Pages 123-134

  Alhazov, Artiom ^a,b   Freund, Rudolf ^c   Oswald, Marion ^c   Slavkovik, Marija ^c  

^a INSTITUTE OF MATHEMATICS AND COMPUTER SCIENCE   (Moldova)

^b UNIVERSITAT ROVIRA I VIRGILI   (Spain)

^c VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLETENESS; ORIGINAL MODEL; SEMI-LINEAR SETS; SPIKING NEURAL P SYSTEMS;

MODEL CHECKING;

BIOINFORMATICS;

EID: 48249121607     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11963516_8     Document Type: Conference Paper

References (20)

1. Chen H, Freund R, Ionescu M, Pǎun Gh, Pérez-Jiménez MJ (2006) On String Languages Generated by Spiking Neural P Systems. In: Gutiérrez-Naranjo MA, Pǎun Gh, Riscos-Núñez A, Romero-Campero FJ (eds) Fourth Brainstorming Week on Membrane Computing, Vol. I RGNC REPORT 02/2006, Research Group on Natural Computing, Sevilla University, Fénix Editora, 169-194
2. Dassow J, Pǎun Gh (1989) Regulated Rewriting in Formal Language Theory. Springer, Berlin
3. Fernau H, Freund R, Oswald M, Reinhardt K (2005) Refining the Nonterminal Complexity of Graph-controlled Grammars. In: Mereghetti C, Palano B, Pighizzini G, Wotschke D (eds) Seventh International Workshop on Descriptional Complexity of Formal Systems, 110-121
4. Freund R, Oswald M (2003) P Systems with activated/prohibited membrane channels. In: Pǎun Gh, Rozenberg G, Salomaa A, Zandron C (eds) Membrane Computing. International Workshop WMC 2002, Curtea de Argeş, Romania. Lecture Notes in Computer Science 2597, Springer, Berlin, 261-268.
5. Freund R, Oswald M (2002) GP Systems with Forbidding Context. Fundamenta Informaticae 49:81-102 (Pubitemid 34199357)
6. Freund R, Pǎun Gh (2004) From Regulated Rewriting to Computing with Membranes: Collapsing Hierarchies. Theoretical Computer Science 312:143-188
7. Freund R, Pǎun Gh, Pérez-Jiménez M J (2004) Tissue-like P systems with channel states. Theoretical Computer Science 330:101-116
8. Gerstner W, Kistler W (2002) Spiking Neuron Models. Single Neurons, Populations, Plasticity. Cambridge Univ. Press
9. Ibarra OH, Pǎun A, Pǎun Gh, Rodríguez-Patón A, Sosík P, Woodworth S (2006) Normal Forms for Spiking Neural P Systems. In: Gutiérrez-Naranjo MA, Pǎun Gh, Riscos-Núñez A, Romero-Campero FJ (eds) Fourth Brainstorming Week on Membrane Computing, Vol. II RGNC REPORT 02/2006, Research Group on Natural Computing, Sevilla University, Fénix Editora, 105-136
10. Ionescu M, Pǎun Gh, Yokomori T (2006) Spiking neural P systems. Fundamenta Informaticae 71, 2-3:279-308 (Pubitemid 43893784)
11. Maass W (2002) Computing with spikes. Special Issue on Foundations of Information Processing of TELEMATIK 8, 1:32-36
12. Maass W, Bishop C (eds) (1999) Pulsed Neural Networks. MIT Press, Cambridge
13. Martín-Vide C, Pazos J, Pǎun Gh, Rodríguez- Patón A (2002) A new class of symbolic abstract neural nets: Tissue P systems. In: Proceedings of COCOON 2002, Singapore, Lecture Notes in Computer Science 2387, Springer-Verlag, Berlin, 290-299
14. Minsky M L (1967) Computation: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs, New Jersey
15. Pǎun Gh (2002) Computing with Membranes: An Introduction. Springer, Berlin
16. Pǎun Gh, Pérez-Jiménez MJ, Rozenberg G (2006) Spike trains in spiking neural P systems, Intern J Found Computer Sci, to appear (also available at [20])
17. Pǎun Gh, Pérez-Jiménez MJ, Rozenberg G (2006) Infinite spike trains in spiking neural P systems. Submitted
18. Pǎun Gh, Sakakibara Y, Yokomori T (2006) P systems on graphs of restricted forms. Publicationes Mathematicae Debrecen 60:635-660
19. Rozenberg G, Salomaa A (eds) (1997) Handbook of Formal Languages (3 volumes). Springer, Berlin
20. The P Systems Web Page, http://psystems.disco.unimib.it