{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:46:33Z","timestamp":1725749193884},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407079"},{"type":"electronic","value":"9783642407086"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40708-6_3","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T05:37:00Z","timestamp":1379482620000},"page":"19-32","source":"Crossref","is-referenced-by-count":7,"title":["An Approximate Execution of Rule-Based Multi-level Models"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Helms","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Luboschik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heidrun","family":"Schumann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adelinde M.","family":"Uhrmacher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Cao, Y., Gillespie, D.T., Petzold, L.R.: Avoiding negative populations in explicit Poisson tau-leaping. The Journal of Chemical Physics\u00a0123(5) (2005)","DOI":"10.1063\/1.1992473"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"14116","DOI":"10.1063\/1.1824902","volume":"122","author":"Y. Cao","year":"2005","unstructured":"Cao, Y., Gillespie, D.T., Petzold, L.R.: The slow-scale stochastic simulation algorithm. The Journal of Chemical Physics\u00a0122(1), 014116 (2005)","journal-title":"The Journal of Chemical Physics"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Cao, Y., Gillespie, D.T., Petzold, L.R.: Efficient step size selection for the tau-leaping simulation method. The Journal of Chemical Physics\u00a0124(4) (2006)","DOI":"10.1063\/1.2159468"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/11963516_19","volume-title":"Membrane Computing","author":"P. Cazzaniga","year":"2006","unstructured":"Cazzaniga, P., Pescini, D., Besozzi, D., Mauri, G.: Tau Leaping Stochastic Simulation Method in P Systems. In: Hoogeboom, H.J., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol.\u00a04361, pp. 298\u2013313. Springer, Heidelberg (2006)"},{"issue":"3","key":"3_CR5","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1093\/bib\/bbq006","volume":"11","author":"L. Dematt\u00e9","year":"2010","unstructured":"Dematt\u00e9, L., Prandi, D.: GPU computing for systems biology. Briefings in Bioinformatics\u00a011(3), 323\u2013333 (2010)","journal-title":"Briefings in Bioinformatics"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Faeder, J.R.: Toward a comprehensive language for biological systems. BMC Systems Biology\u00a09(68) (2011)","DOI":"10.1186\/1741-7007-9-68"},{"issue":"9","key":"3_CR7","doi-asserted-by":"publisher","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"104","author":"M.A. Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels. The Journal of Chemical Physics\u00a0104(9), 1876\u20131889 (2000)","journal-title":"The Journal of Chemical Physics"},{"issue":"25","key":"3_CR8","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"issue":"4","key":"3_CR9","doi-asserted-by":"publisher","first-page":"1716","DOI":"10.1063\/1.1378322","volume":"115","author":"D.T. Gillespie","year":"2001","unstructured":"Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting system. The Journal of Chemical Physics\u00a0115(4), 1716\u20131733 (2001)","journal-title":"The Journal of Chemical Physics"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Haack, F., Burrage, K., Redmer, R., Uhrmacher, A.M.: Studying the role of lipid rafts on protein receptor bindings with Cellular Automata. IEEE\/ACM Transactions on Computational Biology and Bioinformatics (accepted for publication, 2013)","DOI":"10.1109\/TCBB.2013.40"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Harris, L.A., Clancy, P.: A \u201cpartitioned leaping\u201d approach for multiscale modeling of chemical reaction dynamics. The Journal of Chem. Physics\u00a0125(14) (2006)","DOI":"10.1063\/1.2354085"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Helms, T., Ewald, R., Rybacki, S., Uhrmacher, A.M.: A Generic Adaptive Simulation Algorithm for Component-based Simulation Systems. In: Proc. 27th Workshop on Principles of Adv. and Dist. Simulation, PADS 2013 (2013)","DOI":"10.1145\/2486092.2486095"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-04420-5_2","volume-title":"Reachability Problems","author":"T.A. Henzinger","year":"2009","unstructured":"Henzinger, T.A., Jobstmann, B., Wolf, V.: Formalisms for Specifying Markovian Population Models. In: Bournez, O., Potapov, I. (eds.) RP 2009. LNCS, vol.\u00a05797, pp. 3\u201323. Springer, Heidelberg (2009)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Himmelspach, J., Uhrmacher, A.M.: Plug\u2019n simulate. In: Proc. 40th Annual Simulation Symposium (ANSS 2007), pp. 137\u2013143 (2007)","DOI":"10.1109\/ANSS.2007.34"},{"key":"3_CR15","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-88562-7_17","volume-title":"Computational Methods in Systems Biology","author":"M. Jeschke","year":"2008","unstructured":"Jeschke, M., Ewald, R.: Large-Scale Design Space Exploration of SSA. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 211\u2013230. Springer, Heidelberg (2008)"},{"issue":"7","key":"3_CR16","doi-asserted-by":"publisher","first-page":"2562","DOI":"10.1016\/j.jcp.2010.12.030","volume":"230","author":"M. Jeschke","year":"2011","unstructured":"Jeschke, M., Ewald, R., Uhrmacher, A.M.: Exploring the Performance of Spatial Stochastic Simulation Algorithms. The Journal of Computational Physics\u00a0230(7), 2562\u20132574 (2011)","journal-title":"The Journal of Computational Physics"},{"key":"3_CR17","unstructured":"Li, H., Petzold, L.: Logarithmic Direct Method for Discrete Stochastic Simulation of Chemically Reacting Systems. Technical report, Department of Computer Science, University of California: Santa Barbara (2006)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Luboschik, M., Rybacki, S., Ewald, R., Schwarze, B., Schumann, H., Uhrmacher, A.M.: Interactive Visual Exploration of Simulator Accuracy: A Case Study for Stochastic Simulation Algorithms. In: Proc. 44th Winter Simulation Conference, WSC 2012 (2012)","DOI":"10.1109\/WSC.2012.6465190"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Marquez-Lago, T.T., Burrage, K.: Binomial tau-leap spatial stochastic simulation algorithm for applications in chemical kinetics. The Journal of Chemical Physics\u00a0127(10) (2007)","DOI":"10.1063\/1.2771548"},{"key":"3_CR20","unstructured":"Maus, C.: Toward Accessible Multilevel Modeling in Systems Biology - A Rule-based Language Concept. PhD thesis, University of Rostock, Germany (2013)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Maus, C., Rybacki, S., Uhrmacher, A.M.: Rule-based multi-level modeling of cell biological systems. BMC Systems Biology\u00a05(166) (2011)","DOI":"10.1186\/1752-0509-5-166"},{"issue":"8","key":"3_CR22","doi-asserted-by":"publisher","first-page":"42792","DOI":"10.1371\/journal.pone.0042792","volume":"7","author":"O. Mazemondet","year":"2012","unstructured":"Mazemondet, O., John, M., Leye, S., Rolfs, A., Uhrmacher, A.M.: Elucidating the Sources of \u03b2-Catenin Dynamics in Human Neural Progenitor Cells. PLoS ONE\u00a07(8), e42792 (2012)","journal-title":"PLoS ONE"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Sandmann, W.: Streamlined formulation of adaptive explicit-implicit tau-leaping with automatic tau selection. In: Proc. 41st Winder Simulation Conference (WSC 2009), pp. 1104\u20131112 (2009)","DOI":"10.1109\/WSC.2009.5429309"},{"key":"3_CR24","unstructured":"Sheskin, D.J.: Handbook of Parametric and Nonparametric Statistical Procedures, 4th edn. Chapman & Hall\/CRC (2007)"},{"issue":"21","key":"3_CR25","doi-asserted-by":"publisher","first-page":"10356","DOI":"10.1063\/1.1810475","volume":"121","author":"T. Tian","year":"2004","unstructured":"Tian, T., Burrage, K.: Binomial leap methods for simulating stochastic chemical kinetics. The Journal of Chemical Physics\u00a0121(21), 10356\u201310364 (2004)","journal-title":"The Journal of Chemical Physics"}],"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-642-40708-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:11:13Z","timestamp":1558077073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40708-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407079","9783642407086"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40708-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}