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]
432Y.I. Manin

Zipf's Law and L. Levin's Probability Distributions

02/2013
433G. Altmann, I.-I. Popescu and D. Zotta

Stratification in Texts

02/2013
434C.S. Calude and K. Tadaki

Spectral Representation of Some Computably Enumerable Sets With an Application to Quantum Provability

03/2013
435K. Tadaki and N. Doi

Cryptography and Algorithmic Randomness

04/2013
436K. Tadaki

Phase Transition and Strong Predictability

04/2013
437A. Probert and M.J. Dinneen

Branchwidth, Branch Decompositions and b-parses

04/2013
438Y.I. Manin

My Life Is not a Conveyor Belt

05/2013
439M. Stay and J. Vicary

Bicategorical Semantics for Nondeterministic Computation

05/2013
440J.C. Baez and M. Stay

Algorithmic Thermodynamics

05/2013
441C.S. Calude, R. Freivalds and F. Stephan

Deterministic Frequency Pushdown Automata (Revision 1)
(Archives)

09/2013
442C.S. Calude

Quantum Randomness: From Practice to Theory and Back
(Archives)

09/2013
443A.A. Abbott, C.S. Calude and K. Svozil

Value Indefiniteness Is Almost Everywhere

09/2013
444C.S. Calude, L. Staiger and F. Stephan

Finite State Incompressible Infinite Sequences (Revision 2)
(Archives)

11/2013
445A. Nies

Calculus of Cost Functions

11/2013
446S. Figueira and A. Nies

Feasible Analysis, Randomness, and Base Invariance

11/2013
447K. Wei and M.J. Dinneen

Comparing Two Local Searches in a (1+1) Restart Memetic Algorithm on the Clique Problem

12/2013
448C.S. Calude and L. Staiger

Liouville, Computable, Borel Normal and Martin-Loef Random Numbers
(Archives)

12/2013
449F. Ferrarotti, S. Hartmann and S. Link

Reasoning about Functional and Full Hierarchical Dependencies Over Partial Relations

12/2013
450J. Kontinen, S. Link and J. Väänänen

Independence in Database Relations

12/2013
451V.B. Tran Le, S. Link and F. Ferrarotti

Effective Recognition and Visualization of Semantic Requirements by Perfect SQL Samples

12/2013
452H. Köhler, U. Leck, S. Link and X. Zhou

Possible and Certain SQL Keys

12/2013
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