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]

2010 [22]

375	M.J. Dinneen, Y.-B. Kim and R. Nicolescu	P Systems and the Byzantine Agreement	01/2010
376	M. Andreev, I. Razenshteyn and A. Shen	Not Every Domain of a Plain Decompressor Contains the Domain of a Prefix-Free One	02/2010
377	Y.I. Manin	Renormalization and Computation II: Time Cut-Off and the Halting Problem	02/2010
378	M.J. Dinneen, Y.-B. Kim and R. Nicolescu	Synchronization in P Modules	02/2010
379	V. Putz and K. Svozil	Can a Computer be “pushed” to Perform Faster-Than-Light?	03/2010
380	K. Tadaki	A New Representation of Chaitin Omega Number Based on Compressible Strings	04/2010
381	A.A. Abbott and C.S. Calude	Understanding the Quantum Computational Speed-up via De-quantisation	04/2010
382	C.S. Calude, M. Cavaliere and R. Mardare	An Observer-Based De-Quantisation of Deutsch's Algorithm	05/2010
383	E. Calude	Fermat's Last Theorem and Chaoticity	06/2010
384	C.S. Calude, E. Calude and K. Svozil	The Complexity of Proving Chaoticity and the Church-Turing Thesis	06/2010
385	S. Schwarz and L. Staiger	Topologies refining the CANTOR topology on X^Ω	06/2010
386	R. Polley and L. Staiger	The Maximal Subword Complexity of Quasiperiodic Infinite Words	06/2010
387	A.A. Abbott	De-quantisation of the Quantum Fourier Transform	06/2010
388	M.J. Dinneen, Y.-B. Kim and R. Nicolescu	A Faster P Solution for the Byzantine Agreement Problem	07/2010
389	K. Tadaki	Properties of Optimal Prefix-Free Machines as Instantaneous Codes	07/2010
390	B. Whitworth	The Light of Existence	08/2010
391	G.J. Chaitin	To a Mathematical Theory of Evolution and Biological Creativity	09/2010
392	A.A. Abbott and C.S. Calude	Von Neumann Normalisation of a Quantum Random Number Generator	10/2010
393	C.S. Calude, M.J. Dinneen and A.M. Gardner	Opening the Book of Randomness (Extended Version)	10/2010
394	M.J. Dinneen and M. Khosravani	Hardness of Approximation and Integer Programming Frameworks for Searching for Caterpillar Trees	11/2010
395	M.J. Dinneen, Y.-B. Kim and R. Nicolescu	Faster Synchronization in P Systems	11/2010
396	A.A. Abbott, C.S. Calude and K. Svozil	A Quantum Random Number Generator Certified by Value Indefiniteness	12/2010

2011 [20]

2012 [15]

2013 [10]