Makoto Kikuchi

Publication Activity (10 Years)

Years Active: 1987-2019
Publications (10 Years): 6

Top Topics

Boolean Expressions

Social Bookmarking

Frequency Analysis

Top Venues

J. Philos. Log.

Publications

Makoto Kikuchi
Estimation of Control Parameters in Neuromuscular Skeletal Systems Combined with CNNs and Parametric Identification. ICAIIC (2019)
Makoto Kikuchi
Proposal for Feature Enhancement of Bioinformation Using Attractor Pattern and Frequency Analysis. ISMICT (2018)
Makoto Kikuchi, Taishi Kurahashi
Universal Rosser Predicates. J. Symb. Log. 82 (1) (2017)
Makoto Kikuchi, Taishi Kurahashi
Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of Arithmetic. Rev. Symb. Log. 10 (4) (2017)
Makoto Kikuchi, Taishi Kurahashi
Liar-type Paradoxes and the Incompleteness Phenomena. J. Philos. Log. 45 (4) (2016)
Makoto Kikuchi, Taishi Kurahashi
Illusory Models of Peano Arithmetic. J. Symb. Log. 81 (3) (2016)
Makoto Kikuchi, Taishi Kurahashi, Hiroshi Sakai
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos. Math. Log. Q. 58 (4-5) (2012)
Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo
Kolmogorov complexity and characteristic constants of formal theories of arithmetic. Math. Log. Q. 57 (5) (2011)
Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo
On Characteristic Constants of Theories Defined by Kolmogorov Complexity. WoLLIC (2008)
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
Recent technological advancements related to articular cartilage regeneration. Medical Biol. Eng. Comput. 46 (8) (2008)
Mizuho Mishima, Makoto Kikuchi
Mathematical Models of Category-Based Induction. Discovery Science (2006)
Takemi Matsui, Kousuke Hagisawa, Toshiaki Ishizuka, Bonpei Takase, Masayuki Ishihara, Makoto Kikuchi
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. Eng. 51 (12) (2004)
Ichiro Nagasaka, Makoto Kikuchi, Shinzo Kitamura
A Formal Analysis of Classifier System and Interface between Learning System and Environment. Applied Informatics (2003)
Makoto Kikuchi, Ichiro Nagasaka
On the Three Forms of Non-deductive Inferences: Induction, Abduction, and Design. Applied Informatics (2003)
Shunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi
On a Set Theory With Uncertain Membership Relations. HIS (2003)
Takemi Matsui, Kouji Matsumura, Kousuke Hagisawa, Masayuki Ishihara, Toshiaki Ishizuka, Minoru Suzuki, Akira Kurita, Makoto Kikuchi
A novel ferromagnetic thermo-stent for plaque stabilization that self-regulates the temperature. IEEE Trans. Biomed. Eng. 49 (6) (2002)
Takemi Matsui, Tsunenori Arai, Shunichi Sato, Minoru Suzuki, Toshiaki Ishizuka, Makoto Kikuchi, Akira Kurita
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. Eng. 48 (4) (2001)
Makoto Kikuchi
Kolmogorov complexity and the second incompleteness theorem. Arch. Math. Log. 36 (6) (1997)
Makoto Kikuchi, Kazuyuki Tanaka
On Formalization of Model-Theoretic Proofs of Gödel's Theorems. Notre Dame J. Formal Log. 35 (3) (1994)
Makoto Kikuchi
A Note on Boolos' Proof of the Incompleteness Theorem. Math. Log. Q. 40 (1994)
Yoshikatsu Nakagawa, Masao Nakagawa, Masahide Yoneyama, Makoto Kikuchi
Ultrasonic nonlinear parameter CT using nonlinear interaction of sound waves. Systems and Computers in Japan 18 (9) (1987)
Tomio Sekiya, Akira Watanabe, Masao Saito, Makoto Kikuchi
2-D Vector Representation of Multi-Dimensional Symptom Space for Computer Aided Medical Diagnosis. ASST (1987)