2-D Vector Representation of Multi-Dimensional Symptom Space for Computer Aided Medical Diagnosis. - Tomio Sekiya; Akira Watanabe; Masao Saito; Makoto Kikuchi (ASST, 1987)

Ultrasonic nonlinear parameter CT using nonlinear interaction of sound waves. - Yoshikatsu Nakagawa; Masao Nakagawa; Masahide Yoneyama; Makoto Kikuchi (Syst. Comput. Jpn., 1987)

New noninvasive transcutaneous approach to blood glucose monitoring: successful glucose monitoring on human 75 g OGTT with novel sampling chamber. - Shinsuke Kayashima; Tsunenori Arai; Makoto Kikuchi; Noriharu Sato; Naokazu Nagata; Osamu Takatani; Narushi Ito; Jun Kimura; Toshihide Kuriyama; Aiko Kaneyoshi (IEEE Trans. Biomed. Eng., 1991)

A Note on Boolos' Proof of the Incompleteness Theorem. - Makoto Kikuchi (Math. Log. Q., 1994)

On Formalization of Model-Theoretic Proofs of Gödel's Theorems. - Makoto Kikuchi; Kazuyuki Tanaka (Notre Dame J. Formal Log., 1994)

Kolmogorov complexity and the second incompleteness theorem. - Makoto Kikuchi (Arch. Math. Log., 1997)

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)

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)

On the Three Forms of Non-deductive Inferences: Induction, Abduction, and Design. - Makoto Kikuchi; Ichiro Nagasaka (Applied Informatics, 2003)

A Formal Analysis of Classifier System and Interface between Learning System and Environment. - Ichiro Nagasaka; Makoto Kikuchi; Shinzo Kitamura (Applied Informatics, 2003)

On a Set Theory With Uncertain Membership Relations. - Shunsuke Yatabe; Yuzuru Kakuda; Makoto Kikuchi (HIS, 2003)

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)

Mathematical Models of Category-Based Induction. - Mizuho Mishima; Makoto Kikuchi (Discovery Science, 2006)

On Characteristic Constants of Theories Defined by Kolmogorov Complexity. - Shingo Ibuka; Makoto Kikuchi; Hirotaka Kikyo (WoLLIC, 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; et al. (Medical Biol. Eng. Comput., 2008)

Kolmogorov complexity and characteristic constants of formal theories of arithmetic. - Shingo Ibuka; Makoto Kikuchi; Hirotaka Kikyo (Math. Log. Q., 2011)

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)

Liar-type Paradoxes and the Incompleteness Phenomena. - Makoto Kikuchi; Taishi Kurahashi (J. Philos. Log., 2016)

Illusory Models of Peano Arithmetic. - Makoto Kikuchi; Taishi Kurahashi (J. Symb. Log., 2016)

Universal Rosser Predicates. - Makoto Kikuchi; Taishi Kurahashi (J. Symb. Log., 2017)

Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of Arithmetic. - Makoto Kikuchi; Taishi Kurahashi (Rev. Symb. Log., 2017)

Proposal for Feature Enhancement of Bioinformation Using Attractor Pattern and Frequency Analysis. - Makoto Kikuchi (ISMICT, 2018)

Estimation of Control Parameters in Neuromuscular Skeletal Systems Combined with CNNs and Parametric Identification. - Makoto Kikuchi (ICAIIC, 2019)