Centre for Discrete Mathematics and Theoretical Computer Science


Research Reports


Showing Year 2018 Reports

ID Author & Report Title Date Action
517
Title:
Computation with Finitely Generated Abelian Groups
Name:
P. Huxford
01/2018
518
Title:
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms
Name:
M. Hannula and S. Link
02/2018
519
Title:
Finding the Chromatic Sums of Graphs Using a D-Wave Quantum Computer
Name:
A. Mahasinghe, M.J. Dinneen and K. Liu
02/2018
520
Title:
A Hybrid Quantum-Classical Paradigm to Mitigate Embedding Costs in Quantum Annealing
Name:
A.A. Abbott, C.S. Calude, M.J. Dinneen and R. Hua
02/2018
521
Title:
Solving the Hamiltonian Cycle Problem using a Quantum Computer
Name:
M.J. Dinneen, A. Mahasinghe, R. Hua and R. Goyal
02/2018
522
Title:
Formalising Martin-Löf's Theorem Using Coq
Name:
D. Britten
02/2018
523
Title:
Finding Maximum-sized Native Clique Embeddings: Implementing and Extending the Block Clique Embedding Algorithm
Name:
P. Yao and R. Hua
03/2018
524
Title:
Discovery Algorithms for Embedded Uniqueness Constraints
Name:
Z. Wei, U. Leck and S. Link
03/2018
525
Title:
D-Wave Experimental Results for an Improved QUBO Formulation of the Broadcast Time Problem
Name:
Y. Kolezhitskiy, M.J. Dinneen and A. Nies
04/2018
526
Title:
Quassical Computing
Name:
E.H. Allen and C.S. Calude
05/2018
527
Title:
The Riemann Hypothesis in Computer Science
Name:
Y. Matiyasevich
07/2018
528
Title:
Spurious, Emergent Laws in Number Worlds
Name:
C.S. Calude and K. Svozil
11/2018
529
Title:
A Statistical Anytime Algorithm for the Halting Problem
Name:
C.S. Calude and M. Dumitrescu
11/2018
530
Title:
Proceedings of ACMC 2018
Name:
M.J. Dinneen and R. Nicolescu
12/2018


Please give us your feedback or ask us a question

This message is...


My feedback or question is...


My email address is...

(Only if you need a reply)

A to Z Directory | Site map | Accessibility | Copyright | Privacy | Disclaimer | Feedback on this page