A software tool for verification of Spiking Neural P Systems

Natural Computing

Volumn 7, Issue 4, 2008, Pages 485-497

  Gutiérrez Naranjo, Miguel A ^a   Pérez Jiménez, Mario J ^a   Ramírez Martínez, Daniel ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

Membrane computing; Spiking Neural P systems; Transitiondiagram

Indexed keywords

ARTICLE; ARTIFICIAL NEURAL NETWORK; AUTOMATION; COMPUTER INTERFACE; COMPUTER PROGRAM; COMPUTER SIMULATION; COMPUTER SYSTEM; MATHEMATICAL ANALYSIS; MATHEMATICAL COMPUTING; METHODOLOGY; PROBLEM SOLVING; VALIDITY;

EID: 56449098446     PISSN: 15677818     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11047-008-9083-y     Document Type: Article

References (31)

1. Adleman LM (1994) Molecular computations of solutions to combinatorial problems. Science 226:1021-1024
2. Adrian ED (1926a) The impulses produced by sensory nerve endings. J Physiol 61:49-72
3. Adrian ED (1926b) The basis of Sensation. WW Norton, New York
4. Bianco L, Fontana F, Franco G, Manca V (2006) P systems for biological dynamics. In Ciobanu G, Pǎun Gh, Pérez-Jiménez MJ (eds) Applications of membrane computing. Natural Computing Series, Springer, pp 83-128
5. Cavaliere M, Ardelean II (2006) Modelling respiration in bacteria and respiration/photosynthesis interaction in cyanobacteria by using a P system simulator. In Ciobanu G, Pǎun Gh, Pérez-Jiménez MJ (eds) Applications of membrane computing. Natural Computing Series, Springer, pp 129-158
6. Ciobanu G, Paraschiv D (2002) P system software simulator. Fundam Inform 49(1-3):61-66
7. Ciobanu G, Pǎun Gh, Pérez-Jiménez MJ (eds) (2006) Applications of membrane computing. Natural Computing Series, Springer
8. Ciobanu G, Wenyuan G (2004) P systems running on a cluster of computers. In: Martín-Vide C, Pǎun Gh, Rozenberg G, Salomaa A (eds) Membrane computing WMC 2003. Lect Notes Comput Sci 2933:123-139
9. Eckhorn R, Bauer R, Jordan W, Brosch M, Kruse W, Munk M, Reitboeck HJ (1988) Coherent oscillations: A mechanism of feature linking in the visual cortex? Biol Cybern 60:121-130
10. Gray CM, Singer W (1989) Stimulus-specific neuronal oscillations in orientation columns of cat visual cortex. Proc Natl Acad Sci USA 86:1698-1702
11. Group for Models of Natural Computing in Verona http://www.di.univr.it
12. Gutiérrez-Naranjo MA, Pérez-Jiménez MJ, Riscos-Núñez A (2005). On descriptive complexity of P systems. In: Mauri G, Paun Gh, Pérez-Jiménez MJ, Rozenberg G, Salomaa A (eds) Membrane computing. Fifth International Workshop, WMC5 2004. Lect Notes Comput Sci 3365:320-330
13. Gutiérrez-Naranjo MA, Pérez-Jiménez MJ, Riscos-Núñez A (2006) Available membrane computing software. In Ciobanu G, Pǎun Gh, Pérez-Jiménez MJ (eds) Applications of membrane computing. Natural Computing Series, Springer, pp 411-439
14. Holland JH (1975) Adaptation in natural and artificial systems. University of Michigan Press, Ann Arbor, MI
15. Hubel DH, Wiesel TN (1959) Receptive fields of single neurons in the cat's striate cortex. J Phisiol 148:574-591
16. Ionescu M, Pǎun Gh, Yokomori T (2006) Spiking Neural P Systems. Fundam Inform 71(2-3):279-308
17. Maliţa M (2000) Membrane Computing in Prolog, In: Calude CS, Dinneen MJ, Pǎun Gh (eds) Pre-proceedings of the Workshop on Multiset Processing. Curtea de Arges, Romania, CDMTCS TR 140, Univ of Auckland, pp 159-175
18. 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. Lect Notes Comput Sci 2387:290-299
19. Martín Vide C, Pazos J, Pǎun Gh, Rodríguez Patón A (2003) Tissue P systems. Theor Comput Sci 296:295-326
20. McCulloch WS, Pitts W (1943) A logical calculus of the ideas immanent in nervous activity. Bull Math Biophys 5:115-133
21. Mountcastle VB (1957) Modality and topographic properties of single neurons of cat's somatosensory cortex. J Neurophysiol 20:408-434
22. P systems web page http://ppage.psystems.eu/
23. Pǎun Gh (2000) Computing with membranes. J Comput Syst Sci 61(1):108-143
24. Pǎun Gh (2002) Membrane computing. An introduction. Springer-Verlag, Berlin
25. Pǎun Gh, Pérez-Jiménez MJ, Rozenberg Gr (2008) Spike trains in Spiking Neural P Systems. Int J Found Comput Sci 17(4):975-1002
26. Ramírez-Martínez D, Gutiérrez-Naranjo MA (2007) A software tool for dealing with Spiking Neural P Systems. In: Gutiérrez-Naranjo MA, Paun Gh, Romero-Jiménez A, Riscos-Núñez A (eds) Fifth brainstorming week on membrane computing. Fénix Editora, Sevilla, Spain, pp 299-313
27. Romero-Campero FJ, Pérez-Jiménez MJ (2008) A model of the quorum sensing system in vibrio fischeri using P systems. Artif Life 14(1):95-109
28. Sedwards S, Mazza T (2007) Cyto-sim: A formal language model and stochastic simulator of membrane-enclosed biochemical processes. Bioinformatics 23(20):2800-2802
29. Suzuki Y, Fujiwara Y, Tanaka H, Takabayashi J (2001) Artificial life applications of a class of P systems: Abstract rewriting systems on multisets. In Calude CS, Paun Gh, Rozenberg G, Salomaa A (eds) Multiset processing. Mathematical, computer science, and molecular computing points of view. Lect Notes Comput Sci 2235:299-346
30. The Alaska Software web page http://www.alaska-software.com
31. The SWI-Prolog web page http://www.swi-prolog.org