Results 21 to 30 of about 3,192,834 (175)
Canonicity and Computability in Homotopy Type Theory [PDF]
arXiv, 2023 This dissertation gives an overview of Martin Lof's dependant type theory, focusing on its computational content and addressing a question of possibility of fully canonical and computable semantic presentation.
arxiv
Quantum Hamiltonian Complexity
, 2015 Constraint satisfaction problems are a central pillar of modern computational complexity theory. This survey provides an introduction to the rapidly growing field of Quantum Hamiltonian Complexity, which includes the study of quantum constraint ...
Gharibian, Sevag +3 more
core +1 more source
Enabling decentralized wireless index coding in practice [PDF]
, 2019 Index coding is a problem in theoretical computer science and network information theory that studies the optimal coding scheme for transmitting multiple messages across a network to receivers with different side information.
Mahler, Timothy Austin
core +1 more source
Linguistics and LIS: A Research Agenda [PDF]
, 2017 Linguistics and Library and Information Science (LIS) are both interdisciplinary fields that draws from areas such as languages, psychology, sociology, cognitive science, computer science, anthropology, education, and management. The theories and methods
Bolin, Mary K
core +2 more sources
Simple Type Theory as a Clausal Theory [PDF]
arXiv, 2023 We give a presentation of Simple Type Theory as a clausal rewrite system in Polarized deduction modulo.
arxiv
, 2015 We present infinite extensive strategy profiles with perfect information and we show that replacing finite by infinite changes the notions and the reasoning tools.
Lescanne, Pierre
core +2 more sources
Around Kolmogorov complexity: basic notions and results
, 2015 Algorithmic information theory studies description complexity and randomness and is now a well known field of theoretical computer science and mathematical logic.
A Nies, M Li, RG Downey
core +2 more sources
Three-tier Structure of Information in the Content of Utterance (essay on the Distributed Grammar program) [PDF]
, 2016 The idea of the three-tier information structure in the content of utterances is the result of research carried out in a transdisciplinary spirit, within sciences such as linguistics, psychology, logic and computer science. The theory of Meta-Informative
Włodarczyk, André +1 more
core +2 more sources
Computational Inference in Cognitive Science: Operational, Societal and Ethical Considerations [PDF]
arXiv, 2022 Emerging research frontiers and computational advances have gradually transformed cognitive science into a multidisciplinary and data-driven field. As a result, there is a proliferation of cognitive theories investigated and interpreted from different academic lens and in different levels of abstraction.
arxiv
Analyzing Traffic Problem Model With Graph Theory Algorithms
, 2015 This paper will contribute to a practical problem, Urban Traffic. We will investigate those features, try to simplify the complexity and formulize this dynamic system.
Tan, Yong
core +1 more source