| 494 |
Title: Bounds on the Kolmogorov complexity function for infinite words
|
01/2016 |
|
| 495 |
Title: Formulating Graph Covering Problems for Adiabatic Quatumn Computers
Name: M.J. Dinneen and R. Hua
|
02/2016 |
|
| 496 |
Title: SQL Schema Design: Foundations, Normal Forms, and Normalization
Name: H. Kohler and S. Link
|
04/2016 |
|
| 497 |
Title: Incompleteness, Undecidability and Automated Proofs
Name: C.S. Calude and D. Thompson
|
05/2016 |
|
| 498 |
Title: A Computational Mathematics View of Space, Time and Complexity
Name: D.H. Bailey and J.M. Borwein
|
09/2016 |
|
| 499 |
Title: QUBO Formulations for the Graph Isomorphism Problem and Related Problems
Name: C.S. Calude, M.J. Dinneen and R. Hua
|
10/2016 |
|
| 500 |
Title: Deciding Parity Games in Quasipolynomial Time
Name: C.S. Calude, S. Jain, B. Khoussainov, W. Li and F. Stephan
|
10/2016 |
|
| 501 |
Title: Shift-Invariant Topologies for the Cantor Space X^omega
Name: S. Hoffmann, S. Schwarz and L. Staiger
|
11/2016 |
|
| 502 |
Title: Exact Constructive and Computable Dimensions
|
11/2016 |
|
| 503 |
Title: Graph Minor Embeddings for D-Wave Computer Architecture
Name: Z. Yang and M.J. Dinneen
|
11/2016 |
|
