dblp.uni-trier.dewww.uni-trier.de

Kazuyuki Tanaka

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
19EEChenGuang Liu, Kazuyuki Tanaka: The Complexity of Algorithms Computing Game Trees on Random Assignments. AAIM 2007: 241-250
18EEChenGuang Liu, Kazuyuki Tanaka: The Computational Complexity of Game Trees by Eigen-Distribution. COCOA 2007: 323-334
17EEChenGuang Liu, Kazuyuki Tanaka: Eigen-distribution on assignments for game trees with random properties. SAC 2007: 78-79
16EEChenGuang Liu, Kazuyuki Tanaka: Eigen-distribution on random assignments for game trees. Inf. Process. Lett. 104(2): 73-77 (2007)
15EETakako Nemoto, MedYahya Ould MedSalem, Kazuyuki Tanaka: Infinite games in the Cantor space and subsystems of second order arithmetic. Math. Log. Q. 53(3): 226-236 (2007)
2005
14 Jun Ohkubo, Kazuyuki Tanaka: Preferential Urn Model on a Random Network. CIMCA/IAWTIC 2005: 1153-1159
13 Kazuyuki Tanaka: Linear Response Formula in Generalized Belief Propagation for Probabilistic Inference. CIMCA/IAWTIC 2005: 669-675
12 Kazuyuki Tanaka: Statistical Learning Procedure in Loopy Belief Propagation for Probabilistic Image Processing. CIMCA/IAWTIC 2005: 741-746
11EEKazuyuki Tanaka: Automatic hyperparameter estimation in probabilistic image restoration algorithm based on Gibbs microcanonical distribution. Systems and Computers in Japan 36(1): 68-78 (2005)
2004
10EEKazuyuki Tanaka, D. M. Titterington: Probabilistic Image Processing based on the Q-Ising Model by Means of the Mean-Field Method and Loopy Belief Propagation. ICPR (2) 2004: 40-43
9EENobuyuki Sakamoto, Kazuyuki Tanaka: The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic. Arch. Math. Log. 43(3): 337-350 (2004)
2003
8EEKazuyuki Tanaka, Daiki Furusato, Tsuyoshi Horiguchi: Coupled Markov random field models with phases as line field and region field. Systems and Computers in Japan 34(7): 24-33 (2003)
2002
7 Stephen G. Simpson, Kazuyuki Tanaka, Takeshi Yamazaki: Some conservation results on week König's lemma. Ann. Pure Appl. Logic 118(1-2): 87-114 (2002)
2000
6 Kazuyuki Tanaka, Takeshi Yamazaki: A Non-Standard Construction of Haar Measure and Weak König's Lemma. J. Symb. Log. 65(1): 173-186 (2000)
1997
5 Kazuyuki Tanaka: The Self-Embedding Theorem of WKL0 and a Non-Standard Method. Ann. Pure Appl. Logic 84(1): 41-49 (1997)
4 Kazuyuki Tanaka: Non standard Analysis in WKLo. Math. Log. Q. 43: 396-400 (1997)
1994
3 Makoto Kikuchi, Kazuyuki Tanaka: On Formalization of Model-Theoretic Proofs of Gödel's Theorems. Notre Dame Journal of Formal Logic 35(3): 403-412 (1994)
1991
2 Kazuyuki Tanaka: Weak Axioms of Determinacy and Subsystems of Analysis II (Sigma02 Games). Ann. Pure Appl. Logic 52(1-2): 181-193 (1991)
1990
1 Naoki Shioji, Kazuyuki Tanaka: Fixed Point Theory in Weak Second-Order Arithmetic. Ann. Pure Appl. Logic 47(2): 167-188 (1990)

Coauthor Index

1Daiki Furusato [8]
2Tsuyoshi Horiguchi [8]
3Makoto Kikuchi [3]
4ChenGuang Liu [16] [17] [18] [19]
5MedYahya Ould MedSalem [15]
6Takako Nemoto [15]
7Jun Ohkubo [14]
8Nobuyuki Sakamoto [9]
9Naoki Shioji [1]
10Stephen G. Simpson [7]
11D. M. Titterington (D. Mike Titterington) [10]
12Takeshi Yamazaki [6] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)