On solutions and representations of spiking neural P systems with rules on synapses
Spiking neural P systems, or SN P systems, are parallel and nondeterministic computing models inspired by spike processing of neurons. A variant of SN P systems known as SN P systems with rules on synapses, or RSSN P systems, makes use of the neuroscience idea where synapses or links between neurons...
Gespeichert in:
| Veröffentlicht in: | Information sciences Jg. 501; S. 30 - 49 |
|---|---|
| Hauptverfasser: | , , , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Elsevier Inc
01.10.2019
|
| Schlagworte: | |
| ISSN: | 0020-0255, 1872-6291 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | Spiking neural P systems, or SN P systems, are parallel and nondeterministic computing models inspired by spike processing of neurons. A variant of SN P systems known as SN P systems with rules on synapses, or RSSN P systems, makes use of the neuroscience idea where synapses or links between neurons perform spike processing instead of neurons. The spike processing in synapses instead of in neurons can allow RSSN P systems to have a smaller complexity due to their richer semantics, as compared to SN P systems. In this work we are first to provide the following: definitions of complexity classes of problems solved by RSSN P systems, depending if the problem has a uniform or nonuniform type of solution; both types of solutions to the NP-complete problem Subsetsum; matrix representation and simulation algorithm for RSSN P systems. Such representation and algorithm can aid in practical use of RSSN P systems. We also provide small computer simulations based on our representation and algorithm. Our simulations show that the nonuniform and uniform solutions to Subsetsum are better suited in the sequential CPU and the parallel GPU computer, respectively. Lastly, we remark several directions for investigations of RSSN P systems. |
|---|---|
| AbstractList | Spiking neural P systems, or SN P systems, are parallel and nondeterministic computing models inspired by spike processing of neurons. A variant of SN P systems known as SN P systems with rules on synapses, or RSSN P systems, makes use of the neuroscience idea where synapses or links between neurons perform spike processing instead of neurons. The spike processing in synapses instead of in neurons can allow RSSN P systems to have a smaller complexity due to their richer semantics, as compared to SN P systems. In this work we are first to provide the following: definitions of complexity classes of problems solved by RSSN P systems, depending if the problem has a uniform or nonuniform type of solution; both types of solutions to the NP-complete problem Subsetsum; matrix representation and simulation algorithm for RSSN P systems. Such representation and algorithm can aid in practical use of RSSN P systems. We also provide small computer simulations based on our representation and algorithm. Our simulations show that the nonuniform and uniform solutions to Subsetsum are better suited in the sequential CPU and the parallel GPU computer, respectively. Lastly, we remark several directions for investigations of RSSN P systems. |
| Author | Cailipan, Dionne Peter P. Cabarle, Francis George C. Zeng, Xiangxiang Liu, Xiangrong Zhang, Defu de la Cruz, Ren Tristan A. |
| Author_xml | – sequence: 1 givenname: Francis George C. surname: Cabarle fullname: Cabarle, Francis George C. organization: Shenzhen Research Institute of Xiamen University, Xiamen University, Shenzhen 518000, Guangdong, China – sequence: 2 givenname: Ren Tristan A. surname: de la Cruz fullname: de la Cruz, Ren Tristan A. organization: Algorithms and Complexity, Dept. of Computer Science, University of The Philippines Diliman, Quezon city, 1101, Philippines – sequence: 3 givenname: Dionne Peter P. surname: Cailipan fullname: Cailipan, Dionne Peter P. organization: Algorithms and Complexity, Dept. of Computer Science, University of The Philippines Diliman, Quezon city, 1101, Philippines – sequence: 4 givenname: Defu surname: Zhang fullname: Zhang, Defu organization: School of Information Science and Engineering, Xiamen University, Xiamen 361005, China – sequence: 5 givenname: Xiangrong surname: Liu fullname: Liu, Xiangrong email: xrliu@xmu.edu.cn organization: School of Information Science and Engineering, Xiamen University, Xiamen 361005, China – sequence: 6 givenname: Xiangxiang orcidid: 0000-0003-1081-7658 surname: Zeng fullname: Zeng, Xiangxiang email: xzeng@foxmail.com organization: School of Information Science and Engineering, Hunan University, Changsha 410073, China |
| BookMark | eNp9kM1Kw0AUhQepYFt9AHfzAol3Jj-T4EqKf1CooK6H6eRGp6aTMDdV8vamxJWLri4c7nfgfAs2861Hxq4FxAJEfrOLnadYgihjyGJQcMbmolAyymUpZmwOICECmWUXbEG0A4BU5fmcvW48p7Y59K71xI2veMAuIKHvzZS1NafOfTn_wT0egmn4C6eBetwT_3H9Jw-HBse3sWfwpiOkS3Zem4bw6u8u2fvD_dvqKVpvHp9Xd-vIylL1US1VYpWtUBVpoUowQhjYFrWqUmvUViiw1iTGFhZzY1LMSiULm1VJUeVmW-fJkomp14aWKGCtu-D2JgxagD5a0Ts9WtFHKxoyPVoZGfWPsW5a2gfjmpPk7UTiOOnbYdBkHXqLlQtoe1217gT9CxxYgU8 |
| CitedBy_id | crossref_primary_10_1016_j_ins_2022_03_002 crossref_primary_10_1016_j_tcs_2020_07_018 crossref_primary_10_1016_j_ijepes_2020_105961 crossref_primary_10_3390_pr9050733 crossref_primary_10_1109_ACCESS_2024_3353619 crossref_primary_10_3390_pr9040690 crossref_primary_10_1109_TPDS_2024_3399755 crossref_primary_10_1007_s41965_024_00147_y crossref_primary_10_1007_s41965_024_00148_x crossref_primary_10_1016_j_tcs_2021_06_027 crossref_primary_10_1007_s41965_025_00191_2 crossref_primary_10_1016_j_ins_2023_119082 crossref_primary_10_1016_j_neucom_2020_09_056 crossref_primary_10_1007_s41965_025_00201_3 crossref_primary_10_1016_j_neucom_2024_127351 crossref_primary_10_3389_fpls_2020_00004 crossref_primary_10_3390_pr9010072 crossref_primary_10_1016_j_neunet_2023_08_013 crossref_primary_10_1109_ACCESS_2020_3010475 crossref_primary_10_1109_TNB_2021_3131755 crossref_primary_10_3390_s19235324 crossref_primary_10_1016_j_biosystems_2020_104186 crossref_primary_10_1099_mgen_0_000483 crossref_primary_10_1109_ACCESS_2019_2954994 crossref_primary_10_1016_j_knosys_2022_109896 crossref_primary_10_1007_s41965_022_00093_7 crossref_primary_10_2174_1381612826666201124112710 crossref_primary_10_1007_s41965_023_00128_7 crossref_primary_10_1109_TNNLS_2020_3005538 crossref_primary_10_1109_ACCESS_2019_2959783 crossref_primary_10_1016_j_ygeno_2020_08_016 crossref_primary_10_1016_j_ins_2022_08_098 crossref_primary_10_1007_s41965_022_00100_x crossref_primary_10_1007_s11704_020_9507_0 |
| Cites_doi | 10.1109/TNNLS.2015.2396940 10.1007/s11432-011-4303-y 10.1016/j.tcs.2014.01.001 10.1109/TNB.2013.2271278 10.1016/j.ins.2016.08.055 10.1016/j.ins.2012.07.023 10.1109/TPWRS.2014.2347699 10.1109/TNB.2015.2402311 10.3233/FI-2015-1157 10.1016/j.neucom.2014.10.044 10.1007/s00521-015-1857-4 10.1109/TNB.2012.2208122 10.1109/TNB.2017.2762580 10.1007/s11047-010-9213-1 10.1016/j.tcs.2006.11.025 10.1155/2019/7313414 10.1109/TNNLS.2017.2726119 10.3233/FI-2019-1759 10.1007/s11047-008-9091-y 10.1109/TNB.2015.2503603 10.3233/FI-2017-1604 10.1016/j.ins.2014.03.062 10.3233/FUN-2006-712-308 10.3233/FI-2014-1099 10.1007/s11047-008-9086-8 |
| ContentType | Journal Article |
| Copyright | 2019 |
| Copyright_xml | – notice: 2019 |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.ins.2019.05.070 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Library & Information Science |
| EISSN | 1872-6291 |
| EndPage | 49 |
| ExternalDocumentID | 10_1016_j_ins_2019_05_070 S0020025519304876 |
| GroupedDBID | --K --M --Z -~X .DC .~1 0R~ 1B1 1OL 1RT 1~. 1~5 29I 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN 9JO AAAKF AAAKG AABNK AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AARIN AAXUO AAYFN ABAOU ABBOA ABEFU ABFNM ABJNI ABMAC ABTAH ABUCO ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADGUI ADJOM ADMUD ADTZH AEBSH AECPX AEKER AENEX AFFNX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIGVJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD APLSM ARUGR ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HAMUX HLZ HVGLF HZ~ H~9 IHE J1W JJJVA KOM LG9 LY1 M41 MHUIS MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SBC SDF SDG SDP SDS SES SEW SPC SPCBC SSB SSD SST SSV SSW SSZ T5K TN5 TWZ UHS WH7 WUQ XPP YYP ZMT ZY4 ~02 ~G- 77I 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c297t-f273c7cde7848790a11a0b8f7d4ca7b170cca3ac8ce6aa4e59728c5d38d6abf63 |
| ISICitedReferencesCount | 39 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000480663900003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0020-0255 |
| IngestDate | Sat Nov 29 06:57:12 EST 2025 Tue Nov 18 22:12:03 EST 2025 Fri Feb 23 02:25:15 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Spiking neural P systems Membrane computing Matrix representation NP-Complete Rules on synapse |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c297t-f273c7cde7848790a11a0b8f7d4ca7b170cca3ac8ce6aa4e59728c5d38d6abf63 |
| ORCID | 0000-0003-1081-7658 |
| PageCount | 20 |
| ParticipantIDs | crossref_primary_10_1016_j_ins_2019_05_070 crossref_citationtrail_10_1016_j_ins_2019_05_070 elsevier_sciencedirect_doi_10_1016_j_ins_2019_05_070 |
| PublicationCentury | 2000 |
| PublicationDate | October 2019 2019-10-00 |
| PublicationDateYYYYMMDD | 2019-10-01 |
| PublicationDate_xml | – month: 10 year: 2019 text: October 2019 |
| PublicationDecade | 2010 |
| PublicationTitle | Information sciences |
| PublicationYear | 2019 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Cavaliere, Mura (bib0007) 2008; 7 Song, Pan, Wang, Venkat, Subramanian, Abdullah (bib0029) 2012; 11 Kirk, Hwu (bib0013) 2012 Song, Zou, Liu, Zeng (bib0032) 2015; 151 Sosík, Rodríguez-Patón, Ciencialová (bib0033) 2010; vol. 6501 Garey, Johnson (bib0009) 1979 Cabarle, Adorna, Martínez-del Amor, Pérez-Jiménez (bib0002) 2012; 15 Macías-Ramos, Pérez-Hurtado, García-Quismondo, Valencia-Cabrera, Pérez-Jiménez, Riscos-Núñez (bib0017) 2012; vol. 7184 Wang, Zhang, Zhao, He, Wang, Pérez-Jiménez (bib0036) 2015; 30 Păun (bib0022) 2002 Zhang, Zeng, Pan (bib0042) 2014; 134 Pérez-Jiménez (bib0023) 2009; vol. 5957 Song, Pan (bib0025) 2015; 14 Zeng, Xu, Liu, Pan (bib0039) 2014; 278 Leporati, Zandron, Ferretti, Mauri (bib0016) 2007; vol. 4860 Martínez-del Amor, García-Quismondo, Macías-Ramos, Valencia-Cabrera, Riscos-Núñez, Pérez-Jiménez (bib0018) 2015; 136 Zhang, Zeng, Pan (bib0041) 2008; 87 Carandang, Villaflores, Cabarle, Adorna, Martínez-del Amor (bib0006) 2017; 20 Wu, Păun, Zhang, Pan (bib0037) 2018; 29 Song, Pan, Jiang, Song, Chen (bib0026) 2013; 12 Neary (bib0019) 2010; 9 Carandang, Cabarle, Adorna, Hernandez, Martínez-del Amor (bib0005) 2019; 164 Pan, Păun, Pérez-Jiménez (bib0020) 2011; 54 Leporati, Mauri, Zandron, Păun, Pérez-Jiménez (bib0015) 2009; 8 Zeng, Adorna, Martínez-del Amor, Pan, Pérez-Jiménez (bib0038) 2011; vol. 6501 Bibi, Xu, Adorna, Cabarle (bib0001) 2019; 2019 Cabarle, Adorna, Pérez-Jiménez, Song (bib0004) 2015; 26 Song, Zheng, Wong, Wang (bib0031) 2016; 372 Zhang, Pan, Păun (bib0040) 2015; 26 Ibarra, Păun, Păun, Rodríguez-Patón, Sosík, Woodworth (bib0010) 2007; 372 Jimenez, Cabarle, dela Cruz, Buño, Adorna, Hernandez, Zeng (bib0012) 2018 Leporati, Gutiérrez-Naranjo (bib0014) 2008; 87 Ionescu, Păun, Yokomori (bib0011) 2006; 71 Song, Pan, Păun (bib0028) 2014; 529 Song, Pan (bib0024) 2015; 14 Song, Xu, Pan (bib0030) 2015; 14 Dela Cruz, Cailipan, Cabarle, Hernandez, Buño, Adorna, Carandang (bib0008) 2018 Su, Wu, Xu, Păun (bib0034) 2017; 156 Papadimitriou (bib0021) 2003 Cabarle, Adorna, Jiang, Zeng (bib0003) 2017; 16 Song, Pan, Păun (bib0027) 2013; 219 Wang, Zhang, Zhao, He, Wang, Pérez-Jiménez (bib0035) 2015; 30 Song (10.1016/j.ins.2019.05.070_bib0027) 2013; 219 Song (10.1016/j.ins.2019.05.070_bib0025) 2015; 14 Cabarle (10.1016/j.ins.2019.05.070_bib0003) 2017; 16 Zhang (10.1016/j.ins.2019.05.070_bib0042) 2014; 134 Macías-Ramos (10.1016/j.ins.2019.05.070_bib0017) 2012; vol. 7184 Zeng (10.1016/j.ins.2019.05.070_bib0039) 2014; 278 Song (10.1016/j.ins.2019.05.070_bib0028) 2014; 529 Su (10.1016/j.ins.2019.05.070_bib0034) 2017; 156 Neary (10.1016/j.ins.2019.05.070_bib0019) 2010; 9 Leporati (10.1016/j.ins.2019.05.070_bib0014) 2008; 87 Cavaliere (10.1016/j.ins.2019.05.070_bib0007) 2008; 7 Ibarra (10.1016/j.ins.2019.05.070_bib0010) 2007; 372 Păun (10.1016/j.ins.2019.05.070_bib0022) 2002 Song (10.1016/j.ins.2019.05.070_bib0026) 2013; 12 Wang (10.1016/j.ins.2019.05.070_bib0036) 2015; 30 Jimenez (10.1016/j.ins.2019.05.070_bib0012) 2018 Bibi (10.1016/j.ins.2019.05.070_bib0001) 2019; 2019 Carandang (10.1016/j.ins.2019.05.070_bib0005) 2019; 164 Martínez-del Amor (10.1016/j.ins.2019.05.070_bib0018) 2015; 136 Song (10.1016/j.ins.2019.05.070_bib0031) 2016; 372 Garey (10.1016/j.ins.2019.05.070_bib0009) 1979 Papadimitriou (10.1016/j.ins.2019.05.070_bib0021) 2003 Zhang (10.1016/j.ins.2019.05.070_bib0040) 2015; 26 Song (10.1016/j.ins.2019.05.070_bib0030) 2015; 14 Cabarle (10.1016/j.ins.2019.05.070_bib0002) 2012; 15 Kirk (10.1016/j.ins.2019.05.070_bib0013) 2012 Song (10.1016/j.ins.2019.05.070_bib0024) 2015; 14 Sosík (10.1016/j.ins.2019.05.070_bib0033) 2010; vol. 6501 Zhang (10.1016/j.ins.2019.05.070_bib0041) 2008; 87 Song (10.1016/j.ins.2019.05.070_bib0032) 2015; 151 Wu (10.1016/j.ins.2019.05.070_bib0037) 2018; 29 Cabarle (10.1016/j.ins.2019.05.070_bib0004) 2015; 26 Leporati (10.1016/j.ins.2019.05.070_bib0015) 2009; 8 Pan (10.1016/j.ins.2019.05.070_bib0020) 2011; 54 Zeng (10.1016/j.ins.2019.05.070_bib0038) 2011; vol. 6501 Ionescu (10.1016/j.ins.2019.05.070_bib0011) 2006; 71 Leporati (10.1016/j.ins.2019.05.070_bib0016) 2007; vol. 4860 Song (10.1016/j.ins.2019.05.070_bib0029) 2012; 11 Carandang (10.1016/j.ins.2019.05.070_bib0006) 2017; 20 Dela Cruz (10.1016/j.ins.2019.05.070_bib0008) 2018 Wang (10.1016/j.ins.2019.05.070_bib0035) 2015; 30 Pérez-Jiménez (10.1016/j.ins.2019.05.070_bib0023) 2009; vol. 5957 |
| References_xml | – volume: 14 start-page: 37 year: 2015 end-page: 43 ident: bib0024 article-title: Spiking neural P systems with rules on synapses working in maximum spikes consumption strategy publication-title: IEEE Trans. NanoBiosci. – volume: 87 start-page: 117 year: 2008 end-page: 136 ident: bib0041 article-title: Smaller universal spiking neural P systems publication-title: Fundam. Inform. – volume: 14 start-page: 960 year: 2015 end-page: 966 ident: bib0030 article-title: On the universality and non-universality of spiking neural P systems with rules on synapses publication-title: IEEE Trans. NanoBiosci. – volume: 11 start-page: 352 year: 2012 end-page: 359 ident: bib0029 article-title: Normal forms of spiking neural P systems with anti-spikes publication-title: IEEE Trans. NanoBiosci. – volume: 14 start-page: 465 year: 2015 end-page: 477 ident: bib0025 article-title: Spiking neural p systems with rules on synapses working in maximum spiking strategy publication-title: IEEE Trans. NanoBiosci. – volume: 16 start-page: 792 year: 2017 end-page: 801 ident: bib0003 article-title: Spiking neural P systems with scheduled synapses publication-title: IEEE Trans. NanoBiosci. – volume: vol. 6501 start-page: 348 year: 2010 end-page: 360 ident: bib0033 article-title: Polynomial complexity classes in spiking neural P systems publication-title: International Conference on Membrane Computing – volume: 529 start-page: 82 year: 2014 end-page: 95 ident: bib0028 article-title: Spiking neural P systems with rules on synapses publication-title: Theor. Comput. Sci. – volume: 164 start-page: 139 year: 2019 end-page: 155 ident: bib0005 article-title: Handling non-determinism in spiking neural p systems: algorithms and simulations publication-title: Fundam. Inform. – volume: 71 start-page: 279 year: 2006 end-page: 308 ident: bib0011 article-title: Spiking neural P systems publication-title: Fundam. Inform. – volume: 8 start-page: 681 year: 2009 end-page: 702 ident: bib0015 article-title: Uniform solutions to SAT and subset sum by spiking neural P systems publication-title: Nat. Comput. – volume: 30 start-page: 1182 year: 2015 end-page: 1194 ident: bib0035 article-title: Fault diagnosis of electric power systems based on fuzzy reasoning spiking neural P systems publication-title: IEEE Trans. Power Syst. – volume: 9 start-page: 831 year: 2010 end-page: 851 ident: bib0019 article-title: On the computational complexity of spiking neural P systems publication-title: Nat. Comput. – volume: 136 start-page: 269 year: 2015 end-page: 284 ident: bib0018 article-title: Simulating P systems on GPU devices: a survey publication-title: Fundam. Inform. – volume: 372 start-page: 196 year: 2007 end-page: 217 ident: bib0010 article-title: Normal forms for spiking neural P systems publication-title: Theor. Comput. Sci. – year: 2003 ident: bib0021 article-title: Computational Complexity – volume: vol. 5957 start-page: 125 year: 2009 end-page: 148 ident: bib0023 article-title: A computational complexity theory in membrane computing publication-title: International Workshop on Membrane Computing – volume: 29 start-page: 3349 year: 2018 end-page: 3360 ident: bib0037 article-title: Spiking neural P systems with polarizations publication-title: IEEE Trans. Neural Net. Learn. Syst. – volume: 26 start-page: 1905 year: 2015 end-page: 1917 ident: bib0004 article-title: Spiking neural P systems with structural plasticity publication-title: Neural Comput. Appl. – volume: vol. 7184 start-page: 257 year: 2012 end-page: 281 ident: bib0017 article-title: A PLingua based simulator for spiking neural P systems publication-title: 12th International Conference on Membrane Computing, CMC 2011 - Fontainebleau, France – volume: 7 start-page: 453 year: 2008 end-page: 470 ident: bib0007 article-title: Experiments on the reliability of stochastic spiking neural P systems publication-title: Nat. Comput. – volume: 278 start-page: 423 year: 2014 end-page: 433 ident: bib0039 article-title: On languages generated by spiking neural P systems with weights publication-title: Inf. Sci. – volume: 26 start-page: 2816 year: 2015 end-page: 2829 ident: bib0040 article-title: On the universality of axon P systems publication-title: IEEE Trans. Neural Net. Learn. Syst. – volume: 156 start-page: 187 year: 2017 end-page: 208 ident: bib0034 article-title: Spiking neural P systems with rules on synapses working in sum spikes consumption strategy publication-title: Fundam. Inform. – volume: 134 start-page: 201 year: 2014 end-page: 218 ident: bib0042 article-title: Weighted spiking neural P systems with rules on synapses publication-title: Fundam. Inform. – volume: vol. 4860 start-page: 336 year: 2007 end-page: 352 ident: bib0016 article-title: Solving numerical NP-complete problems with spiking neural P systems publication-title: International Workshop on Membrane Computing – volume: 20 start-page: 57 year: 2017 end-page: 70 ident: bib0006 article-title: CuSNP: spiking neural P systems simulators in CUDA publication-title: ROMJIST – volume: 12 start-page: 255 year: 2013 end-page: 264 ident: bib0026 article-title: Normal forms for some classes of sequential spiking neural P systems publication-title: IEEE Trans. NanoBiosci. – volume: 87 start-page: 61 year: 2008 end-page: 77 ident: bib0014 article-title: Solving SUBSET SUM by spiking neural P systems with pre-computed resources publication-title: Fundam. Inform. – year: 2012 ident: bib0013 article-title: Programming Massively Parallel Processors: A Hands-on Approach (2nd ed) – volume: 30 start-page: 1182 year: 2015 end-page: 1194 ident: bib0036 article-title: Fault diagnosis of electric power systems based on fuzzy reasoning spiking neural P systems publication-title: IEEE Trans. Power Syst. – start-page: 104 year: 2018 end-page: 112 ident: bib0008 article-title: Matrix representation and simulation algorithm for spiking neural P systems with rules on synapses publication-title: Proc. 18th Philippine Computing Science Congress (PCSC2018), 15–17 March, 2018, Cagayan de Oro City, Misamis Oriental, Philippines – volume: 54 start-page: 1596 year: 2011 end-page: 1607 ident: bib0020 article-title: Spiking neural P systems with neuron division and budding publication-title: Sci. China Inf. Sci. – year: 2002 ident: bib0022 article-title: Membrane Computing: An Introduction – volume: 2019 year: 2019 ident: bib0001 article-title: Sequential spiking neural P systems with local scheduled synapses without delay publication-title: Complexity – volume: 15 start-page: 5 year: 2012 end-page: 20 ident: bib0002 article-title: Improving GPU simulations of spiking neural P systems publication-title: ROMJIST – year: 1979 ident: bib0009 article-title: Computers and Intractability: A Guide to the Theory of NP-Completeness – volume: 151 start-page: 1439 year: 2015 end-page: 1445 ident: bib0032 article-title: Asynchronous spiking neural P systems with rules on synapses publication-title: Neurocomputing – volume: 372 start-page: 380 year: 2016 end-page: 391 ident: bib0031 article-title: Design of logic gates using spiking neural P systems with homogeneous neurons and astrocytes-like control publication-title: Inf. Sci. – start-page: 54 year: 2018 end-page: 76 ident: bib0012 article-title: Matrix representation and simulation algorithm of spiking neural P systems with structural plasticity publication-title: Asian Conference on Membrane Computing 2018 (ACMC2018) CDMTCS-530 research report, Dept. Computer Science, University of Auckland, Auckland, New Zealand – volume: 219 start-page: 197 year: 2013 end-page: 207 ident: bib0027 article-title: Asynchronous spiking neural P systems with local synchronization publication-title: Inf. Sci. – volume: vol. 6501 start-page: 377 year: 2011 end-page: 391 ident: bib0038 article-title: Matrix representation of spiking neural P systems publication-title: International Conference on Membrane Computing – volume: vol. 6501 start-page: 377 year: 2011 ident: 10.1016/j.ins.2019.05.070_bib0038 article-title: Matrix representation of spiking neural P systems – volume: 26 start-page: 2816 issue: 11 year: 2015 ident: 10.1016/j.ins.2019.05.070_bib0040 article-title: On the universality of axon P systems publication-title: IEEE Trans. Neural Net. Learn. Syst. doi: 10.1109/TNNLS.2015.2396940 – volume: 54 start-page: 1596 issue: 8 year: 2011 ident: 10.1016/j.ins.2019.05.070_bib0020 article-title: Spiking neural P systems with neuron division and budding publication-title: Sci. China Inf. Sci. doi: 10.1007/s11432-011-4303-y – volume: 529 start-page: 82 year: 2014 ident: 10.1016/j.ins.2019.05.070_bib0028 article-title: Spiking neural P systems with rules on synapses publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2014.01.001 – year: 1979 ident: 10.1016/j.ins.2019.05.070_bib0009 – volume: 12 start-page: 255 issue: 3 year: 2013 ident: 10.1016/j.ins.2019.05.070_bib0026 article-title: Normal forms for some classes of sequential spiking neural P systems publication-title: IEEE Trans. NanoBiosci. doi: 10.1109/TNB.2013.2271278 – volume: 87 start-page: 117 issue: 1 year: 2008 ident: 10.1016/j.ins.2019.05.070_bib0041 article-title: Smaller universal spiking neural P systems publication-title: Fundam. Inform. – volume: 372 start-page: 380 year: 2016 ident: 10.1016/j.ins.2019.05.070_bib0031 article-title: Design of logic gates using spiking neural P systems with homogeneous neurons and astrocytes-like control publication-title: Inf. Sci. doi: 10.1016/j.ins.2016.08.055 – volume: 219 start-page: 197 year: 2013 ident: 10.1016/j.ins.2019.05.070_bib0027 article-title: Asynchronous spiking neural P systems with local synchronization publication-title: Inf. Sci. doi: 10.1016/j.ins.2012.07.023 – volume: 30 start-page: 1182 issue: 3 year: 2015 ident: 10.1016/j.ins.2019.05.070_bib0036 article-title: Fault diagnosis of electric power systems based on fuzzy reasoning spiking neural P systems publication-title: IEEE Trans. Power Syst. doi: 10.1109/TPWRS.2014.2347699 – volume: 14 start-page: 465 issue: 4 year: 2015 ident: 10.1016/j.ins.2019.05.070_bib0025 article-title: Spiking neural p systems with rules on synapses working in maximum spiking strategy publication-title: IEEE Trans. NanoBiosci. doi: 10.1109/TNB.2015.2402311 – volume: 136 start-page: 269 year: 2015 ident: 10.1016/j.ins.2019.05.070_bib0018 article-title: Simulating P systems on GPU devices: a survey publication-title: Fundam. Inform. doi: 10.3233/FI-2015-1157 – volume: 151 start-page: 1439 year: 2015 ident: 10.1016/j.ins.2019.05.070_bib0032 article-title: Asynchronous spiking neural P systems with rules on synapses publication-title: Neurocomputing doi: 10.1016/j.neucom.2014.10.044 – start-page: 104 year: 2018 ident: 10.1016/j.ins.2019.05.070_bib0008 article-title: Matrix representation and simulation algorithm for spiking neural P systems with rules on synapses – volume: vol. 6501 start-page: 348 year: 2010 ident: 10.1016/j.ins.2019.05.070_bib0033 article-title: Polynomial complexity classes in spiking neural P systems – volume: 26 start-page: 1905 issue: 8 year: 2015 ident: 10.1016/j.ins.2019.05.070_bib0004 article-title: Spiking neural P systems with structural plasticity publication-title: Neural Comput. Appl. doi: 10.1007/s00521-015-1857-4 – volume: 14 start-page: 37 issue: 1 year: 2015 ident: 10.1016/j.ins.2019.05.070_bib0024 article-title: Spiking neural P systems with rules on synapses working in maximum spikes consumption strategy publication-title: IEEE Trans. NanoBiosci. – volume: 11 start-page: 352 issue: 4 year: 2012 ident: 10.1016/j.ins.2019.05.070_bib0029 article-title: Normal forms of spiking neural P systems with anti-spikes publication-title: IEEE Trans. NanoBiosci. doi: 10.1109/TNB.2012.2208122 – volume: 16 start-page: 792 issue: 8 year: 2017 ident: 10.1016/j.ins.2019.05.070_bib0003 article-title: Spiking neural P systems with scheduled synapses publication-title: IEEE Trans. NanoBiosci. doi: 10.1109/TNB.2017.2762580 – volume: 9 start-page: 831 issue: 4 year: 2010 ident: 10.1016/j.ins.2019.05.070_bib0019 article-title: On the computational complexity of spiking neural P systems publication-title: Nat. Comput. doi: 10.1007/s11047-010-9213-1 – volume: 372 start-page: 196 issue: 2–3 year: 2007 ident: 10.1016/j.ins.2019.05.070_bib0010 article-title: Normal forms for spiking neural P systems publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2006.11.025 – volume: 2019 year: 2019 ident: 10.1016/j.ins.2019.05.070_bib0001 article-title: Sequential spiking neural P systems with local scheduled synapses without delay publication-title: Complexity doi: 10.1155/2019/7313414 – volume: 29 start-page: 3349 issue: 8 year: 2018 ident: 10.1016/j.ins.2019.05.070_bib0037 article-title: Spiking neural P systems with polarizations publication-title: IEEE Trans. Neural Net. Learn. Syst. doi: 10.1109/TNNLS.2017.2726119 – year: 2003 ident: 10.1016/j.ins.2019.05.070_bib0021 – volume: 164 start-page: 139 issue: 2–3 year: 2019 ident: 10.1016/j.ins.2019.05.070_bib0005 article-title: Handling non-determinism in spiking neural p systems: algorithms and simulations publication-title: Fundam. Inform. doi: 10.3233/FI-2019-1759 – volume: 8 start-page: 681 issue: 4 year: 2009 ident: 10.1016/j.ins.2019.05.070_bib0015 article-title: Uniform solutions to SAT and subset sum by spiking neural P systems publication-title: Nat. Comput. doi: 10.1007/s11047-008-9091-y – year: 2002 ident: 10.1016/j.ins.2019.05.070_bib0022 – volume: 14 start-page: 960 issue: 8 year: 2015 ident: 10.1016/j.ins.2019.05.070_bib0030 article-title: On the universality and non-universality of spiking neural P systems with rules on synapses publication-title: IEEE Trans. NanoBiosci. doi: 10.1109/TNB.2015.2503603 – volume: 156 start-page: 187 issue: 2 year: 2017 ident: 10.1016/j.ins.2019.05.070_bib0034 article-title: Spiking neural P systems with rules on synapses working in sum spikes consumption strategy publication-title: Fundam. Inform. doi: 10.3233/FI-2017-1604 – volume: 278 start-page: 423 year: 2014 ident: 10.1016/j.ins.2019.05.070_bib0039 article-title: On languages generated by spiking neural P systems with weights publication-title: Inf. Sci. doi: 10.1016/j.ins.2014.03.062 – start-page: 54 year: 2018 ident: 10.1016/j.ins.2019.05.070_bib0012 article-title: Matrix representation and simulation algorithm of spiking neural P systems with structural plasticity – year: 2012 ident: 10.1016/j.ins.2019.05.070_bib0013 – volume: 71 start-page: 279 issue: 2,3 year: 2006 ident: 10.1016/j.ins.2019.05.070_bib0011 article-title: Spiking neural P systems publication-title: Fundam. Inform. doi: 10.3233/FUN-2006-712-308 – volume: vol. 5957 start-page: 125 year: 2009 ident: 10.1016/j.ins.2019.05.070_bib0023 article-title: A computational complexity theory in membrane computing – volume: 15 start-page: 5 issue: 1 year: 2012 ident: 10.1016/j.ins.2019.05.070_bib0002 article-title: Improving GPU simulations of spiking neural P systems publication-title: ROMJIST – volume: 134 start-page: 201 issue: 1–2 year: 2014 ident: 10.1016/j.ins.2019.05.070_bib0042 article-title: Weighted spiking neural P systems with rules on synapses publication-title: Fundam. Inform. doi: 10.3233/FI-2014-1099 – volume: 87 start-page: 61 year: 2008 ident: 10.1016/j.ins.2019.05.070_bib0014 article-title: Solving SUBSET SUM by spiking neural P systems with pre-computed resources publication-title: Fundam. Inform. – volume: 30 start-page: 1182 issue: 3 year: 2015 ident: 10.1016/j.ins.2019.05.070_bib0035 article-title: Fault diagnosis of electric power systems based on fuzzy reasoning spiking neural P systems publication-title: IEEE Trans. Power Syst. doi: 10.1109/TPWRS.2014.2347699 – volume: 20 start-page: 57 issue: 1 year: 2017 ident: 10.1016/j.ins.2019.05.070_bib0006 article-title: CuSNP: spiking neural P systems simulators in CUDA publication-title: ROMJIST – volume: vol. 4860 start-page: 336 year: 2007 ident: 10.1016/j.ins.2019.05.070_bib0016 article-title: Solving numerical NP-complete problems with spiking neural P systems – volume: vol. 7184 start-page: 257 year: 2012 ident: 10.1016/j.ins.2019.05.070_bib0017 article-title: A PLingua based simulator for spiking neural P systems – volume: 7 start-page: 453 issue: 4 year: 2008 ident: 10.1016/j.ins.2019.05.070_bib0007 article-title: Experiments on the reliability of stochastic spiking neural P systems publication-title: Nat. Comput. doi: 10.1007/s11047-008-9086-8 |
| SSID | ssj0004766 |
| Score | 2.4631782 |
| Snippet | Spiking neural P systems, or SN P systems, are parallel and nondeterministic computing models inspired by spike processing of neurons. A variant of SN P... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 30 |
| SubjectTerms | Matrix representation Membrane computing NP-Complete Rules on synapse Spiking neural P systems |
| Title | On solutions and representations of spiking neural P systems with rules on synapses |
| URI | https://dx.doi.org/10.1016/j.ins.2019.05.070 |
| Volume | 501 |
| WOSCitedRecordID | wos000480663900003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1872-6291 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0004766 issn: 0020-0255 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LbxMxELZCywEOCAqoBYp8QBxYbbVv28coLQIObSSClNvKa3ulRJEb5VEVfgi_l_H6sVGgiB64rCLLO5tkvp0Zj78ZI_Su4XnF21zFmZBtXAgmYibhxROyKJUUDXjQojtsglxe0umUjQeDn74W5mZBtKa3t2z5X1UNY6BsUzp7D3UHoTAAn0HpcAW1w_WfFH-lo_AAyx7vyK6uxsiy3tbLmUmRR6abJeho7Bo6u1K31Xahul2E9XfNl2vHMpx7znuod4yc-wxh-cjwAyw_2R3Y4XLu0ejMz5EqWvBotNr-sNrV0cTYGTAzw7Nejsny2NTs-cxQcSyPOBqHKSHRfa7a7W7qImWBBNeXEsBAZvv0enNcuhnWoLpNG-uabXPT34y-zT_MYaVi-q-nrGvFSpLew_ld_T3HF-iInuk2r0FEbUTUSVmDiAfoMCMlA4N_OPx8Mf3SV9wSuwvuf4DfL--Yg3vf488Rz04UM3mKnrjlBx5a2DxDA6WP0OOdppRH6NSVsuD3eEfX2DmB5-jrlcYBYBgAhvcAhq9b7ACGLcDwGDuAYQMw3AEMg1APsBfo28eLyehT7I7miEXGyCZuIeoVREhFKKx4WcLTlCcNbYksBCdNShKwDDkXVKiK80LBsjWjopQ5lRVv2ip_iQ70tVbHCKeU8xK8bJFJXpSZorQSSSNyQhTJ0rY6QYn_-2rh-tab41MW9Z1qO0Efwi1L27Tlb5MLr5PavTY2mqwBX3ff9uo-z3iNHvX4f4MONqutOkUPxc1mtl69deD6BdUPpuc |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=On+solutions+and+representations+of+spiking+neural+P+systems+with+rules+on+synapses&rft.jtitle=Information+sciences&rft.au=Cabarle%2C+Francis+George+C.&rft.au=de+la+Cruz%2C+Ren+Tristan+A.&rft.au=Cailipan%2C+Dionne+Peter+P.&rft.au=Zhang%2C+Defu&rft.date=2019-10-01&rft.issn=0020-0255&rft.volume=501&rft.spage=30&rft.epage=49&rft_id=info:doi/10.1016%2Fj.ins.2019.05.070&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_ins_2019_05_070 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0020-0255&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0020-0255&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0020-0255&client=summon |