{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T23:39:10Z","timestamp":1740181150489,"version":"3.37.3"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T00:00:00Z","timestamp":1675641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T00:00:00Z","timestamp":1675641600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Membr Comput"],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1007\/s41965-022-00114-5","type":"journal-article","created":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T12:04:20Z","timestamp":1675685060000},"page":"25-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Programmable and parallel water computing"],"prefix":"10.1007","volume":"5","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9233-5059","authenticated-orcid":false,"given":"Alec","family":"Henderson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Nicolescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael J.","family":"Dinneen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"TN","family":"Chan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hendrik","family":"Happe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Hinze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,2,6]]},"reference":[{"issue":"1","key":"114_CR1","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1111\/j.1747-6593.2007.00077.x","volume":"22","author":"K Mahatantila","year":"2008","unstructured":"Mahatantila, K., Chandrajith, R., Jayasena, H., & Ranawana, K. (2008). Spatial and temporal changes of hydrogeochemistry in ancient tank cascade systems in Sri Lanka: evidence for a constructed wetland. Water and Environment Journal, 22(1), 17\u201324.","journal-title":"Water and Environment Journal"},{"key":"114_CR2","unstructured":"Trogemann, G., Nitussov, A.\u00a0Y., & Ernst, W. (2001). Computing in Russia: the history of computer devices and information technology revealed. Vieweg Braunschweig."},{"key":"114_CR3","doi-asserted-by":"publisher","DOI":"10.2307\/2549721","volume-title":"Mechanical models in economic dynamics","author":"AW Phillips","year":"1950","unstructured":"Phillips, A. W. (1950). Mechanical models in economic dynamics. London School of Economics and Political Science."},{"key":"114_CR4","doi-asserted-by":"publisher","first-page":"1774","DOI":"10.1098\/rstb.2018.0372","volume":"374","author":"A Adamatzky","year":"2019","unstructured":"Adamatzky, A. (2019). A brief history of liquid computers. Philosophical Transactions of the Royal Society B, 374, 1774.","journal-title":"Philosophical Transactions of the Royal Society B"},{"key":"114_CR5","first-page":"1","volume":"15","author":"T-O Ishdorj","year":"2020","unstructured":"Ishdorj, T.-O., Ochirbat, O., & Naimannaran, C. (2020). A $$\\mu $$-fluidic biochip design for spiking neural P systems. International Journal of Unconventional Computing, 15, 1.","journal-title":"International Journal of Unconventional Computing"},{"issue":"1\u20132","key":"114_CR6","first-page":"9","volume":"6","author":"JJ Arulanandham","year":"2003","unstructured":"Arulanandham, J. J., Calude, C. S., & Dinneen, M. J. (2003). Solving SAT with bilateral computing. Romanian Journal of Information Science and Technology, 6(1\u20132), 9\u201318.","journal-title":"Romanian Journal of Information Science and Technology"},{"issue":"1","key":"114_CR7","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"Gh P\u0103un","year":"2000","unstructured":"P\u0103un, Gh. (2000). Computing with membranes. Journal of Computer and System Sciences, 61(1), 108\u2013143.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"114_CR8","first-page":"75","volume":"6","author":"G P\u0103un","year":"2001","unstructured":"P\u0103un, G. (2001). P systems with active membranes: Attacking NP-Complete problems. Journal of Automata, Languages and Combinatorics, 6(1), 75\u201390.","journal-title":"Journal of Automata, Languages and Combinatorics"},{"issue":"2, 3","key":"114_CR9","first-page":"279","volume":"71","author":"M Ionescu","year":"2006","unstructured":"Ionescu, M., P\u0103un, G., & Yokomori, T. (2006). Spiking neural P systems. Fundamenta informaticae, 71(2, 3), 279\u2013308.","journal-title":"Fundamenta informaticae"},{"issue":"2","key":"114_CR10","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0304-3975(02)00659-X","volume":"296","author":"C Mart\u00edn-Vide","year":"2003","unstructured":"Mart\u00edn-Vide, C., P\u0103un, G., Pazos, J., & Rodr\u00edguez-Pat\u00f3n, A. (2003). Tissue P systems. Theoretical Computer Science, 296(2), 295\u2013326.","journal-title":"Theoretical Computer Science"},{"key":"114_CR11","doi-asserted-by":"crossref","unstructured":"Nicolescu, R., Dinneen, M., & Kim, Y.-B. (2010). Towards structured modelling with hyperdag p systems.","DOI":"10.15837\/ijccc.2010.2.2477"},{"key":"114_CR12","doi-asserted-by":"crossref","unstructured":"Nicolescu, R., & Henderson, A. (2018). \u201cAn introduction to cP Systems,\u201d in  Enjoying Natural Computing: Essays Dedicated to Mario de Jes\u00fas P\u00e9rez-Jim\u00e9nez on the Occasion of His 70th Birthday (C.\u00a0Graciani, A.\u00a0Riscos-N\u00fa\u00f1ez, G.\u00a0P\u0103un, G.\u00a0Rozenberg, and A.\u00a0Salomaa, eds.), vol.\u00a011270 of Lecture Notes in Computer Science, pp.\u00a0204\u2013227, Springer.","DOI":"10.1007\/978-3-030-00265-7_17"},{"key":"114_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-16-1566-5","volume-title":"Membrane computing models: implementations","author":"G Zhang","year":"2021","unstructured":"Zhang, G., P\u00e9rez-Jim\u00e9nez, M. J., Riscos-N\u00fa\u00f1ez, A., Verlan, S., Konur, S., Hinze, T., & Gheorghe, M. (2021). Membrane computing models: implementations (Vol. 10). Springer."},{"key":"114_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s41965-020-00056-w","volume":"2","author":"L Valencia-Cabrera","year":"2020","unstructured":"Valencia-Cabrera, L., P\u00e9rez-Hurtado, I., & Mart\u00ednez-del Amor, M. \u00c1. (2020). Simulation challenges in membrane computing. Journal of Membrane Computing, 2, 1\u201311.","journal-title":"Journal of Membrane Computing"},{"issue":"1","key":"114_CR15","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s41965-022-00093-7","volume":"4","author":"KJ Ballesteros","year":"2022","unstructured":"Ballesteros, K. J., Cailipan, D. P. P., de la Cruz, R. T. A., Cabarle, F. G. C., & Adorna, H. N. (2022). Matrix representation and simulation algorithm of numerical spiking neural p systems. Journal of Membrane Computing, 4(1), 41\u201355.","journal-title":"Journal of Membrane Computing"},{"issue":"1","key":"114_CR16","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s41965-022-00092-8","volume":"4","author":"AGS Dupaya","year":"2022","unstructured":"Dupaya, A. G. S., Galano, A. C. A. P., Cabarle, F. G. C., De La Cruz, R. T., Ballesteros, K. J., & Lazo, P. P. L. (2022). A web-based visual simulator for spiking neural p systems. Journal of Membrane Computing, 4(1), 21\u201340.","journal-title":"Journal of Membrane Computing"},{"key":"114_CR17","doi-asserted-by":"crossref","unstructured":"Gheorghe, M., Ipate, F., Lefticaru, R., & Dragomir, C. (2010). An integrated approach to P systems formal verification. In International Conference on Membrane Computing, pp.\u00a0226\u2013239, Springer.","DOI":"10.1007\/978-3-642-18123-8_18"},{"issue":"2","key":"114_CR18","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/s41965-020-00036-0","volume":"2","author":"Y Liu","year":"2020","unstructured":"Liu, Y., Nicolescu, R., & Sun, J. (2020). Formal verification of cP systems using PAT3 and ProB. Journal of Membrane Computing, 2(2), 80\u201394.","journal-title":"Journal of Membrane Computing"},{"issue":"3","key":"114_CR19","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s41965-021-00080-4","volume":"3","author":"Y Liu","year":"2021","unstructured":"Liu, Y., Nicolescu, R., & Sun, J. (2021). Formal verification of cP systems using Coq. Journal of Membrane Computing, 3(3), 205\u2013220.","journal-title":"Journal of Membrane Computing"},{"key":"114_CR20","doi-asserted-by":"crossref","unstructured":"Mahasinghe, A., Hua, R., Dinneen, M.\u00a0J., & Goyal, R. (2019). Solving the hamiltonian cycle problem using a quantum computer. In Proceedings of the Australasian Computer Science Week Multiconference, pp.\u00a01\u20139.","DOI":"10.1145\/3290688.3290703"},{"key":"114_CR21","volume-title":"Heterogeneous Parallel Computing with Kepler and CUDA5","author":"T Chan","year":"2013","unstructured":"Chan, T. (2013). Heterogeneous Parallel Computing with Kepler and CUDA5. Multicore World."},{"issue":"2","key":"114_CR22","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s41965-020-00041-3","volume":"2","author":"T Hinze","year":"2020","unstructured":"Hinze, T., Happe, H., Henderson, A., & Nicolescu, R. (2020). Membrane computing with water. Journal of Membrane Computing, 2(2), 121\u2013136.","journal-title":"Journal of Membrane Computing"},{"issue":"3","key":"114_CR23","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/s41965-021-00081-3","volume":"3","author":"A Henderson","year":"2021","unstructured":"Henderson, A., Nicolescu, R., Dinneen, M. J., Chan, T., Happe, H., & Hinze, T. (2021). Turing completeness of water computing. Journal of Membrane Computing, 3(3), 182\u2013193.","journal-title":"Journal of Membrane Computing"},{"key":"114_CR24","unstructured":"Zappa, F., & Esculapio, S. (2017). Microcontrollers. Hardware and Firmware for 8-bit and 32-bit devices. LIGHTNING SOURCE Incorporated."},{"key":"114_CR25","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/8312.8317","volume":"18","author":"I Parberry","year":"1986","unstructured":"Parberry, I. (1986). Parallel speedup of sequential machines: A defense of parallel computation thesis. SIGACT News, 18, 54\u201367.","journal-title":"SIGACT News"},{"issue":"4","key":"114_CR26","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1016\/S0022-0000(73)80029-7","volume":"7","author":"SA Cook","year":"1973","unstructured":"Cook, S. A., & Reckhow, R. A. (1973). Time bounded random access machines. Journal of Computer and System Sciences, 7(4), 354\u2013375.","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"114_CR27","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0304-3975(89)90169-2","volume":"68","author":"E Gafni","year":"1989","unstructured":"Gafni, E., Naor, J., & Ragde, P. (1989). On separating the EREW and CREW PRAM models. Theoretical Computer Science, 68(3), 343\u2013346.","journal-title":"Theoretical Computer Science"},{"key":"114_CR28","doi-asserted-by":"crossref","unstructured":"Gibbons, P.\u00a0B. (1989). A more practical PRAM model. In Proceedings of the first annual ACM symposium on Parallel algorithms and architectures, pp.\u00a0158\u2013168.","DOI":"10.1145\/72935.72953"},{"issue":"3","key":"114_CR29","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1137\/0217037","volume":"17","author":"FE Fich","year":"1988","unstructured":"Fich, F. E., Ragde, P., & Wigderson, A. (1988). Relations between concurrent-write models of parallel computation. SIAM Journal on Computing, 17(3), 606\u2013627.","journal-title":"SIAM Journal on Computing"},{"key":"114_CR30","unstructured":"Henderson, A.\u00a0S. (2021). Membrane computing: The computational power of cP and water systems. PhD thesis, ResearchSpace@ Auckland."}],"container-title":["Journal of Membrane Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-022-00114-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s41965-022-00114-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-022-00114-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,5]],"date-time":"2023-04-05T16:56:27Z","timestamp":1680713787000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s41965-022-00114-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,6]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["114"],"URL":"https:\/\/doi.org\/10.1007\/s41965-022-00114-5","relation":{},"ISSN":["2523-8906","2523-8914"],"issn-type":[{"type":"print","value":"2523-8906"},{"type":"electronic","value":"2523-8914"}],"subject":[],"published":{"date-parts":[[2023,2,6]]},"assertion":[{"value":"15 August 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 November 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 February 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}