{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:36:25Z","timestamp":1753889785315,"version":"3.41.2"},"reference-count":1,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2013,9,3]],"date-time":"2013-09-03T00:00:00Z","timestamp":1378166400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>As a part of our works on effective properties of probability distributions,\nwe deal with the corresponding characteristic functions. A sequence of\nprobability distributions is computable if and only if the corresponding\nsequence of characteristic functions is computable. As for the onvergence\nproblem, the effectivized Glivenko's theorem holds. Effectivizations of\nBochner's theorem and de Moivre-Laplace central limit theorem are also proved.<\/jats:p>","DOI":"10.2168\/lmcs-9(3:9)2013","type":"journal-article","created":{"date-parts":[[2013,11,29]],"date-time":"2013-11-29T13:44:29Z","timestamp":1385732669000},"source":"Crossref","is-referenced-by-count":2,"title":["Computability of Probability Distributions and Characteristic Functions"],"prefix":"10.46298","volume":"Volume 9, Issue 3","author":[{"given":"Takakazu","family":"Mori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshiki","family":"Tsujii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariko","family":"Yasugi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2013,9,3]]},"reference":[{"key":"831:not-found"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/888\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/888\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T19:58:41Z","timestamp":1681243121000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/888"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,3]]},"references-count":1,"URL":"https:\/\/doi.org\/10.2168\/lmcs-9(3:9)2013","relation":{"is-same-as":[{"id-type":"arxiv","id":"1307.6357","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1307.6357","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2013,9,3]]},"article-number":"888"}}