{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:13:17Z","timestamp":1726409597777},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319451763"},{"type":"electronic","value":"9783319451770"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45177-0_4","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T05:42:38Z","timestamp":1472881358000},"page":"49-66","source":"Crossref","is-referenced-by-count":0,"title":["Matching Models Across Abstraction Levels with Gaussian Processes"],"prefix":"10.1007","author":[{"given":"Giulio","family":"Caravagna","sequence":"first","affiliation":[]},{"given":"Luca","family":"Bortolussi","sequence":"additional","affiliation":[]},{"given":"Guido","family":"Sanguinetti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"issue":"86","key":"4_CR1","doi-asserted-by":"crossref","first-page":"20130438","DOI":"10.1098\/rsif.2013.0438","volume":"10","author":"S Aitken","year":"2013","unstructured":"Aitken, S., Alexander, R.D., Beggs, J.D.: A rule-based kinetic model of rna polymerase ii c-terminal domain phosphorylation. J Roy. Soc. Interface 10(86), 20130438 (2013)","journal-title":"J Roy. Soc. Interface"},{"issue":"1","key":"4_CR2","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R Alur","year":"1996","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43(1), 116\u2013146 (1996)","journal-title":"J. ACM"},{"key":"4_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511804779","volume-title":"Bayesian Reasoning and Machine Learning","author":"D Barber","year":"2012","unstructured":"Barber, D.: Bayesian Reasoning and Machine Learning. Cambridge University Press, Cambridge (2012)"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/j.ic.2016.01.004","volume":"247","author":"L Bortolussi","year":"2016","unstructured":"Bortolussi, L., Milios, D., Sanguinetti, G.: Smoothed model checking for uncertain continuous-time markov chains. Inf. Comput. 247, 235\u2013253 (2016)","journal-title":"Inf. Comput."},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-3-642-40196-1_7","volume-title":"Quantitative Evaluation of Systems","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Sanguinetti, G.: Learning and designing stochastic processes from logical constraints. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 89\u2013105. Springer, Heidelberg (2013)"},{"key":"4_CR6","unstructured":"Caravagna, G.: Formal modeling and simulation of biological systems with delays. Ph.D. thesis, University of Pisa (2011)"},{"key":"4_CR7","volume-title":"Statistics for Spatio-Temporal Data","author":"N Cressie","year":"2015","unstructured":"Cressie, N., Wikle, C.K.: Statistics for Spatio-Temporal Data. Wiley, New York (2015)"},{"issue":"4","key":"4_CR8","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1093\/bioinformatics\/18.4.576","volume":"18","author":"DC Hoyle","year":"2002","unstructured":"Hoyle, D.C., Rattray, M., Jupp, R., Brass, A.: Making sense of microarray data distributions. Bioinformatics 18(4), 576\u2013584 (2002)","journal-title":"Bioinformatics"},{"issue":"3","key":"4_CR9","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1111\/1467-9868.00294","volume":"63","author":"MC Kennedy","year":"2001","unstructured":"Kennedy, M.C., O\u2019Hagan, A.: Bayesian calibration of computer models. J. Roy. Stat. Soc.: Ser. B (Stat. Methodol.) 63(3), 425\u2013464 (2001)","journal-title":"J. Roy. Stat. Soc.: Ser. B (Stat. Methodol.)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Lawrence, N.D., Sanguinetti, G., Rattray, M.: Modelling transcriptional regulation using gaussian processes. In: Advances in Neural Information Processing Systems, pp. 785\u2013792 (2006)","DOI":"10.7551\/mitpress\/7503.003.0103"},{"issue":"5560","key":"4_CR11","doi-asserted-by":"crossref","first-page":"1678","DOI":"10.1126\/science.1069881","volume":"295","author":"D Noble","year":"2002","unstructured":"Noble, D.: Modeling the heart-from genes to cells to the whole organ. Science 295(5560), 1678\u20131682 (2002)","journal-title":"Science"},{"key":"4_CR12","volume-title":"Gaussian Processes for Machine Learning","author":"CE Rasmussen","year":"2006","unstructured":"Rasmussen, C.E., Williams, C.K.I.: Gaussian Processes for Machine Learning. MIT Press, Cambridge (2006)"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45177-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,19]],"date-time":"2023-08-19T23:23:48Z","timestamp":1692487428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45177-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319451763","9783319451770"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45177-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}