| 2007 |
|---|
| 19 | EE | ChenGuang Liu,
Kazuyuki Tanaka:
The Complexity of Algorithms Computing Game Trees on Random Assignments.
AAIM 2007: 241-250 |
| 18 | EE | ChenGuang Liu,
Kazuyuki Tanaka:
The Computational Complexity of Game Trees by Eigen-Distribution.
COCOA 2007: 323-334 |
| 17 | EE | ChenGuang Liu,
Kazuyuki Tanaka:
Eigen-distribution on assignments for game trees with random properties.
SAC 2007: 78-79 |
| 16 | EE | ChenGuang Liu,
Kazuyuki Tanaka:
Eigen-distribution on random assignments for game trees.
Inf. Process. Lett. 104(2): 73-77 (2007) |
| 15 | EE | Takako 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 |
| 11 | EE | Kazuyuki 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 |
|---|
| 10 | EE | Kazuyuki 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 |
| 9 | EE | Nobuyuki 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 |
|---|
| 8 | EE | Kazuyuki 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) |
