메뉴 건너뛰기




Volumn 7, Issue 4, 2008, Pages 519-534

Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources

Author keywords

3 SAT; Membrane computing; Pre computed resourses; SAT; Spiking neural P systems

Indexed keywords

ARTICLE; ARTIFICIAL NEURAL NETWORK; INFORMATION SCIENCE; MATHEMATICAL ANALYSIS; MATHEMATICAL COMPUTING; PROBLEM SOLVING; TIME;

EID: 56449094629     PISSN: 15677818     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11047-008-9081-0     Document Type: Article
Times cited : (34)

References (22)
  • 2
    • 33746224924 scopus 로고    scopus 로고
    • 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) RGCN Report 02/ 2006, Sevilla University, Fénix Editora
    • Chen H, Freund R, Ionescu M, Pǎun Gh, Pérez-Jiménez MJ (2006a) 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. RGCN Report 02/2006, Sevilla University, Fénix Editora, vol I, pp 169-194
    • (2006) Fourth Brainstorming Week on Membrane Computing , vol.2 , pp. 169-194
    • Chen, H.1    Freund, R.2    Ionescu, M.3    Pǎun, Gh.4    Pérez-Jiménez, M.J.5
  • 4
    • 56449085124 scopus 로고    scopus 로고
    • Spiking neural P systems with extended rules
    • In: Gutiérrez-Naranjo MA, Pǎun Gh, Riscos-Núñez A, Romero-Campero FJ (eds) RGCN Report 02/ 2006, Sevilla University, Fénix Editora
    • Chen H, Ishdorj T-O, Pǎun Gh, Pérez-Jiménez MJ (2006c) Spiking neural P systems with extended rules. In: Gutiérrez-Naranjo MA, Pǎun Gh, Riscos-Núñez A, Romero-Campero FJ (eds) Fourth brainstorming week on membrane computing. RGCN Report 02/2006, Sevilla University, Fénix Editora, vol I, pp 241-265
    • (2006) Fourth Brainstorming Week on Membrane Computing , vol.1 , pp. 241-265
    • Chen, H.1    Ishdorj, T.-O.2    Pǎun, Gh.3    Pérez-Jiménez, M.J.4
  • 5
    • 56449103371 scopus 로고    scopus 로고
    • Spiking neural P systems. Stronger normal forms
    • In: Gutiérrez-Naranjo MA, Páun Gh, Romero-Jiménez A, Riscos-Núñez A (eds) RGCN Report 01/2007, Sevilla University, Fénix Editora
    • García-Arnau M, Pérez D, Rodríguez-Patón A, Sosík P (2007) Spiking neural P systems. Stronger normal forms. In: Gutiérrez-Naranjo MA, Páun Gh, Romero-Jiménez A, Riscos-Núñez A (eds) Fifth brainstorming week on membrane computing. RGCN Report 01/2007, Sevilla University, Fénix Editora, pp 157-178
    • (2007) Fifth Brainstorming Week on Membrane Computing , pp. 157-178
    • García-Arnau, M.1    Pérez, D.2    Rodríguez-Patón, A.3    Sosík, P.4
  • 12
    • 38549139460 scopus 로고    scopus 로고
    • Solving numerical NP-complete problems with spiking neural P systems
    • In: Eleftherakis G, Kefalas P, Pǎun Gh, Rozenberg G, Salomaa A (eds) Thessaloniki, Greece, 2007, selected and invited papers. LNCS 4860, Springer-Verlag, Berlin
    • Leporati A, Zandron C, Ferretti C, Mauri G (2007a) Solving numerical NP-complete problems with spiking neural P systems. In: Eleftherakis G, Kefalas P, Pǎun Gh, Rozenberg G, Salomaa A (eds) Membrane computing, international workshop, WMC8, Thessaloniki, Greece, 2007, selected and invited papers. LNCS 4860, Springer-Verlag, Berlin, pp 336-352
    • (2007) Membrane Computing, International Workshop, WMC8 , pp. 336-352
    • Leporati, A.1    Zandron, C.2    Ferretti, C.3    Mauri, G.4
  • 15
    • 0004218480 scopus 로고    scopus 로고
    • Maass W, Bishop C (eds) MIT Press
    • Maass W, Bishop C (eds) (1999) Pulsed neural networks. MIT Press
    • (1999) Pulsed Neural Networks
  • 16
    • 34447104983 scopus 로고    scopus 로고
    • Small universal spiking neural P systems
    • Pǎun A, Pǎun Gh (2007) Small universal spiking neural P systems. BioSystems 90(1):48-60
    • (2007) BioSystems , vol.90 , Issue.1 , pp. 48-60
    • Pǎun, A.1    Pǎun, Gh.2
  • 17
    • 0002998531 scopus 로고    scopus 로고
    • Computing with membranes. An introduction
    • In: February 1999
    • Pǎun Gh (1999) Computing with membranes. An introduction. In: Bulletin of the EATCS, vol 67, February 1999, pp 139-152
    • (1999) Bulletin of the EATCS , vol.67 , pp. 139-152
    • Pǎun, Gh.1
  • 18
    • 0034248380 scopus 로고    scopus 로고
    • Computing with membranes
    • See also Turku Centre for Computer Science - TUCS Report No. 208, 1998, available at
    • Pǎun Gh (2000) Computing with membranes. J Comput Syst Sci 61:108-143. See also Turku Centre for Computer Science - TUCS Report No. 208, 1998, available at: http://www.tucs.fi/Publications/techreports/ TR208.php
    • (2000) J Comput Syst Sci , vol.61 , pp. 108-143
    • Pǎun, Gh.1
  • 21
    • 0037174201 scopus 로고    scopus 로고
    • A guide to membrane computing
    • Pǎun Gh, Rozenberg G (2002) A guide to membrane computing. Theor Comput Sci 287(1):73-100
    • (2002) Theor Comput Sci , vol.287 , Issue.1 , pp. 73-100
    • Pǎun, Gh.1    Rozenberg, G.2
  • 22
    • 84867726270 scopus 로고    scopus 로고
    • The P systems Web page
    • The P systems Web page: http://ppage.psystems.eu/


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.