Recently added
Login
University Home
→
Library
JavaScript is disabled for your browser. Some features of this site may not work without it.
CDMTCS Research Reports (1995+): Recent submissions
Now showing items 61-80 of 574
Previous Page
Next Page
Title:
The Road to Quantum Computational Supremacy
Author:
Calude, CS
;
Calude, E
Reference:
CDMTCS Research Reports CDMTCS-514 (2017)
Title:
Searching for Shortest and Least Programs
Author:
Calude, CS
;
Jain, S
;
Merkle, W
;
Stephan, F
Reference:
CDMTCS Research Reports CDMTCS-516 (2017)
Title:
Experimental Probing of the Incomputability of Quantum Randomness
Author:
Abbott, AA
;
Calude, CS
;
Dinneen, MJ
;
Huang, N
Reference:
CDMTCS Research Reports CDMTCS-515 (2018)
Title:
Theoretical Computer Science for the Working Category Theorist
Author:
Yanofsky, NS
Reference:
CDMTCS Research Reports CDMTCS-513 (2017)
Title:
Realization of a quantum random generator certified with the Kochen-Specker theorem
Author:
Kulikov, A
;
Jerger, M
;
Potochik, A
;
Wallraff, A
;
Fedorov, A
Reference:
CDMTCS Research Reports CDMTCS-511 (2017)
Title:
Robust Computer Algebra, Theorem Proving, and Oracle AI
Author:
Sarma, GP
;
Hay, NJ
Reference:
CDMTCS Research Reports CDMTCS-512 (2017)
Title:
The Travelling Salesman Problem in cP Systems
Author:
Cooper, J
;
Nicolescu, R
Reference:
CDMTCS Research Reports CDMTCS-510 (2017)
Title:
Contextual Keys
Author:
Wei, Z
;
Link, S
;
Liu, J
Reference:
CDMTCS Research Reports CDMTCS-508 (2017)
Title:
Formulating Mixed Dominating Set Problems for Adiabatic Quantum Computers
Author:
Dinneen, MJ
;
Hooshmandasl, MR
;
Hua, R
Reference:
CDMTCS Research Reports CDMTCS-507 (2017)
Title:
Quasiperiods of Infinite Words
Author:
Staiger, L
Reference:
CDMTCS Research Reports CDMTCS-509 (2017)
Title:
Large Scale Geometries of Infinite Strings
Author:
Khoussainov, B
;
Takisaka, T
Reference:
CDMTCS Research Reports CDMTCS-504 (2017)
Title:
A simple construction of absolutely disjunctive Liouville numbers
Author:
Calude, CS
;
Staiger, L
Reference:
CDMTCS Research Reports CDMTCS-505 (2017)
Title:
A Literate Programming Pearl in cP Systems
Author:
Nicolescu, Radu
Reference:
CDMTCS Research Reports CDMTCS-506 (2017)
Title:
Exact Constructive and Computable Dimensions
Author:
Staiger, L
Reference:
CDMTCS Research Reports CDMTCS-502 (2016)
Title:
Graph Minor Embeddings for D-Wave Computer Architecture
Author:
Yang, Z
;
Dinneen, MJ
Reference:
CDMTCS Research Reports CDMTCS-503 (2016)
Title:
Deciding Parity Games in Quasipolynomial Time
Author:
Calude, CS
;
Jain, S
;
Khoussainov, B
;
Li, W
;
Stephan, F
Reference:
CDMTCS Research Reports CDMTCS-500 (2016)
Title:
Shift-Invariant Topologies for the Cantor Space X^omega
Author:
Hoffman, S
;
Schwarz, S
;
Staiger, L
Reference:
CDMTCS Research Reports CDMTCS-501 (2016)
Title:
QUBO Formulations for the Graph Isomorphism Problem and Related Problems
Author:
Calude, CS
;
Dinneen, MJ
;
Hua, R
Reference:
CDMTCS Research Reports CDMTCS-499 (2016)
Title:
Incompleteness, Undecidability and Automated Proofs
Author:
Calude, CS
;
Thompson, D
Reference:
CDMTCS Research Reports CDMTCS-497 (2016)
Title:
A Computational Mathematics View of Space, Time and Complexity
Author:
Bailey, DH
;
Borwein, JM
Reference:
CDMTCS Research Reports CDMTCS-498 (2016)
Now showing items 61-80 of 574
Previous Page
Next Page
Share
Search ResearchSpace
Search ResearchSpace
This Collection
Browse
All of ResearchSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects