A theory of consciousness from a theoretical computer science perspective: Insights from the Conscious Turing Machine [PDF]
Proceedings of the National Academy of Sciences of the United States of America, 2022 Lenore Blum, Manuel Blum
exaly +2 more sources
What does the future hold for theoretical computer science? [PDF]
, 1997 Prospects for research in theoretical computer science are discussed. The maintenance of a genuine link between theory and practice is seen as key to the future health of both.
Sannella, Donald
core +1 more source
Parameterized Algorithmics for Computational Social Choice: Nine Research Challenges [PDF]
, 2014 Computational Social Choice is an interdisciplinary research area involving Economics, Political Science, and Social Science on the one side, and Mathematics and Computer Science (including Artificial Intelligence and Multiagent Systems) on the other ...
Bredereck, Robert +5 more
core +3 more sources
On the residual solvability of generalized free products of solvable groups [PDF]
, 2011 In this paper, we study the residual solvability of the generalized free product of solvable groups.Comment: Discrete Mathematics & Theoretical Computer Science, Vol 13 ...
Kahrobaei, Delaram, Majewicz, Stephen
core +2 more sources
Eigenvectors of random matrices: A survey [PDF]
, 2016 Eigenvectors of large matrices (and graphs) play an essential role in combinatorics and theoretical computer science. The goal of this survey is to provide an up-to-date account on properties of eigenvectors when the matrix (or graph) is random.Comment ...
O'Rourke, Sean, Vu, Van, Wang, Ke
core +3 more sources
Automata in SageMath---Combinatorics meet Theoretical Computer Science
, 2016 The new finite state machine package in the mathematics software system SageMath is presented and illustrated by many examples. Several combinatorial problems, in particular digit problems, are introduced, modeled by automata and transducers and solved ...
Heuberger, Clemens +2 more
core +1 more source
Computational Complexity in Electronic Structure [PDF]
, 2012 In quantum chemistry, the price paid by all known efficient model chemistries is either the truncation of the Hilbert space or uncontrolled approximations.
Aaronson +80 more
core +3 more sources
Proof of Blum's conjecture on hexagonal dungeons [PDF]
, 2014 Matt Blum conjectured that the number of tilings of the Hexagonal Dungeon of sides $a,\ 2a,\ b,\ a,\ 2a,\ b$ (where $b\geq 2a$) is $13^{2a^2}14^{\lfloor\frac{a^2}{2}\rfloor}$ (J.
Ciucu, Mihai, Lai, Tri
core +1 more source
Specifying and Verifying Properties of Space - Extended Version [PDF]
, 2014 The interplay between process behaviour and spatial aspects of computation has become more and more relevant in Computer Science, especially in the field of collective adaptive systems, but also, more generally, when dealing with systems distributed in ...
Ciancia, Vincenzo +3 more
core +2 more sources
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS
, 2015 Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases.
Molinari, A., Montanari, A., Peron, A.
core +1 more source