Fixed Point Theory in Weak Second-Order Arithmetic. - Naoki Shioji; Kazuyuki Tanaka (Ann. Pure Appl. Log., 1990)

Weak axioms of determinacy and subsystems of analysis I: δ. - Kazuyuki Tanaka (Math. Log. Q., 1990)

Weak Axioms of Determinacy and Subsystems of Analysis II (Sigma02 Games). - Kazuyuki Tanaka (Ann. Pure Appl. Log., 1991)

A Game-Theoretic Proof of analytic Ramsey Theorem. - Kazuyuki Tanaka (Math. Log. Q., 1992)

On Formalization of Model-Theoretic Proofs of Gödel's Theorems. - Makoto Kikuchi; Kazuyuki Tanaka (Notre Dame J. Formal Log., 1994)

Statistical-mechanical algorithm in MRF model based on variational principle. - Kazuyuki Tanaka; Mikako Ichioka (ICPR, 1996)

The Self-Embedding Theorem of WKL0 and a Non-Standard Method. - Kazuyuki Tanaka (Ann. Pure Appl. Log., 1997)

Non standard Analysis in WKL0. - Kazuyuki Tanaka (Math. Log. Q., 1997)

Cluster ZTP in the recovery of an image. - Tohru Morita; Kazuyuki Tanaka (Pattern Recognit. Lett., 1997)

A Non-Standard Construction of Haar Measure and Weak König's Lemma. - Kazuyuki Tanaka; Takeshi Yamazaki (J. Symb. Log., 2000)

Some conservation results on week König's lemma. - Stephen G. Simpson; Kazuyuki Tanaka; Takeshi Yamazaki (Ann. Pure Appl. Log., 2002)

Loopy belief propagation and probabilistic image processing. - Kazuyuki Tanaka; J. Inoue; D. M. Titterington (NNSP, 2003)

Coupled Markov random field models with phases as line field and region field. - Kazuyuki Tanaka; Daiki Furusato; Tsuyoshi Horiguchi (Syst. Comput. Jpn., 2003)

Probabilistic Image Processing based on the Q-Ising Model by Means of the Mean-Field Method and Loopy Belief Propagation. - Kazuyuki Tanaka; D. M. Titterington (ICPR (2), 2004)

The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic. - Nobuyuki Sakamoto; Kazuyuki Tanaka (Arch. Math. Log., 2004)

Preferential Urn Model on a Random Network. - Jun Ohkubo; Kazuyuki Tanaka (CIMCA/IAWTIC, 2005)

Statistical Learning Procedure in Loopy Belief Propagation for Probabilistic Image Processing. - Kazuyuki Tanaka (CIMCA/IAWTIC, 2005)

Linear Response Formula in Generalized Belief Propagation for Probabilistic Inference. - Kazuyuki Tanaka (CIMCA/IAWTIC, 2005)

Automatic hyperparameter estimation in probabilistic image restoration algorithm based on Gibbs microcanonical distribution. - Kazuyuki Tanaka (Syst. Comput. Jpn., 2005)

The Complexity of Algorithms Computing Game Trees on Random Assignments. - ChenGuang Liu; Kazuyuki Tanaka (AAIM, 2007)

The Computational Complexity of Game Trees by Eigen-Distribution. - ChenGuang Liu; Kazuyuki Tanaka (COCOA, 2007)

Eigen-distribution on assignments for game trees with random properties. - ChenGuang Liu; Kazuyuki Tanaka (SAC, 2007)

Eigen-distribution on random assignments for game trees. - ChenGuang Liu; Kazuyuki Tanaka (Inf. Process. Lett., 2007)

Δ03-determinacy, comprehension and induction. - MedYahya Ould MedSalem; Kazuyuki Tanaka (J. Symb. Log., 2007)

Infinite games in the Cantor space and subsystems of second order arithmetic. - Takako Nemoto; MedYahya Ould MedSalem; Kazuyuki Tanaka (Math. Log. Q., 2007)

Statistical Inferences by Gaussian Markov Random Fields on Complex Networks. - Kazuyuki Tanaka; Takafumi Usui; Muneki Yasuda (CIMCA/IAWTIC/ISE, 2008)

Approximate Learning Algorithm for Restricted Boltzmann Machines. - Muneki Yasuda; Kazuyuki Tanaka (CIMCA/IAWTIC/ISE, 2008)

The Quasi-equivalence between the Definitions of Partial Randomness. - ChenGuang Liu; Kazuyuki Tanaka; Takeshi Yamazaki (ICNC (1), 2008)

Generalization of Complexity Oscillations in Infinite Sequences. - ChenGuang Liu; Takeshi Yamazaki; Kazuyuki Tanaka (ICNC (1), 2008)

Complexity Oscillations in Random Reals. - ChenGuang Liu; Kazuyuki Tanaka (IEICE Trans. Inf. Syst., 2008)

An Algorithm for the Design of Manufacturing Cells. - ChenGuang Liu; Lin Zhu; Kazuyuki Tanaka (ICNC (6), 2009)

Approximate Learning Algorithm in Boltzmann Machines. - Muneki Yasuda; Kazuyuki Tanaka (Neural Comput., 2009)

Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems. - Shin Nakajima 001; Masaki Ishiguro; Kazuyuki Tanaka (SEUS, 2010)

Network Games with and without Synchroneity. - Ahmad Termimi Ab Ghani; Kazuyuki Tanaka (GameSec, 2011)

Automatic ridge network detection in crumpled paper based on graph density. - Marvin Huang; Chiou-Ting Hsu; Kazuyuki Tanaka (MMSP, 2011)

Relative Randomness for Martin-Löf Random Sets. - NingNing Peng; Kojiro Higuchi; Takeshi Yamazaki; Kazuyuki Tanaka (CiE, 2012)

Infinite Games and Transfinite Recursion of Multiple Inductive Definitions. - Keisuke Yoshii; Kazuyuki Tanaka (CiE, 2012)

Composite likelihood estimation for restricted Boltzmann machines. - Muneki Yasuda; Shun Kataoka; Yuji Waizumi; Kazuyuki Tanaka (ICPR, 2012)

A case study of bad data detection for distribution feeder voltage measurement. - Naotaka Okada; Masahiro Takasaki; Kazuyuki Tanaka (ISGT Europe, 2012)

Traffic data reconstruction based on Markov random field modeling. - Shun Kataoka; Muneki Yasuda; Cyril Furtlehner; Kazuyuki Tanaka (CoRR, 2013)

Stability boundary on P-V plane for analysis of short-term voltage stability. - Kenichi Kawabe; Kazuyuki Tanaka (PSCC, 2014)

Bayesian image segmentations by Potts prior and loopy belief propagation. - Kazuyuki Tanaka; Shun Kataoka; Muneki Yasuda; Yuji Waizumi; Chiou-Ting Hsu (CoRR, 2014)

Hardness of classically simulating quantum circuits with unbounded Toffoli and fan-out gates. - Yasuhiro Takahashi; Takeshi Yamazaki; Kazuyuki Tanaka (Quantum Inf. Comput., 2014)

Inverse Renormalization Group Transformation in Bayesian Image Segmentations. - Kazuyuki Tanaka; Shun Kataoka; Muneki Yasuda; Masayuki Ohzeki (CoRR, 2015)

Statistical Analysis of Loopy Belief Propagation based on Replica Cluster Variation Method. - Muneki Yasuda; Shun Kataoka; Kazuyuki Tanaka (CoRR, 2015)

Short-term voltage stability improvement by active and reactive power control using advanced fault ride-through capability of photovoltaic systems. - Kenichi Kawabe; Yutaka Ota; Akihiko Yokoyama; Kazuyuki Tanaka (PSCC, 2016)

Community Detection Algorithm Combining Stochastic Block Model and Attribute Data Clustering. - Shun Kataoka; Takuto Kobayashi; Muneki Yasuda; Kazuyuki Tanaka (CoRR, 2016)

Commuting quantum circuits with few outputs are unlikely to be classically simulatable. - Yasuhiro Takahashi; Seiichiro Tani; Takeshi Yamazaki; Kazuyuki Tanaka (Quantum Inf. Comput., 2016)

The Eigen-Distribution of Weighted Game Trees. - Shohei Okisaka; Weiguang Peng; Wenjuan Li; Kazuyuki Tanaka (COCOA (1), 2017)

Deep Neural Network Detects Quantum Phase Transition. - Shunta Arai; Masayuki Ohzeki; Kazuyuki Tanaka (CoRR, 2017)

On-Demand Color Calibration for Pedestrian Tracking in Nonoverlapping Fields of View. - Yuji Waizumi; Masako Omachi; Kazuyuki Tanaka (IEEE Internet Things J., 2017)

Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees. - Weiguang Peng; NingNing Peng; Keng Meng Ng; Kazuyuki Tanaka; Yue Yang 004 (Inf. Process. Lett., 2017)

The determinacy strength of pushdown ω-languages. - Wenjuan Li; Kazuyuki Tanaka (RAIRO Theor. Informatics Appl., 2017)

Momentum-Space Renormalization Group Transformation in Bayesian Image Modeling by Gaussian Graphical Model. - Kazuyuki Tanaka; Masamichi Nakamura; Shun Kataoka; Masayuki Ohzeki; Muneki Yasuda (CoRR, 2018)

Linear-Time Algorithm in Bayesian Image Denoising based on Gaussian Markov Random Field. - Muneki Yasuda; Junpei Watanabe; Shun Kataoka; Kazuyuki Tanaka (IEICE Trans. Inf. Syst., 2018)

Preface for the Special Issue on the Project "Foundation of Innovative Algorithms for Big Data". - Naoki Katoh; Yuya Higashikawa; Hiro Ito; Shun Kataoka; Takuya Kida; Toshiki Saitoh; Tetsuo Shibuya; Kazuyuki Tanaka; Yushi Uno (Rev. Socionetwork Strateg., 2019)

Sublinear Computational Time Modeling by Momentum-Space Renormalization Group Theory in Statistical Machine Learning Procedures. - Kazuyuki Tanaka; Masayuki Ohzeki; Muneki Yasuda (Rev. Socionetwork Strateg., 2019)

Two-stage data-analysis method for total-reflection high-energy positron diffraction (TRHEPD). - Kazuyuki Tanaka; Izumi Mochizuki; Takashi Hanada; Ayahiko Ichimiya; Toshio Hyodo; Takeo Hoshi (CoRR, 2020)

Assessment of image generation by quantum annealer. - Takehito Sato; Masayuki Ohzeki; Kazuyuki Tanaka (CoRR, 2021)

The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames. - Leonardo Pacheco; Kazuyuki Tanaka (WoLLIC, 2022)

Travel time optimization on multi-AGV routing by reverse annealing. - Renichiro Haba; Masayuki Ohzeki; Kazuyuki Tanaka (CoRR, 2022)

The equilibria of independent distributions on unbalanced game trees. - Kazuyuki Tanaka; NingNing Peng; Weiguang Peng; Wenjuan Li (Comput. Appl. Math., 2024)

Relaxation-assisted reverse annealing on nonnegative/binary matrix factorization. - Renichiro Haba; Masayuki Ohzeki; Kazuyuki Tanaka (CoRR, 2025)