{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:42:47Z","timestamp":1777596167247,"version":"3.51.4"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T00:00:00Z","timestamp":1498089600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["RaCAF ANR-15-CE40-0016-01"],"award-info":[{"award-number":["RaCAF ANR-15-CE40-0016-01"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1007\/s00224-017-9791-8","type":"journal-article","created":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T06:35:21Z","timestamp":1498113321000},"page":"1353-1375","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Layerwise Computability and Image Randomness"],"prefix":"10.1007","volume":"61","author":[{"given":"Laurent","family":"Bienvenu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Hoyrup","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8605-7734","authenticated-orcid":false,"given":"Alexander","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,22]]},"reference":[{"issue":"6","key":"9791_CR1","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1093\/logcom\/exm033","volume":"17","author":"G Barmpalias","year":"2007","unstructured":"Barmpalias, G., Broadhead, P., Cenzer, D., Dashti, S., Weber, R.: Algorithmic randomness and closed sets. J. Logic Comput. 17(6), 1041\u20131062 (2007)","journal-title":"J. Logic Comput."},{"key":"9791_CR2","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1134\/S0081543811060058","volume":"274","author":"L Bienvenu","year":"2011","unstructured":"Bienvenu, L., G\u00e1cs, P. , Hoyrup, M., Rojas, C., Shen, A.: Algorithmic tests and randomness with respect to a class of measures. Proc. Steklov Inst. Math. 274, 34\u201389 (2011). arXiv: 1103.1529","journal-title":"Proc. Steklov Inst. Math."},{"key":"9791_CR3","unstructured":"Bienvenu, L., Romashchenko, A., Shen, A.: Sparse sets, Journ\u00e9es Automates Cellulaires 2008 (Uzes), 18\u201328. hal.archives-ouvertes.fr\/hal-00274010\/en\/hal.archives-ouvertes.fr\/hal-00274010\/en\/"},{"issue":"5","key":"9791_CR4","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1016\/j.apal.2011.06.010","volume":"163","author":"D Diamondstone","year":"2012","unstructured":"Diamondstone, D., Kjos-Hanssen, B.: Martin-L\u00f6f randomness and Galton\u2013Watson processes. Ann. Pure Appl. Logic 163(5), 519\u2013529 (2012). arXiv: 1408.2875","journal-title":"Ann. Pure Appl. Logic"},{"key":"9791_CR5","doi-asserted-by":"crossref","unstructured":"Hoyrup, M., Rojas, C.: An Application of Martin-L\u00f6f Randomness to Effective Probability Theory, Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19\u201324. Proceedings (Lecture Notes in Computer Science, v. 5635), pp. 260-269 (2009)","DOI":"10.1007\/978-3-642-03073-4_27"},{"key":"9791_CR6","doi-asserted-by":"crossref","unstructured":"Hoyrup, M., Rojas, C.: An Application of Effective Probability Theory to Martin-L\u00f6f Randomness, 36th International Colloquium on Automata, Languages and Programming, July 5\u201312. Rhodes, Greece. Proceedings (Lecture Notes in Computer Science, v. 5555), pp. 549\u2013561 (2009)","DOI":"10.1007\/978-3-642-02927-1_46"},{"key":"9791_CR7","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1090\/S0002-9947-1973-0322920-7","volume":"177","author":"I Mann","year":"1973","unstructured":"Mann, I.: Probabilistic recursive functions. Trans. Am. Math. Soc. 177, 447\u2013467 (1973)","journal-title":"Trans. Am. Math. Soc."},{"key":"9791_CR8","doi-asserted-by":"crossref","first-page":"602","DOI":"10.1016\/S0019-9958(66)80018-9","volume":"9","author":"Per Martin-L\u00f6f","year":"1966","unstructured":"Martin-L\u00f6f, P.: The definition of random sequences. Inf. Control (now Information and Computation) 9, 602\u2013619 (1966)","journal-title":"Inf. Control (now Information and Computation)"},{"key":"9791_CR9","unstructured":"Miller, J.S., Rute, J.: Energy Randomness. arXiv: 1509.00524"},{"key":"9791_CR10","unstructured":"Rumyantsev, A.: Infinite computable version of Lovasz Local Lemma, preprint. arXiv: 1012.0557 (2010)"},{"issue":"1","key":"9791_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2014-1029","volume":"32","author":"A Rumyantsev","year":"2014","unstructured":"Rumyantsev, A., Shen, A.: Probabilistic Constructions of Computable Objects and a Computable Version of lov\u00e1sz Local Lemma. Fundamenta Informaticae 32(1), 1\u201314 (2014)","journal-title":"Fundamenta Informaticae"},{"key":"9791_CR12","volume-title":"Kolmogorov complexity and algorithmic randomness","author":"N Vereshchagin","year":"2013","unstructured":"Vereshchagin, N., Uspensky, V., Shen, A.: Kolmogorov complexity and algorithmic randomness. MCCME, Moscow (2013). (In Russian; draft English translation is available at www.lirmm.fr\/~ashen\/kolmbook-eng.eps )"},{"issue":"2","key":"9791_CR13","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.ic.2010.10.003","volume":"209","author":"H Takahashi","year":"2011","unstructured":"Takahashi, H.: Algorithmic randomness and monotone complexity on product space. Inf. Comput. 209(2), 183\u2013197 (2011)","journal-title":"Inf. Comput."},{"issue":"1","key":"9791_CR14","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1111\/j.2517-6161.1993.tb01482.x","volume":"55","author":"V Vovk","year":"1993","unstructured":"Vovk, V., Vyugin, V.: On the empirical validity of the Bayesian method. J. R. Stat. Soc. Ser. B Methodol. 55(1), 253\u2013266 (1993)","journal-title":"J. R. Stat. Soc. Ser. B Methodol."},{"issue":"6:156","key":"9791_CR15","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1070\/RM1970v025n06ABEH001269","volume":"25","author":"A Zvonkin","year":"1970","unstructured":"Zvonkin, A., Levin, L.: The complexity of finite objects and the development of the concepts of information and randomness by means of the theory of algorithms. Russ. Math. Surv. 25(6:156), 83\u2013124 (1970)","journal-title":"Russ. Math. Surv."}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-017-9791-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-017-9791-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-017-9791-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T22:32:28Z","timestamp":1719268348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-017-9791-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,22]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,11]]}},"alternative-id":["9791"],"URL":"https:\/\/doi.org\/10.1007\/s00224-017-9791-8","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,6,22]]}}}