{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:12:21Z","timestamp":1760202741794,"version":"3.37.3"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T00:00:00Z","timestamp":1497657600000},"content-version":"tdm","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":["ANR-15-CE40-0016-01 RaCAF"],"award-info":[{"award-number":["ANR-15-CE40-0016-01 RaCAF"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"name":"JSPS Kakenhi","award":["24540153"],"award-info":[{"award-number":["24540153"]}]}],"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-9789-2","type":"journal-article","created":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T06:21:42Z","timestamp":1497680502000},"page":"1315-1336","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Conditional Probabilities and van Lambalgen\u2019s Theorem Revisited"],"prefix":"10.1007","volume":"61","author":[{"given":"Bruno","family":"Bauwens","sequence":"first","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"}]},{"given":"Hayato","family":"Takahashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,17]]},"reference":[{"key":"9789_CR1","first-page":"107","volume-title":"26th Annual IEEE Symposium on Logic in Computer Science (LICS)","author":"NL Ackerman","year":"2011","unstructured":"Ackerman, N.L., Freer, C.E., Roy, D.M.: Noncomputable conditional distributions 26th Annual IEEE Symposium on Logic in Computer Science (LICS), pp 107\u2013116 (2011). See also: On the computability of conditional probability, arXiv: 1005.3014v2.pdf"},{"key":"9789_CR2","unstructured":"Bauwens, B.: Conditional measure and the violation of van Lambalgen\u2019s theorem for Martin-L\u00f6f randomness. arXiv: 1509.02884 (2015)"},{"key":"9789_CR3","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1134\/S0081543811060058","volume-title":"Proceedings of the Steklov Institute of Mathematics, vol. 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 Proceedings of the Steklov Institute of Mathematics, vol. 274, pp 34\u201389 (2011). doi: 10.1134\/S0081543811060058 . See also arXiv: 1103.1529"},{"issue":"1","key":"9789_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4115\/jla.2010.2.10","volume":"2","author":"B Kjos-Hannsen","year":"2010","unstructured":"Kjos-Hannsen, B.: The probability distribution as a computational resource for randomness testing. J Log Anal 2(1), 1\u201313 (2010). doi: 10.4115\/jla.2010.2.10 . See also arXiv: 1408:2850","journal-title":"J Log Anal"},{"key":"9789_CR5","first-page":"183","volume-title":"Computability by probabilistic machines. Automata studies, edited by C.E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted","author":"K Leeuw de","year":"1956","unstructured":"de Leeuw, K., Moore, E.F., Shannon, C.E., Shapiro, N.: Computability by probabilistic machines. Automata studies, edited by C.E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, pp 183\u2013212. Princeton University Press, Princeton (1956)"},{"issue":"3","key":"9789_CR6","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.2307\/2274480","volume":"55","author":"M Lambalgen van","year":"1990","unstructured":"van Lambalgen, M.: The axiomatization of randomness. J. Symb. Log. 55(3), 1143\u20131167 (1990). http:\/\/www.jstor.org\/stable\/2274480","journal-title":"J. Symb. Log."},{"key":"9789_CR7","doi-asserted-by":"crossref","unstructured":"Shen, A.: Around Kolmogorov complexity: basic notions and results Measures of Complexity: Festschrift for Alexey Chervonenkis. See also: arXiv: 1504.04955 , pp 75\u2013116. Springer (2015)","DOI":"10.1007\/978-3-319-21852-6_7"},{"key":"9789_CR8","unstructured":"Shen, A., Uspensky, V., Vereshchagin, N.: Kolmogorov complexity and algorithmic randomness, Moscow, MCCME. English version: http:\/\/www.lirmm.fr\/ashen\/kolmbook-eng.pdf (2013)"},{"issue":"12","key":"9789_CR9","doi-asserted-by":"publisher","first-page":"1375","DOI":"10.1016\/j.ic.2008.08.003","volume":"206","author":"H Takahashi","year":"2008","unstructured":"Takahashi, H.: On a definition of random sequences with respect to conditional probability. Inf. Comput. 206(12), 1375\u20131382 (2008)","journal-title":"Inf. Comput."},{"issue":"2","key":"9789_CR10","doi-asserted-by":"publisher","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."},{"key":"9789_CR11","unstructured":"Takahashi, H.: Generalization of van Lambalgen\u2019s theorem and blind randomness for conditional probability, arXiv: 1310.0709"},{"issue":"1","key":"9789_CR12","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1111\/j.2517-6161.1993.tb01482.x","volume":"55","author":"VG Vovk","year":"1993","unstructured":"Vovk, V.G., V\u2019yugin, V.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."}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-017-9789-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-017-9789-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-017-9789-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T20:45:31Z","timestamp":1719261931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-017-9789-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,17]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,11]]}},"alternative-id":["9789"],"URL":"https:\/\/doi.org\/10.1007\/s00224-017-9789-2","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"type":"print","value":"1432-4350"},{"type":"electronic","value":"1433-0490"}],"subject":[],"published":{"date-parts":[[2017,6,17]]},"assertion":[{"value":"17 June 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}