Results 31 to 40 of about 3,192,834 (175)
Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge [PDF]
EPTCS 251, 2017, 2017 This volume consists of papers presented at the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK) held at the University of Liverpool, UK, from July 24 to 26, 2017. TARK conferences bring together researchers from a wide variety of fields, including Computer Science (especially, Artificial Intelligence, Cryptography ...
arxiv +1 more source
, 2016 Biology has taken strong steps towards becoming a computer science aiming at reprogramming nature after the realisation that nature herself has reprogrammed organisms by harnessing the power of natural selection and the digital prescriptive nature of ...
Schmidt, Angelika +2 more
core +1 more source
Quantum theory-inspired search [PDF]
, 2011 With the huge number and diversity of the users, the advertising products and services, the rapid growth of online multimedia resources, the context of information needs are even more broad and complex.
Aerts +9 more
core +1 more source
On the strength of proof-irrelevant type theories [PDF]
Logical Methods in Computer Science, Volume 4, Issue 3 (September
26, 2008) lmcs:1142, 2008 We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlying a theorem prover. We also show a close relation with the subset types of the theory of PVS.
arxiv +1 more source
Algebraic Geometry and Representation theory in the study of matrix multiplication complexity and other problems in theoretical computer science [PDF]
arXiv, 2021 Many fundamental questions in theoretical computer science are naturally expressed as special cases of the following problem: Let $G$ be a complex reductive group, let $V$ be a $G$-module, and let $v,w$ be elements of $V$. Determine if $w$ is in the $G$-orbit closure of $v$.
arxiv
Quantum Computation and Quantum Information: Bibliography
, 2010 Preface Acknowledgement Nomenclature and notation Part I. Fundamental Concepts: 1. Introduction and overview 2. Introduction to quantum mechanics 3. Introduction to computer science Part II. Quantum Computation: 4. Quantum circuits 5. The quantum Fourier
Nikolay Raychev, I. Chuang
semanticscholar +1 more source
Science in Computational Sciences [PDF]
, 2012 The existing theory in relation to science presents the physics as an ideal, although many sciences not approach the same, so that the current philosophy of science-Theory of Science- is not much help when it comes to analyze the computer science, an ...
Jameson Cerrosen, Jia Pong
core
Distributed Games and Strategies [PDF]
arXiv, 2016 A summary of work on distributed games and strategies done within the first three years of the ERC project ECSYM is presented.
arxiv
Investigating the Intersection of Science Fiction, Human-Computer Interaction and Computer Science Research [PDF]
arXiv, 2018 This paper outlines ongoing dissertation research located in the intersection of science fiction, human-computer interaction and computer science. Through an interdisciplinary perspective, drawing from fields such as human-computer interaction, film theory and studies of science and technology, qualitative and quantitative content analysis techniques ...
arxiv
Computer Science and Game Theory: A Brief Survey [PDF]
arXiv, 2007 There has been a remarkable increase in work at the interface of computer science and game theory in the past decade. In this article I survey some of the main themes of work in the area, with a focus on the work in computer science. Given the length constraints, I make no attempt at being comprehensive, especially since other surveys are also ...
arxiv