Results for 'Yoshie Kikuchi'

87 found
Order:
  1.  34
    The Associations Among the Dopamine D2 Receptor Taq1, Emotional Intelligence, Creative Potential Measured by Divergent Thinking, and Motivational State and These Associations' Sex Differences. [REVIEW]Hikaru Takeuchi, Hiroaki Tomita, Yasuyuki Taki, Yoshie Kikuchi, Chiaki Ono, Zhiqian Yu, Atsushi Sekiguchi, Rui Nouchi, Yuka Kotozaki, Seishu Nakagawa, Carlos M. Miyauchi, Kunio Iizuka, Ryoichi Yokoyama, Takamitsu Shinada, Yuki Yamamoto, Sugiko Hanawa, Tsuyoshi Araki, Hiroshi Hashizume, Keiko Kunitoki, Yuko Sassa & Ryuta Kawashima - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  1
    Sex Differences in Social Cognition and Association of Social Cognition and Neurocognition in Early Course Schizophrenia.Ryotaro Kubota, Ryo Okubo, Satoru Ikezawa, Makoto Matsui, Leona Adachi, Ayumu Wada, Chinatsu Fujimaki, Yuji Yamada, Koji Saeki, Chika Sumiyoshi, Akiko Kikuchi, Yoshie Omachi, Kazuyoshi Takeda, Ryota Hashimoto, Tomiki Sumiyoshi & Naoki Yoshimura - 2022 - Frontiers in Psychology 13.
    BackgroundBoth impairment and sex differences in social cognition and neurocognition have been documented in schizophrenia. However, whether sex differences exist in the association between social cognition and neurocognition are not known. We aimed to investigate the contribution of areas of neurocognition to theory of mind and hostility bias, representing social cognition, according to sex in early course schizophrenia.MethodsIn this cross-sectional study, we assessed neurocognition using the Japanese version of the Brief Assessment of Cognition in Schizophrenia and assessed the ToM and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  35
    Book Reviews: Commentary on a Book Review: Kikuchi J, Simmons H Eds 1994: Developing a Philosophy of Nursing. Thousand Oaks, CA: Sage. 13.95 . ISBN 0 8039 5423 9. [REVIEW]J. F. Kikuchi & H. Simmons - 1996 - Nursing Ethics 3 (3):278-279.
  4.  19
    On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
    Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  5.  27
    Kikuchi-Like Reflection Patterns Obtained with the Scanning Electron Microscope.D. G. Coates - 1967 - Philosophical Magazine 16 (144):1179-1184.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  6.  11
    Reconstructing Feminist Perspectives of Women’s Bodies Using a Globalized View: The Changing Surrogacy Market in Japan.Yoshie Yanagihara - 2020 - Bioethics 34 (6):570-577.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  10
    Emotional Valence, Sense of Agency and Responsibility: A Study Using Intentional Binding.J. F. Christensen, M. Yoshie, S. Di Costa & P. Haggard - 2016 - Consciousness and Cognition 43:1-10.
  8.  8
    Two Main Streams of Thought in Yogacara Philosophy.Yoshi Fumi Ueda - 1967 - Philosophy East and West 17 (1/4):155.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  19
    Auditory Observation of Infant-Directed Speech by Mothers: Experience-Dependent Interaction Between Language and Emotion in the Basal Ganglia.Yoshi-Taka Matsuda, Kenichi Ueno, Kang Cheng, Yukuo Konishi, Reiko Mazuka & Kazuo Okanoya - 2014 - Frontiers in Human Neuroscience 8.
  10.  19
    The Implicit Processing of Categorical and Dimensional Strategies: An fMRI Study of Facial Emotion Perception.Yoshi-Taka Matsuda, Tomomi Fujimura, Kentaro Katahira, Masato Okada, Kenichi Ueno, Kang Cheng & Kazuo Okanoya - 2013 - Frontiers in Human Neuroscience 7.
  11. Nicholas Griffin, Ed., The Cambridge Companion to Bertrand Russell. [REVIEW]Yoshi Ogawa & Alan Richardson - 2004 - Philosophy in Review 24 (3):184-187.
     
    Export citation  
     
    Bookmark  
  12.  15
    Categorical and Dimensional Perceptions in Decoding Emotional Facial Expressions.Tomomi Fujimura, Yoshi-Taka Matsuda, Kentaro Katahira, Masato Okada & Kazuo Okanoya - 2012 - Cognition and Emotion 26 (4):587-601.
  13. Review of R.A. Wilson and F.C. Keil (Eds.), The MIT Encyclopedia of the Cognitive Sciences☆☆MIT Press, Cambridge, MA, 1999. 1312 Pages. Price US$ 149.95 (Cloth). ISBN 0-262-23200-6. CD-ROM. Price US$ 149.95. ISBN 0-262-73124-X. [REVIEW]Yoshi Okamoto - 2001 - Artificial Intelligence 130 (2):211-212.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  5
    A Short Note on Groups in Separably Closed Valued Fields.Silvain Rideau-Kikuchi - 2021 - Annals of Pure and Applied Logic 172 (4):102943.
    In this note we show that groups with definable generics in a separably closed valued field K of finite imperfection degree can be embedded into groups definable in the algebraic closure of K.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Montesquieu.Yoshie Kawade - 2009 - In David Boucher & Paul Kelly (eds.), Political Thinkers: From Socrates to the Present. Oxford University Press.
     
    Export citation  
     
    Bookmark  
  16.  53
    On Proofs of the Incompleteness Theorems Based on Berry's Paradox by Vopěnka, Chaitin, and Boolos.Makoto Kikuchi, Taishi Kurahashi & Hiroshi Sakai - 2012 - Mathematical Logic Quarterly 58 (4-5):307-316.
    By formalizing Berry's paradox, Vopěnka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We shall show (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  17.  8
    Kikuchi Patterns in High Voltage Electron Microscopy.L. E. Thomas - 1972 - Philosophical Magazine 26 (6):1447-1465.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  11
    Interhemispheric Difference in Emotional Response Without Awareness.Yoshie Kimura, Aihide Yoshino, Yoshitomo Takahashi & Soichiro Nomura - 2004 - Physiology and Behavior 82 (4):727-731.
  19.  2
    Between Cartesianism and Orthodoxy: God and the Problem of Indifference in Christoph Wittich’s Anti-Spinoza.Yoshi Kato & Kuni Sakamoto - 2022 - Intellectual History Review 32 (2):239-257.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  19
    0 saber de Teseu n´ As Suplicantes de Eurípides.Filomena Yoshie Hirata - 2002 - Synthesis (la Plata) 9:11-20.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  58
    A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
    We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  22.  10
    Generalizations of Gödel’s Incompleteness Theorems for ∑N-Definable Theories of Arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2017 - Review of Symbolic Logic 10 (4):603-616.
    It is well known that Gödel’s incompleteness theorems hold for ∑1-definable theories containing Peano arithmetic. We generalize Gödel’s incompleteness theorems for arithmetically definable theories. First, we prove that every ∑n+1-definable ∑n-sound theory is incomplete. Secondly, we generalize and improve Jeroslow and Hájek’s results. That is, we prove that every consistent theory having ∏n+1set of theorems has a true but unprovable ∏nsentence. Lastly, we prove that no ∑n+1-definable ∑n-sound theory can prove its own ∑n-soundness. These three results are generalizations of Rosser’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  44
    Liar-Type Paradoxes and the Incompleteness Phenomena.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Philosophical Logic 45 (4):381-398.
    We define a liar-type paradox as a consistent proposition in propositional modal logic which is obtained by attaching boxes to several subformulas of an inconsistent proposition in classical propositional logic, and show several famous paradoxes are liar-type. Then we show that we can generate a liar-type paradox from any inconsistent proposition in classical propositional logic and that undecidable sentences in arithmetic can be obtained from the existence of a liar-type paradox. We extend these results to predicate logic and discuss Yablo’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  21
    Set-Theoretic Mereology.Joel David Hamkins & Makoto Kikuchi - 2016 - Logic and Logical Philosophy 25 (3):285-308.
    We consider a set-theoretic version of mereology based on the inclusion relation ⊆ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of ∈ from ⊆, we identify the natural axioms for ⊆-based mereology, which constitute a finitely axiomatizable, complete, decidable theory. Ultimately, for these reasons, we conclude that this form of set-theoretic mereology cannot by itself serve as a foundation of mathematics. Meanwhile, augmented forms of set-theoretic mereology, such as that obtained by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  29
    Kolmogorov Complexity and the Second Incompleteness Theorem.Makoto Kikuchi - 1997 - Archive for Mathematical Logic 36 (6):437-443.
    . We shall prove the second incompleteness theorem via Kolmogorov complexity.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  26. The Use-Mention Distinction and its Importance to HCI.Michael L. Anderson & Yoshi A. Okamoto - unknown
    In this paper we contend that the ability to engage in meta-dialog is necessary for free and exible conversation. Central to the possibility of meta-dialog is the ability to recognize and negotiate the distinction between the use and mention of a word. The paper surveys existing theoretical approaches to the use-mention distinction, and brie y describes some of our ongoing e orts to implement a system which represents the use-mention distinction in the service of simple meta-dialog.
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  14
    Modeling the Momentum Effect in Financial Stock Markets株式市場のモメンタム効果再現モデル.Kazunori Umino, Takamasa Kikuchi, Masaaki Kunigami, Takashi Yamada & Takao Terano - 2018 - Transactions of the Japanese Society for Artificial Intelligence 33 (4):E-HB3_1-9.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  18
    Somatosensory Evoked Field in Response to Visuotactile Stimulation in 3- to 4-Year-Old Children.Gerard B. Remijn, Mitsuru Kikuchi, Kiyomi Shitamichi, Sanae Ueno, Yuko Yoshimura, Kikuko Nagao, Tsunehisa Tsubokawa, Haruyuki Kojima, Haruhiro Higashida & Yoshio Minabe - 2014 - Frontiers in Human Neuroscience 8.
  29.  17
    Preferential Awareness of Protofacial Stimuli in Autism.Hironori Akechi, Timo Stein, Yukiko Kikuchi, Yoshikuni Tojo, Hiroo Osanai & Toshikazu Hasegawa - 2015 - Cognition 143:129-134.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  15
    Universal Rosser Predicates.Makoto Kikuchi & Taishi Kurahashi - 2017 - Journal of Symbolic Logic 82 (1):292-302.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  9
    Extinction Contours and Kikuchi Lines in Electron Microscopy.J. A. Eades, J. Riquelme, E. Silva & A. Van Dun - 1974 - Philosophical Magazine 30 (4):945-951.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  52
    Towards a Philosophic Theory of Nursing.June F. Kikuchi - 2004 - Nursing Philosophy 5 (1):79-83.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  7
    Self-Injury in Japanese Manga: A Content Analysis.Yukari Seko & Minako Kikuchi - 2021 - Journal of Medical Humanities 42 (3):355-369.
    This study explored representations of self-injury in Japanese manga. A content analysis of fifteen slice-of-life manga published between 2000-2017 was conducted, focusing on forty scenes that depict eighteen characters engaging in self-injury. Most depictions of self-injury reflect a stereotypical perception of “self-injurer,” a young girl cutting herself to cope with negative emotion. Characters receive informal support from friends and partners, while parents are portrayed as unsupportive and even triggering. An emergent trend was observed among manga targeting male readers to label (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  13
    Three Short Stories Around Gödel's Incompleteness Theorems.Makoto Kikuchi & Taishi Kurahashi - 2011 - Journal of the Japan Association for Philosophy of Science 38 (2):75-80.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Developing a Philosophy of Nursing.J. F. Kikuchi & H. Simmons - 1996 - Nursing Ethics 3 (3):278-279.
     
    Export citation  
     
    Bookmark   3 citations  
  36.  7
    Illusory Models of Peano Arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Symbolic Logic 81 (3):1163-1175.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  4
    Call-by-Name Reduction and Cut-Elimination in Classical Logic.Kentaro Kikuchi - 2008 - Annals of Pure and Applied Logic 153 (1-3):38-65.
    We present a version of Herbelin’s image-calculus in the call-by-name setting to study the precise correspondence between normalization and cut-elimination in classical logic. Our translation of λμ-terms into a set of terms in the calculus does not involve any administrative redexes, in particular η-expansion on μ-abstraction. The isomorphism preserves β,μ-reduction, which is simulated by a local-step cut-elimination procedure in the typed case, where the reduction system strictly follows the “ cut=redex” paradigm. We show that the underlying untyped calculus is confluent (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38. Intraoperative Brain Mapping by Cortico-Cortical Evoked Potential.Yukihiro Yamao, Riki Matsumoto, Takayuki Kikuchi, Kazumichi Yoshida, Takeharu Kunieda & Susumu Miyamoto - 2021 - Frontiers in Human Neuroscience 15.
    To preserve postoperative brain function, it is important for neurosurgeons to fully understand the brain's structure, vasculature, and function. Intraoperative high-frequency electrical stimulation during awake craniotomy is the gold standard for mapping the function of the cortices and white matter; however, this method can only map the “focal” functions and cannot monitor large-scale cortical networks in real-time. Recently, an in vivo electrophysiological method using cortico-cortical evoked potentials induced by single-pulse electrical cortical stimulation has been developed in an extraoperative setting. By (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  18
    Risjord's Philosophy of Nursing Science: Concerns and Questions.June F. Kikuchi - 2014 - Nursing Philosophy 15 (1):46-49.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  30
    Towards a Philosophic Theory of Nursing.June F. Kikuchi RN PhD - 2004 - Nursing Philosophy 5 (1):79–83.
  41.  17
    Dual-Context Sequent Calculus and Strict Implication.Kentaro Kikuchi - 2002 - Mathematical Logic Quarterly 48 (1):87-92.
    We introduce a dual-context style sequent calculus which is complete with respectto Kripke semantics where implication is interpreted as strict implication in the modal logic K. The cut-elimination theorem for this calculus is proved by a variant of Gentzen's method.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  17
    Neutron Irradiation Effects in Fe–Cu–Ni–Mn Model Alloys Studied by Measurements of Magnetic Minor Hysteresis Loops.S. Kobayashi, H. Kikuchi, S. Takahashi, K. Chiba, Y. Kamada & K. Ara - 2007 - Philosophical Magazine 87 (26):4047-4058.
  43.  59
    Relationships Between Basic Propositional Calculus and Substructural Logics.Kentaro Kikuchi - 2001 - Bulletin of the Section of Logic 30 (1):15-20.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  13
    Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.
    This paper introduces sequent systems for Visser's two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  7
    The Binary: An Obstacle to Scholarly Nursing Discourse?June F. Kikuchi rn phd - 2006 - Nursing Philosophy 7 (2):100–103.
  46.  27
    Book Review : Kikuchi J, Simmons H Eds 1992: Philosophic Inquiry in Nursing. London: Sage. 117pp. 9.95. ISBN 080 39 44608. [REVIEW]B. Clifton - 1994 - Nursing Ethics 1 (1):65-66.
  47. A Software Environment for Operating Various Discovery Systems Based on the Logic of Discovery様々な知識発見システムを統一的に利用可能な環境の構築.Toshiyuki Kikuchi & Akihiro Yamamoto - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17:576-584.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  15
    Book Reviews : Kikuchi J, Simmons H Eds 1994: Developing a Philosophy of Nursing. Thousand Oaks, CA: Sage. 13.95 . ISBN 0 8039 5423 9. [REVIEW]B. Clifton - 1995 - Nursing Ethics 2 (1):87-88.
  49.  5
    Cross-National Odyssey of a Chemist: Edward Divers at London, Galway and Tokyo.Yoshiyuki Kikuchi - 2012 - History of Science 50 (3):289-314.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Kolmogorov Complexity and Characteristic Constants of Formal Theories of Arithmetic.Shingo Ibuka, Masato Kikuchi & Hirotaka Kikyo - 2011 - Mathematical Logic Quarterly 57 (5):470-473.
     
    Export citation  
     
    Bookmark  
1 — 50 / 87