![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Makoto Kikuchi
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [c8]Makoto Kikuchi:
Estimation of Control Parameters in Neuromuscular Skeletal Systems Combined with CNNs and Parametric Identification. ICAIIC 2019: 355-359 - 2018
- [c7]Makoto Kikuchi:
Proposal for Feature Enhancement of Bioinformation Using Attractor Pattern and Frequency Analysis. ISMICT 2018: 1-6 - 2017
- [j14]Makoto Kikuchi, Taishi Kurahashi
:
Universal Rosser Predicates. J. Symb. Log. 82(1): 292-302 (2017) - [j13]Makoto Kikuchi, Taishi Kurahashi
:
Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of Arithmetic. Rev. Symb. Log. 10(4): 603-616 (2017) - 2016
- [j12]Makoto Kikuchi, Taishi Kurahashi
:
Liar-type Paradoxes and the Incompleteness Phenomena. J. Philos. Log. 45(4): 381-398 (2016) - [j11]Makoto Kikuchi, Taishi Kurahashi
:
Illusory Models of Peano Arithmetic. J. Symb. Log. 81(3): 1163-1175 (2016) - 2012
- [j10]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): 307-316 (2012) - 2011
- [j9]Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo
:
Kolmogorov complexity and characteristic constants of formal theories of arithmetic. Math. Log. Q. 57(5): 470-473 (2011)
2000 – 2009
- 2008
- [j8]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): 735-743 (2008) - [c6]Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo
:
On Characteristic Constants of Theories Defined by Kolmogorov Complexity. WoLLIC 2008: 218-225 - 2006
- [c5]Mizuho Mishima, Makoto Kikuchi:
Mathematical Models of Category-Based Induction. Discovery Science 2006: 327-331 - 2004
- [j7]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): 2184-2188 (2004) - 2003
- [c4]Ichiro Nagasaka, Makoto Kikuchi, Shinzo Kitamura:
A Formal Analysis of Classifier System and Interface between Learning System and Environment. Applied Informatics 2003: 20-25 - [c3]Makoto Kikuchi, Ichiro Nagasaka:
On the Three Forms of Non-deductive Inferences: Induction, Abduction, and Design. Applied Informatics 2003: 357-362 - [c2]Shunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi:
On a Set Theory With Uncertain Membership Relations. HIS 2003: 458-467 - 2002
- [j6]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): 621-623 (2002) - 2001
- [j5]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): 492-495 (2001)
1990 – 1999
- 1997
- [j4]Makoto Kikuchi:
Kolmogorov complexity and the second incompleteness theorem. Arch. Math. Log. 36(6): 437-443 (1997) - 1994
- [j3]Makoto Kikuchi:
A Note on Boolos' Proof of the Incompleteness Theorem. Math. Log. Q. 40: 528-532 (1994) - [j2]Makoto Kikuchi, Kazuyuki Tanaka:
On Formalization of Model-Theoretic Proofs of Gödel's Theorems. Notre Dame J. Formal Log. 35(3): 403-412 (1994)
1980 – 1989
- 1987
- [j1]Yoshikatsu Nakagawa, Masao Nakagawa, Masahide Yoneyama, Makoto Kikuchi:
Ultrasonic nonlinear parameter CT using nonlinear interaction of sound waves. Syst. Comput. Jpn. 18(9): 1-9 (1987) - [c1]Tomio Sekiya, Akira Watanabe, Masao Saito, Makoto Kikuchi:
2-D Vector Representation of Multi-Dimensional Symptom Space for Computer Aided Medical Diagnosis. ASST 1987: 172-175
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint