{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T15:31:19Z","timestamp":1771342279758,"version":"3.50.1"},"reference-count":39,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[2018,8,9]],"date-time":"2018-08-09T00:00:00Z","timestamp":1533772800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2019,5]]},"abstract":"<jats:p>P systems with active membranes are a class of bioinspired computing models, where the rules are used in the non-deterministic maximally parallel manner. In this paper, first, a new variant of timed P systems with active membranes is proposed, where the application of rules can be regulated by promoters with only two polarizations. Next, we prove that any Turing computable set of numbers can be generated by such a P system in the time-free way. Moreover, we construct a uniform solution to the<jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0960129518000282_inline1\"\/><jats:tex-math>$\\mathcal{SAT}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>problem in the framework of such recognizer timed P systems in polynomial time, and the feasibility and effectiveness of the proposed system is demonstrated by an instance. Compared with the existing methods, the P systems constructed in our work require fewer necessary resources and RS-steps, which show that the solution is effective to<jats:bold>NP<\/jats:bold>-complete problem.<\/jats:p>","DOI":"10.1017\/s0960129518000282","type":"journal-article","created":{"date-parts":[[2018,8,9]],"date-time":"2018-08-09T06:19:01Z","timestamp":1533795541000},"page":"663-680","source":"Crossref","is-referenced-by-count":9,"title":["The computational power of timed P systems with active membranes using promoters"],"prefix":"10.1017","volume":"29","author":[{"given":"YUEGUO","family":"LUO","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HAIJUN","family":"TAN","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YING","family":"ZHANG","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YUN","family":"JIANG","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2018,8,9]]},"reference":[{"key":"S0960129518000282_ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.03.053"},{"key":"S0960129518000282_ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.03.062"},{"key":"S0960129518000282_ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2016.02.023"},{"key":"S0960129518000282_ref29","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129515000018"},{"key":"S0960129518000282_ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2017.06.005"},{"key":"S0960129518000282_ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2016.03.008"},{"key":"S0960129518000282_ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TNB.2016.2594380"},{"key":"S0960129518000282_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-014-9471-4"},{"key":"S0960129518000282_ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2014.10.051"},{"key":"S0960129518000282_ref22","doi-asserted-by":"crossref","first-page":"45","DOI":"10.3233\/FI-2015-1197","article-title":"An optimal frontier of the efficiency of tissue P systems with cell separation","volume":"138","author":"P\u00e9rez-Jim\u00e9nez","year":"2015","journal-title":"Fundamenta Informaticae"},{"key":"S0960129518000282_ref19","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1999.1693"},{"key":"S0960129518000282_ref18","first-page":"75","article-title":"P systems with active membranes: Attacking NP complete problems","volume":"6","author":"P\u0103un","year":"1999","journal-title":"Journal of Automata Languages and Combinatorics"},{"key":"S0960129518000282_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00136-6"},{"key":"S0960129518000282_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037362"},{"key":"S0960129518000282_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-004-0153-z"},{"key":"S0960129518000282_ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.053"},{"key":"S0960129518000282_ref14","first-page":"42","article-title":"Flat maximal parallelism in tissue P systems with promoters","volume":"20","author":"Pan","year":"2017","journal-title":"Romanian Journal of Information Science and Technology"},{"key":"S0960129518000282_ref35","first-page":"1","article-title":"Small universal simple spiking neural P systems with weights","volume":"57","author":"Zeng","year":"2014","journal-title":"Science China"},{"key":"S0960129518000282_ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.10.046"},{"key":"S0960129518000282_ref20","doi-asserted-by":"publisher","DOI":"10.15837\/ijccc.2008.3.2397"},{"key":"S0960129518000282_ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TNB.2016.2562039"},{"key":"S0960129518000282_ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2015.03.002"},{"key":"S0960129518000282_ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.04.007"},{"key":"S0960129518000282_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-008-9091-y"},{"key":"S0960129518000282_ref9","doi-asserted-by":"publisher","DOI":"10.1166\/jctn.2015.4723"},{"key":"S0960129518000282_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2010.03.001"},{"key":"S0960129518000282_ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-012-9320-2"},{"key":"S0960129518000282_ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.11.014"},{"key":"S0960129518000282_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-002-0090-7"},{"key":"S0960129518000282_ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2015.2396940"},{"key":"S0960129518000282_ref3","first-page":"239","volume-title":"Time-Independent P Systems","author":"Cavaliere","year":"2005"},{"key":"S0960129518000282_ref4","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054113500202"},{"key":"S0960129518000282_ref5","doi-asserted-by":"publisher","DOI":"10.1049\/cje.2015.10.013"},{"key":"S0960129518000282_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.10.013"},{"key":"S0960129518000282_ref11","volume-title":"Computation: Finite and Infinite Machines","author":"Minsky","year":"1967"},{"key":"S0960129518000282_ref7","doi-asserted-by":"crossref","first-page":"279","DOI":"10.3233\/FUN-2006-712-308","article-title":"Spiking neural P systems","volume":"71","author":"Ionescu","year":"2006","journal-title":"Fundamenta Informaticae"},{"key":"S0960129518000282_ref10","doi-asserted-by":"publisher","DOI":"10.1166\/jctn.2016.5223"},{"key":"S0960129518000282_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2006.06.006"},{"key":"S0960129518000282_ref12","doi-asserted-by":"publisher","DOI":"10.1162\/NECO_a_00115"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129518000282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T08:02:11Z","timestamp":1751788931000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129518000282\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,9]]},"references-count":39,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,5]]}},"alternative-id":["S0960129518000282"],"URL":"https:\/\/doi.org\/10.1017\/s0960129518000282","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8,9]]}}}