Results for 'Tomoyuki Terai'

54 found
Order:
  1.  21
    Stress and Temperature Dependence of the Structure of the Martensite and X-Phase in Ni2MnGa.Takashi Fukuda, Tomoyuki Terai, Hiroaki Kushida, Tomoyuki Kakeshita, Toyotaka Osakabe & Kazuhisa Kakurai - 2010 - Philosophical Magazine 90 (14):1925-1935.
  2.  7
    Rearrangement of Crystallographic Domains Driven by Magnetic Field in Antiferromagnetic CoO.Masataka Yamamoto, Tomoyuki Terai & Tomoyuki Kakeshita - 2010 - Philosophical Magazine 90 (15):2125-2134.
  3.  17
    Class Practise of Cognitive Science by Creating Models.Kazuhisa Miwa, Hitoshi Terai, Jyunya Morita, Ryuichi Nakaike & Hitomi Saito - 2012 - Transactions of the Japanese Society for Artificial Intelligence 27 (2):61-72.
  4.  15
    A Class Practice and Its Evaluation for Understanding Cognitive Information Processing by Constructing Computational Cognitive Models.Nana Kanzaki, Kazuhisa Miwa, Hitoshi Terai, Kazuaki Kojima, Ryuichi Nakaike, Junya Morita & Hitomi Saito - 2015 - Transactions of the Japanese Society for Artificial Intelligence 30 (3):536-546.
  5.  11
    Supporting Theory-Based Data Interpretation Through Model Construction.Hitomi Saito, Kazuhisa Miwa, Nana Kanzaki, Hitoshi Terai, Kazuaki Kojima, Ryuichi Nakaike & Junya Morita - 2015 - Transactions of the Japanese Society for Artificial Intelligence 30 (3):547-558.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  9
    Development of a Web-Based Production System for Introductory Cognitive Science Classes.Ryuichi Nakaike, Kazuhisa Miwa, Jyunya Morita & Hitoshi Terai - 2011 - Transactions of the Japanese Society for Artificial Intelligence 26 (5):536-546.
  7.  7
    Analysis of Motor Skill Acquisition in Novice Jugglers by Three-Dimensional Motion Recording and Participants' Verbal Reporting.Jun Ichikawa, Kazuhisa Miwa & Hitoshi Terai - 2015 - Transactions of the Japanese Society for Artificial Intelligence 30 (3):585-594.
  8.  7
    Problem Posing Support in Natural Deduction by Coordinating Problem Posing and Problem Solving.Kazuhisa Miwa, Hitoshi Terai & Shoma Okamoto - 2015 - Transactions of the Japanese Society for Artificial Intelligence 30 (3):526-535.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  6
    Development and Evaluation of a Diagnostic Documentation Support System Using Knowledge Processing.Kyoko Makino, Rumi Hayakawa, Koichi Terai & Hiroshi Fukatsu - 2008 - Transactions of the Japanese Society for Artificial Intelligence 23:463-472.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  5
    An Intelligent Tutoring System with Variable Levels of Instructional Support for Instructing Natural Deduction.Kazuhisa Miwa, Hitoshi Terai, Nana Kanzaki & Ryuichi Nakaike - 2014 - Transactions of the Japanese Society for Artificial Intelligence 29 (1):148-156.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  4
    Enhancement of Visual Attention Precedes the Emergence of Novel Metaphor Interpretations.Asuka Terai, Masanori Nakagawa, Takashi Kusumi, Yasuharu Koike & Koji Jimura - 2015 - Frontiers in Psychology 6.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  12. Indian Epics of the Terai Conquest: The Story of a Migration.C. Servan-Schreiber & J. C. Gage - 1998 - Diogenes 46 (181):77-93.
  13.  43
    Diet Among People in the Terai Region of Nepal, an Area of Micronutrient Deficiency.Rajendra P. Parajuli, Masahiro Umezaki & Chiho Watanabe - 2012 - Journal of Biosocial Science 44 (4):401-415.
  14.  4
    Tomoyuki Yamakami. Polynomial Games and Determinacy, Annals of Pure and Applied Logic, Vol. 80 , Pp. 1–16.Edward Griffor - 1999 - Journal of Symbolic Logic 64 (2):913.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  4
    Review: Tomoyuki Yamakami, Polynomial Games and Determinacy. [REVIEW]Edward Griffor - 1999 - Journal of Symbolic Logic 64 (2):913-913.
  16.  75
    Logical Dynamics of Some Speech Acts That Affect Obligations and Preferences.Tomoyuki Yamada - 2008 - Synthese 165 (2):295 - 315.
    In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combines the preference upgrade introduced in DEUL (dynamic epistemic upgrade logic) by van Benthem and Liu with the deontic update introduced in ECL II (eliminative command logic II) by Yamada. The resulting logic will incorporate J. L. Austin’s distinction between illocutionary acts as acts having mere conventional effects and perlocutionary acts as acts having real effects upon (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  17.  20
    Canonicity Results of Substructural and Lattice-Based Logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.
    In this paper, we extend the canonicity methodology in Ghilardi & Meloni (1997) to arbitrary lattice expansions, and syntactically describe canonical inequalities for lattice expansions consisting of -meet preserving operations, -multiplicative operations, adjoint pairs, and constants. This approach gives us a uniform account of canonicity for substructural and lattice-based logics. Our method not only covers existing results, but also systematically accounts for many canonical inequalities containing nonsmooth additive and multiplicative uniform operations. Furthermore, we compare our technique with the approach in (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  23
    A Sahlqvist Theorem for Substructural Logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.
    In this paper, we establish the first-order definability of sequents with consistent variable occurrence on bi-approximation semantics by means of the Sahlqvist–van Benthem algorithm. Then together with the canonicity results in Suzuki (2011), this allows us to establish a Sahlqvist theorem for substructural logic. Our result is not limited to substructural logic but is also easily applicable to other lattice-based logics.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19. Acts of Requesting in Dynamic Logic of Knowledge and Obligation.Tomoyuki Yamada - 2011 - European Journal of Analytic Philosophy 7 (2):59-82.
    Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately differentiated from an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  13
    Wikipedia Mining.Kotaro Nakayama, Masahiro Ito, Maike Erdmann, Masumi Shirakawa, Tomoyuki Michishita, Takahiro Hara & Shojiro Nishio - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:549-557.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  13
    The Distributivity on Bi-Approximation Semantics.Tomoyuki Suzuki - 2016 - Notre Dame Journal of Formal Logic 57 (3):411-430.
    In this paper, we give a possible characterization of the distributivity on bi-approximation semantics. To this end, we introduce new notions of special elements on polarities and show that the distributivity is first-order definable on bi-approximation semantics. In addition, we investigate the dual representation of those structures and compare them with bi-approximation semantics for intuitionistic logic. We also discuss that two different methods to validate the distributivity—by the splitters and by the adjointness—can be explicated with the help of the axiom (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  31
    Dynamic Logic of Propositional Commitments.Tomoyuki Yamada - 2012 - In Majda Trobok Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality. Springer. pp. 183--200.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  24
    Acts of Promising in Dynamified Deontic Logic.Tomoyuki Yamada - 2008 - In Satoh (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 95--108.
  24.  47
    Early Marriage and Early Motherhood in Nepal.Minja Kim Choe, Shyam Thapa & Vinod Mishra - 2005 - Journal of Biosocial Science 37 (2):143-162.
    This paper examines age patterns of first marriage and motherhood and covariates of early marriage, delayed consummation of marriage and early motherhood in Nepal using data from the 2000 Nepal Adolescent and Young Adult Survey (NAYA). Both unmarried and married male and female youths (age 14s education, region of residence and ethnicity. The main covariates of delayed consummation of marriage are age at first marriage, region of residence and ethnicity. The study highlights the need to focus on less educated female (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  21
    Multi-Agent Simulation Based on Interaction Design.Yohei Murakami, Toru Ishida, Tomoyuki Kawasoe & Reiko Hishiyama - 2003 - Transactions of the Japanese Society for Artificial Intelligence 18:278-285.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  21
    Differences Between the R-Phase and the Commensurate Phase in Iron-Doped Ti–Ni Shape Memory Alloys.Mi-Seon Choi, Takuya Yamamoto, Takashi Fukuda, Tomoyuki Kakeshita, Eiji Taguchi & Hirotaro Mori - 2008 - Philosophical Magazine 88 (16):2449-2460.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  18
    Assertions and Commitments.Tomoyuki Yamada - 2016 - Philosophical Forum 47 (3-4):475-493.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  19
    Errata: Offspring Generation Method for Interactive Genetic Algorithm Considering Multimodal Preference.Fuyuko Ito, Tomoyuki Hiroyasu, Mitsunori Miki & Hisatake Yokouchi - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:313-313.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  19
    Effect of External Stress on Discontinuous Precipitation in a Cu–2.1 Wt % Be Alloy.Ryoichi Monzen, Tomoyuki Hasegawa & Chihiro Watanabe - 2010 - Philosophical Magazine 90 (10):1347-1358.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  16
    Iron Content and Temperature Dependences of Diffuse Scattering in Ti–Ni–xFe Alloys.Takuya Yamamoto, Mi-Seon Choi, Sho Majima, Takashi Fukuda, Tomoyuki Kakeshita, Eiji Taguchi & Hirotaro Mori - 2008 - Philosophical Magazine 88 (7):1027-1035.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  23
    Methodological Considerations on the Logical Dynamics of Speech Acts.Tomoyuki Yamada - 2008 - Proceedings of the Xxii World Congress of Philosophy 39:277-282.
    If the notion of speech acts is to be taken seriously, it must be possible to treat speech acts as acts. The development of systems of DEL (dynamic epistemic logic) in the last two decades suggests an interesting possibility. These systems are developed on the basis of static epistemic logics by introducing model updating operations to interpret various kinds of speech acts including public announcements as well as private information transmissions as what update epistemic states of agents involved. The methods (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  13
    Categorization Method for Nodes in Complex Networks and Its Application.Tomoyuki Yuasa & Susumu Shirayama - 2012 - Transactions of the Japanese Society for Artificial Intelligence 27 (3):111-120.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  12
    Offspring Generation Method for Interactive Genetic Algorithm Considering Multimodal Preference.Fuyuko Ito, Tomoyuki Hiroyasu, Mitsunori Miki & Hisatake Yokouchi - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:127-135.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  11
    Automatically Collecting and Monitoring Japanese Weblogs.Tomoyuki Nanno, Yasuhiro Suzuki, Toshiaki Fujiki & Manabu Okumura - 2004 - Transactions of the Japanese Society for Artificial Intelligence 19 (6):511-520.
  35.  4
    Book Review: Buddhavacana: A Pali Reader by Glenn Wallis. Onalaska: Pariyatti Press, 2010. 341 Pp., US$21.95, ISBN 9781928706854. [REVIEW]Tomoyuki Kono - 2012 - Buddhist Studies Review 28 (2):254-266.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  10
    Analysis of the Performance of Genetic Multi-Step Search in Interpolation and Extrapolation Domain.Yoshiko Hanada, Tomoyuki Hiroyasu & Mitsuji Muneyasu - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:136-146.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  10
    Validity of the Consensus Building System Using a Parallel Distributed Interactive Genetic Algorithm.Mitsunori Miki, Tomoyuki Hiroyasu & Hiroshi Tomioka - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:289-296.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  12
    Interactions Between a Quiz Robot and Multiple Participants: Focusing on Speech, Gaze and Bodily Conduct in Japanese and English Speakers.Akiko Yamazaki, Keiichi Yamazaki, Keiko Ikeda, Matthew Burdelski, Mihoko Fukushima, Tomoyuki Suzuki, Miyuki Kurihara, Yoshinori Kuno & Yoshinori Kobayashi - 2013 - Interaction Studies: Social Behaviour and Communication in Biological and Artificial Systems 14 (3):366-389.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  25
    Scorekeeping and Dynamic Logics of Speech Acts.Tomoyuki Yamada - unknown
    SOCREAL 2010: 2nd International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2010-03-27/28. Keynote Lecture 3.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  14
    Intracellular Antibodies and Cancer: New Technologies Offer Therapeutic Opportunities.David Pérez-Martínez, Tomoyuki Tanaka & Terence H. Rabbitts - 2010 - Bioessays 32 (7):589-598.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  8
    Analysis and Visualization of Internet QA Bulletin Boards Represented as Heterogeneous Networks.Tsuyoshi Murata & Tomoyuki Ikeya - 2008 - Transactions of the Japanese Society for Artificial Intelligence 23:293-302.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  8
    Critical Point of Martensitic Transformation Under Stress in an Fe-31.2Pd Shape Memory Alloy.Fei Xiao, Takashi Fukuda & Tomoyuki Kakeshita - 2015 - Philosophical Magazine 95 (12):1390-1398.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  14
    Logical Dynamics of Social Communication.Tomoyuki Yamada - 2008 - Kagaku Tetsugaku 41 (2):59-73.
  44.  10
    Criterion for Ascription Knowing-How.Tomoyuki Murase - 2008 - Kagaku Tetsugaku 41 (2):75-87.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  4
    Efficient Variable Selection Method for Exposure Variables on Binary Data.Manabu Ohno & Tomoyuki Tarumi - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22:148-155.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  2
    Preconditions, Common Sense Reasoning, and Context Shifts.Tomoyuki Yamada - unknown
    SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013. Hokkaido University, Sapporo, Japan, 25-27 October 2013. Session 4 : Agency, Responsibility, and Intentionality.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  4
    Polynomial Games and Determinacy.Tomoyuki Yamakami - 1996 - Annals of Pure and Applied Logic 80 (1):1-16.
    Two-player, zero-sum, non-cooperative, blindfold games in extensive form with incomplete information are considered in this paper. Any information about past moves which players played is stored in a database, and each player can access the database. A polynomial game is a game in which, at each step, all players withdraw at most a polynomial amount of previous information from the database. We show resource-bounded determinacy of some kinds of finite, zero-sum, polynomial games whose pay-off sets are computable by non-deterministic polynomial-time (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  3
    A Knowledge Discovery From POS Data Using State Space Models.Tadahiko Sato & Tomoyuki Higuchi - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22:200-208.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  3
    Rationality and Causation in Action.Tomoyuki Yamada - 2013 - Kagaku Tetsugaku 46 (2):1-16.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  5
    Logical Dynamics of Speech Acts.Tomoyuki Yamada - unknown
    SOCREAL 2007: International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2007-03-09/10. Session 2: Logical Dynamics of Social Interaction.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 54