Pub Date : 2021-11-28DOI: 10.1007/s41965-021-00089-9
Zeqiong Lv, Qian Yang, Hong Peng, Xiaoxiao Song, Jun Wang
{"title":"Computational power of sequential spiking neural P systems with multiple channels","authors":"Zeqiong Lv, Qian Yang, Hong Peng, Xiaoxiao Song, Jun Wang","doi":"10.1007/s41965-021-00089-9","DOIUrl":"https://doi.org/10.1007/s41965-021-00089-9","url":null,"abstract":"","PeriodicalId":29949,"journal":{"name":"Journal of Membrane Computing","volume":"3 1","pages":"270 - 283"},"PeriodicalIF":3.8,"publicationDate":"2021-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42596199","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-11-26DOI: 10.1007/s41965-021-00090-2
Somnath Bera, Rodica Ceterchi, S. Sriram, K. Subramanian
{"title":"Array P systems and pure 2D context-free grammars with independent mode of rewriting","authors":"Somnath Bera, Rodica Ceterchi, S. Sriram, K. Subramanian","doi":"10.1007/s41965-021-00090-2","DOIUrl":"https://doi.org/10.1007/s41965-021-00090-2","url":null,"abstract":"","PeriodicalId":29949,"journal":{"name":"Journal of Membrane Computing","volume":"4 1","pages":"11 - 20"},"PeriodicalIF":3.8,"publicationDate":"2021-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48612161","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-11-15DOI: 10.1007/s41965-021-00085-z
A. Alhazov, R. Freund, Sergiu Ivanov, Sergey Verlan
{"title":"Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete","authors":"A. Alhazov, R. Freund, Sergiu Ivanov, Sergey Verlan","doi":"10.1007/s41965-021-00085-z","DOIUrl":"https://doi.org/10.1007/s41965-021-00085-z","url":null,"abstract":"","PeriodicalId":29949,"journal":{"name":"Journal of Membrane Computing","volume":"3 1","pages":"233 - 245"},"PeriodicalIF":3.8,"publicationDate":"2021-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48505617","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-11-11DOI: 10.1007/s41965-021-00088-w
Li Liu, Keqin Jiang
{"title":"Universality of spiking neural P systems with polarizations working in sequential mode induced by maximum spike number","authors":"Li Liu, Keqin Jiang","doi":"10.1007/s41965-021-00088-w","DOIUrl":"https://doi.org/10.1007/s41965-021-00088-w","url":null,"abstract":"","PeriodicalId":29949,"journal":{"name":"Journal of Membrane Computing","volume":"4 1","pages":"56 - 67"},"PeriodicalIF":3.8,"publicationDate":"2021-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"53267998","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-11-03DOI: 10.1007/s41965-021-00087-x
Siheng Mi, L. Zhang, Hong Peng, Jun Wang
{"title":"Medical image fusion based on DTNP systems and Laplacian pyramid","authors":"Siheng Mi, L. Zhang, Hong Peng, Jun Wang","doi":"10.1007/s41965-021-00087-x","DOIUrl":"https://doi.org/10.1007/s41965-021-00087-x","url":null,"abstract":"","PeriodicalId":29949,"journal":{"name":"Journal of Membrane Computing","volume":"3 1","pages":"284 - 295"},"PeriodicalIF":3.8,"publicationDate":"2021-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42941630","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-10-29DOI: 10.1007/s41965-021-00083-1
F. Baquero, M. Campos, C. Llorens, J. Sempere
{"title":"P systems in the time of COVID-19","authors":"F. Baquero, M. Campos, C. Llorens, J. Sempere","doi":"10.1007/s41965-021-00083-1","DOIUrl":"https://doi.org/10.1007/s41965-021-00083-1","url":null,"abstract":"","PeriodicalId":29949,"journal":{"name":"Journal of Membrane Computing","volume":"3 1","pages":"246 - 257"},"PeriodicalIF":3.8,"publicationDate":"2021-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47543595","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-10-26DOI: 10.1007/s41965-021-00084-0
Bosheng Song, Xiangxiang Zeng
{"title":"Solving a PSPACE-complete problem by symport/antiport P systems with promoters and membrane division","authors":"Bosheng Song, Xiangxiang Zeng","doi":"10.1007/s41965-021-00084-0","DOIUrl":"https://doi.org/10.1007/s41965-021-00084-0","url":null,"abstract":"","PeriodicalId":29949,"journal":{"name":"Journal of Membrane Computing","volume":"3 1","pages":"296 - 302"},"PeriodicalIF":3.8,"publicationDate":"2021-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47404070","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-10-05DOI: 10.1007/s41965-021-00082-2
Zsolt Gazdag, Károly Hajagos, Szabolcs Iván
{"title":"On the power of P systems with active membranes using weak non-elementary membrane division","authors":"Zsolt Gazdag, Károly Hajagos, Szabolcs Iván","doi":"10.1007/s41965-021-00082-2","DOIUrl":"https://doi.org/10.1007/s41965-021-00082-2","url":null,"abstract":"","PeriodicalId":29949,"journal":{"name":"Journal of Membrane Computing","volume":"3 1","pages":"258 - 269"},"PeriodicalIF":3.8,"publicationDate":"2021-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48323780","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-09-01DOI: 10.1007/s41965-021-00081-3
Alec Henderson, R. Nicolescu, Michael J. Dinneen, T. Chan, Hendrik Happe, T. Hinze
{"title":"Turing completeness of water computing","authors":"Alec Henderson, R. Nicolescu, Michael J. Dinneen, T. Chan, Hendrik Happe, T. Hinze","doi":"10.1007/s41965-021-00081-3","DOIUrl":"https://doi.org/10.1007/s41965-021-00081-3","url":null,"abstract":"","PeriodicalId":29949,"journal":{"name":"Journal of Membrane Computing","volume":"3 1","pages":"182 - 193"},"PeriodicalIF":3.8,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48647734","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-08-24DOI: 10.1007/s41965-021-00080-4
Yezhou Liu, R. Nicolescu, Jing Sun
{"title":"Formal verification of cP systems using Coq","authors":"Yezhou Liu, R. Nicolescu, Jing Sun","doi":"10.1007/s41965-021-00080-4","DOIUrl":"https://doi.org/10.1007/s41965-021-00080-4","url":null,"abstract":"","PeriodicalId":29949,"journal":{"name":"Journal of Membrane Computing","volume":"3 1","pages":"205 - 220"},"PeriodicalIF":3.8,"publicationDate":"2021-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s41965-021-00080-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43448566","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：