| 3 |
Connective Comprehension: An individual differences study ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Considering Commonsense in Solving QA: Reading Comprehension with Semantic Search and Continual Learning
|
|
|
|
In: Applied Sciences; Volume 12; Issue 9; Pages: 4099 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Re-Evaluating Early Memorization of the Qurʾān in Medieval Muslim Cultures
|
|
|
|
In: Religions; Volume 13; Issue 2; Pages: 179 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Knowledge Representation and Reasoning with an Extended Dynamic Uncertain Causality Graph under the Pythagorean Uncertain Linguistic Environment
|
|
|
|
In: Applied Sciences; Volume 12; Issue 9; Pages: 4670 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
A Deep Fusion Matching Network Semantic Reasoning Model
|
|
|
|
In: Applied Sciences; Volume 12; Issue 7; Pages: 3416 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
OntoDomus: A Semantic Model for Ambient Assisted Living System Based on Smart Homes
|
|
|
|
In: Electronics; Volume 11; Issue 7; Pages: 1143 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Is Early Bilingual Experience Associated with Greater Fluid Intelligence in Adults?
|
|
|
|
In: Languages; Volume 7; Issue 2; Pages: 100 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Design of an Artificial Intelligence of Things Based Indoor Planting Model for Mentha Spicata
|
|
|
|
In: Processes; Volume 10; Issue 1; Pages: 116 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Formalization of AMR Inference via Hybrid Logic Tableaux ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Ranking Semantics for Argumentation Systems With Necessities
|
|
|
|
In: IJCAI 2020 - 29th International Joint Conference on Artificial Intelligence ; https://hal.archives-ouvertes.fr/hal-03002056 ; IJCAI 2020 - 29th International Joint Conference on Artificial Intelligence, Jan 2021, Yokohama / Virtual, Japan. pp.1912-1918, ⟨10.24963/ijcai.2020/265⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Ontological Formalisation of Mathematical Equations for Phenomic Data Exploitation
|
|
|
|
In: The Semantic Web: ESWC 2021 Satellite Events ; https://hal.inrae.fr/hal-03408000 ; Ruben Verborgh; Anastasia Dimou; Aidan Hogan; Claudia d'Amato; Ilaria Tiddi; Arne Bröring; Simon Mayer; Femke Ongenae; Riccardo Tommasini; Mehwish Alam. The Semantic Web: ESWC 2021 Satellite Events, 12739, Springer International Publishing, pp.176-185, 2021, Lecture Notes in Computer Science, 978-3-030-80417-6. ⟨10.1007/978-3-030-80418-3_30⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
The Influence of Language on Spatial Reasoning: Reading Habits Modulate the Formulation of Conclusions and the Integration of Premises
|
|
|
|
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
|
|
|
| 18 |
Digital Currencies as Types (Invited Talk) ...
|
|
|
|
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
|
|
|
| 19 |
Large-scale Data-driven Agent-based Simulation of Covid-19 ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Large-scale Data-driven Agent-based Simulation of Covid-19 ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|
|
