{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:48:38Z","timestamp":1725886118472},"publisher-location":"Cham","reference-count":30,"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_1","type":"book-chapter","created":{"date-parts":[[2017,4,27]],"date-time":"2017-04-27T15:10:58Z","timestamp":1493305858000},"page":"3-7","source":"Crossref","is-referenced-by-count":0,"title":["The Power of Analogue-Digital Machines"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 F\u00e9lix","family":"Costa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,28]]},"reference":[{"key":"1_CR1","series-title":"Emergence, Complexity and Computation","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-33924-5_4","volume-title":"Advances in Unconventional Computing","author":"T Ambaram","year":"2017","unstructured":"Ambaram, T., Beggs, E., Costa, J.F., Po\u00e7as, D., Tucker, J.V.: An analogue-digital model of computation: turing machines with physical oracles. In: Adamatzky, A. (ed.) Advances in Unconventional Computing. ECC, vol. 22, pp. 73\u2013115. Springer, Cham (2017). doi: 10.1007\/978-3-319-33924-5_4"},{"key":"1_CR2","series-title":"Emergence, Complexity and Computation","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-319-46376-6_3","volume-title":"Emergent Computation","author":"E Beggs","year":"2017","unstructured":"Beggs, E., Cortez, P., Costa, J.F., Tucker, J.V.: A hierarchy for $$ BPP \/\/\\log \\!\\star $$ based on counting calls to an oracle. In: Adamatzky, A. (ed.) Emergent Computation. ECC, vol. 24, pp. 39\u201356. Springer, Cham (2017). doi: 10.1007\/978-3-319-46376-6_3"},{"key":"1_CR3","unstructured":"Beggs, E., Cortez, P., Costa, J.F., Tucker, J.V.: Classifying the computational power of stochastic physical oracles (2017, submitted)"},{"issue":"6","key":"1_CR4","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1093\/logcom\/ext047","volume":"23","author":"E Beggs","year":"2013","unstructured":"Beggs, E., Costa, J.F., Po\u00e7as, D., Tucker, J.V.: Oracles that measure thresholds: the Turing machine and the broken balance. J. Log. Comput. 23(6), 1155\u20131181 (2013)","journal-title":"J. Log. Comput."},{"issue":"2098","key":"1_CR5","doi-asserted-by":"publisher","first-page":"2777","DOI":"10.1098\/rspa.2008.0085","volume":"464","author":"E Beggs","year":"2008","unstructured":"Beggs, E., Costa, J.F., Loff, B., Tucker, J.V.: Computational complexity with experiments as oracles. Proc. Roy. Soc. Ser. A (Math. Phys. Eng. Sci.) 464(2098), 2777\u20132801 (2008)","journal-title":"Proc. Roy. Soc. Ser. A (Math. Phys. Eng. Sci.)"},{"issue":"2105","key":"1_CR6","doi-asserted-by":"publisher","first-page":"1453","DOI":"10.1098\/rspa.2008.0412","volume":"465","author":"E Beggs","year":"2009","unstructured":"Beggs, E., Costa, J.F., Loff, B., Tucker, J.V.: Computational complexity with experiments as oracles II. Upper bounds. Proc. Roy. Soc. Ser. A (Math. Phys. Eng. Sci.) 465(2105), 1453\u20131465 (2009)","journal-title":"Proc. Roy. Soc. Ser. A (Math. Phys. Eng. Sci.)"},{"issue":"1\u20132","key":"1_CR7","first-page":"111","volume":"10","author":"E Beggs","year":"2013","unstructured":"Beggs, E., Costa, J.F., Po\u00e7as, D., Tucker, J.V.: A natural computation model of positive relativisation. Int. J. Unconv. Comput. 10(1\u20132), 111\u2013141 (2013)","journal-title":"Int. J. Unconv. Comput."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Beggs, E., Costa, J.F., Po\u00e7as, D., Tucker, J.V.: Computations with oracles that measure vanishing quantities. Math. Struct. Comput. Sci. (2017, to appear)","DOI":"10.1017\/S0960129516000219"},{"issue":"4","key":"1_CR9","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1142\/S0129054114400012","volume":"25","author":"E Beggs","year":"2014","unstructured":"Beggs, E., Costa, J.F., Po\u00e7as, D., Tucker, J.V.: An analogue-digital church-turing thesis. Int. J. Found. Comput. Sci. 25(4), 373\u2013389 (2014)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"1_CR10","series-title":"Theory and Decision Library A: (TDLA)","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-90-481-3529-5_9","volume-title":"Causality, Meaningful Complexity and Embodied Cognition","author":"E Beggs","year":"2010","unstructured":"Beggs, E., Costa, J.F., Tucker, J.V.: Computational models of measurement and Hempel\u2019s axiomatization. In: Carsetti, A. (ed.) Causality, Meaningful Complexity and Embodied Cognition. (TDLA), vol. 46, pp. 155\u2013184. Springer, Dordrecht (2010). doi: 10.1007\/978-90-481-3529-5_9"},{"issue":"06","key":"1_CR11","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1017\/S0960129510000356","volume":"20","author":"E Beggs","year":"2010","unstructured":"Beggs, E., Costa, J.F., Tucker, J.V.: Limits to measurement in experiments governed by algorithms. Math. Struct. Comput. Sci. 20(06), 1019\u20131050 (2010)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1\u20132","key":"1_CR12","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s11225-010-9254-6","volume":"95","author":"E Beggs","year":"2010","unstructured":"Beggs, E., Costa, J.F., Tucker, J.V.: Physical oracles: the Turing machine and the Wheatstone bridge. Stud. Logica. 95(1\u20132), 279\u2013300 (2010)","journal-title":"Stud. Logica."},{"issue":"12","key":"1_CR13","doi-asserted-by":"publisher","first-page":"3359","DOI":"10.1098\/rsta.2011.0427","volume":"370","author":"E Beggs","year":"2012","unstructured":"Beggs, E., Costa, J.F., Tucker, J.V.: Axiomatising physical experiments as oracles to algorithms. Philos. Trans. Roy. Soc. Ser. A (Math. Phys. Eng. Sci.) 370(12), 3359\u20133384 (2012)","journal-title":"Philos. Trans. Roy. Soc. Ser. A (Math. Phys. Eng. Sci.)"},{"issue":"5","key":"1_CR14","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1017\/S0960129511000557","volume":"22","author":"E Beggs","year":"2012","unstructured":"Beggs, E., Costa, J.F., Tucker, J.V.: The impact of models of a physical oracle on computational power. Math. Struct. Comput. Sci. 22(5), 853\u2013879 (2012)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"4","key":"1_CR15","doi-asserted-by":"publisher","first-page":"618","DOI":"10.1017\/S1755020314000240","volume":"7","author":"E Beggs","year":"2014","unstructured":"Beggs, E., Costa, J.F., Tucker, J.V.: Three forms of physical measurement and their computability. Rev. Symb. Log. 7(4), 618\u2013646 (2014)","journal-title":"Rev. Symb. Log."},{"key":"1_CR16","volume-title":"Hybrid Computation","author":"GA Bekey","year":"1968","unstructured":"Bekey, G.A., Karplus, W.J.: Hybrid Computation. Wiley, Hoboken (1968)"},{"issue":"2","key":"1_CR17","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1016\/S0304-3975(96)00086-2","volume":"168","author":"O Bournez","year":"1996","unstructured":"Bournez, O., Cosnard, M.: On the computational power of dynamical systems and hybrid systems. Theoret. Comput. Sci. 168(2), 417\u2013459 (1996)","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR18","volume-title":"Philosophical Foundations of Physics","author":"R Carnap","year":"1966","unstructured":"Carnap, R.: Philosophical Foundations of Physics. Basic Books, New York City (1966)"},{"issue":"1","key":"1_CR19","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2013.05.022","volume":"499","author":"JF Costa","year":"2013","unstructured":"Costa, J.F., Leong, R.: The ARNN model relativizes P == NP and P =\/= NP. Theoret. Comput. Sci. 499(1), 2\u201322 (2013)","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-662-05642-4_8","volume-title":"Alan Turing: The Life and Legacy of a Great Thinker","author":"M Davis","year":"2006","unstructured":"Davis, M.: The myth of hypercomputation. In: Teuscher, C. (ed.) Alan Turing: The Life and Legacy of a Great Thinker, pp. 195\u2013212. Springer, Heidelberg (2006). doi: 10.1007\/978-3-662-05642-4_8"},{"issue":"1","key":"1_CR21","first-page":"4","volume":"178","author":"M Davis","year":"2006","unstructured":"Davis, M.: Why there is no such discipline as hypercomputation. Appl. Math. Comput. 178(1), 4\u20137 (2006)","journal-title":"Appl. Math. Comput."},{"issue":"6","key":"1_CR22","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/BF01886519","volume":"16","author":"R Geroch","year":"1986","unstructured":"Geroch, R., Hartle, J.B.: Computability and physical theories. Found. Phys. 16(6), 533\u2013550 (1986)","journal-title":"Found. Phys."},{"key":"1_CR23","unstructured":"Hempel, C.G.: Fundamentals of concept formation in empirical science. Int. Encycl. Unified Sci. 2(7) (1952)"},{"key":"1_CR24","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195091953.001.0001","volume-title":"The Logic of Reliable Inquiry","author":"KT Kelly","year":"1996","unstructured":"Kelly, K.T.: The Logic of Reliable Inquiry. Oxford University Press, Oxford (1996)"},{"issue":"1","key":"1_CR25","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1006\/inco.1996.0062","volume":"128","author":"J Kilian","year":"1996","unstructured":"Kilian, J., Siegelmann, H.T.: The dynamic universality of sigmoidal neural networks. Inf. Comput. 128(1), 48\u201356 (1996)","journal-title":"Inf. Comput."},{"key":"1_CR26","volume-title":"Foundations of Measurement","author":"DH Krantz","year":"2007","unstructured":"Krantz, D.H., Duncan Luce, R., Suppes, P., Tversky, A.: Foundations of Measurement, vol. I. Dover, Mineola (2007)"},{"issue":"20","key":"1_CR27","doi-asserted-by":"publisher","first-page":"2354","DOI":"10.1103\/PhysRevLett.64.2354","volume":"64","author":"C Moore","year":"1990","unstructured":"Moore, C.: Unpredictability and undecidability in dynamical systems. Phys. Rev. Lett. 64(20), 2354\u20132357 (1990)","journal-title":"Phys. Rev. Lett."},{"key":"1_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0707-8","volume-title":"Neural Networks and Analog Computation: Beyond the Turing Limit","author":"HT Siegelmann","year":"1999","unstructured":"Siegelmann, H.T.: Neural Networks and Analog Computation: Beyond the Turing Limit. Birkh\u00e4user, Basel (1999)"},{"issue":"2005","key":"1_CR29","first-page":"227","volume":"334","author":"D Woods","year":"2004","unstructured":"Woods, D., Naughton, T.J.: An optical model of computation. Theoret. Comput. Sci. 334(2005), 227\u2013258 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-319-08123-6_31","volume-title":"Unconventional Computation and Natural Computation","author":"AS Younger","year":"2014","unstructured":"Younger, A.S., Redd, E., Siegelmann, H.: Development of physical super-turing analog hardware. In: Ibarra, O.H., Kari, L., Kopecki, S. (eds.) UCNC 2014. LNCS, vol. 8553, pp. 379\u2013391. Springer, Cham (2014). doi: 10.1007\/978-3-319-08123-6_31"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T20:28:16Z","timestamp":1719174496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-58187-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319581866","9783319581873"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58187-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}