Search results for 'Hwayoung Heo' (try it on Scholar)

7 found
Sort by:
  1. Hyun-Hee Heo & Min-Sun Kim (2013). The Effects of Multiculturalism and Mechanistic Disdain for Robots in Human-to-Robot Communication Scenarios. Interaction Studies 14 (1):81-106.score: 30.0
    This study investigates the effects of cultural orientation and the degree of disdain for robots on the preferred conversational styles in human-to-robot interactions. 203 participants self-reported on questionnaires through a computer-based online survey. The two requesting situations were intended to simulate the participants' interactions with humanoid social robots through an Internet video-phone medium of communication. Structural equation modeling was performed to examine the mediating role of mechanistic disdain between multicultural orientation and conversational constraints. The findings reveal that between the two (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. SangJun Ko, Joo Heo, Yupeng Wang & KyungHi Chang (2006). Intelligent and Cognitive Communication Systems-Aggressive Sub-Channel Allocation Algorithm for Intelligent Transmission in Multi-User OFDMA System. In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer-Verlag. 457-464.score: 30.0
    No categories
     
    My bibliography  
     
    Export citation  
  3. Marc Bezem (1985). Isomorphisms Between HEO and HROE, ECF and ICFE. Journal of Symbolic Logic 50 (2):359 - 371.score: 12.0
    In this paper it will be shown that HEO and HRO E are isomorphic with respect to extensional equality. This answers a question of Troelstra [T, 2.4.12, p. 128]. The main problem is to extend effective operations to a larger domain. This will be achieved by a modification of the proof of the continuity of effective operations. Following a suggestion of A.S. Troelstra, similar results were obtained for ECF(U) and ICF E (U), where U is any universe of functions closed (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Marc Bezem (1985). Isomorphisms Between HEO and $Mathrm{HRO}^Mathrm{E}$, ECF and $Mathrm{ICF}^Mathrm{E}$. Journal of Symbolic Logic 50 (2):359-371.score: 12.0
    In this paper it will be shown that HEO and $HRO^E$ are isomorphic with respect to extensional equality. This answers a question of Troelstra [T, 2.4.12, p. 128]. The main problem is to extend effective operations to a larger domain. This will be achieved by a modification of the proof of the continuity of effective operations. Following a suggestion of A.S. Troelstra, similar results were obtained for ECF(U) and $ICF^E(U)$, where $U$ is any universe of functions closed under "recursive in".
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Hideaki Shinoda (2013). Seunghoon Emilia Heo, Reconciling Enemy States in Europe and Asia, Palgrave Macmillan, 2012. Japanese Journal of Political Science 14 (3):449-451.score: 9.0
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  6. Alison Gulley (1998). Heo Man Ne Wæs: Cross-Dressing, Sex-Change, and Womanhood in Ælfric's Life of Eugenia. Mediaevalia 22 (1):113-131.score: 9.0
    No categories
     
    My bibliography  
     
    Export citation  
  7. G. Longo & E. Moggi (1984). The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. Journal of Symbolic Logic 49 (4):1319-1332.score: 3.0
    A type-structure of partial effective functionals over the natural numbers, based on a canonical enumeration of the partial recursive functions, is developed. These partial functionals, defined by a direct elementary technique, turn out to be the computable elements of the hereditary continuous partial objects; moreover, there is a commutative system of enumerations of any given type by any type below (relative numberings). By this and by results in [1] and [2], the Kleene-Kreisel countable functionals and the hereditary effective operations (HEO) (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation