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]
317C.S. Calude and M. Zimand

Algorithmically Independent Sequences

01/2008
318A.A. Abbott and M.J. Dinneen

An Investigation of Algorithms to Aesthetically Draw Cayley Graphs

03/2008
319K. Svozil

Aesthetic Complexity

04/2008
320C.S. Calude and B.E. Carpenter

A Dialogue on the Internet

04/2008
321J. Teutenberg (editor)

Proceedings of the Computer Graduate Workshop 2007

04/2008
322A. Raichev and M.C. Wilson

A New Approach to Asymptotics of Maclaurin Coefficients of Algebraic Functions

04/2008
323A. Raichev and M.C. Wilson

Asymptotics of Coefficients of Multivariate Generating Functions: Improvements for Smooth Points

05/2008
324C.S. Calude

Incompleteness: A Personal Perspective

06/2008
325G.J. Chaitin

The Halting Probability via Wang Tiles

06/2008
326C.S. Calude, A. Nies, L. Staiger and F. Stephan

Universal Recursively Enumerable Sets of Strings

06/2008
327C.S. Calude and J.F. Costa (editors)

Pre-proceedings of the Workshop Physics and Computation

07/2008
328C.S. Calude and N.J. Hay

Every Computably Enumerable Random Real Is Provably Computably Enumerable Random

07/2008
329M.J. Dinneen and A.J.L. Fenton

A New Linear-Time Dominating Number Algorithm for Graphs of Bounded Pathwidth (minor corrections)
(Archives)

07/2008
330B. Kjos-Hanssen, A. Nies, F. Stephan and L. Yu

Higher Kurtz Randomness

08/2008
331S. Figueira, J. Miller and A. Nies

Indifferent Sets

08/2008
332M. Hoyrup

Computability, Randomness and Ergodic Theory on Metric Spaces

09/2008
333C.R. Gonzalez

Randomness and Ergodic Theory: An Algorithmic Point of View

09/2008
334L. Staiger

On Oscillation-free ε-random Sequences

09/2008
335J. Mielke

Refined Bounds on Kolmorgorov Complexity for ω-Languages

09/2008
336M.J. Dinneen and M. Khosravani

Searching for Spanning k-Caterpillars and k-Trees

09/2008
337G.J. Chaitin

Evolution of Mutating Software

10/2008
338C.S. Calude, H. Juergensen and L. Staiger

Topology on Words

11/2008
339C.S. Calude

Simplicity via Provability for Universal Prefix-free Turing Machines

11/2008
340C. Muller and M. Kohlhase

Communities of Practice in Mathematical E-Learning

11/2008
341C. Muller and M. Kohlhase

Context-Aware Adaptation. A Case Study on Mathematical Notations

11/2008
342R. Nicolescu, M.J. Dinneen and Y.-B. Kim

Structured Modelling with Hyperdag P Systems: Part A

12/2008
343C.S. Calude and E. Calude

Evaluating the Complexity of Mathematical Problems. Part 1

12/2008
2009 [31]
2010 [22]
2011 [20]
2012 [15]
2013 [21]
2014 [24]
2015 [17]
2016 [10]
2017 [10]


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