Centre for Discrete Mathematics and Theoretical Computer Science


Research Reports


1995 [10]
1996 [15]
1997 [49]
1998 [17]
1999 [26]
2000 [30]
2001 [23]
2002 [35]
2003 [22]
2004 [31]
2005 [17]
2006 [18]
2007 [23]
2008 [27]
2009 [31]
2010 [22]
2011 [20]
2012 [15]
2013 [21]
2014 [24]
455A. Gavruskin, S. Jain, B. Khoussainov and F. Stephan

Graphs Realised by R.E. Equivalence Relations

01/2014
456A. Gavruskin, B. Khoussainov and F. Stephan

Reducibilities Among Equivalence Relations Induced by Recursively Enumerable Structures

01/2014
453S. Böttcher, S. Link and L. Zhang

LECQTER: Learning Conjunctive SQL Queries Through Exemplars

02/2014
454S. Hartmann and S. Link

Normal Forms and Normalization for Probabilistic Databases under Sharp Constraints

02/2014
457S. Jain, B. Khoussainov, F. Stephan, D. Teng and S. Zou

Semiautomatic Structures

02/2014
458A.A. Abbott, C.S. Calude and K. Svozil

On the Unpredictability of Individual Quantum Measurement Outcomes (final version)
(Archives)

03/2014
459L. Staiger

On the Hausdorff measure of regular ω-languages in Cantor space

04/2014
460M. Hannula, J. Kontinen and S. Link

On Independence Atoms and Keys

04/2014
461C.S. Calude, F. Kroon and N. Poznanovic

Free Will Is Compatible With Randomness
(Archives)

05/2014
462C.S. Calude and D. Desfontaines

Universality and Almost Decidability (Revised October 2014)
(Archives)

05/2014
464R. Nicolescu and D. Vaida

Indexed Grammars, ET0L Systems and Programming Languages: A Tribute to Alexandru Mateescu

07/2014
465M.J. Dinneen and Y.-B. Kim

Deterministic Transistion P Systems Modeled as Register Machines

07/2014
466M.J. Dinneen and Y.-B. Kim

Simulation of Functional Register Machines using Active P Systems

07/2014
467M.J. Dinneen and Y.-B. Kim

Using Membrane Systems to Solve the Bounded Fanout Broadcast Problem

07/2014
468S. Link and H. Prade

Possibilistic Functional Dependencies and Their Relationship to Possibility Theory

08/2014
469S. Link and H. Prade

Relational Database Schema Design for Uncertain Data

08/2014
470B. Khoussainov

A Quest For Algorithmically Random Infinite Structures, II

10/2014
471C.S. Calude, A. Coull and J.P. Lewis

Can We Solve the Pipeline Problem?

10/2014
472A.A. Abbott, L. Bienvenu and G. Senno

Non-uniformity in the Quantis Random Number Generator

11/2014
473C.S. Calude and M.J. Dinneen

Solving the Broadcast Time Problem Using a D-Wave Quantum Computer
(test graphs)

11/2014
463C.S. Calude and D. Desfontaines

Anytime Algorithms for Non-Ending Computations
(Archives)

12/2014
474C.S. Calude and G. Longo

Classical, Quantum and Biological Randomness as Relative Unpredictability
(Archives)

12/2014
475T. Resnick

Sudoku at the Intersection of Classical and Quantum Computing

12/2014
476D. Thompson

Formalisation and Understanding. A Case Study in Isabelle
(Archives)

12/2014
2015 [17]
2016 [10]
2017 [8]


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