# Makoto Kikuchi

According to our database

Collaborative distances:

^{1}, Makoto Kikuchi authored at least 22 papers between 1987 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Estimation of Control Parameters in Neuromuscular Skeletal Systems Combined with CNNs and Parametric Identification.

Proceedings of the International Conference on Artificial Intelligence in Information and Communication, 2019

2018

Proposal for Feature Enhancement of Bioinformation Using Attractor Pattern and Frequency Analysis.

Proceedings of the 12th International Symposium on Medical Information and Communication Technology, 2018

2017

Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of Arithmetic.

Rev. Symb. Log., 2017

Universal Rosser Predicates.

J. Symb. Log., 2017

2016

Illusory Models of Peano Arithmetic.

J. Symb. Log., 2016

Liar-type Paradoxes and the Incompleteness Phenomena.

J. Philosophical Logic, 2016

2012

On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos.

Math. Log. Q., 2012

2011

Kolmogorov complexity and characteristic constants of formal theories of arithmetic.

Math. Log. Q., 2011

2008

Recent technological advancements related to articular cartilage regeneration.

Med. Biol. Engineering and Computing, 2008

On Characteristic Constants of Theories Defined by Kolmogorov Complexity.

Proceedings of the Logic, 2008

2006

Mathematical Models of Category-Based Induction.

Proceedings of the Discovery Science, 9th International Conference, 2006

2004

A novel method to prevent secondary exposure of medical and rescue personnel to toxic materials under biochemical hazard conditions using microwave radar and infrared thermography.

IEEE Trans. Biomed. Engineering, 2004

2003

On a Set Theory With Uncertain Membership Relations.

Proceedings of the Design and Application of Hybrid Intelligent Systems, 2003

A Formal Analysis of Classifier System and Interface between Learning System and Environment.

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

On the Three Forms of Non-deductive Inferences: Induction, Abduction, and Design.

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2002

A novel ferromagnetic thermo-stent for plaque stabilization that self-regulates the temperature.

IEEE Trans. Biomed. Engineering, 2002

2001

Determining the temperature distribution of a model vessel wall under pulsed laser irradiation: an experimental attempt to measure fibrous cap thickness and detect temperature elevation in atherosclerotic lesions.

IEEE Trans. Biomed. Engineering, 2001

1997

Kolmogorov complexity and the second incompleteness theorem.

Arch. Math. Log., 1997

1994

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

Notre Dame Journal of Formal Logic, 1994

A Note on Boolos' Proof of the Incompleteness Theorem.

Math. Log. Q., 1994

1987

Ultrasonic nonlinear parameter CT using nonlinear interaction of sound waves.

Systems and Computers in Japan, 1987

2-D Vector Representation of Multi-Dimensional Symptom Space for Computer Aided Medical Diagnosis.

Proceedings of the ASST '87, 1987