Makoto Kikuchi

23 papers B 1C 2Journal 15Unranked 5
YearRankTypeTitle / Venue / Authors
2019 — conf
Estimation of Control Parameters in Neuromuscular Skeletal Systems Combined with CNNs and Parametric Identification.
ICAIIC
Makoto Kikuchi
2018 — conf
Proposal for Feature Enhancement of Bioinformation Using Attractor Pattern and Frequency Analysis.
ISMICT
Makoto Kikuchi
2017 J jnl
Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of Arithmetic.
Rev. Symb. Log.
Makoto Kikuchi, Taishi Kurahashi
2017 J jnl
Universal Rosser Predicates.
J. Symb. Log.
Makoto Kikuchi, Taishi Kurahashi
2016 J jnl
Illusory Models of Peano Arithmetic.
J. Symb. Log.
Makoto Kikuchi, Taishi Kurahashi
2016 J jnl
Liar-type Paradoxes and the Incompleteness Phenomena.
J. Philos. Log.
Makoto Kikuchi, Taishi Kurahashi
2012 J jnl
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos.
Math. Log. Q.
Makoto Kikuchi, Taishi Kurahashi, Hiroshi Sakai
2011 J jnl
Kolmogorov complexity and characteristic constants of formal theories of arithmetic.
Math. Log. Q.
Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo
2008 C conf
On Characteristic Constants of Theories Defined by Kolmogorov Complexity.
WoLLIC
Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo
2008 J jnl
Recent technological advancements related to articular cartilage regeneration.
Medical Biol. Eng. Comput.
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
2006 B conf
Mathematical Models of Category-Based Induction.
Discovery Science
Mizuho Mishima, Makoto Kikuchi
2004 J jnl
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.
Takemi Matsui, Kousuke Hagisawa, Toshiaki Ishizuka, Bonpei Takase, Masayuki Ishihara, Makoto Kikuchi
2003 — conf
A Formal Analysis of Classifier System and Interface between Learning System and Environment.
Applied Informatics
Ichiro Nagasaka, Makoto Kikuchi, Shinzo Kitamura
2003 C conf
On a Set Theory With Uncertain Membership Relations.
HIS
Shunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi
2003 — conf
On the Three Forms of Non-deductive Inferences: Induction, Abduction, and Design.
Applied Informatics
Makoto Kikuchi, Ichiro Nagasaka
2002 J jnl
A novel ferromagnetic thermo-stent for plaque stabilization that self-regulates the temperature.
IEEE Trans. Biomed. Eng.
Takemi Matsui, Kouji Matsumura, Kousuke Hagisawa, Masayuki Ishihara, Toshiaki Ishizuka, Minoru Suzuki, Akira Kurita, Makoto Kikuchi
2001 J jnl
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.
Takemi Matsui, Tsunenori Arai, Shunichi Sato, Minoru Suzuki, Toshiaki Ishizuka, Makoto Kikuchi, Akira Kurita
1997 J jnl
Kolmogorov complexity and the second incompleteness theorem.
Arch. Math. Log.
Makoto Kikuchi
1994 J jnl
A Note on Boolos' Proof of the Incompleteness Theorem.
Math. Log. Q.
Makoto Kikuchi
1994 J jnl
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.
Notre Dame J. Formal Log.
Makoto Kikuchi, Kazuyuki Tanaka
1991 J jnl
New noninvasive transcutaneous approach to blood glucose monitoring: successful glucose monitoring on human 75 g OGTT with novel sampling chamber.
IEEE Trans. Biomed. Eng.
Shinsuke Kayashima, Tsunenori Arai, Makoto Kikuchi, Noriharu Sato, Naokazu Nagata, Osamu Takatani, Narushi Ito, Jun Kimura, Toshihide Kuriyama, Aiko Kaneyoshi
1987 — conf
2-D Vector Representation of Multi-Dimensional Symptom Space for Computer Aided Medical Diagnosis.
ASST
Tomio Sekiya, Akira Watanabe, Masao Saito, Makoto Kikuchi
1987 J jnl
Ultrasonic nonlinear parameter CT using nonlinear interaction of sound waves.
Syst. Comput. Jpn.
Yoshikatsu Nakagawa, Masao Nakagawa, Masahide Yoneyama, Makoto Kikuchi