{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:46:51Z","timestamp":1750308411329,"version":"3.41.0"},"reference-count":39,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2019,10,31]],"date-time":"2019-10-31T00:00:00Z","timestamp":1572480000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Model. Comput. Simul."],"published-print":{"date-parts":[[2019,10,31]]},"abstract":"<jats:p>Modelling spatio-temporal systems exhibiting multi-scale behaviour is a powerful tool in many branches of science, yet it still presents significant challenges. Here, we consider a general two-layer (agent-environment) modelling framework, where spatially distributed agents behave according to external inputs and internal computation; this behaviour may include influencing their immediate environment, creating a medium over which agent-agent interaction signals can be transmitted. We propose a novel simulation strategy based on a statistical abstraction of the agent layer, which is typically the most detailed component of the model and can incur significant computational cost in simulation. The abstraction makes use of Gaussian Processes, a powerful class of non-parametric regression techniques from Bayesian Machine Learning, to estimate the agent\u2019s behaviour given the environmental input. We show on two biological case studies how this technique can be used to speed up simulations and provide further insights into model behaviour.<\/jats:p>","DOI":"10.1145\/3366023","type":"journal-article","created":{"date-parts":[[2019,12,11]],"date-time":"2019-12-11T13:27:18Z","timestamp":1576070838000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Statistical Abstraction for Multi-scale Spatio-temporal Systems"],"prefix":"10.1145","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4581-6260","authenticated-orcid":false,"given":"Michalis","family":"Michaelides","sequence":"first","affiliation":[{"name":"School of Informatics, University of Edinburgh, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4914-9255","authenticated-orcid":false,"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[{"name":"School of Informatics, University of Edinburgh, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Sanguinetti","sequence":"additional","affiliation":[{"name":"School of Informatics, University of Edinburgh, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,12,10]]},"reference":[{"volume-title":"Brown et al","year":"1972","author":"Berg Howard C.","key":"e_1_2_1_1_1"},{"volume-title":"Pattern Recognition and Machine Learning","author":"Bishop Christopher M.","key":"e_1_2_1_2_1"},{"volume-title":"Computational Methods in Systems Biology","author":"Bortolussi Luca","key":"e_1_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-31304-3"},{"key":"e_1_2_1_4_1","first-page":"235","article-title":"Smoothed model checking for uncertain continuous-time Markov chains. Info","volume":"247","author":"Bortolussi Luca","year":"2016","journal-title":"Comput."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0005253"},{"volume-title":"Mathematical Physics (32. print ed.)","author":"Butkov Eugene","key":"e_1_2_1_6_1"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.82.011909"},{"key":"e_1_2_1_8_1","unstructured":"I. M. Chakravarty R. G. Laha and J. D. Roy. 1967. Handbook of Methods of Applied Statistics. McGraw-Hill New York NY.  I. M. Chakravarty R. G. Laha and J. D. Roy. 1967. Handbook of Methods of Applied Statistics. McGraw-Hill New York NY."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.02.037"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1039\/c0ib00075b"},{"key":"e_1_2_1_11_1","first-page":"1","article-title":"Discrete modeling of amoeboid locomotion and chemotaxis in Dictyostelium discoideum by tracking pseudopodium growth direction. Sci","volume":"7","author":"Eidi Zahra","year":"2017","journal-title":"Rep."},{"volume-title":"Adaptability of non-genetic diversity in bacterial chemotaxis. eLife 3","year":"2014","author":"Frankel Nicholas W.","key":"e_1_2_1_12_1"},{"key":"e_1_2_1_13_1","first-page":"138","article-title":"Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481)","volume":"4","author":"Gilbert David","year":"2015","journal-title":"Dagstuhl Reports"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.481811"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1889434"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1242\/jcs.071118"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0006814"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.0040001"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1505860"},{"key":"e_1_2_1_21_1","first-page":"4","article-title":"A power series expansion of the master equation","volume":"39","author":"van Kampen N. G.","year":"1961","journal-title":"Can. J. Phys."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.2307\/3211904"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1088\/1478-3975\/8\/4\/046006"},{"key":"e_1_2_1_24_1","first-page":"5","article-title":"Persistent cell motion in the absence of external signals: A search strategy for eukaryotic cells","volume":"3","author":"Li Liang","year":"2008","journal-title":"PLOS One"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0006-3495(87)83275-7"},{"volume-title":"Quantitative Evaluation of Systems","author":"Michaelides Michalis","key":"e_1_2_1_26_1"},{"volume-title":"Quantitative Evaluation of Systems","author":"Michaelides Michalis","key":"e_1_2_1_27_1"},{"key":"e_1_2_1_28_1","doi-asserted-by":"crossref","unstructured":"J. R. Norris. 1998. Markov Chains. Cambridge University Press.  J. R. Norris. 1998. Markov Chains. Cambridge University Press.","DOI":"10.1017\/CBO9780511810633"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btx095"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1545446"},{"volume-title":"Williams","year":"2006","author":"Rasmussen Carl Edward","key":"e_1_2_1_31_1"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0092-8674(81)90087-8"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1088\/1751-8121\/aa54d9"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1113706109"},{"volume-title":"Advances in Neural Information Processing Systems 18","author":"Snelson Edward","key":"e_1_2_1_35_1"},{"volume-title":"Berg","year":"2004","author":"Sourjik Victor","key":"e_1_2_1_36_1"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ceb.2011.11.008"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1000717"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1000242"}],"container-title":["ACM Transactions on Modeling and Computer Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3366023","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3366023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:08Z","timestamp":1750268948000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3366023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,31]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,10,31]]}},"alternative-id":["10.1145\/3366023"],"URL":"https:\/\/doi.org\/10.1145\/3366023","relation":{},"ISSN":["1049-3301","1558-1195"],"issn-type":[{"type":"print","value":"1049-3301"},{"type":"electronic","value":"1558-1195"}],"subject":[],"published":{"date-parts":[[2019,10,31]]},"assertion":[{"value":"2018-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-12-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}