Results for 'Hamidreza Bahramian'

Order:
  1.  75
    Copredication in Homotopy Type Theory.Hamidreza Bahramian - manuscript
    This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., "the lunch was delicious but took forever". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., "Fred picked up and mastered three (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  3
    Data Analysis, Analytics in Internet of Things and BigData.Mohammad Nezhad Hossein Shourkaei, Damghani Hamidreza, D. Leila & Hosseinian Heliasadat - 2019 - 4th International Conference on Combinatorics, Cryptography, Computer Science and Computation 4.
    The Internet-of-Things (IoT) is gradually being established as the new computing paradigm, which is bound to change the ways of our everyday working and living. IoT emphasizes the interconnection of virtually all types of physical objects (e.g., cell phones, wearables, smart meters, sensors, coffee machines and more) towards enabling them to exchange data and services among themselves, while also interacting with humans as well. Few years following the introduction of the IoT concept, significant hype was generated as a result of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Wright on Borderline Cases and Bivalence.Hamidreza Mohammadi - manuscript
    The aim of this paper is, firstly to explain Crispin Wright’s quandary view of vagueness, his intuitionistic response to sorites and the relation of borderline cases and bivalence, and, secondly assess the objections to his ideas.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark