Centre for Discrete Mathematics and Theoretical Computer Science

Research Reports

1995 [10]

1996 [15]

1997 [49]

1998 [18]

1999 [26]

2000 [30]

2001 [23]

2002 [35]

2003 [22]

2004 [31]

2005 [17]

2006 [18]

2007 [23]

2008 [27]

2009 [31]

344	C.S. Calude and J.P. Lewis	Is there a Universal Image Generator	01/2009
345	M. Schimpf and K. Svozil	A Glance at Singlet States and Four-Partite Correlations	02/2009
346	K. Svozil	Some Observations Concerning the Plasticity of Nonlocal Quantum Correlations Exceeding Classical Expectations	02/2009
347	M. Schaller and K. Svozil	Scale-Invariant Cellular Automata and Recursive Petri Nets	02/2009
348	K. Svozil	Proposed Direct Test of Quantum Contextuality	02/2009
349	K. Svozil	Quantum Scholasticism: On Quantum Contexts, Counterfactuals, and the Absurdities of Quantum Omniscience	02/2009
350	C.S. Calude and L. Staiger	A Note on Accelerated Turing Machines	02/2009
351	P.H. Potgieter and E.E. Rosinger	Output Concepts for Accelerated Turing Machines	02/2009
352	J.C. Baez and M.A. Stay	Physics, Topology, Logic and Computation: A Rosetta Stone	03/2009
353	K. Svozil	Bertlmann's Chocolate Balls and Quantum Type Cryptography	03/2009
354	C.S. Calude and C. Müller	Formal Proof: Reconciling Correctness and Understanding	03/2009
355	K. Tadaki	Fixed Point Theorems on Partitial Randomness	03/2009
356	M.J. Dinneen, N.R. Ke and M. Khosravani	Arithmetic Progression Graphs	03/2009
357	R. Reyhani, G. Pritchard and M.C. Wilson	New Measures of the Diffculty of Manipulation of Voting Rules	03/2009
358	K. Tadaki	A Statistical Mechanical Interpretation of Algorithmic Information Theory III: Composite Systems and Fixed Points	04/2009
359	K. Tadaki	Chaitin Omega Numbers and Halting Problems	04/2009
360	K. Svozil	On the Brightness of the Thomson Lamp. A Prolegomenon to Quantum Recursion Theory	04/2009
361	K. Svozil	The Diagonalization Method in Quantum Recursion Theory	04/2009
362	K. Svozil	Three Criteria for Quantum Random Number Generators Based on Beam Splitters	04/2009
363	A. Nies	Lowness for Computable and Partial Computable Randomness	04/2009
364	K. Svozil	Randomness in Physics: Five Questions, Some Answers	05/2009
365	C.S. Calude, N.J. Hay and F. Stephan	Representation of Left-Computable ε-Random Reals	05/2009
366	J. Mielke and L. Staiger	On Oscillation-free ε-random Sequences II	07/2009
367	J. Hertel	On the Difficulty of Golbach and Dyson Conjectures	07/2009
368	C.S. Calude and E. Calude	The Complexity of the Four Colour Theorem	08/2009
369	C.S. Calude and E. Calude	Evaluating the Complexity of Mathematical Problems. Part 2	08/2009
370	E. Calude	The Complexity of Goldbach's Conjecture and Riemann's Hypothesis	08/2009
371	A.A. Abbott	The Deutsch-Jozsa Problem: De-quantization and Entanglement	08/2009
372	C.S. Calude, M.J. Dinneen, M. Dumitrescu and K. Svozil	How Random Is Quantum Randomness? (Extended Version)	12/2009
373	R. Nicolescu, M.J. Dinneen and Y.-B. Kim	Structured Modelling with Hyperdag P Systems: Part B	10/2009
374	C.S. Calude, K. Salomaa, and T.K. Roblot	Finite-State Complexity and Randomness	12/2009

2010 [22]

2011 [20]

2012 [15]

2013 [10]