Results 31 to 40 of about 1,693,747 (308)

A Theoretical Computer Science Perspective on Consciousness

Journal of Artificial Intelligence and Consciousness, 2021
The quest to understand consciousness, once the purview of philosophers and theologians, is now actively pursued by scientists of many stripes. This paper studies consciousness from the perspective of theoretical computer science. It formalizes the Global Workspace Theory (GWT) originated by the cognitive neuroscientist Bernard Baars and further ...
Lenore Blum, Manuel Blum
openaire   +2 more sources

Optimistic and Pessimistic Result of Planning and Scheduling Dynamic Processes [PDF]

Computer Science, 1999
The combinatorial optimization is aimed at finding the optimum sequence for a given form of the performance index. This paper deals with the problems of combinatorics optimization.
Wieslaw Wajs
doaj  

Normal Functions as a New Way of Defining Computable Functions [PDF]

Computer Science, 2004
Report sets new method of defining computable functions. This is formalization of traditional function descriptions, so it allows to define functions in very intuitive way.
Leszek Dubiel
doaj  

Generating Turing Machines by Use of Other Computation Models [PDF]

Computer Science, 2003
For each problem that can be solved there exists algorithm, which can be described with a program of Turing machine. Because this is very simple model programs tend to be very complicated and hard to analyse by human.
Leszek Dubiel
doaj  

A Hippocampal Model for Behavioral Time Acquisition and Fast Bidirectional Replay of Spatio-Temporal Memory Sequences

Frontiers in Neuroscience, 2018
The hippocampus is known to play a crucial role in the formation of long-term memory. For this, fast replays of previously experienced activities during sleep or after reward experiences are believed to be crucial.
Marcelo Matheus Gauy, Johannes Lengler, Hafsteinn Einarsson, Florian Meier, Felix Weissenberger, Mehmet Fatih Yanik, Angelika Steger   +6 more
doaj   +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, Aharonov, Alán Aspuru-Guzik, Arora, Arora, Arora, Aspuru-Guzik, Aspuru-Guzik, Auerbach, Barahona, Batista, Ben-David, Bernstein, Berry, Biamonte, Biamonte, Bogdanov, Boyd, Bravyi, Brown, Brown, Chan, Chan, Chan, Cleveland, Coulson, Cramer, Deutsch, Dutta, Feynman, Foulkes, Grötschel, Hammond, Harrow, Helgaker, Hohenberg, Hong, Istrail, James Daniel Whitfield, Jordan, Kassal, Kassal, Kempe, Kitaev, Kitaev, Koch, Kohn, Lester Jr., Levine, Lieb, Liu, Lloyd, Love, Lu, Mazziotti, Mazziotti, Moore, Nielsen, Oliveira, Onsager, Ortiz, Osborne, Parr, Peter John Love, Rassolov, Schuch, Schuch, Schuch, Sipser, Somma, Szabo, Tempel, Troyer, Turing, Veis, Verstraete, Verstraete, Wei, Whitfield, Wu, Yung   +80 more
core   +3 more sources

Theoretical Computer Science in Italy

Theoretical Computer Science, 2016
Stefano Bistarelli Guest Editor stefano.bistarelli@unipg.it Andrea Formisano Guest Editor andrea.formisano@unipg.it Dipartimento di Matematica e Informatica, Università di Perugia, Perugia, Italy Dipartimento di Matematica e Informatica Università di Perugia Perugia Italy The Italian Conference on Theoretical Computer Science is the traditional ...
BISTARELLI, Stefano, FORMISANO, Andrea
openaire   +3 more sources

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, Latella, Diego, Loreti, Michele, Massink, Mieke   +3 more
core   +2 more sources

Coding in theoretical computer science [PDF]

, 2020
This thesis contains three topics, list decoding of rank-metric codes, local decoding of Reed-Muller codes and the design of tampering detection codes and its generalization non-malleable codes. The first two topics are the central problems in theoretical computer science and the last one has cryptographic background. They are all focused on the design
openaire   +2 more sources

Quantum Communication [PDF]

, 2007
Quantum communication, and indeed quantum information in general, has changed the way we think about quantum physics. In 1984 and 1991, the first protocol for quantum cryptography and the first application of quantum non-locality, respectively, attracted
A Acin, A Aspect, A Einstein, A Furusawa, A Muller, AJ Miller, AK Ekert, AL Alexander, B Gisin, B Julsgaard, B Kraus, B Kraus, BC Jacobs, C Gobby, C Langrock, C Peng, C Schuck, CH Bennett, CH Bennett, CH Bennett, CW Chou, D Bethune, D Boschi, D Bouwmeester, D Collins, D Collins, D Deutsch, D Gottesman, D Stucki, D Stucki, E Diamanti, E Schrödinger, E Waks, F Grosshan, G Brassard, G Ribordy, G Weihs, GN Gol'tsman, H Buhrman, H de Riedmatten, H Inamori, H Takesue, H Weinfurter, H Zbinden, H-K Lo, HJ Briegel, I Csiszár, J Brendel, J Van Houwelingen, J Volz, J-W Pan, JD Franson, JF Clauser, JS Bell, K Inoue, LM Duan, M Aspelmeyer, M Bourennane, M Riebe, M Zukowski, MA Rowe, MD Barrett, MD Eisaman, N Gisin, N Gisin, N Gisin, N Gisin, N Lütkenhaus, Nicolas Gisin, P Tamarat, P Townsend, PG Kwiat, PW Shor, R Hughes, Rob Thew, RT Thew, S Pellegrini, S Popescu, S Tanzilli, SL Braunstein, SL Braunstein., T Chanelière, T Cover, T Jennewein, UM Maurer, V Makarov, V Scarani, W Tittel, W-Y Hwang, X-B Wang, Y-H Kim   +90 more
core   +3 more sources