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]
228M.C. Wilson

Probability Generating Functions for Sattolo's Algorithm

01/2004
229H. Ishihara

Informal Constructive Mathematics

01/2004
230S. Filipp and K. Svozil

Testing the Bounds on Quantum Probabilities

01/2004
231K. Svozil

Farewell to Quantum Contextuality?

01/2004
232K. Svozil

Single Particle Interferometric Analogues of Multipartite Entanglement

01/2004
233K. Svozil

Quantum Information via State Partitions and the Context Transition Principle

01/2004
234A. Nies, F. Stephan and S.A. Terwijn

Randomness, Relativization, and Turing Degrees

02/2004
235C.S. Calude and M.A. Stay

From Heisenberg to Goedel via Chaitin

02/2004
236C.S. Calude and S. Marcus

Mathematical Proofs at a Crossroad?

03/2004
237H. Juergensen, L. Staiger and H. Yamasaki

Finite Automata Encoding Geometric Figures

04/2004
238S. Filipp and K. Svozil

The min-max Principle Generalizes Tsirelson's Bound

04/2004
239C.S. Calude, L. Staiger and S.A. Terwijn

On Partial Randomness

04/2004
240C.S. Calude, C. Campeanu and M. Dumitrescu

Automata Recognizing No Words: A Statistical Approach

05/2004
241C.S. Calude and H. Juergensen

Is Complexity a Source of Incompleteness?

06/2004
242A. Juarna and V. Vajnovszki

Fast Generation of Fibonacci Permutations

07/2004
243M.A. Stay

Inexpensive Linear-Optical Implementations of Deutsch's Algorithm

07/2004
244D. Schultes

Rainbow Sort: Sorting at the Speed of Light

07/2004
245M. Harmer

Fitting Parameters for a Solvable Model of a Quantum Network

07/2004
246C.S. Calude and G. Paun

Computing with Cells and Atoms: After Five Years

08/2004
247C. Grozea

Plagiarism Detection with State of the Art Compression Programs

08/2004
248C.S. Calude

Algorithmic Randomness, Quantum Physics, and Incompleteness

08/2004
249M.A. Stay

Generalized Number Derivatives

08/2004
250T. Forster

An Introduction to WQO and BQO Theory (Preliminary Version)

09/2004
251C.S. Calude and S. Rudeanu

Proving as a Computable Procedure

10/2004
252C.S. Calude, E. Calude, M.J. Dinneen (editors)

Supplemental Papers for DLT04

11/2004
253M. Margenstern (editor)

Proceedings of the International Workshop on Tilings and Cellular Automata

11/2004
254M.J. Dinneen and R. Lai

Properties of Vertex Cover Obstructions

11/2004
255M.R. Titchener, T.A. Gulliver, R. Nicolescu, U. Speidel and L. Staiger

Deterministic Complexity and Entropy

12/2004
256J.J. Arulanandham and M.J. Dinneen

Balance Machines: A New Formalism for Computing

12/2004
257B. Khoussainov (editor)

Abstracts of the Workshop on Automata, Structures and Logic

12/2004
258K. Svozil

Communication Cost of Breaking the Bell Barrier

12/2004
2005 [17]
2006 [18]
2007 [23]
2008 [27]
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