Research Reports

228

M.C. Wilson

Probability Generating Functions for Sattolo's Algorithm

01/2004

229

H. Ishihara

Informal Constructive Mathematics

01/2004

230

S. Filipp and K. Svozil

Testing the Bounds on Quantum Probabilities

01/2004

231

K. Svozil

Farewell to Quantum Contextuality?

01/2004

232

K. Svozil

Single Particle Interferometric Analogues of Multipartite Entanglement

01/2004

233

K. Svozil

Quantum Information via State Partitions and the Context Transition Principle

01/2004

234

A. Nies, F. Stephan and S.A. Terwijn

Randomness, Relativization, and Turing Degrees

02/2004

235

C.S. Calude and M.A. Stay

From Heisenberg to Goedel via Chaitin

02/2004

236

C.S. Calude and S. Marcus

Mathematical Proofs at a Crossroad?

03/2004

237

H. Juergensen, L. Staiger and H. Yamasaki

Finite Automata Encoding Geometric Figures

04/2004

238

S. Filipp and K. Svozil

The min-max Principle Generalizes Tsirelson's Bound

04/2004

239

C.S. Calude, L. Staiger and S.A. Terwijn

On Partial Randomness

04/2004

240

C.S. Calude, C. Campeanu and M. Dumitrescu

Automata Recognizing No Words: A Statistical Approach

05/2004

241

C.S. Calude and H. Juergensen

Is Complexity a Source of Incompleteness?

06/2004

242

A. Juarna and V. Vajnovszki

Fast Generation of Fibonacci Permutations

07/2004

243

M.A. Stay

Inexpensive Linear-Optical Implementations of Deutsch's Algorithm

07/2004

244

D. Schultes

Rainbow Sort:Sorting at the Speed of Light

07/2004

245

M. Harmer

Fitting Parameters for a Solvable Model of a Quantum Network

07/2004

246

C.S. Calude and G. Paun

Computing with Cells and Atoms: After Five Years

08/2004

247

C. Grozea

Plagiarism Detection with State of the Art Compression Programs

08/2004

248

C.S. Calude

Algorithmic Randomness, Quantum Physics, and Incompleteness

08/2004

249

M.A. Stay

Generalized Number Derivatives

08/2004

250

T. Forster

An Introduction to WQO and BQO Theory (Preliminary Version)

09/2004

251

C.S. Calude and S. Rudeanu

Proving as a Computable Procedure

10/2004

252

C.S. Calude, E. Calude, M.J. Dinneen (editors)

Supplemental Papers for DLT04

11/2004

253

M. Margenstern (editor)

Proceedings of the International Workshop on Tilings and Cellular Automata

11/2004

254

M.J. Dinneen and R. Lai

Properties of Vertex Cover Obstructions

11/2004

255

M.R. Titchener, T.A. Gulliver, R. Nicolescu, U. Speidel and L. Staiger

Deterministic Complexity and Entropy

12/2004

256

J.J. Arulanandham and M.J. Dinneen

Balance Machines: A New Formalism for Computing

12/2004

257

B. Khoussainov (editor)

Abstracts of the Workshop on Automata, Structures and Logic

12/2004

258

K. Svozil

Communication Cost of Breaking the Bell Barrier

12/2004