Makoto Kikuchi

According to our database1, 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.
Rew. Symb. Logic, 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


  Loading...