# Kazuyuki Tanaka

According to our database

Collaborative distances:

^{1}, Kazuyuki Tanaka authored at least 47 papers between 1990 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Linear-Time Algorithm in Bayesian Image Denoising based on Gaussian Markov Random Field.

IEICE Transactions, 2018

2017

The determinacy strength of pushdown

*ω*-languages.
RAIRO - Theor. Inf. and Applic., 2017

Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees.

Inf. Process. Lett., 2017

On-Demand Color Calibration for Pedestrian Tracking in Nonoverlapping Fields of View.

IEEE Internet of Things Journal, 2017

The Eigen-Distribution of Weighted Game Trees.

Proceedings of the Combinatorial Optimization and Applications, 2017

2016

Short-term voltage stability improvement by active and reactive power control using advanced fault ride-through capability of photovoltaic systems.

Proceedings of the Power Systems Computation Conference, 2016

2015

Commuting Quantum Circuits with Few Outputs are Unlikely to be Classically Simulatable.

Proceedings of the Computing and Combinatorics - 21st International Conference, 2015

2014

Stability boundary on P-V plane for analysis of short-term voltage stability.

Proceedings of the 2014 Power Systems Computation Conference, 2014

2013

Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates.

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

2012

A case study of bad data detection for distribution feeder voltage measurement.

Proceedings of the 3rd IEEE PES Innovative Smart Grid Technologies Europe, 2012

Composite likelihood estimation for restricted Boltzmann machines.

Proceedings of the 21st International Conference on Pattern Recognition, 2012

Infinite Games and Transfinite Recursion of Multiple Inductive Definitions.

Proceedings of the How the World Computes, 2012

Relative Randomness for Martin-Löf Random Sets.

Proceedings of the How the World Computes, 2012

2011

Automatic ridge network detection in crumpled paper based on graph density.

Proceedings of the IEEE 13th International Workshop on Multimedia Signal Processing (MMSP 2011), 2011

Network Games with and without Synchroneity.

Proceedings of the Decision and Game Theory for Security - Second International Conference, 2011

2010

Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems.

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

2009

Approximate Learning Algorithm in Boltzmann Machines.

Neural Computation, 2009

An Algorithm for the Design of Manufacturing Cells.

Proceedings of the Fifth International Conference on Natural Computation, 2009

2008

Complexity Oscillations in Random Reals.

IEICE Transactions, 2008

Generalization of Complexity Oscillations in Infinite Sequences.

Proceedings of the Fourth International Conference on Natural Computation, 2008

The Quasi-equivalence between the Definitions of Partial Randomness.

Proceedings of the Fourth International Conference on Natural Computation, 2008

Approximate Learning Algorithm for Restricted Boltzmann Machines.

Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

Statistical Inferences by Gaussian Markov Random Fields on Complex Networks.

Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

2007

Infinite games in the Cantor space and subsystems of second order arithmetic.

Math. Log. Q., 2007

J. Symb. Log., 2007

Eigen-distribution on random assignments for game trees.

Inf. Process. Lett., 2007

Eigen-distribution on assignments for game trees with random properties.

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

The Computational Complexity of Game Trees by Eigen-Distribution.

Proceedings of the Combinatorial Optimization and Applications, 2007

The Complexity of Algorithms Computing Game Trees on Random Assignments.

Proceedings of the Algorithmic Aspects in Information and Management, 2007

2005

Automatic hyperparameter estimation in probabilistic image restoration algorithm based on Gibbs microcanonical distribution.

Systems and Computers in Japan, 2005

Linear Response Formula in Generalized Belief Propagation for Probabilistic Inference.

Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

Statistical Learning Procedure in Loopy Belief Propagation for Probabilistic Image Processing.

Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

Preferential Urn Model on a Random Network.

Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

2004

The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic.

Arch. Math. Log., 2004

Probabilistic Image Processing based on the Q-Ising Model by Means of the Mean-Field Method and Loopy Belief Propagation.

Proceedings of the 17th International Conference on Pattern Recognition, 2004

2003

Coupled Markov random field models with phases as line field and region field.

Systems and Computers in Japan, 2003

Loopy belief propagation and probabilistic image processing.

Proceedings of the NNSP 2003, 2003

2002

Some conservation results on week König's lemma.

Ann. Pure Appl. Logic, 2002

2000

A Non-Standard Construction of Haar Measure and Weak König's Lemma.

J. Symb. Log., 2000

1997

Non standard Analysis in WKL

_{0}.
Math. Log. Q., 1997

The Self-Embedding Theorem of WKL

_{0}and a Non-Standard Method.
Ann. Pure Appl. Logic, 1997

1996

Statistical-mechanical algorithm in MRF model based on variational principle.

Proceedings of the 13th International Conference on Pattern Recognition, 1996

1994

On Formalization of Model-Theoretic Proofs of Gödel's Theorems.

Notre Dame Journal of Formal Logic, 1994

1992

A Game-Theoretic Proof of analytic Ramsey Theorem.

Math. Log. Q., 1992

1991

Ann. Pure Appl. Logic, 1991

1990

Weak axioms of determinacy and subsystems of analysis I: δ.

Math. Log. Q., 1990

Fixed Point Theory in Weak Second-Order Arithmetic.

Ann. Pure Appl. Logic, 1990