{"id":"https://openalex.org/W4409967396","doi":"https://doi.org/10.1142/s0129065725500352","title":"On the Computational Complexity of Spiking Neural Membrane Systems with Colored Spikes","display_name":"On the Computational Complexity of Spiking Neural Membrane Systems with Colored Spikes","publication_year":2025,"publication_date":"2025-04-30","ids":{"openalex":"https://openalex.org/W4409967396","doi":"https://doi.org/10.1142/s0129065725500352","pmid":"https://pubmed.ncbi.nlm.nih.gov/40304102"},"language":"en","primary_location":{"id":"doi:10.1142/s0129065725500352","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129065725500352","pdf_url":null,"source":{"id":"https://openalex.org/S197665576","display_name":"International Journal of Neural Systems","issn_l":"0129-0657","issn":["0129-0657","1793-6462"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Neural Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041962243","display_name":"Ant\u00f4nio Grillo","orcid":null},"institutions":[{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Antonio Grillo","raw_affiliation_strings":["Dipartimento di Informatica, Sistemistica e Comunicazione, Universit\u00e0 degli Studi di Milano-Bicocca, Viale Sarca 336/14 Milano 20126, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Sistemistica e Comunicazione, Universit\u00e0 degli Studi di Milano-Bicocca, Viale Sarca 336/14 Milano 20126, Italy","institution_ids":["https://openalex.org/I66752286"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063683092","display_name":"Claudio Zandron","orcid":"https://orcid.org/0000-0002-2163-7639"},"institutions":[{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Claudio Zandron","raw_affiliation_strings":["Dipartimento di Informatica, Sistemistica e Comunicazione, Universit\u00e0 degli Studi di Milano-Bicocca, Viale Sarca 336/14 Milano 20126, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Sistemistica e Comunicazione, Universit\u00e0 degli Studi di Milano-Bicocca, Viale Sarca 336/14 Milano 20126, Italy","institution_ids":["https://openalex.org/I66752286"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041962243"],"corresponding_institution_ids":["https://openalex.org/I66752286"],"apc_list":null,"apc_paid":null,"fwci":2.5694,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.88807578,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"35","issue":"11","first_page":"2550035","last_page":"2550035"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10207","display_name":"Advanced biosensing and bioanalysis techniques","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9894999861717224,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/membrane-computing","display_name":"Membrane computing","score":0.8131073713302612},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.7026745080947876},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7023267149925232},{"id":"https://openalex.org/keywords/colored","display_name":"Colored","score":0.6049036383628845},{"id":"https://openalex.org/keywords/computational-problem","display_name":"Computational problem","score":0.5304367542266846},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5260510444641113},{"id":"https://openalex.org/keywords/division","display_name":"Division (mathematics)","score":0.521340012550354},{"id":"https://openalex.org/keywords/p-system","display_name":"P system","score":0.4613814949989319},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4591284692287445},{"id":"https://openalex.org/keywords/computational-model","display_name":"Computational model","score":0.44958049058914185},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.4344387948513031},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40183955430984497},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.29186293482780457},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17862644791603088}],"concepts":[{"id":"https://openalex.org/C96011364","wikidata":"https://www.wikidata.org/wiki/Q6815122","display_name":"Membrane computing","level":2,"score":0.8131073713302612},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.7026745080947876},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7023267149925232},{"id":"https://openalex.org/C2778307483","wikidata":"https://www.wikidata.org/wiki/Q5149038","display_name":"Colored","level":2,"score":0.6049036383628845},{"id":"https://openalex.org/C19754495","wikidata":"https://www.wikidata.org/wiki/Q3435924","display_name":"Computational problem","level":2,"score":0.5304367542266846},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5260510444641113},{"id":"https://openalex.org/C60798267","wikidata":"https://www.wikidata.org/wiki/Q1226939","display_name":"Division (mathematics)","level":2,"score":0.521340012550354},{"id":"https://openalex.org/C70641290","wikidata":"https://www.wikidata.org/wiki/Q176974","display_name":"P system","level":2,"score":0.4613814949989319},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4591284692287445},{"id":"https://openalex.org/C66024118","wikidata":"https://www.wikidata.org/wiki/Q1122506","display_name":"Computational model","level":2,"score":0.44958049058914185},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.4344387948513031},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40183955430984497},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29186293482780457},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17862644791603088},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[{"descriptor_ui":"D000200","descriptor_name":"Action Potentials","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":true},{"descriptor_ui":"D000200","descriptor_name":"Action Potentials","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":true},{"descriptor_ui":"D000818","descriptor_name":"Animals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000818","descriptor_name":"Animals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D003198","descriptor_name":"Computer Simulation","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008959","descriptor_name":"Models, Neurological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008959","descriptor_name":"Models, Neurological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D009474","descriptor_name":"Neurons","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":true},{"descriptor_ui":"D009474","descriptor_name":"Neurons","qualifier_ui":"Q000502","qualifier_name":"physiology","is_major_topic":true},{"descriptor_ui":"D016571","descriptor_name":"Neural Networks, Computer","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D016571","descriptor_name":"Neural Networks, Computer","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true}],"locations_count":3,"locations":[{"id":"doi:10.1142/s0129065725500352","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129065725500352","pdf_url":null,"source":{"id":"https://openalex.org/S197665576","display_name":"International Journal of Neural Systems","issn_l":"0129-0657","issn":["0129-0657","1793-6462"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Neural Systems","raw_type":"journal-article"},{"id":"pmid:40304102","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/40304102","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International journal of neural systems","raw_type":null},{"id":"pmh:oai:boa.unimib.it:10281/578308","is_oa":false,"landing_page_url":"https://hdl.handle.net/10281/578308","pdf_url":null,"source":{"id":"https://openalex.org/S4306401259","display_name":"BOA (University of Milano-Bicocca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W1584587517","https://openalex.org/W1597295876","https://openalex.org/W1636374184","https://openalex.org/W1975784677","https://openalex.org/W1984586189","https://openalex.org/W1996796733","https://openalex.org/W2042013578","https://openalex.org/W2066614183","https://openalex.org/W2073445594","https://openalex.org/W2107013295","https://openalex.org/W2130459697","https://openalex.org/W2158708642","https://openalex.org/W2519133364","https://openalex.org/W2737125783","https://openalex.org/W2777287263","https://openalex.org/W2792897601","https://openalex.org/W2802676812","https://openalex.org/W2914560007","https://openalex.org/W2966219745","https://openalex.org/W2981101011","https://openalex.org/W3033861578","https://openalex.org/W3037916286","https://openalex.org/W3092311635","https://openalex.org/W3102133741","https://openalex.org/W3104409553","https://openalex.org/W3124169376","https://openalex.org/W3128936536","https://openalex.org/W3178131476","https://openalex.org/W4220882217","https://openalex.org/W4223560684","https://openalex.org/W4253060067","https://openalex.org/W4281390431","https://openalex.org/W4281709755","https://openalex.org/W4292413754","https://openalex.org/W4308112729","https://openalex.org/W4386770115","https://openalex.org/W4391819118","https://openalex.org/W4391918137","https://openalex.org/W4393088546","https://openalex.org/W4393088637","https://openalex.org/W4393256950","https://openalex.org/W4393995166","https://openalex.org/W4396218406","https://openalex.org/W4398395540","https://openalex.org/W4399737593","https://openalex.org/W4399738334","https://openalex.org/W4401053952","https://openalex.org/W4401544908","https://openalex.org/W4404415279","https://openalex.org/W4407902195"],"related_works":["https://openalex.org/W2563964279","https://openalex.org/W2248827605","https://openalex.org/W2790090425","https://openalex.org/W3145952170","https://openalex.org/W2084545956","https://openalex.org/W2046712589","https://openalex.org/W3215479332","https://openalex.org/W1981776771","https://openalex.org/W2117686597","https://openalex.org/W1535667946"],"abstract_inverted_index":{"Spiking":[0,94],"Neural":[1,95],"P":[2,96],"Systems":[3,97],"are":[4,112],"parallel":[5],"and":[6,18,39,98,109],"distributed":[7],"computational":[8,30],"models":[9],"inspired":[10],"by":[11],"biological":[12],"neurons,":[13],"emerging":[14],"from":[15],"membrane":[16],"computing":[17,65],"applied":[19],"to":[20,80,101,114,118],"solving":[21],"computationally":[22],"difficult":[23],"problems.":[24],"This":[25],"paper":[26],"focuses":[27],"on":[28,93],"the":[29,43,58,71,77,85,122],"complexity":[31,86],"of":[32,73],"such":[33],"systems":[34],"using":[35],"neuron":[36],"division":[37,110],"rules":[38,75,108,111],"colored":[40],"spikes":[41],"for":[42],"SAT":[44],"problem.":[45],"We":[46],"prove":[47,69],"a":[48,52],"conjecture":[49],"stated":[50],"in":[51,84],"recent":[53],"paper,":[54],"showing":[55],"that":[56,70],"enhancing":[57],"model":[59],"with":[60],"an":[61,126],"input":[62],"module":[63],"reduces":[64],"time.":[66],"Additionally,":[67],"we":[68],"inclusion":[72],"budding":[74,107],"extends":[76],"model's":[78],"capability":[79],"solve":[81],"all":[82],"problems":[83],"class":[87,124],"<b>PSPACE</b>.":[88],"These":[89],"findings":[90],"advance":[91],"research":[92],"their":[99],"application":[100],"complex":[102],"problems;":[103],"however,":[104],"whether":[105],"both":[106],"required":[113],"extend":[115],"these":[116],"methods":[117],"problem":[119],"domains":[120],"beyond":[121],"NP":[123],"remains":[125],"open":[127],"question.":[128]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}