• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (255)
    • Johnson-Laird, Philip Nicholas (65)
    • Byrne, Ruth M. J. (37)
    • Evans, Jonathan St. B. T. (30)
    • Oaksford, Mike (29)
    • Markovits, Henry (27)
    • Schaeken, Walter (26)
    • Chater, Nick (25)
    • Handley, Simon J. (25)
    • Girotto, Vittorio (23)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5 6...152 Hits 21 – 40 of 3.035 21 Advanced Mental State Reasoning in Children and Adults Kramer, Hannah Jean. - : eScholarship, University of California, 2021 BASE Show details 22 The Influence of Language on Spatial Reasoning: Reading Habits Modulate the Formulation of Conclusions and the Integration of Premises Castelain, Thomas; Van Der Henst, Jean-Baptiste In: ISSN: 1664-1078 ; Frontiers in Psychology ; https://hal.archives-ouvertes.fr/hal-03505193 ; Frontiers in Psychology, Frontiers, 2021, 12, ⟨10.3389/fpsyg.2021.654266⟩ (2021) BASE Show details 23 Supplementary materials for "True Clauses and False Connections" ... Krzyżanowska, Karolina. - : Mendeley, 2021 BASE Show details 24 Supplementary materials for "True Clauses and False Connections" ... Krzyżanowska, Karolina. - : Mendeley, 2021 BASE Show details 25 Digital Currencies as Types (Invited Talk) ... Zakian, Timothy A. K.. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021 Abstract: Linear types have been well studied since their inception by Girard; a linear value can be moved from one place to another, but can never be copied or forgotten. From its inception Move - a new programming language developed to implement custom transactions and smart contracts on the Libra Blockchain - has had values-or resources-that behave in this linear manner as a central part of its semantics. On the Libra Blockchain, Move enables significant parts of the Libra protocol, including the Libra Coins, transaction processing, and validator management. In this talk, we will look at how different digital assets are represented with Move on the Libra Blockchain. In the process of exploring the representation of digital assets on-chain in Move, we will revisit one of the first examples used in the paper that introduced linear logic; that of payments, and encounter other ideas from programming languages along the way, such as type-indexed data types and code modularity. We will see how we can leverage these ideas ... : OASIcs, Vol. 82, 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020), pages 3:1-3:1 ... Keyword: Blockchains; Digital Currencies; Linear Types; Move; Theory of computation → Linear logic; Theory of computation → Semantics and reasoning; Theory of computation → Type theory URL: https://drops.dagstuhl.de/opus/volltexte/2021/13525/ https://dx.doi.org/10.4230/oasics.tokenomics.2020.3 BASE Hide details 26 Large-scale Data-driven Agent-based Simulation of Covid-19 ... De Mooij, Jan; Dell'Anna, Davide; Bhattacharya, Parantapa. - : Zenodo, 2021 BASE Show details 27 Large-scale Data-driven Agent-based Simulation of Covid-19 ... De Mooij, Jan; Dell'Anna, Davide; Bhattacharya, Parantapa. - : Zenodo, 2021 BASE Show details 28 Transparency of first language calendar terms and its impact on calendrical calculations in the first and the second language ... Zhuang, Ziyi. - : Open Science Framework, 2021 BASE Show details 29 Leo-III – A Theorem Prover for Higher-Order Logic ... Steen, Alexander; Benzmueller, Christoph. - : Zenodo, 2021 BASE Show details 30 Leo-III 1.6 ... Steen, Alexander. - : Zenodo, 2021 BASE Show details 31 Leo-III 1.6 ... Steen, Alexander. - : Zenodo, 2021 BASE Show details 32 Choice of plausible alternatives dataset in Croatian COPA-HR Ljubešić, Nikola. - : Jožef Stefan Institute, 2021 BASE Show details 33 Affordance learning for visual-semantic perception Nguyen Duc Minh, Chau. - : Edith Cowan University, Research Online, Perth, Western Australia, 2021 In: Theses: Doctorates and Masters (2021) BASE Show details 34 Conclusions of practical argument ; A speech act analysis Lewiński, Marcin. - 2021 BASE Show details 35 METACOGNITIVE STRATEGY IN TEACHING ENGLISH FOR ACADEMIC AND PROFESSIONAL PURPOSES AND READING COMPREHENSION AMONG SENIOR HIGH STUDENTS ... GONZALES, MARRY QUEENIE M.; VELASCO, CECILIA Q.. - : Zenodo, 2021 BASE Show details 36 METACOGNITIVE STRATEGY IN TEACHING ENGLISH FOR ACADEMIC AND PROFESSIONAL PURPOSES AND READING COMPREHENSION AMONG SENIOR HIGH STUDENTS ... GONZALES, MARRY QUEENIE M.; VELASCO, CECILIA Q.. - : Zenodo, 2021 BASE Show details 37 Computing Entailments Online, ver. 4 ... Dąbkowski, Maksymilian. - : Open Science Framework, 2021 BASE Show details 38 CRAFT: A Benchmark for Causal Reasoning About Forces and inTeractions ... Ates, Tayfun; Atesoglu, M. Samil; Yigit, Cagatay. - : Zenodo, 2021 BASE Show details 39 CRAFT: A Benchmark for Causal Reasoning About Forces and inTeractions ... Ates, Tayfun; Atesoglu, M. Samil; Yigit, Cagatay. - : Zenodo, 2021 BASE Show details 40 Dynamic Assessment of receptive vocabulary and phonology of preschool children with German as a second language ... Maragkaki, Ilektra. - : Université de Genève, 2021 BASE Show details Page: 1 2 3 4 5 6...152

Mobile view All Catalogues UB Frankfurt Linguistik 166 IDS Mannheim 0 OLC Linguistik 302 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 7 Bibliographies BLLDB 1.748 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 51 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 1.223 Linguistik-Repository 1 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0