News
26 Jan 2013, the slides were uploaded.
Title
Computability of conditional probability
Type
Talk
LA symposium, Kyoto University, 28 Jan 2013
Download
preliminary report
slide
宮部賢志(ミヤベケンシ)
News
26 Jan 2013, the slides were uploaded.
Title
Computability of conditional probability
Type
Talk
LA symposium, Kyoto University, 28 Jan 2013
Download
preliminary report
slide
News
26 Jan 2013, the slides were uploaded.
Title
Van Lambalgen’s Theorem for uniform Kurtz randomness
Type
Talk
TITECH, 25 Jan 2013
Download
slides
News
Mar, 2013, Accepted for the presentation in CiE and rejected to the publication in LNCS
15 Jan, 2013, Submitted to a Conference
Title
Lowness for uniform Kurtz randomness
Type
Accepted in informal electronic proceedings in CiE
with T. Kihara
Journal
Submitted
Abstract
We propose studying uniform Kurtz randomness, which is the uniform relativization of Kurtz randomness. One advantage of this notion is that lowness for uniform Kurtz randomness has many character- izations, such as those via complexity, martingales, Kurtz tt-traceability, and Kurtz dimensional measure.
Download
preprint
The results in this paper will be appeared in another paper.
News
Dec 25, 2012, Published
Aug 8, 2012, Published online
July 12, 2012, Accepted with a minor revision
Dec 23, 2011, Need to fix it
Oct 18, 2011, Submitted to a Journal
Title
Characterization of Kurtz randomness by a differentiation theorem
Type
Fullpaper
Journal
Theory of Computing Systems: Volume 52, Issue 1 (2013), Page 113-132
The page in TOCS
Abstract
Brattka, Miller and Nies showed that some major algorithmic randomness notions are characterized via differentiability.
The main goal of this paper is to characterize Kurtz randomness by a differentiation theorem on a computable metric space.
The proof shows that characterization by integral tests plays an essential part and shows that how randomness and differentiation are connected.
Download
preprint
News
20 Dec 2012, the slides were uploaded.
Title
Computable measures in computable analysis
Type
Talk
JAIST 20 Dec 2012
Download
Slides