| Publication | Date of Publication | Type |
|---|
The equilibria of independent distributions on unbalanced game trees
Computational and Applied Mathematics | 2024-06-27 | Paper |
Infinite Games, Inductive Definitions and Transfinite Recursion
Computability Theory and Foundations of Mathematics | 2023-08-25 | Paper |
On One-Variable Fragments of Modal <i>µ</i>-Calculus
Computability Theory and Foundations of Mathematics | 2023-08-25 | Paper |
The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
The eigen-distribution for multi-branching weighted trees on independent distributions
Methodology and Computing in Applied Probability | 2022-06-03 | Paper |
Replica Plefka expansion of Ising systems
Journal of Statistical Mechanics: Theory and Experiment | 2020-08-11 | Paper |
EigenKernel
Japan Journal of Industrial and Applied Mathematics | 2019-08-15 | Paper |
| The eigen-distribution of weighted game trees | 2018-02-26 | Paper |
The determinacy strength of pushdown<i>ω</i>-languages
RAIRO - Theoretical Informatics and Applications | 2017-09-04 | Paper |
Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees
Information Processing Letters | 2017-06-13 | Paper |
Commuting quantum circuits with few outputs are unlikely to be classically simulatable
Lecture Notes in Computer Science | 2015-10-29 | Paper |
Mean Field Approximation for Fields of Experts
Interdisciplinary Information Sciences | 2014-05-21 | Paper |
Traffic data reconstruction based on Markov random field modeling
Inverse Problems | 2014-04-02 | Paper |
Hardness of classically simulating quantum circuits with unbounded Toffoli and fan-out gates
Mathematical Foundations of Computer Science 2013 | 2013-09-20 | Paper |
Learning algorithm for Boltzmann machines using max-product algorithm and pseudo-likelihood
Interdisciplinary Information Sciences | 2013-03-14 | Paper |
Infinite games and transfinite recursion of multiple inductive definitions
Lecture Notes in Computer Science | 2012-08-14 | Paper |
Relative randomness for Martin-Löf random sets
Lecture Notes in Computer Science | 2012-08-14 | Paper |
Network games with and without synchroneity
Lecture Notes in Computer Science | 2011-11-11 | Paper |
Uncertain association rule mining algorithm for the cell formation problem in cellular manufacturing systems
International Journal of Production Research | 2011-07-06 | Paper |
| A note on multiple inductive definitions | 2010-06-17 | Paper |
Eigen-distribution on random assignments for game trees
Information Processing Letters | 2010-03-24 | Paper |
Approximate Learning Algorithm in Boltzmann Machines
Neural Computation | 2009-11-25 | Paper |
Solvable Probabilistic Model for Cycles in Planar Graph
Interdisciplinary Information Sciences | 2009-11-25 | Paper |
The Computational Complexity of Game Trees by Eigen-Distribution
Combinatorial Optimization and Applications | 2009-03-03 | Paper |
| Weak determinacy and iterations of inductive definitions | 2008-10-20 | Paper |
The Complexity of Algorithms Computing Game Trees on Random Assignments
Algorithmic Aspects in Information and Management | 2008-01-04 | Paper |
Statistical trajectory of an approximate EM algorithm for probabilistic image processing
Journal of Physics A: Mathematical and Theoretical | 2007-10-05 | Paper |
The mathematical structure of the approximate linear response relation
Journal of Physics A: Mathematical and Theoretical | 2007-09-07 | Paper |
Boltzmann Machines with Bounded Continuous Random Variables
Interdisciplinary Information Sciences | 2007-09-03 | Paper |
Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction
Journal of Symbolic Logic | 2007-07-09 | Paper |
Infinite games in the Cantor space and subsystems of second order arithmetic
Mathematical Logic Quarterly | 2007-06-26 | Paper |
| scientific article; zbMATH DE number 2236646 (Why is no real title available?) | 2005-12-08 | Paper |
Probabilistic image processing by means of the Bethe approximation for the<i>Q</i>-Ising model
Journal of Physics A: Mathematical and General | 2005-10-18 | Paper |
Mean field theory of EM algorithm for Bayesian grey scale image restoration
Journal of Physics A: Mathematical and General | 2005-10-18 | Paper |
Image Segmentation Based on Bethe Approximation for Gaussian Mixture Model
Interdisciplinary Information Sciences | 2005-05-23 | Paper |
Accuracy of the Bethe approximation for hyperparameter estimation in probabilistic image processing
Journal of Physics A: Mathematical and General | 2005-03-04 | Paper |
The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic
Archive for Mathematical Logic | 2004-12-16 | Paper |
Color Image Compression Algorithm Using Self-Organizing Feature Map
Interdisciplinary Information Sciences | 2004-08-10 | Paper |
Statistical-mechanical approach to image processing
Journal of Physics A: Mathematical and General | 2004-06-10 | Paper |
Probabilistic, Iterated and Quantum-Iterated Computational Methods in Gray-Level Image Restoration
Interdisciplinary Information Sciences | 2003-06-17 | Paper |
Some conservation results on weak König's lemma
Annals of Pure and Applied Logic | 2002-12-02 | Paper |
| scientific article; zbMATH DE number 1788930 (Why is no real title available?) | 2002-08-26 | Paper |
Asymptotic behaviors of modified block Toeplitz determinant.
Progress of Theoretical Physics | 2001-11-19 | Paper |
Asymptotic forms of some block Toeplitz determinants.
Progress of Theoretical Physics | 2001-11-19 | Paper |
| scientific article; zbMATH DE number 1511939 (Why is no real title available?) | 2000-09-27 | Paper |
Generalized Heisenberg Model of Spin<i>S</i>Greater than 1/2 Equivalent to that of Spin 1/2
Journal of the Physical Society of Japan | 2000-07-26 | Paper |
A non-standard construction of Haar measure and weak König's lemma
Journal of Symbolic Logic | 2000-06-22 | Paper |
| scientific article; zbMATH DE number 1305941 (Why is no real title available?) | 1999-11-08 | Paper |
Non‐standard Analysis in WKL<sub>0</sub>
Mathematical Logic Quarterly | 1997-10-08 | Paper |
The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
Annals of Pure and Applied Logic | 1997-09-03 | Paper |
On formalization of model-theoretic proofs of Gödel's theorems
Notre Dame Journal of Formal Logic | 1995-07-03 | Paper |
A GAME‐THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM
Mathematical Logic Quarterly | 1994-11-03 | Paper |
| scientific article; zbMATH DE number 619555 (Why is no real title available?) | 1994-08-17 | Paper |
A Note on the Proof Method for Constructive Falsity
Mathematical Logic Quarterly | 1992-06-26 | Paper |
Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
Annals of Pure and Applied Logic | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4197982 (Why is no real title available?) | 1990-01-01 | Paper |
Weak axioms of determinacy and subsystems of analysis I: δ20 games
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
Fixed point theory in weak second-order arithmetic
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
The Galvin-Prikry theorem and set existence axioms
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
