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]
344C.S. Calude and J.P. Lewis

Is there a Universal Image Generator

01/2009
345M. Schimpf and K. Svozil

A Glance at Singlet States and Four-Partite Correlations

02/2009
346K. Svozil

Some Observations Concerning the Plasticity of Nonlocal Quantum Correlations Exceeding Classical Expectations

02/2009
347M. Schaller and K. Svozil

Scale-Invariant Cellular Automata and Recursive Petri Nets

02/2009
348K. Svozil

Proposed Direct Test of Quantum Contextuality

02/2009
349K. Svozil

Quantum Scholasticism: On Quantum Contexts, Counterfactuals, and the Absurdities of Quantum Omniscience

02/2009
350C.S. Calude and L. Staiger

A Note on Accelerated Turing Machines

02/2009
351P.H. Potgieter and E.E. Rosinger

Output Concepts for Accelerated Turing Machines

02/2009
352J.C. Baez and M.A. Stay

Physics, Topology, Logic and Computation: A Rosetta Stone

03/2009
353K. Svozil

Bertlmann's Chocolate Balls and Quantum Type Cryptography

03/2009
354C.S. Calude and C. Müller

Formal Proof: Reconciling Correctness and Understanding

03/2009
355K. Tadaki

Fixed Point Theorems on Partitial Randomness

03/2009
356M.J. Dinneen, N.R. Ke and M. Khosravani

Arithmetic Progression Graphs

03/2009
357R. Reyhani, G. Pritchard and M.C. Wilson

New Measures of the Diffculty of Manipulation of Voting Rules

03/2009
358K. Tadaki

A Statistical Mechanical Interpretation of Algorithmic Information Theory III: Composite Systems and Fixed Points

04/2009
359K. Tadaki

Chaitin Omega Numbers and Halting Problems

04/2009
360K. Svozil

On the Brightness of the Thomson Lamp. A Prolegomenon to Quantum Recursion Theory

04/2009
361K. Svozil

The Diagonalization Method in Quantum Recursion Theory

04/2009
362K. Svozil

Three Criteria for Quantum Random Number Generators Based on Beam Splitters

04/2009
363A. Nies

Lowness for Computable and Partial Computable Randomness

04/2009
364K. Svozil

Randomness in Physics: Five Questions, Some Answers

05/2009
365C.S. Calude, N.J. Hay and F. Stephan

Representation of Left-Computable ε-Random Reals

05/2009
366J. Mielke and L. Staiger

On Oscillation-free ε-random Sequences II

07/2009
367J. Hertel

On the Difficulty of Golbach and Dyson Conjectures

07/2009
368C.S. Calude and E. Calude

The Complexity of the Four Colour Theorem

08/2009
369C.S. Calude and E. Calude

Evaluating the Complexity of Mathematical Problems. Part 2

08/2009
370E. Calude

The Complexity of Goldbach's Conjecture and Riemann's Hypothesis

08/2009
371A.A. Abbott

The Deutsch-Jozsa Problem: De-quantization and Entanglement

08/2009
373R. Nicolescu, M.J. Dinneen and Y.-B. Kim

Structured Modelling with Hyperdag P Systems: Part B

10/2009
372C.S. Calude, M.J. Dinneen, M. Dumitrescu and K. Svozil

How Random Is Quantum Randomness? (Extended Version)

12/2009
374C.S. Calude, K. Salomaa, and T.K. Roblot

Finite-State Complexity and Randomness

12/2009
2010 [22]
2011 [20]
2012 [15]
2013 [21]
2014 [24]
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