• 

  Title: T is Inaccessible  Author: Carpenter, BE Reference: CDMTCS Research Reports CDMTCS-562 (2022)
• 

  Title: An Improved Quantum Solution for the Stereo Matching Problem  Author: Heidari, S ; Rogers, M ; Delmas, P Reference: CDMTCS Research Reports CDMTCS-558 (2021)
• 

  Title: What Neural Networks Are (Not) Good For?  Author: Calude, CS ; Heidari, S ; Sifakis, J Reference: CDMTCS Research Reports CDMTCS-556 (2021)
• 

  Title: Building the World out of Information and Computation  Author: Chaitin, G Reference: CDMTCS Research Reports CDMTCS-557 (2021)
• 

  Title: A Life in Mathematics  Author: Chaitin, G Reference: CDMTCS Research Reports CDMTCS-555 (2021)
• 

  Title: Turing Completeness of Water Computing  Author: Wei, Z ; Link, S Reference: CDMTCS Research Reports CDMTCS-554 (2021)
• 

  Title: Logical Schema Design that Quantifies Update Inefficiency and Join Efficiency  Author: Link, S ; Wei, Z Reference: CDMTCS Research Reports CDMTCS-553 (2021)
• 

  Title: Maximal Towers and Ultrafilter Bases in Computability Theory  Author: Lempp, S ; Miller, JS ; Nies, A. ; Soskova, MI Reference: CDMTCS Research Reports CDMTCS-547 (2020)
• 

  Title: Automata for Solid Codes  Author: Jürgensen, H ; Staiger, L Reference: CDMTCS Research Reports CDMTCS-550 (2021)
• 

  Title: Graph Minor Embedding for Adiabatic Quantum Computing  Author: Liu, T ; Li, Z ; Dinneen, MJ Reference: CDMTCS Research Reports CDMTCS-549 (2021)
• 

  Title: Bi-immunity over Different Size Alphabets  Author: Calude, CS ; Celine, KF ; Gao, Z ; Jain, S ; Staiger, L ; Stephan, F Reference: CDMTCS Research Reports CDMTCS-552 (2021)
• 

  Title: Solomon Marcus Contributions to Theoretical Computer Science and Applications  Author: Calude, CS ; P?un, G Reference: CDMTCS Research Reports CDMTCS-551 (2021)
• 

  Title: On the Generative Power of Quasiperiods  Author: Staiger, L Reference: CDMTCS Research Reports CDMTCS-548 (2020)
• 

  Title: Automated Reasoning about the Entity Integrity of Big Data in Possibilistic SQL  Author: Litvinenko, I ; Wei, Z ; Link, S Reference: CDMTCS Research Reports CDMTCS-541 (2020)
• 

  Title: Algorithms for the Discovery of Embedded Functional Dependencies  Author: Wei, Z ; Hartmann, S ; Link, S Reference: CDMTCS Research Reports CDMTCS-542 (2020)
• 

  Title: A New Quantum Random Number Generator Certified by Value Indefiniteness  Author: Agüero Trejo, JM ; Calude, CS Reference: CDMTCS Research Reports CDMTCS-543 (2020)
• 

  Title: Solving Maximum Common Subgraph Isomorphism Problem with Quantum Annealing  Author: Huang, N ; Roje, D. Reference: CDMTCS Research Reports CDMTCS-544 (2020)
• 

  Title: Incompleteness and the Halting Problem  Author: Calude, CS Reference: CDMTCS Research Reports CDMTCS-546 (2020)
• 

  Title: Solving a PSPACE-complete Problem with cP Systems  Author: Nicolescu, Radu ; Henderson, Alec ; Dinneen, Michael Reference: CDMTCS Research Reports CDMTCS-545 (2020)
• 

  Title: Solving the Bounded-Depth Steiner Tree Problem using an Adiabatic Quantum Computer  Author: Liu, K ; Dinneen, Michael Date: (2019-06)

View more