Results 21 to 30 of about 3,229,818 (297)
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
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
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
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
Some applications of hypercontractive inequalities in quantum information theory [PDF]
, 2012 Hypercontractive inequalities have become important tools in theoretical computer science and have recently found applications in quantum computation. In this note we discuss how hypercontractive inequalities, in various settings, can be used to obtain ...
A. Montanaro
semanticscholar +1 more source
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
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
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
The Deluge of Spurious Correlations in Big Data [PDF]
, 2015 International audienceVery large databases are a ma jor opp ortunity for science and data analytics is a remarkable new field of investigation in computer science.
Calude, Cristian,, Longo, Giuseppe
core +3 more sources