Centre for Discrete Mathematics and Theoretical Computer Science

Research Reports

Export results to Bibtext
Select the date :

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
Archive
version3: data, results, programs
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
Archive
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
Archive
11/2018
529
Title:
A Statistical Anytime Algorithm for the Halting Problem
Name:
C.S. Calude and M. Dumitrescu
Archive
11/2018
530
Title:
Proceedings of ACMC 2018
Name:
M.J. Dinneen and R. Nicolescu
 12/2018