Makoto Kikuchi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2019

Estimation of Control Parameters in Neuromuscular Skeletal Systems Combined with CNNs and Parametric IdentificationMakoto Kikuchi. icaiic 2019: 355-359 [doi]

2018

Proposal for Feature Enhancement of Bioinformation Using Attractor Pattern and Frequency AnalysisMakoto Kikuchi. ismict 2018: 1-6 [doi]

2017

Universal Rosser PredicatesMakoto Kikuchi, Taishi Kurahashi. JSYML, 82(1):292-302, 2017. [doi]

Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of ArithmeticMakoto Kikuchi, Taishi Kurahashi. rsl, 10(4):603-616, 2017. [doi]

2016

Liar-type Paradoxes and the Incompleteness PhenomenaMakoto Kikuchi, Taishi Kurahashi. jphil, 45(4):381-398, 2016. [doi]

Illusory Models of Peano ArithmeticMakoto Kikuchi, Taishi Kurahashi. JSYML, 81(3):1163-1175, 2016. [doi]

2012

On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and BoolosMakoto Kikuchi, Taishi Kurahashi, Hiroshi Sakai. mlq, 58(4-5):307-316, 2012. [doi]

2011

Kolmogorov complexity and characteristic constants of formal theories of arithmeticShingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo. mlq, 57(5):470-473, 2011. [doi]

2008

2006

Mathematical Models of Category-Based InductionMizuho Mishima, Makoto Kikuchi. dis 2006: 327-331 [doi]

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 thermographyTakemi Matsui, Kousuke Hagisawa, Toshiaki Ishizuka, Bonpei Takase, Masayuki Ishihara, Makoto Kikuchi. tbe, 51(12):2184-2188, 2004. [doi]

2003

On the Three Forms of Non-deductive Inferences: Induction, Abduction, and DesignMakoto Kikuchi, Ichiro Nagasaka. appinf 2003: 357-362

A Formal Analysis of Classifier System and Interface between Learning System and EnvironmentIchiro Nagasaka, Makoto Kikuchi, Shinzo Kitamura. appinf 2003: 20-25

On a Set Theory With Uncertain Membership RelationsShunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi. his 2003: 458-467

2002

A novel ferromagnetic thermo-stent for plaque stabilization that self-regulates the temperatureTakemi Matsui, Kouji Matsumura, Kousuke Hagisawa, Masayuki Ishihara, Toshiaki Ishizuka, Minoru Suzuki, Akira Kurita, Makoto Kikuchi. tbe, 49(6):621-623, 2002. [doi]

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 lesionsTakemi Matsui, Tsunenori Arai, Shunichi Sato, Minoru Suzuki, Toshiaki Ishizuka, Makoto Kikuchi, Akira Kurita. tbe, 48(4):492-495, 2001. [doi]

1997

Kolmogorov complexity and the second incompleteness theoremMakoto Kikuchi. AML, 36(6):437-443, 1997. [doi]

1994

On Formalization of Model-Theoretic Proofs of Gödel s TheoremsMakoto Kikuchi, Kazuyuki Tanaka. ndjfl, 35(3):403-412, 1994.

A Note on Boolos Proof of the Incompleteness TheoremMakoto Kikuchi. mlq, 40:528-532, 1994.

1987

Ultrasonic nonlinear parameter CT using nonlinear interaction of sound wavesYoshikatsu Nakagawa, Masao Nakagawa, Masahide Yoneyama, Makoto Kikuchi. scjapan, 18(9):1-9, 1987. [doi]

2-D Vector Representation of Multi-Dimensional Symptom Space for Computer Aided Medical DiagnosisTomio Sekiya, Akira Watanabe, Masao Saito, Makoto Kikuchi. asst 1987: 172-175

Sign in or sign up to see more results.

runs on WebDSL