Results 1 to 10 of about 1,747,380 (192)

Automata in SageMath---Combinatorics meet Theoretical Computer Science [PDF]

Discrete Mathematics & 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, Krenn, Daniel, Kropf, Sara   +2 more
core   +4 more sources

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, Chen, Jiehua, Faliszewski, Piotr, Guo, Jiong, Niedermeier, Rolf, Woeginger, Gerhard J.   +5 more
core   +3 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

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

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

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

On the residual solvability of generalized free products of solvable groups

, 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

Complexity vs Energy: Theory of Computation and Theoretical Physics [PDF]

, 2013
This paper is a survey dedicated to the analogy between the notions of {\it complexity} in theoretical computer science and {\it energy} in physics. This analogy is not metaphorical: I describe three precise mathematical contexts, suggested recently, in ...
Manin, Yuri I.
core   +1 more source

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

The skewness of computer science [PDF]

, 2010
Computer science is a relatively young discipline combining science, engineering, and mathematics. The main flavors of computer science research involve the theoretical development of conceptual models for the different aspects of computing and the more ...
Franceschet, Massimo
core   +1 more source