Kazuyuki Tanaka

CoRR, 2022

The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames.

[BibT_eX]

[DOI]

Leonardo Pacheco

Proceedings of the Logic, Language, Information, and Computation, 2022

2021

Assessment of image generation by quantum annealer.

[BibT_eX]

[DOI]

Takehito Sato

CoRR, 2021

2020

Two-stage data-analysis method for total-reflection high-energy positron diffraction (TRHEPD).

[BibT_eX]

[DOI]

CoRR, 2020

2019

Sublinear Computational Time Modeling by Momentum-Space Renormalization Group Theory in Statistical Machine Learning Procedures.

[BibT_eX]

[DOI]

Rev. Socionetwork Strateg., 2019

Preface for the Special Issue on the Project "Foundation of Innovative Algorithms for Big Data".

[BibT_eX]

[DOI]

Rev. Socionetwork Strateg., 2019

2018

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

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2018

Momentum-Space Renormalization Group Transformation in Bayesian Image Modeling by Gaussian Graphical Model.

[BibT_eX]

[DOI]

CoRR, 2018

2017

The determinacy strength of pushdown ω-languages.

[BibT_eX]

[DOI]

Wenjuan Li

RAIRO Theor. Informatics Appl., 2017

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

[BibT_eX]

[DOI]

Inf. Process. Lett., 2017

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

[BibT_eX]

[DOI]

Yuji Waizumi

Masako Omachi

IEEE Internet Things J., 2017

Deep Neural Network Detects Quantum Phase Transition.

[BibT_eX]

[DOI]

Shunta Arai

CoRR, 2017

The Eigen-Distribution of Weighted Game Trees.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2017

2016

Commuting quantum circuits with few outputs are unlikely to be classically simulatable.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2016

Community Detection Algorithm Combining Stochastic Block Model and Attribute Data Clustering.

[BibT_eX]

[DOI]

CoRR, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Power Systems Computation Conference, 2016

2015

Statistical Analysis of Loopy Belief Propagation based on Replica Cluster Variation Method.

[BibT_eX]

[DOI]

Shun Kataoka

CoRR, 2015

Inverse Renormalization Group Transformation in Bayesian Image Segmentations.

[BibT_eX]

[DOI]

CoRR, 2015

2014

Hardness of classically simulating quantum circuits with unbounded Toffoli and fan-out gates.

[BibT_eX]

[DOI]

Yasuhiro Takahashi

Quantum Inf. Comput., 2014

Bayesian image segmentations by Potts prior and loopy belief propagation.

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

Kenichi Kawabe

Proceedings of the 2014 Power Systems Computation Conference, 2014

2013

Traffic data reconstruction based on Markov random field modeling.

[BibT_eX]

[DOI]

CoRR, 2013

2012

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

[BibT_eX]

[DOI]

Naotaka Okada

Masahiro Takasaki

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

Composite likelihood estimation for restricted Boltzmann machines.

[BibT_eX]

[DOI]

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

Infinite Games and Transfinite Recursion of Multiple Inductive Definitions.

[BibT_eX]

[DOI]

Keisuke Yoshii

Proceedings of the How the World Computes, 2012

Relative Randomness for Martin-Löf Random Sets.

[BibT_eX]

[DOI]

Proceedings of the How the World Computes, 2012

2011

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

[BibT_eX]

[DOI]

Marvin Huang

Chiou-Ting Hsu

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

Network Games with and without Synchroneity.

[BibT_eX]

[DOI]

Ahmad Termimi Ab Ghani

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.

[BibT_eX]

[DOI]

Shin Nakajima

Masaki Ishiguro

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

2009

Approximate Learning Algorithm in Boltzmann Machines.

[BibT_eX]

[DOI]

Neural Comput., 2009

An Algorithm for the Design of Manufacturing Cells.

[BibT_eX]

[DOI]

Lin Zhu

Proceedings of the Fifth International Conference on Natural Computation, 2009

2008

Complexity Oscillations in Random Reals.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2008

Generalization of Complexity Oscillations in Infinite Sequences.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Natural Computation, 2008

The Quasi-equivalence between the Definitions of Partial Randomness.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Natural Computation, 2008

Approximate Learning Algorithm for Restricted Boltzmann Machines.

[BibT_eX]

[DOI]

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

Statistical Inferences by Gaussian Markov Random Fields on Complex Networks.

[BibT_eX]

[DOI]

Takafumi Usui

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.

[BibT_eX]

[DOI]

Takako Nemoto

MedYahya Ould MedSalem

Math. Log. Q., 2007

Δ03-determinacy, comprehension and induction.

[BibT_eX]

[DOI]

MedYahya Ould MedSalem

J. Symb. Log., 2007

Eigen-distribution on random assignments for game trees.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2007

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

[BibT_eX]

[DOI]

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

The Computational Complexity of Game Trees by Eigen-Distribution.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2007

The Complexity of Algorithms Computing Game Trees on Random Assignments.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Aspects in Information and Management, 2007

2005

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

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 2005

Linear Response Formula in Generalized Belief Propagation for Probabilistic Inference.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Preferential Urn Model on a Random Network.

[BibT_eX]

[DOI]

Jun Ohkubo

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.

[BibT_eX]

[DOI]

Nobuyuki Sakamoto

Arch. Math. Log., 2004

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

[BibT_eX]

[DOI]

D. M. Titterington

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

2003

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

[BibT_eX]

[DOI]

Daiki Furusato

Tsuyoshi Horiguchi

Syst. Comput. Jpn., 2003

Loopy belief propagation and probabilistic image processing.

[BibT_eX]

[DOI]

J. Inoue

D. M. Titterington

Proceedings of the NNSP 2003, 2003

2002

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

[BibT_eX]

[DOI]

Stephen G. Simpson

Ann. Pure Appl. Log., 2002

2000

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

[BibT_eX]

[DOI]

J. Symb. Log., 2000

1997

Cluster ZTP in the recovery of an image.

[BibT_eX]

[DOI]

Tohru Morita

Pattern Recognit. Lett., 1997

Non standard Analysis in WKL0.

[BibT_eX]

[DOI]

Math. Log. Q., 1997

The Self-Embedding Theorem of WKL0 and a Non-Standard Method.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1997

1996

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

[BibT_eX]

[DOI]

Mikako Ichioka

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

1994

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

[BibT_eX]

[DOI]

Makoto Kikuchi

Notre Dame J. Formal Log., 1994

1992

A Game-Theoretic Proof of analytic Ramsey Theorem.

[BibT_eX]

[DOI]

Math. Log. Q., 1992

1991

Weak Axioms of Determinacy and Subsystems of Analysis II (Sigma02 Games).

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1991

1990

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

[BibT_eX]

[DOI]

Math. Log. Q., 1990

Fixed Point Theory in Weak Second-Order Arithmetic.

[BibT_eX]

[DOI]

Naoki Shioji