Makoto Kikuchi

According to our database, Makoto Kikuchi authored at least 22 papers between 1987 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2019

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

Makoto Kikuchi

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.

Makoto Kikuchi

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.

Makoto Kikuchi, Taishi Kurahashi

Rev. Symb. Log., 2017

Universal Rosser Predicates.

Makoto Kikuchi, Taishi Kurahashi

J. Symb. Log., 2017

2016

Illusory Models of Peano Arithmetic.

Makoto Kikuchi, Taishi Kurahashi

J. Symb. Log., 2016

Liar-type Paradoxes and the Incompleteness Phenomena.

Makoto Kikuchi, Taishi Kurahashi

J. Philos. Log., 2016

2012

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

Makoto Kikuchi, Taishi Kurahashi, Hiroshi Sakai

Math. Log. Q., 2012

2011

Kolmogorov complexity and characteristic constants of formal theories of arithmetic.

Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo

Math. Log. Q., 2011

2008

Recent technological advancements related to articular cartilage regeneration.

Masato Sato, Miya Ishihara, Katsuko S. Furukawa, Nagatoshi Kaneshiro, Toshihiro Nagai, Genya Mitani, Toshiharu Kutsuna, Naoshi Ohta, Mami Kokubo, Tetsutaro Kikuchi, Hideaki Sakai, Takashi Ushida, Makoto Kikuchi, Joji Mochida

Medical Biol. Eng. Comput., 2008

On Characteristic Constants of Theories Defined by Kolmogorov Complexity.

Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo

Proceedings of the Logic, 2008

2006

Mathematical Models of Category-Based Induction.

Mizuho Mishima, Makoto Kikuchi

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.

Takemi Matsui, Kousuke Hagisawa, Toshiaki Ishizuka, Bonpei Takase, Masayuki Ishihara, Makoto Kikuchi

IEEE Trans. Biomed. Eng., 2004

2003

On a Set Theory With Uncertain Membership Relations.

Shunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi

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

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

Ichiro Nagasaka, Makoto Kikuchi, Shinzo Kitamura

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.

Makoto Kikuchi, Ichiro Nagasaka

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.

Takemi Matsui, Kouji Matsumura, Kousuke Hagisawa, Masayuki Ishihara, Toshiaki Ishizuka, Minoru Suzuki, Akira Kurita, Makoto Kikuchi

IEEE Trans. Biomed. Eng., 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.

Takemi Matsui, Tsunenori Arai, Shunichi Sato, Minoru Suzuki, Toshiaki Ishizuka, Makoto Kikuchi, Akira Kurita

IEEE Trans. Biomed. Eng., 2001

1997

Kolmogorov complexity and the second incompleteness theorem.

Makoto Kikuchi

Arch. Math. Log., 1997

1994

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

Makoto Kikuchi, Kazuyuki Tanaka

Notre Dame J. Formal Log., 1994

A Note on Boolos' Proof of the Incompleteness Theorem.

Makoto Kikuchi

Math. Log. Q., 1994

1987

Ultrasonic nonlinear parameter CT using nonlinear interaction of sound waves.

Yoshikatsu Nakagawa, Masao Nakagawa, Masahide Yoneyama, Makoto Kikuchi

Syst. Comput. Jpn., 1987

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

Tomio Sekiya, Akira Watanabe, Masao Saito, Makoto Kikuchi

Proceedings of the ASST '87, 1987