{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:08Z","timestamp":1725511988103},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714927"},{"type":"electronic","value":"9783540714934"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71493-4_78","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:33:57Z","timestamp":1180560837000},"page":"758-761","source":"Crossref","is-referenced-by-count":5,"title":["Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Derek","family":"Riley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xenofon","family":"Koutsoukos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kasandra","family":"Riley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"78_CR1","unstructured":"ACCRE computing cluster, \n                    \n                      http:\/\/www.accre.vanderbilt.edu"},{"key":"78_CR2","unstructured":"Barbuti, R., et al.: An Alternative to Gillespie\u2019s Algorithm for Simulating Chemical Reactions. In: Computational Methods in Systems Biology 2005, Edinburgh (2005)"},{"key":"78_CR3","volume-title":"Parallel and Distributed Computation: Numerical Methods","author":"D. Bertsekas","year":"1989","unstructured":"Bertsekas, D., Tsitsiklis, J.: Parallel and Distributed Computation: Numerical Methods. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"78_CR4","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1049\/sb:20045019","volume":"1","author":"R. Ghosh","year":"2004","unstructured":"Ghosh, R., Tomlin, C.: Symbolic Reachable Set Computation of Piecewise Affine Hybrid Automata and its Application to Biological Modeling: Delta-Notch Protein Signalling. Systems Biology\u00a01, 170\u2013183 (2004)","journal-title":"Systems Biology"},{"key":"78_CR5","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D. Gillespie","year":"1976","unstructured":"Gillespie, D.: A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions. J. Comp. Phys.\u00a022, 403\u2013434 (1976)","journal-title":"J. Comp. Phys."},{"key":"78_CR6","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1002\/rnc.1017","volume":"15","author":"J. Hespanha","year":"2005","unstructured":"Hespanha, J., Singh, A.: Stochastic Models for Chemically Reacting Systems Using Polynomial Stochastic Hybrid Systems. Int. J. on Robust Control, Special Issue on Control at Small Scales\u00a015, 669\u2013689 (2005)","journal-title":"Int. J. on Robust Control"},{"key":"78_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/11730637_29","volume-title":"Hybrid Systems: Computation and Control","author":"X. Koutsoukos","year":"2006","unstructured":"Koutsoukos, X., Riley, D.: Computational Methods for Reachability Analysis of Stochastic Hybrid Systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 377\u2013391. Springer, Heidelberg (2006)"},{"key":"78_CR8","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1006\/abbi.1997.9882","volume":"340","author":"I. Marini","year":"1997","unstructured":"Marini, I., et al.: Sorbitol Dehydrogenase from Bovine Lens: Purification and Properties. Archives of Biochemistry and Biophysics\u00a0340, 383\u2013391 (1997)","journal-title":"Archives of Biochemistry and Biophysics"},{"key":"78_CR9","unstructured":"Riley, D., Koutsoukos, X., Riley, K.: Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems. ISIS Technical Report ISIS-06-708"},{"key":"78_CR10","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1063\/1.1835951","volume":"122","author":"H. Salis","year":"2005","unstructured":"Salis, H., Kaznessis, Y.: Accurate hybrid stochastic simulation of a system of coupled chemical or biochemical reactions. The Journal of Chemical Physics\u00a0122, 54\u2013103 (2005)","journal-title":"The Journal of Chemical Physics"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71493-4_78","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:24:19Z","timestamp":1558272259000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71493-4_78"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540714927","9783540714934"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71493-4_78","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}