{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:48:40Z","timestamp":1725886120297},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319581866"},{"type":"electronic","value":"9783319581873"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-58187-3_3","type":"book-chapter","created":{"date-parts":[[2017,4,27]],"date-time":"2017-04-27T11:10:58Z","timestamp":1493291458000},"page":"29-40","source":"Crossref","is-referenced-by-count":0,"title":["Real-Time Computability of Real Numbers by Chemical Reaction Networks"],"prefix":"10.1007","author":[{"given":"Xiang","family":"Huang","sequence":"first","affiliation":[]},{"given":"Titus H.","family":"Klinge","sequence":"additional","affiliation":[]},{"given":"James I.","family":"Lathrop","sequence":"additional","affiliation":[]},{"given":"Xiaoyuan","family":"Li","sequence":"additional","affiliation":[]},{"given":"Jack H.","family":"Lutz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,28]]},"reference":[{"key":"3_CR1","unstructured":"Bournez, O., Gra\u00e7a, D.S., Pouly, A.: Polynomial time corresponds to solutions of polynomial ordinary differential equations of polynomial length: the general purpose analog computer and computable analysis are two efficiently equivalent models of computations. In: Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, Leibniz International Proceedings in Informatics, vol. 55, pp. 109:1\u2013109:15. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2016)"},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/321941.321944","volume":"23","author":"RP Brent","year":"1976","unstructured":"Brent, R.P.: Fast multiple-precision evaluation of elementary functions. J. ACM (JACM) 23(2), 242\u2013251 (1976)","journal-title":"J. ACM (JACM)"},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0016-0032(31)90616-9","volume":"212","author":"V Bush","year":"1931","unstructured":"Bush, V.: The differential analyzer. A new machine for solving differential equations. J. Frankl. Inst. 212(4), 447\u2013488 (1931)","journal-title":"J. Frankl. Inst."},{"issue":"10","key":"3_CR4","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1038\/nnano.2013.189","volume":"8","author":"Y-J Chen","year":"2013","unstructured":"Chen, Y.-J., Dalchau, N., Srinivas, N., Phillips, A., Cardelli, L., Soloveichik, D., Seelig, G.: Programmable chemical controllers made from DNA. Nat. Nanotechnol. 8(10), 755\u2013762 (2013)","journal-title":"Nat. Nanotechnol."},{"key":"3_CR5","series-title":"Natural Computing Series","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-540-88869-7_27","volume-title":"Algorithmic Bioprocesses","author":"M Cook","year":"2009","unstructured":"Cook, M., Soloveichik, D., Winfree, E., Bruck, J.: Programmability of chemical reaction networks. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses. Natural Computing Series, pp. 543\u2013584. Springer, Heidelberg (2009)"},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/S0022-0000(70)80012-5","volume":"4","author":"PC Fischer","year":"1970","unstructured":"Fischer, P.C., Meyer, A.R., Rosenberg, A.L.: Time-restricted sequence generation. J. Comput. Syst. Sci. 4(1), 50\u201373 (1970)","journal-title":"J. Comput. Syst. Sci."},{"issue":"5","key":"3_CR7","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1016\/S0885-064X(03)00034-7","volume":"19","author":"DS Gra\u00e7a","year":"2003","unstructured":"Gra\u00e7a, D.S., Costa, J.F.: Analog computers and recursive functions over the reals. J. Complex. 19(5), 644\u2013664 (2003)","journal-title":"J. Complex."},{"issue":"2","key":"3_CR8","first-page":"67","volume":"626","author":"DS Gra\u00e7a","year":"2016","unstructured":"Gra\u00e7a, D.S., Pouly, A.: Computational complexity of solving polynomial differential equations over unbounded domains. Theoret. Comput. Sci. 626(2), 67\u201382 (2016)","journal-title":"Theoret. Comput. Sci."},{"issue":"4\u20135","key":"3_CR9","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1002\/malq.200310113","volume":"50","author":"DS Gra\u00e7a","year":"2004","unstructured":"Gra\u00e7a, D.S.: Some recent developments on Shannon\u2019s general purpose analog computer. Math. Logic Q. 50(4\u20135), 473\u2013485 (2004)","journal-title":"Math. Logic Q."},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-51237-3_10","volume-title":"Logic at Botik 1989","author":"Y Gurevich","year":"1989","unstructured":"Gurevich, Y., Shelah, S.: Nearly linear time. In: Meyer, A.R., Taitslin, M.A. (eds.) Logic at Botik 1989. LNCS, vol. 363, pp. 108\u2013118. Springer, Heidelberg (1989). doi: 10.1007\/3-540-51237-3_10"},{"key":"3_CR11","first-page":"363","volume":"30","author":"V H\u00e1rs","year":"1981","unstructured":"H\u00e1rs, V., T\u00f3th, J.: On the inverse problem of reaction kinetics. Qual. Theory Differ. Equ. 30, 363\u2013379 (1981)","journal-title":"Qual. Theory Differ. Equ."},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1090\/S0002-9947-1965-0170805-7","volume":"117","author":"J Hartmanis","year":"1965","unstructured":"Hartmanis, J., Stearns, R.E.: On the computational complexity of algorithms. Trans. Am. Math. Soc. 117, 285\u2013306 (1965)","journal-title":"Trans. Am. Math. Soc."},{"key":"3_CR13","volume-title":"Differential Equations, Dynamical Systems, and an Introduction to Chaos","author":"MW Hirsch","year":"2012","unstructured":"Hirsch, M.W., Smale, S., Devaney, R.L.: Differential Equations, Dynamical Systems, and an Introduction to Chaos. Academic Press, Cambridge (2012)"},{"key":"3_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6802-1","volume-title":"Complexity Theory of Real Functions","author":"K-I Ko","year":"1991","unstructured":"Ko, K.-I.: Complexity Theory of Real Functions. Birkh\u00e4user, Basel (1991)"},{"issue":"2","key":"3_CR15","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1090\/S0002-9939-1987-0870803-1","volume":"99","author":"L Lipshitz","year":"1987","unstructured":"Lipshitz, L., Rubel, L.A.: A differentially algebraic replacement theorem, and analog computability. Proc. Am. Math. Soc. 99(2), 367\u2013372 (1987)","journal-title":"Proc. Am. Math. Soc."},{"key":"3_CR16","unstructured":"Lipton, R.J.: Why the Hartmanis-Stearns conjecture is still open (2012). Blog post. https:\/\/rjlipton.wordpress.com\/2012\/06\/15\/why-the-hartmanis-stearns-conjecture-is-still-open\/ . Accessed 3 Feb 2017"},{"issue":"6","key":"3_CR17","doi-asserted-by":"publisher","first-page":"1190","DOI":"10.1103\/PhysRevLett.78.1190","volume":"78","author":"MO Magnasco","year":"1997","unstructured":"Magnasco, M.O.: Chemical kinetics is Turing universal. Phys. Rev. Lett. 78(6), 1190\u20131193 (1997)","journal-title":"Phys. Rev. Lett."},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0002-9947-1974-0347575-8","volume":"199","author":"BM Pour-el","year":"1974","unstructured":"Pour-el, B.M.: Abstract computability and its relations to the general purpose analog computer. Trans. Am. Math. Soc. 199, 1\u201328 (1974)","journal-title":"Trans. Am. Math. Soc."},{"key":"3_CR19","unstructured":"Pouly, A.: Continuous models of computation: from computability to complexity. Ph.D. thesis, \u00c9cole Polytechnique et Universidad do Algarve (2015)"},{"issue":"1\u20134","key":"3_CR20","first-page":"337","volume":"20","author":"CE Shannon","year":"1941","unstructured":"Shannon, C.E.: Mathematical theory of the differential analyzer. Stud. Appl. Math. 20(1\u20134), 337\u2013354 (1941)","journal-title":"Stud. Appl. Math."},{"issue":"12","key":"3_CR21","doi-asserted-by":"publisher","first-page":"5393","DOI":"10.1073\/pnas.0909380107","volume":"107","author":"D Soloveichik","year":"2010","unstructured":"Soloveichik, D., Seelig, G., Winfree, E.: DNA as a universal substrate for chemical kinetics. Proc. Nat. Acad. Sci. 107(12), 5393\u20135398 (2010)","journal-title":"Proc. Nat. Acad. Sci."},{"key":"3_CR22","series-title":"Graduate Studies in Mathematics","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/140","volume-title":"Ordinary Differential Equations and Dynamical Systems","author":"G Teschl","year":"2012","unstructured":"Teschl, G.: Ordinary Differential Equations and Dynamical Systems. Graduate Studies in Mathematics, vol. 140. American Mathematical Society, Providence (2012)"},{"issue":"1","key":"3_CR23","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"42","author":"AM Turing","year":"1936","unstructured":"Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. 42(1), 230\u2013265 (1936)","journal-title":"Proc. Lond. Math. Soc."},{"issue":"2","key":"3_CR24","first-page":"544","volume":"43","author":"AM Turing","year":"1937","unstructured":"Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. A correction. Proc. Lond. Math. Soc. 43(2), 544\u2013546 (1937)","journal-title":"Proc. Lond. Math. Soc."},{"key":"3_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis: An Introduction","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis: An Introduction. Springer, Heidelberg (2000)"},{"key":"3_CR26","unstructured":"Weyl, H.: Philosophie der Mathematik und Naturwissenschaft: Nach der 2. Walter de Gruyter GmbH & Co KG (1927). Philosophy of Mathematics and Natural Science, Princeton University Press; with a new introduction by Frank Wilczek (2009)"}],"container-title":["Lecture Notes in Computer Science","Unconventional Computation and Natural Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58187-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,22]],"date-time":"2019-09-22T01:02:39Z","timestamp":1569114159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-58187-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319581866","9783319581873"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58187-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}