{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T14:23:06Z","timestamp":1776003786838,"version":"3.50.1"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030603267","type":"print"},{"value":"9783030603274","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-60327-4_14","type":"book-chapter","created":{"date-parts":[[2020,9,30]],"date-time":"2020-09-30T22:38:31Z","timestamp":1601505511000},"page":"255-279","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["ABC(SMC)$$^2$$: Simultaneous Inference and Model Checking of Chemical Reaction Networks"],"prefix":"10.1007","author":[{"given":"Gareth W.","family":"Molyneux","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,29]]},"reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269\u2013276. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61474-5_75"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-030-31304-3_11","volume-title":"Computational Methods in Systems Biology","author":"M Bentriou","year":"2019","unstructured":"Bentriou, M., Ballarini, P., Courn\u00e8de, P.-H.: Reachability design through approximate Bayesian computation. In: Bortolussi, L., Sanguinetti, G. (eds.) CMSB 2019. LNCS, vol. 11773, pp. 207\u2013223. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31304-3_11"},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1214\/14-BA891","volume":"10","author":"FV Bonassi","year":"2015","unstructured":"Bonassi, F.V., West, M., et al.: Sequential Monte Carlo with adaptive weights for approximate Bayesian computation. Bayesian Anal. 10(1), 171\u2013187 (2015)","journal-title":"Bayesian Anal."},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/s11222-016-9640-7","volume":"27","author":"L Bornn","year":"2017","unstructured":"Bornn, L., Pillai, N.S., Smith, A., Woodard, D.: The use of a single pseudo-sample in approximate Bayesian computation. Stat. Comput. 27(3), 583\u2013590 (2017)","journal-title":"Stat. Comput."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Milios, D., Sanguinetti, G.: Smoothed model checking for uncertain continuous-time Markov chains. Inf. Comput. 247(C), 235\u2013253 (2016)","DOI":"10.1016\/j.ic.2016.01.004"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-99429-1_2","volume-title":"Computational Methods in Systems Biology","author":"L Bortolussi","year":"2018","unstructured":"Bortolussi, L., Palmieri, L.: Deep abstractions of chemical reaction networks. In: \u010ce\u0161ka, M., \u0160afr\u00e1nek, D. (eds.) CMSB 2018. LNCS, vol. 11095, pp. 21\u201338. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99429-1_2"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1007\/978-3-642-40196-1_7"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-319-89963-3_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Bortolussi","year":"2018","unstructured":"Bortolussi, L., Silvetti, S.: Bayesian statistical parameter synthesis for linear temporal properties of\u00a0stochastic models. In: Beyer, D., Huisman, M. (eds.) TACAS 2018. LNCS, vol. 10806, pp. 396\u2013413. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89963-3_23"},{"key":"14_CR9","unstructured":"Box, G., Tiao, G.: Bayesian Inference in Statistical Analysis. Wiley Classics Library, Wiley (1973)"},{"key":"14_CR10","doi-asserted-by":"publisher","DOI":"10.1201\/9781315303598","volume-title":"Bayesian Inference for Stochastic Processes","author":"L Broemeling","year":"2017","unstructured":"Broemeling, L.: Bayesian Inference for Stochastic Processes. CRC Press, Cambridge (2017)"},{"issue":"6","key":"14_CR11","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s00236-016-0265-2","volume":"54","author":"M Ceska","year":"2014","unstructured":"Ceska, M., Dannenberg, F., Paoletti, N., Kwiatkowska, M., Brim, L.: Precise parameter synthesis for stochastic biochemical systems. Acta Inf. 54(6), 589\u2013623 (2014)","journal-title":"Acta Inf."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Ceska, M., Pilar, P., Paoletti, N., Brim, L., Kwiatkowska, M.Z.: PRISM-PSY: precise GPU-accelerated parameter synthesis for stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, 2\u20138 April 2016, Proceedings. pp. 367\u2013384 (2016)","DOI":"10.1007\/978-3-662-49674-9_21"},{"issue":"4","key":"14_CR13","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1214\/aoms\/1177729330","volume":"23","author":"H Chernoff","year":"1952","unstructured":"Chernoff, H., et al.: A measure of asymptotic efficiency for tests of a hypothesis based on the sum of observations. Ann. Math. Stat. 23(4), 493\u2013507 (1952)","journal-title":"Ann. Math. Stat."},{"issue":"3","key":"14_CR14","first-page":"273","volume":"20","author":"C Cortes","year":"1995","unstructured":"Cortes, C., Vapnik, V.: Support-vector networks. Mach. Learn. 20(3), 273\u2013297 (1995)","journal-title":"Mach. Learn."},{"issue":"5","key":"14_CR15","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.1007\/s11222-011-9271-y","volume":"22","author":"P Del Moral","year":"2012","unstructured":"Del Moral, P., Doucet, A., Jasra, A.: An adaptive sequential Monte Carlo method for approximate Bayesian computation. Stat. Comput. 22(5), 1009\u20131020 (2012)","journal-title":"Stat. Comput."},{"key":"14_CR16","unstructured":"Filippi, S., Barnes, C.P., Cornebise, J., Stumpf, M.P.: On optimality of kernels for approximate Bayesian computation using sequential Monte Carlo. Stat. Appl. Genetics Molecular Biol. 12(1), 87\u2013107 (2013)"},{"key":"14_CR17","unstructured":"Gardiner, C.: Stochastic Methods: A Handbook for the Natural and Social Sciences, 4 edn, vol. 13, Springer, Heidelberg (2009)"},{"issue":"25","key":"14_CR18","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"1","key":"14_CR19","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1016\/0378-4371(92)90283-V","volume":"188","author":"DT Gillespie","year":"1992","unstructured":"Gillespie, D.T.: A rigorous derivation of the chemical master equation. Phys. A: Stat. Mech. Appl. 188(1), 404\u2013425 (1992)","journal-title":"Phys. A: Stat. Mech. Appl."},{"issue":"4","key":"14_CR20","doi-asserted-by":"publisher","first-page":"1716","DOI":"10.1063\/1.1378322","volume":"115","author":"DT Gillespie","year":"2001","unstructured":"Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. J. Chem. Phys. 115(4), 1716\u20131733 (2001)","journal-title":"J. Chem. Phys."},{"key":"14_CR21","first-page":"2000","volume":"297","author":"DT Gillespie","year":"2000","unstructured":"Gillespie, D.T., Gillespie, D.T.: The chemical Langevin equation. J. Chem. Phys. 297, 2000 (2000)","journal-title":"J. Chem. Phys."},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.automatica.2017.01.037","volume":"79","author":"S Haesaert","year":"2017","unstructured":"Haesaert, S., Van den Hof, P.M., Abate, A.: Data-driven and model-based verification via Bayesian identification and reachability analysis. Automatica 79, 115\u2013126 (2017)","journal-title":"Automatica"},{"issue":"2","key":"14_CR23","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1137\/060666457","volume":"50","author":"DJ Higham","year":"2008","unstructured":"Higham, D.J.: Modeling and simulating chemical reactions. SIAM Rev. 50(2), 347\u2013368 (2008)","journal-title":"SIAM Rev."},{"issue":"2","key":"14_CR24","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.cels.2016.12.002","volume":"4","author":"N Jagiella","year":"2017","unstructured":"Jagiella, N., Rickert, D., Theis, F.J., Hasenauer, J.: Parallelization and high-performance computing enables automated statistical inference of multi-scale models. Cell Syst. 4(2), 194\u2013206 (2017)","journal-title":"Cell Syst."},{"key":"14_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-319-66335-7_23","volume-title":"Quantitative Evaluation of Systems","author":"C Jegourel","year":"2017","unstructured":"Jegourel, C., Sun, J., Dong, J.S.: Sequential schemes for frequentist estimation of properties in statistical model checking. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 333\u2013350. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66335-7_23"},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-030-03421-4_19","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Verification","author":"C Jegourel","year":"2018","unstructured":"Jegourel, C., Sun, J., Dong, J.S.: On the sequential Massart algorithm for statistical model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11245, pp. 287\u2013304. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03421-4_19"},{"key":"14_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"SK Jha","year":"2009","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A Bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 218\u2013234. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03845-7_15"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Karlin, S., Taylor, H., Taylor, H., Taylor, H., Collection, K.M.R.: A First Course in Stochastic Processes. No. vol. 1, Elsevier Science (1975)","DOI":"10.1016\/B978-0-08-057041-9.50005-2"},{"issue":"772","key":"14_CR29","first-page":"700","volume":"115","author":"W Kermack","year":"1927","unstructured":"Kermack, W.: A contribution to the mathematical theory of epidemics. Proc. Royal Soc. London A: Math. Phys. Eng. Sci. 115(772), 700\u2013721 (1927)","journal-title":"Proc. Royal Soc. London A: Math. Phys. Eng. Sci."},{"issue":"4","key":"14_CR30","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1016\/j.copbio.2013.03.012","volume":"24","author":"P Kirk","year":"2013","unstructured":"Kirk, P., Thorne, T., Stumpf, M.P.: Model selection in systems and synthetic biology. Current Opinion Biotechnol. 24(4), 767\u2013774 (2013)","journal-title":"Current Opinion Biotechnol."},{"key":"14_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220\u2013270. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72522-0_6"},{"key":"14_CR32","unstructured":"Kwiatkowska, M., Thachuk, C.: Probabilistic model checking for biology. In: Software Safety and Security. NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press (2014)"},{"key":"14_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16612-9_11"},{"key":"14_CR34","doi-asserted-by":"crossref","unstructured":"Massart, P.: The tight constant in the Dvoretzky-Kiefer-Wolfowitz inequality. The annals of Probability pp. 1269\u20131283 (1990)","DOI":"10.1214\/aop\/1176990746"},{"issue":"247","key":"14_CR35","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1080\/01621459.1949.10483310","volume":"44","author":"N Metropolis","year":"1949","unstructured":"Metropolis, N., Ulam, S.: The Monte Carlo method. J. Am. Stat. Assoc. 44(247), 335\u2013341 (1949)","journal-title":"J. Am. Stat. Assoc."},{"key":"14_CR36","doi-asserted-by":"crossref","unstructured":"Molyneux, G.W., Wijesuriya, V.B., Abate, A.: Bayesian verification of chemical reaction networks. In: Sekerinski, E., et al. (eds.) Formal Methods. FM 2019 International Workshops. LNCS, vol. 12233, pp. 461\u2013479. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-54997-8_29"},{"issue":"1","key":"14_CR37","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF02883985","volume":"10","author":"M Okamoto","year":"1959","unstructured":"Okamoto, M.: Some inequalities relating to the partial sum of binomial probabilities. Ann. Inst. Stat. Math. 10(1), 29\u201335 (1959)","journal-title":"Ann. Inst. Stat. Math."},{"key":"14_CR38","doi-asserted-by":"crossref","unstructured":"Polgreen, E., Wijesuriya, V.B., Haesaert, S., Abate, A.: Data-efficient Bayesian verification of parametric Markov chains. In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, 23\u201325 August 2016, Proceedings. pp. 35\u201351 (2016)","DOI":"10.1007\/978-3-319-43425-4_3"},{"key":"14_CR39","doi-asserted-by":"crossref","unstructured":"Polgreen, E., Wijesuriya, V.B., Haesaert, S., Abate, A.: Automated experiment design for data-efficient verification of parametric Markov decision processes. In: Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, 5\u20137 September 2017, Proceedings. pp. 259\u2013274 (2017)","DOI":"10.1007\/978-3-319-66335-7_16"},{"key":"14_CR40","unstructured":"Prangle, D.: Summary statistics in approximate Bayesian computation. arXiv preprint arXiv:1512.05633 (2015)"},{"issue":"1","key":"14_CR41","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1214\/16-BA1002","volume":"12","author":"D Prangle","year":"2017","unstructured":"Prangle, D., et al.: Adapting the ABC distance function. Bayesian Anal. 12(1), 289\u2013309 (2017)","journal-title":"Bayesian Anal."},{"issue":"9","key":"14_CR42","doi-asserted-by":"publisher","first-page":"093001","DOI":"10.1088\/1751-8121\/aa54d9","volume":"50","author":"D Schnoerr","year":"2017","unstructured":"Schnoerr, D., Sanguinetti, G., Grima, R.: Approximation and inference methods for stochastic biochemical kinetics: a tutorial review. J. Phys. A: Math. Theor. 50(9), 093001 (2017)","journal-title":"J. Phys. A: Math. Theor."},{"key":"14_CR43","doi-asserted-by":"crossref","unstructured":"Sisson, S., Fan, Y., Beaumont, M.: Overview of abc. Handbook of Approximate Bayesian Computation pp. 3\u201354 (2018)","DOI":"10.1201\/9781315117195-1"},{"key":"14_CR44","doi-asserted-by":"crossref","unstructured":"Sisson, S.A., Fan, Y., Beaumont, M.: Handbook of Approximate Bayesian Computation. Chapman and Hall\/CRC, Cambridge (2018)","DOI":"10.1201\/9781315117195"},{"issue":"3","key":"14_CR45","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/B:STCO.0000035301.49549.88","volume":"14","author":"AJ Smola","year":"2004","unstructured":"Smola, A.J., Sch\u00f6lkopf, B.: A tutorial on support vector regression. Stat. Comput. 14(3), 199\u2013222 (2004)","journal-title":"Stat. Comput."},{"issue":"1","key":"14_CR46","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1093\/bioinformatics\/btp619","volume":"26","author":"T Toni","year":"2010","unstructured":"Toni, T., Stumpf, M.P.: Simulation-based model selection for dynamical systems in systems and population biology. Bioinformatics 26(1), 104\u2013110 (2010)","journal-title":"Bioinformatics"},{"issue":"31","key":"14_CR47","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1098\/rsif.2008.0172","volume":"6","author":"T Toni","year":"2008","unstructured":"Toni, T., Welch, D., Strelkowa, N., Ipsen, A., Stumpf, M.P.: Approximate Bayesian computation scheme for parameter inference and model selection in dynamical systems. J. Royal Soc. Interface 6(31), 187\u2013202 (2008)","journal-title":"J. Royal Soc. Interface"},{"issue":"151","key":"14_CR48","doi-asserted-by":"publisher","first-page":"20180943","DOI":"10.1098\/rsif.2018.0943","volume":"16","author":"DJ Warne","year":"2019","unstructured":"Warne, D.J., Baker, R.E., Simpson, M.J.: Simulation and inference algorithms for stochastic biochemical reaction networks: from basic concepts to state-of-the-art. J. Royal Soc. Interface 16(151), 20180943 (2019)","journal-title":"J. Royal Soc. Interface"},{"key":"14_CR49","unstructured":"Wilkinson, D.: Stochastic Modelling for Systems Biology, Second Edition. Chapman & Hall\/CRC Mathematical and Computational Biology, Taylor & Francis (2011)"},{"issue":"6","key":"14_CR50","doi-asserted-by":"publisher","first-page":"874","DOI":"10.1093\/bioinformatics\/btr015","volume":"27","author":"Y Zhou","year":"2011","unstructured":"Zhou, Y., Liepe, J., Sheng, X., Stumpf, M.P., Barnes, C.: GPU accelerated biochemical network simulation. Bioinformatics 27(6), 874\u2013876 (2011)","journal-title":"Bioinformatics"},{"issue":"4","key":"14_CR51","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/s10009-014-0343-0","volume":"17","author":"P Zuliani","year":"2015","unstructured":"Zuliani, P.: Statistical model checking for biological applications. Int. J. Softw. Tools Technol. Transfer 17(4), 527\u2013536 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transfer"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-60327-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T12:32:19Z","timestamp":1619267539000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-60327-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030603267","9783030603274"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-60327-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"29 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Konstanz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb2020.uni-saarland.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"73% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}