@TechReport{CDMTCS001,
author = "J. Gibbons",
title = "An Initial-Algebra Approach to Directed Acyclic Graphs",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-001",
month = apr,
year = 1995,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=1",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS002,
author = "J. Gibbons",
title = "Computing Downwards Accumulations on Trees Quickly",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-002",
month = mar,
year = 1995,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=2",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS003,
author = "J. Gibbons",
title = "Deriving Tidy Drawings of Trees",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-003",
month = jun,
year = 1995,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=3",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS004,
author = "P.R. Hafner",
title = "Large Cayley Graphs and Digraphs with Small Degree and Diameter",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-004",
month = jun,
year = 1995,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=4",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS005,
author = "J. Gibbons",
title = "The Third Homomorphism Theorem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-005",
month = jul,
year = 1995,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=5",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS006,
author = "J. Gibbons and K. Wansbrough",
title = "Tracing Lazy Functional Languages",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-006",
month = aug,
year = 1995,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=6",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS007,
author = "C.S. Calude and S. Yu",
title = "Language-Theoretic Complexity of Disjunctive Sequences",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-007",
month = sep,
year = 1995,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=7",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS008,
author = "G.J. Chaitin, A. Arslanov and C.S. Calude",
title = "Program-Size Complexity Computes the Halting Problem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-008",
month = sep,
year = 1995,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=8",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS009,
author = "C.S. Calude and J. Hromkovic",
title = "Complexity: A Language-Theoretic Point of View",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-009",
month = oct,
year = 1995,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=9",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS010,
author = "L.S. Dediu",
title = "Higman's Embedding Theorem. An Elementary Proof",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-010",
month = oct,
year = 1995,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=10",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS011,
author = "A. Arslanov",
title = "Difference Splittings of Recursively Enumerable Sets",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-011",
month = jan,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=11",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS012,
author = "I. Antoniou, B. Pavlov and A. Yafyasov",
title = "Quantum Electronic Devices Based on Metal-Dielectric Transition in Low-Dimensional Quantum Structures",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-012",
month = apr,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=12",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS013,
author = "C.S. Calude and C. Grozea",
title = "Kraft-Chaitin Inequality Revisited",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-013",
month = apr,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=13",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS014,
author = "C.S. Calude",
title = "Algorithmic Information Theory: Open Problems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-014",
month = may,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=14",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS015,
author = "C.S. Calude, E. Calude, K. Svozil and S. Yu",
title = "Physical versus Computational Complementarity I",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-015",
month = jun,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=15",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS016,
author = "C.J. Colbourn and P.B. Gibbons",
title = "Uniform Orthogonal Group Divisible Designs with Block Size Three",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-016",
month = aug,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=16",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS017,
author = "B. Khoussainov",
title = "Randomness, Computability, and Algebraic Specifications",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-017",
month = aug,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=17",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS018,
author = "B. Khoussainov and R.A. Shore",
title = "Scott Families and Computably Categorical Structures",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-018",
month = sep,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=18",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS019,
author = "M.J. Dinneen, K. Cattell and M.R. Fellows",
title = "Forbidden Minors to Graphs with Small Feedback Sets",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-019",
month = oct,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=19",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS020,
author = "D.S. Bridges and R. Mines",
title = "Sequentially Continuous Linear Mappings in Constructive Analysis",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-020",
month = oct,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=20",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS021,
author = "C.S. Calude and F.W. Meyerstein",
title = "Is the Universe Lawful?",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-021",
month = nov,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=21",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS022,
author = "I. Tomescu",
title = "On a problem of L. Priese",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-022",
month = nov,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=22",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS023,
author = "P. Cholak, S.S. Goncharov, B. Khoussainov and R.A. Shore",
title = "Computably Categorical Structures and Expansions by Constants",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-023",
month = nov,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=23",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS024,
author = "B. Khoussainov, A. Nies and R.A. Shore",
title = "Computably Presentable Models of Theories with Few Models",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-024",
month = dec,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=24",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS025,
author = "C.S. Calude, E. Calude and B. Khoussainov",
title = "Deterministic Automata: Simulation, Universality and Minimality",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-025",
month = dec,
year = 1996,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=25",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS026,
author = "M.J. Dinneen, J.A. Ventura, M.C. Wilson and G. Zakeri",
title = "Compound Constructions of Minimal Broadcast Networks",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-026",
month = jan,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=26",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS027,
author = "H. Ishihara, B. Khoussainov and A. Nerode",
title = "Decidable Kripke Models of Intuitionistic Theories",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-027",
month = jan,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=27",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS028,
author = "N. Brand and M. Morton",
title = "Uniform Generalized Steinhaus Graphs",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-028",
month = feb,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=28",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS029,
author = "R.J. Coles, R.G. Downey and B. Khoussainov",
title = "On Initial Segments of Computable Linear Orders",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-029",
month = mar,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=29",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS030,
author = "S. Legg",
title = "Solomonoff Induction",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-030",
month = mar,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=30",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS031,
author = "B. Khoussainov and R.A. Shore",
title = "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-031",
month = apr,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=31",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS032,
author = "C.S. Calude, P.H. Hertling and B. Khoussainov",
title = "Do the Zeros of the Riemann's Zeta-Function Form a Random Sequence?",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-032",
month = apr,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=32",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS033,
author = "Y. Wang",
title = "Randomness, Stochasticity and Approximations",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-033",
month = apr,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=33",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS034,
author = "A. Arslanov",
title = "On a Conjecture of M. Van Lambalgen",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-034",
month = may,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=34",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS035,
author = "B. Khoussainov, A. Yakhnis and V. Yakhnis",
title = "Clusters of Two Player Games and Restricted Determinacy Theorem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-035",
month = may,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=35",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS036,
author = "C.S. Calude, P.H. Hertling and K. Svozil",
title = "Embedding Quantum Universes into Classical Ones",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-036",
month = may,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=36",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS037,
author = "D.S. Bridges, F. Richman and P. Schuster",
title = "Linear Independence and Choice",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-037",
month = may,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=37",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS038,
author = "F. Richman and D.S. Bridges",
title = "A Constructive Proof of Gleason's Theorem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-038",
month = may,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=38",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS039,
author = "C.S. Calude",
title = "A Genius' Story: Two Books on Godel",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-039",
month = jun,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=39",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS040,
author = "E. Calude and M. Lipponen",
title = "Deterministic Incomplete Automata: Simulation, Universality and Complementarity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-040",
month = jun,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=40",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS041,
author = "M. Conder",
title = "Explicit Definition of the Binary Reflected Gray Codes",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-041",
month = jun,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=41",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS042,
author = "M. Conder",
title = "Small Trivalent Graphs of Large Girth",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-042",
month = jun,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=42",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS043,
author = "G. Alford",
title = "An Explicit Construction of a Universal Extended H System",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-043",
month = aug,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=43",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS044,
author = "U. Guenther, P.H. Hertling, R. Nicolescu and M.R. Titchener",
title = "Representing Variable-Length Codes in Fixed-Length T-Depletion Format in Encoders and Decoders",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-044",
month = aug,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=44",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS045,
author = "B. Khoussainov, A. Yakhnis and V. Yakhnis",
title = "Games with Unknown Past",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-045",
month = aug,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=45",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS046,
author = "B. Khoussainov and A.M. Slinko",
title = "Nonassociative Computable Rings and Their Isomorphisms",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-046",
month = aug,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=46",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS047,
author = "R.G. Downey",
title = "On the Universal Splitting Property",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-047",
month = aug,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=47",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS048,
author = "R.G. Downey and A. Nies",
title = "Undecidability Results for Low Complexity Degree Structures",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-048",
month = aug,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=48",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS049,
author = "R.G. Downey, M.R. Fellows and K.W. Regan",
title = "Parameterized Circuit Complexity and the W Hierarchy",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-049",
month = aug,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=49",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS050,
author = "K. Cattell, M.J. Dinneen, R.G. Downey, M.R. Fellows and M.A. Langston",
title = "On Computing Graph Minors Obstruction Sets",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-050",
month = aug,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=50",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS051,
author = "R.G. Downey and C.G. Jockusch Jr",
title = "Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-051",
month = aug,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=51",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS052,
author = "R.G. Downey, M.R. Fellows, A. Vardy and G. Whittle",
title = "The Parameterized Complexity of Some Fundamental Problems in Coding Theory",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-052",
month = aug,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=52",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS053,
author = "C.S. Calude and M. Lipponen",
title = "Computational Complementarity and Sofic Shifts",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-053",
month = aug,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=53",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS054,
author = "C.S. Calude, E. Calude and B. Khoussainov",
title = "Finite Nondeterministic Automata: Simulation and Minimality",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-054",
month = sep,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=54",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS055,
author = "M.J. Dinneen",
title = "Practical Enumeration Methods for Graphs of Bounded Pathwidth and Treewidth",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-055",
month = sep,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=55",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS056,
author = "D.S. Bridges and L.S. Dediu",
title = "Paradise Lost, or Paradise Regained?",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-056",
month = sep,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=56",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS057,
author = "P.H. Hertling",
title = "The Real Number Structure is Effectively Categorical",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-057",
month = sep,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=57",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS058,
author = "H.W. Guesgen",
title = "Imprecise Reasoning about Geographic Information",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-058",
month = sep,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=58",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS059,
author = "C.S. Calude, P.H. Hertling, B. Khoussainov and Y. Wang",
title = "Recursively Enumerable Reals and Chaitin Omega Numbers",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-059",
month = oct,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=59",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS060,
author = "E. Calude and M. Lipponen",
title = "Minimal Deterministic Incomplete Automata",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-060",
month = oct,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=60",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS061,
author = "P.H. Hertling and Y. Wang",
title = "Invariance Properties of Random Sequences",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-061",
month = oct,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=61",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS062,
author = "C.S. Calude and A. Nies",
title = "Chaitin Omega Numbers and Strong Reducibilities",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-062",
month = oct,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=62",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS063,
author = "C.S. Calude, L. Priese and L. Staiger",
title = "Disjunctive Sequences: An Overview",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-063",
month = oct,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=63",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS064,
author = "P.H. Hertling",
title = "Surjective Functions on Computably Growing Cantor Sets",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-064",
month = oct,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=64",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS065,
author = "P.H. Hertling",
title = "Embedding Cellular Automata into Reversible Ones",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-065",
month = oct,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=65",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS066,
author = "V.E. Cazanescu",
title = "Feedback for Relations",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-066",
month = nov,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=66",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS067,
author = "P.H. Hertling",
title = "The Effective Riemann Mapping Theorem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-067",
month = nov,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=67",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS068,
author = "D.S. Bridges and S. Reeves",
title = "Constructive Mathematics, in Theory and Programming Practice",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-068",
month = nov,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=68",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS069,
author = "D.S. Bridges, F. Richman and P. Schuster",
title = "Adjoints, Absolute Values and Polar Decompostions",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-069",
month = nov,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=69",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS070,
author = "D.S. Bridges, C.S. Calude, B. Pavlov and D. Stefanescu",
title = "The Constructive Implicit Function Theorem and Applications in Mechanics",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-070",
month = nov,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=70",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS071,
author = "C. Martin-Vide and G. Paun",
title = "Cooperating Distributed Splicing Systems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-071",
month = dec,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=71",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS072,
author = "G. Paun",
title = "DNA Computing Based on Splicing: Universality Results",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-072",
month = dec,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=72",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS073,
author = "G. Paun",
title = "Two-Level Distributed H Systems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-073",
month = dec,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=73",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS074,
author = "C.S. Calude and P.H. Hertling",
title = "Computable Approximations of Reals: An Information-Theoretic Analysis",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-074",
month = dec,
year = 1997,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=74",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS075,
author = "P.H. Hertling (editor)",
title = "Unconventional Models of Computation'98: Posters",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-075",
month = jan,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=75",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS076,
author = "C. Martin-Vide, G. Paun, G. Rosenberg and A. Salomaa",
title = "X-Families: An Approach to the Study of Families of Syntactically Similar Languages",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-076",
month = jan,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=76",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS077,
author = "P.H. Hertling",
title = "A Lower Bound for Range Enclosure in Interval Arithmetic",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-077",
month = jan,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=77",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS078,
author = "R. Laue",
title = "Halvings on Small Point Sets",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-078",
month = jan,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=78",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS079,
author = "P.H. Hertling and K. Weihrauch",
title = "Randomness Spaces",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-079",
month = jan,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=79",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS080,
author = "M.J. Dinneen, G. Pritchard and M.C. Wilson",
title = "Degree- and Time- Constrained Broadcast Networks",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-080",
month = apr,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=80",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS081,
author = "A. Arslanov",
title = "On Hypersimple Sets and Chaitin Complexity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-081",
month = apr,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=81",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS082,
author = "C.S. Calude and M.J. Dinneen",
title = "News from New Zealand; Group-Theoretic Methods for Designing Networks",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-082",
month = may,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=82",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS083,
author = "C.S. Calude, E. Calude and C. Stefanescu",
title = "Computational Complementarity for Mealy Automata",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-083",
month = may,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=83",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS084,
author = "C.S. Calude and M.J. Dinneen",
title = "Breaking the Turing Barrier",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-084",
month = may,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=84",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS085,
author = "P.C. Denny",
title = "Search and Enumeration Techniques for Incidence Structures",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-085",
month = may,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=85",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS086,
author = "C.S. Calude, W. Merkle and Y. Wang",
title = "A Note on Pseudorandom Generators",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-086",
month = may,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=86",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS087,
author = "H. Ishihara, B. Khoussainov and A. Nerode",
title = "Computable Kripke Models and Intermediate Logics",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-087",
month = jul,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=87",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS088,
author = "L. Staiger",
title = "The Hausdorff Measure of Regular Omega-Languages is Computable",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-088",
month = aug,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=88",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS089,
author = "F.W. Meyerstein",
title = "Is Movement An Illusion? Zeno's Paradox From a Modern Viewpoint",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-089",
month = sep,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=89",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS090,
author = "C.S. Calude, R.J. Coles, P.H. Hertling and B. Khoussainov",
title = "Degree-Theoretic Aspects of Computably Enumerable Reals",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-090",
month = sep,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=90",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS091,
author = "M.J. Dinneen (editor)",
title = "Abstracts of the 2nd Japan - New Zealand Workshop on Logic in Computer Science",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-091",
month = oct,
year = 1998,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=91",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS092,
author = "C.S. Calude and E. Calude",
title = "Bisimulations and Behaviour of Nondeterministic Automata",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-092",
month = feb,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=92",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS093,
author = "C.S. Calude",
title = "A Glimpse into Algorithmic Information Theory",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-093",
month = feb,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=93",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS094,
author = "C.S. Calude and R.J. Coles",
title = "On a Theorem of Solovay",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-094",
month = feb,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=94",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS095,
author = "C.S. Calude",
title = "A Characterization of C.E. Random Reals",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-095",
month = mar,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=95",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS096,
author = "L. Staiger",
title = "The Kolmogorov Complexity of Liouville Numbers",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-096",
month = mar,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=96",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS097,
author = "A.M. Kraegeloh",
title = "Unstable Dynamics on a Markov Background and Stability in Average",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-097",
month = mar,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=97",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS098,
author = "G. Paun",
title = "Computing with Membranes: A Variant",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-098",
month = mar,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=98",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS099,
author = "C.S. Calude, K. Salomaa and S. Yu",
title = "Metric Lexical Analysis",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-099",
month = mar,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=99",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS100,
author = "C.S. Calude, P.H. Hertling, H. Juergensen and K. Weihrauch",
title = "Randomness on Full Shift Spaces",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-100",
month = apr,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=100",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS101,
author = "G. Paun and G. Thierrin",
title = "Multiset Processing by means of Systems of Sequential Transducers",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-101",
month = apr,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=101",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS102,
author = "G. Paun",
title = "P Systems with Active Membranes: Attacking NP Complete Problems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-102",
month = may,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=102",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS103,
author = "B. Assanovich and U. Guenther",
title = "Variable-Length Codes for Sources with Equiprobable Symbols",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-103",
month = may,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=103",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS104,
author = "R.M. Solovay",
title = "A Version of Ω for which ZFC can not Predict a Single Bit",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-104",
month = may,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=104",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS105,
author = "M.J. Dinneen and B. Khoussainov",
title = "Update Games and Update Networks",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-105",
month = jun,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=105",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS106,
author = "C.S. Calude, E. Calude and K. Svozil",
title = "Quantum Correlations Conundrum: An Automaton-Theoretic Approach",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-106",
month = jun,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=106",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS107,
author = "C.S. Calude, M.J. Dinneen and K. Svozil",
title = "Counterfactual Effect, the Halting Problem, and the Busy Beaver Function",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-107",
month = jul,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=107",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS108,
author = "C. Grozea",
title = "Free-Extendible Prefix-Free Sets and an Extension of the Kraft-Chaitin Theorem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-108",
month = jul,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=108",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS109,
author = "C.S. Calude, E. Calude, T. Chiou, M. Dumitrescu and R. Nicolescu",
title = "Testing Computational Complementarity for Mermin Automata",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-109",
month = jul,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=109",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS110,
author = "D.S. Bridges, C.S. Calude and L.S. Dediu (editors)",
title = "Abstracts of Constructivity, Complexity, and Fuzziness (CCF '99)",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-110",
month = jul,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=110",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS111,
author = "M.J. Dinneen and B. Khoussainov",
title = "Automata with Equational Constraints",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-111",
month = aug,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=111",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS112,
author = "C.S. Calude, H. Juergensen and S. Legg",
title = "Solving Problems with Finite Test Sets",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-112",
month = sep,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=112",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS113,
author = "C.S. Calude, E. Calude and K. Svozil",
title = "Computational Complementarity for Probabilistic Automata",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-113",
month = sep,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=113",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS114,
author = "C.S. Calude",
title = "Chaitin Ω Numbers, Solovay Machines, and Incompleteness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-114",
month = oct,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=114",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS115,
author = "G. Kapoulas",
title = "Computable p-adic Numbers",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-115",
month = nov,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=115",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS116,
author = "C.S. Calude, H. Ishihara and T. Yamaguchi",
title = "Minimal Programs Are Almost Optimal",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-116",
month = nov,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=116",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS117,
author = "C.S. Calude, G. Paun and M. Tataram",
title = "A Glimpse into Natural Computing",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-117",
month = dec,
year = 1999,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=117",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS118,
author = "M.J. Dinneen and L. Xiong",
title = "The Minor-Order Obstructions for The Graphs of Vertex Cover Six",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-118",
month = jan,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=118",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS119,
author = "G. Paun",
title = "Computing with Membranes (P Systems): Twenty Six Research Topics",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-119",
month = feb,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=119",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS120,
author = "G. Krenn, J. Summhammer and K. Svozil",
title = "Interferometric Information Gain Versus Interaction-Free Measurement",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-120",
month = feb,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=120",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS121,
author = "H. Havlicek, G. Krenn, J. Summhammer and K. Svozil",
title = "On Coloring the Rational Quantum Sphere",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-121",
month = feb,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=121",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS122,
author = "K. Svozil",
title = "Solution of Problem No. 10769",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-122",
month = feb,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=122",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS123,
author = "J. Castellanos, G. Paun and A. Rodriguez-Paton",
title = "Computing with Membranes: P Systems with Worm-Objects",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-123",
month = feb,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=123",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS124,
author = "S.S. Goncharov and B. Khoussainov",
title = "Open Problems in the Theory of Constructive Algebraic Systems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-124",
month = mar,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=124",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS125,
author = "B. Khoussainov",
title = "On Computable Theoretic Properties of Structures and Their Cartesian Products",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-125",
month = mar,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=125",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS126,
author = "B. Khoussainov",
title = "Algebraic Constraints, Automata, and Regular Languages",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-126",
month = mar,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=126",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS127,
author = "M.J. Dinneen and B. Khoussainov",
title = "Update Networks and Their Routing Strategies",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-127",
month = mar,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=127",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS128,
author = "B. Khoussainov and S. Rubin",
title = "Finite Automata and Isomorphism Types",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-128",
month = mar,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=128",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS129,
author = "B. Khoussainov and R.A. Shore",
title = "Solutions of the Goncharov-Millar and Degree Spectra Problems in The Theory of Computable Models",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-129",
month = mar,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=129",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS130,
author = "C.S. Calude, M.J. Dinneen and K. Svozil",
title = "Reflections on Quantum Computing",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-130",
month = mar,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=130",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS131,
author = "B. Khoussainov and R.A. Shore",
title = "Effective Model Theory: The Number of Models and Their Complexity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-131",
month = mar,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=131",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS132,
author = "C.S. Calude and B. Pavlov",
title = "The Poincare-Hardy Inequality on the Complement of a Cantor Set",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-132",
month = may,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=132",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS133,
author = "M.D. Kearse and P.B. Gibbons",
title = "Computational Methods and New Results for Chessboard Problems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-133",
month = may,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=133",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS134,
author = "C.S. Calude and M.J. Dinneen (editors)",
title = "The 5th Anniversary Workshop on Discrete Mathematics and Theoretical Computer Science",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-134",
month = may,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=134",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS135,
author = "R.G. Downey and G.L. LaForte",
title = "Presentations of Computably Enumerable Reals",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-135",
month = may,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=135",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS136,
author = "K. Svozil",
title = "Quantum Interfaces",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-136",
month = may,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=136",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS137,
author = "K. Svozil",
title = "Science at the Crossroad Between Randomness and Determinism",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-137",
month = may,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=137",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS138,
author = "C. Areces and V. Becher",
title = "Analytic AGM Revision",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-138",
month = jun,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=138",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS139,
author = "",
title = "--skipped--",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-139",
month = jul,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS140,
author = "C.S. Calude, M.J. Dinneen and G. Paun (editors)",
title = "Pre-Proceedings of the Workshop on Multiset Processing",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-140",
month = aug,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=140",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS141,
author = "C.S. Calude",
title = "Real Numbers: From Computable to Random",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-141",
month = aug,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=141",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS142,
author = "R. Pemantle and M.C. Wilson",
title = "Asymptotics of Multivariate Sequences II. Multiple Points of the Singular Variety",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-142",
month = aug,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=142",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS143,
author = "C.S. Calude",
title = "Who Is Afraid of Randomness?",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-143",
month = sep,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=143",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS144,
author = "R.G. Downey, D.R. Hirschfeldt and A. Nies",
title = "Randomness, Computability, and Density",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-144",
month = sep,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=144",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS145,
author = "K. Svozil",
title = "Quantum Information: The New Frontier",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-145",
month = sep,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=145",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS146,
author = "C.S. Calude, M.J. Dinneen and C.-K. Shu",
title = "Computing 80 Initial Bits of A Chaitin Omega Number",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-146",
month = nov,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=146",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS147,
author = "I. Antoniou, C.S. Calude and M.J. Dinneen (editors)",
title = "Supplemental Papers for the 2nd Unconventional Models of Computation Conference",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-147",
month = nov,
year = 2000,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=147",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS148,
author = "R.G. Downey, D.R. Hirschfeldt and G.L. LaForte",
title = "Randomness and Reducibility",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-148",
month = jan,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=148",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS149,
author = "U. Guenther",
title = "T-Complexity and T-Information Theory -- an Executive Summary",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-149",
month = feb,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=149",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS150,
author = "C.S. Calude and M. Dumitrescu",
title = "Entropic Measures, Markov Information Sources and Complexity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-150",
month = feb,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=150",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS151,
author = "H.L. Bodlaender, M.J. Dinneen and B. Khoussainov",
title = "On Game-Theoretic Models of Networks",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-151",
month = apr,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=151",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS152,
author = "C.S. Calude, M.J. Dinneen and S. Sburlan (editors)",
title = "Supplemental Abstracts for DMTCS01",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-152",
month = apr,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=152",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS153,
author = "U. Guenther",
title = "Matching T-Codes to a Source",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-153",
month = apr,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=153",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS154,
author = "S. Filipp and K. Svozil",
title = "Boole-Bell-type Inequalities in Mathematica",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-154",
month = may,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=154",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS155,
author = "N. Donath and K. Svozil",
title = "Finding a State in a Haystack",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-155",
month = may,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=155",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS156,
author = "C.S. Calude and B. Pavlov",
title = "Coins, Quantum Measurements, and Turing's Barrier: Preliminary Version",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-156",
month = jun,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=156",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS157,
author = "S.Y.P. Lee and M.J. Dinneen",
title = "A Conference Submission Web Server",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-157",
month = jun,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=157",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS158,
author = "C. Grozea",
title = "Relations Between the Low Subrecursion Classes",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-158",
month = jul,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=158",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS159,
author = "D.S. Bridges and L.S. Vita",
title = "A Constructive Theory of Point-Set Nearness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-159",
month = aug,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=159",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS160,
author = "F.W. Meyerstein and A.P. Moller",
title = "LifeTime: A Unified Study of Life (A Preliminary Version)",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-160",
month = sep,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=160",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS161,
author = "C.S. Calude and E. Calude",
title = "The Bridge Crossing Problem: Draft Form",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-161",
month = sep,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=161",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS162,
author = "D.R. Hirschfeldt, B. Khoussainov, R.A. Shore and A.M. Slinko",
title = "Degree Spectra and Computable Dimensions in Algebraic Structures",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-162",
month = oct,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=162",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS163,
author = "B. Khoussainov",
title = "Algebraic Constraints, Automata, and Regular Languages (Revised)",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-163",
month = nov,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=163",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS164,
author = "R.G. Downey, D.R. Hirschfeldt and B. Khoussainov",
title = "Uniformity in Computable Structure Theory",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-164",
month = nov,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=164",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS165,
author = "D.S. Bridges, C.S. Calude and F. Kroon (editors)",
title = "Workshop on Truths and Proofs",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-165",
month = nov,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=165",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS166,
author = "C.S. Calude",
title = "Incompleteness, Complexity, Randomness and Beyond",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-166",
month = nov,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=166",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS167,
author = "C.S. Calude, M.J. Dinneen and C.-K. Shu",
title = "Computing a Glimpse of Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-167",
month = dec,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=167",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS168,
author = "M. Deza, M. Dutour and E. Panteleev",
title = "Small Cones of Oriented Semi-Metrics",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-168",
month = dec,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=168",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS169,
author = "M. Dutour and M. Deza",
title = "The Hypermetric Cone on Seven Vertices",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-169",
month = dec,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=169",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS170,
author = "C.S. Calude and B. Pavlov",
title = "Coins, Quantum Measurements, and Turing's Barrier",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-170",
month = dec,
year = 2001,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=170",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS171,
author = "J.J. Arulanandham, C.S. Calude and M.J. Dinneen",
title = "Bead--Sort: A Natural Sorting Algorithm",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-171",
month = jan,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=171",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS172,
author = "H. Ishihara, B. Khoussainov and S. Rubin",
title = "On Isomorphism Invariants of Some Automatic Structures",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-172",
month = jan,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=172",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS173,
author = "R.G. Downey",
title = "Some Computability-Theoretical Aspects of Reals and Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-173",
month = jan,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=173",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS174,
author = "B. Khoussainov",
title = "Games Played on Finite Graphs and Temporal Logic",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-174",
month = jan,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=174",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS175,
author = "L. Staiger",
title = "How Large is the Set of Disjunctive Sequences?",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-175",
month = jan,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=175",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS176,
author = "S.S. Goncharov and B. Khoussainov",
title = "On Complexity of Computatable $aleph_1$--Categorical Models",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-176",
month = jan,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=176",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS177,
author = "I. Tomescu",
title = "On the Number of Occurrences of All Short Factors in Almost All Words",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-177",
month = feb,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=177",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS178,
author = "H. Ishihara and B. Khoussainov",
title = "Complexity of Some Infinite Games Played on Finite Graphs",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-178",
month = feb,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=178",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS179,
author = "K. Svozil",
title = "Logical Equivalence Between Generalized Urn Models and Finite Automata",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-179",
month = feb,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=179",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS180,
author = "C.S. Calude, E. Calude and S. Marcus",
title = "Passages of Proof",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-180",
month = feb,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=180",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS181,
author = "B. Khoussainov and T. Kowalski",
title = "Computable Isomorphism of Boolean Algebras with Operators",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-181",
month = mar,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=181",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS182,
author = "G.J. Chaitin",
title = "Meta-Mathematics and the Foundations of Mathematics",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-182",
month = may,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=182",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS183,
author = "K. Svozil",
title = "What Could be More Practical than a Good Interpretation?",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-183",
month = may,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=183",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS184,
author = "K. Svozil",
title = "n-ary Quantum Information Defined by State Partitions",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-184",
month = may,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=184",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS185,
author = "B. Khoussainov and S. Rubin",
title = "Some Thoughts On Automatic Structures",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-185",
month = may,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=185",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS186,
author = "J.J. Arulanandham",
title = "Implementing Bead--Sort with P systems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-186",
month = may,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=186",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS187,
author = "V. Becher and G.J. Chaitin",
title = "Another Example of Higher Order Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-187",
month = may,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=187",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS188,
author = "G.J. Chaitin",
title = "Paradoxes of Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-188",
month = may,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=188",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS189,
author = "B. Khoussainov",
title = "Finite State Strategies in One Player McNaughton Games",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-189",
month = may,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=189",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS190,
author = "S.S. Goncharov and B. Khoussainov",
title = "Complexity of Computable Models",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-190",
month = may,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=190",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS191,
author = "L. Staiger and H. Yamasaki",
title = "A Simple Example of an omega-language Topologically Inequivalent to a Regular One",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-191",
month = jul,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=191",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS192,
author = "L. Staiger",
title = "The Entropy of Lukasiewicz Languages",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-192",
month = aug,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=192",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS193,
author = "N. Zhou",
title = "The Broadcasting Problem For Bounded-Degree Directed Networks",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-193",
month = sep,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=193",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS194,
author = "M. Ohya and I.V. Volovich",
title = "A New Quantum Algorithm for NP-complete Problems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-194",
month = sep,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=194",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS195,
author = "C.S. Calude, M.J. Dinneen and F. Peper (editors)",
title = "Supplemental Papers for the 3nd Unconventional Models of Computation Conference",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-195",
month = oct,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=195",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS196,
author = "L. Staiger",
title = "Weighted Finite Automata and Metrics in Cantor Space",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-196",
month = oct,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=196",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS197,
author = "C.S. Calude, S. Marcus and L. Staiger",
title = "A Topological Characterization of Random Sequences",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-197",
month = oct,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=197",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS198,
author = "V.A. Adamyan, C.S. Calude and B. Pavlov",
title = "A Quantum Scattering Approach to Undecidable Problems: Preliminary Version",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-198",
month = oct,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=198",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS199,
author = "J.J. Arulanandham, C.S. Calude and M.J. Dinneen",
title = "Solving SAT with Bilateral Computing",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-199",
month = dec,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=199",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS200,
author = "G. Kapoulas",
title = "Infinitesimals Via the Cofinite Filter",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-200",
month = dec,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=200",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS201,
author = "A. Nies",
title = "Lowness Properties of Reals and Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-201",
month = dec,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=201",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS202,
author = "A. Nies",
title = "Reals which Compute Little",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-202",
month = dec,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=202",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS203,
author = "J. Yang and U. Guenther",
title = "An Improved T-Decomposition Algorithm",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-203",
month = dec,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=203",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS204,
author = "U. Guenther",
title = "An Entropy Measure for Finite Strings based on the Shannon Entropy of a Code Set",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-204",
month = dec,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=204",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS205,
author = "J. Walsh and M.J. Dinneen",
title = "Checking for Substructures in Graphs of Bounded Pathwidth and Treewidth",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-205",
month = dec,
year = 2002,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=205",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS206,
author = "S.S. Goncharov and B. Khoussainov",
title = "Computationally Complete Computably Enumerable Algebras (Removed)",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-206",
month = jan,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS207,
author = "B. Khoussainov and T. Kowalski",
title = "Games on Graphs: Automata, Structure, and Complexity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-207",
month = jan,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=207",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS208,
author = "B. Khoussainov, S. Rubin and F. Stephan",
title = "Automatic linear orders and trees (Revised)",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-208",
month = nov,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=208",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS209,
author = "B. Khoussainov, S. Rubin and F. Stephan",
title = "Definability and Regularity in Automatic Presentations of Subsystems of Arithmetic",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-209",
month = jan,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=209",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS210,
author = "L. Staiger",
title = "Constructive Dimension equals Kolmogorov Complexity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-210",
month = jan,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=210",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS211,
author = "M. Margenstern",
title = "The Tiling of the Hyperbolic 4D Space by the 120-Cell Is Combinatoric",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-211",
month = feb,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=211",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS212,
author = "S.A. Terwijn",
title = "Complexity and Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-212",
month = mar,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=212",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS213,
author = "C.S. Calude, L. Staiger and K. Svozil",
title = "Randomness Relative to Cantor Expansions",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-213",
month = apr,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=213",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS214,
author = "K. Svozil",
title = "Eutatic Quantum Codes",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-214",
month = apr,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=214",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS215,
author = "C.S. Calude, M.J. Dinneen and V. Vajnovszki (editors)",
title = "Supplemental Papers for DMTCS03",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-215",
month = may,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=215",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS216,
author = "K. Svozil",
title = "Computational Universes",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-216",
month = may,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=216",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS217,
author = "C.S. Calude, E. Calude and M.J. Dinneen",
title = "What is the Value of Taxicab(6)?",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-217",
month = may,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=217",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS218,
author = "C.S. Calude and L. Staiger",
title = "Generalisations of Disjunctive Sequences",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-218",
month = jun,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=218",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS219,
author = "C.S. Calude",
title = "Dialogues on Quantum Computing",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-219",
month = jun,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=219",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS220,
author = "J.J. Arulanandham, C.S. Calude and M.J. Dinneen",
title = "A Fast Natural Algorithm for Searching",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-220",
month = jun,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=220",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS221,
author = "E. Calude, B. Mills and L. Mills",
title = "A Uniform Method for Testing Computational Complementarity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-221",
month = jun,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=221",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS222,
author = "V. Becher, S. Figueira, A. Nies and S. Picchi",
title = "Program Size Complexity for Possibly Infinite Computations",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-222",
month = aug,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=222",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS223,
author = "J.J. Arulanandham, C.S. Calude and M.J. Dinneen",
title = "Balance Machines: Computing = Balancing",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-223",
month = oct,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=223",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS224,
author = "A. Moreira",
title = "RNA Rings in the Origin of Life",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-224",
month = oct,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=224",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS225,
author = "S. Daniels",
title = "Uniform Candy Distribution",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-225",
month = oct,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=225",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS226,
author = "C.S. Calude and G. Paun",
title = "Bio-Steps Beyond Turing",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-226",
month = nov,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=226",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS227,
author = "H. Ishihara and L.S. Vita",
title = "A constructive Banach's inverse mapping theorem in F-spaces",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-227",
month = dec,
year = 2003,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=227",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS228,
author = "M.C. Wilson",
title = "Probability Generating Functions for Sattolo's Algorithm",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-228",
month = jan,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=228",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS229,
author = "H. Ishihara",
title = "Informal Constructive Mathematics",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-229",
month = jan,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=229",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS230,
author = "S. Filipp and K. Svozil",
title = "Testing the Bounds on Quantum Probabilities",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-230",
month = jan,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=230",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS231,
author = "K. Svozil",
title = "Farewell to Quantum Contextuality?",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-231",
month = jan,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=231",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS232,
author = "K. Svozil",
title = "Single Particle Interferometric Analogues of Multipartite Entanglement",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-232",
month = jan,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=232",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS233,
author = "K. Svozil",
title = "Quantum Information via State Partitions and the Context Transition Principle",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-233",
month = jan,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=233",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS234,
author = "A. Nies, F. Stephan and S.A. Terwijn",
title = "Randomness, Relativization, and Turing Degrees",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-234",
month = feb,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=234",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS235,
author = "C.S. Calude and M.A. Stay",
title = "From Heisenberg to Goedel via Chaitin",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-235",
month = feb,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=235",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS236,
author = "C.S. Calude and S. Marcus",
title = "Mathematical Proofs at a Crossroad?",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-236",
month = mar,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=236",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS237,
author = "H. Juergensen, L. Staiger and H. Yamasaki",
title = "Finite Automata Encoding Geometric Figures",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-237",
month = apr,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=237",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS238,
author = "S. Filipp and K. Svozil",
title = "The min-max Principle Generalizes Tsirelson's Bound",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-238",
month = apr,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=238",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS239,
author = "C.S. Calude, L. Staiger and S.A. Terwijn",
title = "On Partial Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-239",
month = apr,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=239",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS240,
author = "C.S. Calude, C. Campeanu and M. Dumitrescu",
title = "Automata Recognizing No Words: A Statistical Approach",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-240",
month = may,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=240",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS241,
author = "C.S. Calude and H. Juergensen",
title = "Is Complexity a Source of Incompleteness?",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-241",
month = jun,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=241",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS242,
author = "A. Juarna and V. Vajnovszki",
title = "Fast Generation of Fibonacci Permutations ",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-242",
month = jul,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=242",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS243,
author = "M.A. Stay",
title = "Inexpensive Linear-Optical Implementations of Deutsch's Algorithm",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-243",
month = jul,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=243",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS244,
author = "D. Schultes",
title = "Rainbow Sort: Sorting at the Speed of Light",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-244",
month = jul,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=244",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS245,
author = "M. Harmer",
title = "Fitting Parameters for a Solvable Model of a Quantum Network",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-245",
month = jul,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=245",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS246,
author = "C.S. Calude and G. Paun",
title = "Computing with Cells and Atoms: After Five Years",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-246",
month = aug,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=246",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS247,
author = "C. Grozea",
title = "Plagiarism Detection with State of the Art Compression Programs",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-247",
month = aug,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=247",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS248,
author = "C.S. Calude",
title = "Algorithmic Randomness, Quantum Physics, and Incompleteness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-248",
month = aug,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=248",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS249,
author = "M.A. Stay",
title = "Generalized Number Derivatives",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-249",
month = aug,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=249",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS250,
author = "T. Forster",
title = "An Introduction to WQO and BQO Theory (Preliminary Version)",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-250",
month = sep,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=250",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS251,
author = "C.S. Calude and S. Rudeanu",
title = "Proving as a Computable Procedure",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-251",
month = oct,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=251",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS252,
author = "C.S. Calude, E. Calude, M.J. Dinneen (editors)",
title = "Supplemental Papers for DLT04",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-252",
month = nov,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=252",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS253,
author = "M. Margenstern (editor)",
title = "Proceedings of the International Workshop on Tilings and Cellular Automata",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-253",
month = nov,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=253",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS254,
author = "M.J. Dinneen and R. Lai",
title = "Properties of Vertex Cover Obstructions",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-254",
month = nov,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=254",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS255,
author = "M.R. Titchener, T.A. Gulliver, R. Nicolescu, U. Speidel and L. Staiger",
title = "Deterministic Complexity and Entropy",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-255",
month = dec,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=255",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS256,
author = "J.J. Arulanandham and M.J. Dinneen",
title = "Balance Machines: A New Formalism for Computing",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-256",
month = dec,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=256",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS257,
author = "B. Khoussainov (editor)",
title = "Abstracts of the Workshop on Automata, Structures and Logic",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-257",
month = dec,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=257",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS258,
author = "K. Svozil",
title = "Communication Cost of Breaking the Bell Barrier",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-258",
month = dec,
year = 2004,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=258",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS259,
author = "J. Yang and U. Speidel",
title = "A T-decomposition Algorithm with O(n log n) Time and Space Complexity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-259",
month = jan,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=259",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS260,
author = "H. Ishihara, R. Mines, P. Schuster, and L.S. Vita",
title = "Quasi-Apartness and Neighbourhood Spaces",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-260",
month = mar,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=260",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS261,
author = "C.S. Calude, E. Calude and M.J. Dinneen",
title = "What is the Value of Taxicab(6)? An Update",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-261",
month = apr,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=261",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS262,
author = "M.C. Wilson",
title = "Asymptotics for Generalized Riordan Arrays",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-262",
month = apr,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=262",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS263,
author = "R. Pemantle and M.C. Wilson",
title = "Twenty Combinatorial Examples of Asymptotics Derived From Multivariate Generating Functions",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-263",
month = apr,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=263",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS264,
author = "L. Staiger",
title = "Infinite Iterated Function Systems in Cantor Space and the Hausdorff Measure of omega-power Languages",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-264",
month = apr,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=264",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS265,
author = "M.A. Stay",
title = "Very Simple Chaitin Machines for Concrete AIT",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-265",
month = may,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=265",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS266,
author = "R. Eimann, U. Speidel, N. Brownlee and J. Yang",
title = "Network Event Detection with T-Entropy",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-266",
month = may,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=266",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS267,
author = "M.R. Titchener, U. Speidel and J. Yang",
title = "A Comparison of Practical Information Measures",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-267",
month = may,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=267",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS268,
author = "D.M. Greenberger and K. Svozil",
title = "Quantum Theory Looks at Time Travel",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-268",
month = jun,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=268",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS269,
author = "K. Svozil",
title = "Characterization of Quantum Computable Decision Problems by State Discrimination",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-269",
month = jun,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=269",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS270,
author = "S. Comorosan",
title = "Computing with Molecules: A New Type of Quantum Molecular Computation",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-270",
month = jul,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=270",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS271,
author = "M.A. Stay",
title = "Truth and Light: Physical Algorithmic Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-271",
month = aug,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=271",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS272,
author = "L. Staiger",
title = "Hausdorff Measure and Lukasiewicz Languages",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-272",
month = nov,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=272",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS273,
author = "C.S. Calude and M.A. Stay",
title = "Natural Halting Probabilities, Partial Randomness, and Zeta Functions",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-273",
month = nov,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=273",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS274,
author = "G. Pritchard and M.C. Wilson",
title = "Exact Results on Manipulability of Positional Voting Rules",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-274",
month = dec,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=274",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS275,
author = "N.J. Hay",
title = "Optimal Agents",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-275",
month = dec,
year = 2005,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=275",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS276,
author = "A. Juarna and V. Vajnovszki",
title = "Combinatorial Isomorphisms Beyond a Simion-Schmidt's Bijection",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-276",
month = jan,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=276",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS277,
author = "C.S. Calude, E. Calude and M.J. Dinneen",
title = "A New Measure of the Difficulty of Problems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-277",
month = feb,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=277",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS278,
author = "S. Schwarz",
title = "Lukasiewicz Logics and Weighted Logics over MV-Semirings",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-278",
month = may,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=278",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS279,
author = "L. Staiger",
title = "The Kolmogorov Complexity of Infinite Words",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-279",
month = may,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=279",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS280,
author = "L. Staiger",
title = "On Maximal Prefix Codes",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-280",
month = may,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=280",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS281,
author = "G.J. Chaitin",
title = "Is Incompleteness A Serious Problem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-281",
month = jul,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=281",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS282,
author = "G.J. Chaitin",
title = "Speculations on Biology, Information and Complexity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-282",
month = jul,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=282",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS283,
author = "C.S. Calude and G.J. Chaitin",
title = "A Dialogue on Mathematics and Physics",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-283",
month = jul,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=283",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS284,
author = "C.S. Calude and M.A. Stay",
title = "Most Short Programs Halt Quickly or Never Halt",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-284",
month = aug,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=284",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS285,
author = "C.S. Calude",
title = "De-Quantising the Solution of Deutsch's Prolem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-285",
month = aug,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=285",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS286,
author = "U. Speidel",
title = "T-Complexity and T-Information Theory--an Executive Summary, 2nd revised version",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-286",
month = oct,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=286",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS287,
author = "G. Pritchard and M.C. Wilson",
title = "Probability Calculations Under the IAC Hypothesis",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-287",
month = oct,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=287",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS288,
author = "M.E. Lladser, P. Potocnik, J. Siran, J. Siagiova and M.C. Wilson",
title = "The Diameter of Random Cayley Digraphs of Given Degree",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-288",
month = oct,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=288",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS289,
author = "G. Firror, T. Mansour and M.C. Wilson",
title = "Longest Alternating Subsequences in Pattern-Restricted Permutations",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-289",
month = oct,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=289",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS290,
author = "T.A. Gulliver and U. Speidel",
title = "On T-Codes and Necklaces",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-290",
month = oct,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=290",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS291,
author = "C.S. Calude and K. Svozil",
title = "Quantum Randomness and Value Indefiniteness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-291",
month = nov,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=291",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS292,
author = "C.S. Calude",
title = "Information: The Algorithmic Paradigm",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-292",
month = dec,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=292",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS293,
author = "C.S. Calude and M.J. Dinneen",
title = "Exact Approximations of Omega Numbers",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-293",
month = dec,
year = 2006,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=293",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS294,
author = "G.J. Chaitin",
title = "How Much Information Can There Be in a Real Number",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-294",
month = jan,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=294",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS295,
author = "M.C. Wilson",
title = "Random and Exhaustive Generation of Permuations and Cycles",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-295",
month = jan,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=295",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS296,
author = "A. Raichev and M.C. Wilson",
title = "A New Method for Computing Asymptotics of Diagonal Coefficients of Multivariate Generating Functions",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-296",
month = jan,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=296",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS297,
author = "N.J. Hay, A. Shorin and J. Wang (editors)",
title = "University of Auckland Computer Science Graduate Workshop 2006",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-297",
month = jan,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=297",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS298,
author = "L. Staiger",
title = "Prefix-free Lukasiewicz Languages",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-298",
month = jan,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=298",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS299,
author = "K. Svozil",
title = "Physical Unknowables",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-299",
month = jan,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=299",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS300,
author = "N.J. Hay",
title = "Universal Semimeasures: An Introduction",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-300",
month = feb,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=300",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS301,
author = "G. Pritchard and M.C. Wilson",
title = "Asymptotics of the Minimum Manipulating Coalition Size for Positional Voting Rules under IC Behaviour",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-301",
month = feb,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=301",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS302,
author = "C.T. Chong, A. Nies and L. Yu",
title = "Higher Randomness Notions and Their Lowness Properties",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-302",
month = mar,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=302",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS303,
author = "A. Nies",
title = "Describing Groups",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-303",
month = mar,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=303",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS304,
author = "R.W. Doran",
title = "The Gray Code",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-304",
month = mar,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=304",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS305,
author = "G.J. Chaitin",
title = "An Algebraic Characterization of the Halting Probability",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-305",
month = apr,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=305",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS306,
author = "C.S. Calude and J. Gruska",
title = "Quantum Informatics and the Relations Between Informatics, Physics and Mathematics: A Dialogue",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-306",
month = may,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=306",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS307,
author = "A. Raichev and M.C. Wilson",
title = "Asymptotics of Diagonal Coefficients of Multivariate Generating Functions",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-307",
month = may,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=307",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS308,
author = "M. Zimand",
title = "Two Sources Are Better than One for Increasing the Kolmogorov Complexity of Infinite Sequences",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-308",
month = may,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=308",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS309,
author = "C.S. Calude, E. Calude and S. Marcus",
title = "Proving and Programming",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-309",
month = jun,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=309",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS310,
author = "S. Drape",
title = "The Suitability of Different Binary Tree Obfuscations",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-310",
month = jun,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=310",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS311,
author = "S. Drape and A. Majumdar",
title = "Design and Evaluation of Slicing Obfuscation",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-311",
month = jun,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=311",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS312,
author = "C.S. Calude and L. Staiger",
title = "On Universal Computably Enumerable Prefix Codes",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-312",
month = oct,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=312",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS313,
author = "Y.-B. Kim and M.J. Dinneen",
title = "A Repository of Compound Graphs for use in Large Network Design",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-313",
month = nov,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=313",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS314,
author = "E. Goles, C. Littleand and I. Rapaport",
title = "The Underlying Optimal Protocol of Rule 218 Cellular Automaton",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-314",
month = nov,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=314",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS315,
author = "A. Leitsch, G. Schachner and K. Svozil",
title = "How to Acknowledge Hypercomputation?",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-315",
month = dec,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=315",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS316,
author = "B. Whitworth",
title = "The Physical World as a Virtual Reality",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-316",
month = dec,
year = 2007,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=316",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS317,
author = "C.S. Calude and M. Zimand",
title = "Algorithmically Independent Sequences",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-317",
month = jan,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=317",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS318,
author = "A.A. Abbott and M.J. Dinneen",
title = "An Investigation of Algorithms to Aesthetically Draw Cayley Graphs",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-318",
month = mar,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=318",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS319,
author = "K. Svozil",
title = "Aesthetic Complexity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-319",
month = apr,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=319",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS320,
author = "C.S. Calude and B.E. Carpenter",
title = "A Dialogue on the Internet",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-320",
month = apr,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=320",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS321,
author = "J. Teutenberg (editor)",
title = "Proceedings of the Computer Graduate Workshop 2007",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-321",
month = apr,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=321",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS322,
author = "A. Raichev and M.C. Wilson",
title = "A New Approach to Asymptotics of Maclaurin Coefficients of Algebraic Functions",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-322",
month = apr,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=322",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS323,
author = "A. Raichev and M.C. Wilson",
title = "Asymptotics of Coefficients of Multivariate Generating Functions: Improvements for Smooth Points",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-323",
month = may,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=323",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS324,
author = "C.S. Calude",
title = "Incompleteness: A Personal Perspective",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-324",
month = jun,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=324",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS325,
author = "G.J. Chaitin",
title = "The Halting Probability via Wang Tiles",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-325",
month = jun,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=325",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS326,
author = "C.S. Calude, A. Nies, L. Staiger and F. Stephan",
title = "Universal Recursively Enumerable Sets of Strings",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-326",
month = jun,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=326",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS327,
author = "C.S. Calude and J.F. Costa (editors)",
title = "Pre-proceedings of the Workshop Physics and Computation",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-327",
month = jul,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=327",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS328,
author = "C.S. Calude and N.J. Hay",
title = "Every Computably Enumerable Random Real Is Provably Computably Enumerable Random",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-328",
month = jul,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=328",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS329,
author = "M.J. Dinneen and A.J.L. Fenton",
title = "A New Linear-Time Dominating Number Algorithm for Graphs of Bounded Pathwidth",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-329",
month = jul,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=650",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS330,
author = "B. Kjos-Hanssen, A. Nies, F. Stephan and L. Yu",
title = "Higher Kurtz Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-330",
month = aug,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=330",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS331,
author = "S. Figueira, J. Miller and A. Nies",
title = "Indifferent Sets",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-331",
month = aug,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=331",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS332,
author = "M. Hoyrup",
title = "Computability, Randomness and Ergodic Theory on Metric Spaces",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-332",
month = sep,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=332",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS333,
author = "C.R. Gonzalez",
title = "Randomness and Ergodic Theory: An Algorithmic Point of View",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-333",
month = sep,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=333",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS334,
author = "L. Staiger",
title = "On Oscillation-free ε-random Sequences",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-334",
month = sep,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=334",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS335,
author = "J. Mielke",
title = "Refined Bounds on Kolmorgorov Complexity for ω-Languages",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-335",
month = sep,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=335",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS336,
author = "M.J. Dinneen and M. Khosravani",
title = "Searching for Spanning k-Caterpillars and k-Trees",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-336",
month = sep,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=336",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS337,
author = "G.J. Chaitin",
title = "Evolution of Mutating Software",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-337",
month = oct,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=337",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS338,
author = "C.S. Calude, H. Juergensen and L. Staiger",
title = "Topology on Words",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-338",
month = nov,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=338",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS339,
author = "C.S. Calude",
title = "Simplicity via Provability for Universal Prefix-free Turing Machines",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-339",
month = nov,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=339",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS340,
author = "C. Muller and M. Kohlhase",
title = "Communities of Practice in Mathematical E-Learning",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-340",
month = nov,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=340",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS341,
author = "C. Muller and M. Kohlhase",
title = "Context-Aware Adaptation. A Case Study on Mathematical Notations",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-341",
month = nov,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=341",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS342,
author = "R. Nicolescu, M.J. Dinneen and Y.-B. Kim",
title = "Structured Modelling with Hyperdag P Systems: Part A",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-342",
month = dec,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=342",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS343,
author = "C.S. Calude and E. Calude",
title = "Evaluating the Complexity of Mathematical Problems. Part 1",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-343",
month = dec,
year = 2008,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=343",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS344,
author = "C.S. Calude and J.P. Lewis",
title = "Is there a Universal Image Generator",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-344",
month = jan,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=344",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS345,
author = "M. Schimpf and K. Svozil",
title = "A Glance at Singlet States and Four-Partite Correlations",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-345",
month = feb,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=345",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS346,
author = "K. Svozil",
title = "Some Observations Concerning the Plasticity of Nonlocal Quantum Correlations Exceeding Classical Expectations",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-346",
month = feb,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=346",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS347,
author = "M. Schaller and K. Svozil",
title = "Scale-Invariant Cellular Automata and Recursive Petri Nets",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-347",
month = feb,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=347",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS348,
author = "K. Svozil",
title = "Proposed Direct Test of Quantum Contextuality",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-348",
month = feb,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=348",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS349,
author = "K. Svozil",
title = "Quantum Scholasticism: On Quantum Contexts, Counterfactuals, and the Absurdities of Quantum Omniscience",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-349",
month = feb,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=349",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS350,
author = "C.S. Calude and L. Staiger",
title = "A Note on Accelerated Turing Machines",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-350",
month = feb,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=350",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS351,
author = "P.H. Potgieter and E.E. Rosinger",
title = "Output Concepts for Accelerated Turing Machines",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-351",
month = feb,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=351",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS352,
author = "J.C. Baez and M.A. Stay",
title = "Physics, Topology, Logic and Computation: A Rosetta Stone",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-352",
month = mar,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=352",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS353,
author = "K. Svozil",
title = "Bertlmann's Chocolate Balls and Quantum Type Cryptography",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-353",
month = mar,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=353",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS354,
author = "C.S. Calude and C. Müller",
title = "Formal Proof: Reconciling Correctness and Understanding",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-354",
month = mar,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=354",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS355,
author = "K. Tadaki",
title = "Fixed Point Theorems on Partitial Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-355",
month = mar,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=355",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS356,
author = "M.J. Dinneen, N.R. Ke and M. Khosravani",
title = "Arithmetic Progression Graphs",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-356",
month = mar,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=356",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS357,
author = "R. Reyhani, G. Pritchard and M.C. Wilson",
title = "New Measures of the Diffculty of Manipulation of Voting Rules",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-357",
month = mar,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=357",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS358,
author = "K. Tadaki",
title = "A Statistical Mechanical Interpretation of Algorithmic Information Theory III: Composite Systems and Fixed Points",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-358",
month = apr,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=358",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS359,
author = "K. Tadaki",
title = "Chaitin Omega Numbers and Halting Problems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-359",
month = apr,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=359",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS360,
author = "K. Svozil",
title = "On the Brightness of the Thomson Lamp. A Prolegomenon to Quantum Recursion Theory",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-360",
month = apr,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=360",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS361,
author = "K. Svozil",
title = "The Diagonalization Method in Quantum Recursion Theory",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-361",
month = apr,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=361",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS362,
author = "K. Svozil",
title = "Three Criteria for Quantum Random Number Generators Based on Beam Splitters",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-362",
month = apr,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=362",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS363,
author = "A. Nies",
title = "Lowness for Computable and Partial Computable Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-363",
month = apr,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=363",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS364,
author = "K. Svozil",
title = "Randomness in Physics: Five Questions, Some Answers",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-364",
month = may,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=364",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS365,
author = "C.S. Calude, N.J. Hay and F. Stephan",
title = "Representation of Left-Computable ε-Random Reals",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-365",
month = may,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=365",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS366,
author = "J. Mielke and L. Staiger",
title = "On Oscillation-free ε-random Sequences II",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-366",
month = jul,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=366",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS367,
author = "J. Hertel",
title = "On the Difficulty of Golbach and Dyson Conjectures",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-367",
month = jul,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=367",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS368,
author = "C.S. Calude and E. Calude",
title = "The Complexity of the Four Colour Theorem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-368",
month = aug,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=368",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS369,
author = "C.S. Calude and E. Calude",
title = "Evaluating the Complexity of Mathematical Problems. Part 2",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-369",
month = aug,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=369",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS370,
author = "E. Calude",
title = "The Complexity of Goldbach's Conjecture and Riemann's Hypothesis",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-370",
month = aug,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=370",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS371,
author = "A.A. Abbott",
title = "The Deutsch-Jozsa Problem: De-quantization and Entanglement",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-371",
month = aug,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=371",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS372,
author = "C.S. Calude, M.J. Dinneen, M. Dumitrescu and K. Svozil",
title = "How Random Is Quantum Randomness? (Extended Version)",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-372",
month = dec,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=372",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS373,
author = "R. Nicolescu, M.J. Dinneen and Y.-B. Kim",
title = "Structured Modelling with Hyperdag P Systems: Part B",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-373",
month = oct,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=373",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS374,
author = "C.S. Calude, K. Salomaa, and T.K. Roblot",
title = "Finite-State Complexity and Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-374",
month = dec,
year = 2009,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=374",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS375,
author = "M.J. Dinneen, Y.-B. Kim and R. Nicolescu",
title = "P Systems and the Byzantine Agreement",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-375",
month = jan,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=375",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS376,
author = "M. Andreev, I. Razenshteyn and A. Shen",
title = "Not Every Domain of a Plain Decompressor Contains the Domain of a Prefix-Free One",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-376",
month = feb,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=376",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS377,
author = "Y.I. Manin",
title = "Renormalization and Computation II: Time Cut-Off and the Halting Problem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-377",
month = feb,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=377",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS378,
author = "M.J. Dinneen, Y.-B. Kim and R. Nicolescu",
title = "Synchronization in P Modules",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-378",
month = feb,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=378",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS379,
author = "V. Putz and K. Svozil",
title = "Can a Computer be “pushed” to Perform Faster-Than-Light?",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-379",
month = mar,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=379",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS380,
author = "K. Tadaki",
title = "A New Representation of Chaitin Omega Number Based on Compressible Strings",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-380",
month = apr,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=380",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS381,
author = "A.A. Abbott and C.S. Calude",
title = "Understanding the Quantum Computational Speed-up via De-quantisation ",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-381",
month = apr,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=381",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS382,
author = "C.S. Calude, M. Cavaliere and R. Mardare",
title = "An Observer-Based De-Quantisation of Deutsch's Algorithm",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-382",
month = may,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=382",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS383,
author = "E. Calude",
title = "Fermat's Last Theorem and Chaoticity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-383",
month = jun,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=383",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS384,
author = "C.S. Calude, E. Calude and K. Svozil",
title = "The Complexity of Proving Chaoticity and the Church-Turing Thesis",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-384",
month = jun,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=384",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS385,
author = "S. Schwarz and L. Staiger",
title = "Topologies refining the CANTOR topology on X^Ω",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-385",
month = jun,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=385",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS386,
author = "R. Polley and L. Staiger",
title = "The Maximal Subword Complexity of Quasiperiodic Infinite Words",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-386",
month = jun,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=386",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS387,
author = "A.A. Abbott",
title = "De-quantisation of the Quantum Fourier Transform",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-387",
month = jun,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=387",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS388,
author = "M.J. Dinneen, Y.-B. Kim and R. Nicolescu",
title = "A Faster P Solution for the Byzantine Agreement Problem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-388",
month = jul,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=388",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS389,
author = "K. Tadaki",
title = "Properties of Optimal Prefix-Free Machines as Instantaneous Codes",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-389",
month = jul,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=389",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS390,
author = "B. Whitworth",
title = "The Light of Existence",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-390",
month = aug,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=390",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS391,
author = "G.J. Chaitin",
title = "To a Mathematical Theory of Evolution and Biological Creativity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-391",
month = sep,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=391",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS392,
author = "A.A. Abbott and C.S. Calude",
title = "Von Neumann Normalisation of a Quantum Random Number Generator",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-392",
month = oct,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=392",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS393,
author = "C.S. Calude, M.J. Dinneen and A.M. Gardner",
title = "Opening the Book of Randomness (Extended Version)",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-393",
month = oct,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=393",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS394,
author = "M.J. Dinneen and M. Khosravani",
title = "Hardness of Approximation and Integer Programming Frameworks for Searching for Caterpillar Trees",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-394",
month = nov,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=394",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS395,
author = "M.J. Dinneen, Y.-B. Kim and R. Nicolescu",
title = "Faster Synchronization in P Systems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-395",
month = nov,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=395",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS396,
author = "A.A. Abbott, C.S. Calude and K. Svozil",
title = "A Quantum Random Number Generator Certified by Value Indefiniteness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-396",
month = dec,
year = 2010,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=396",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS397,
author = "G.J. Chaitin",
title = "A Mathematical Theory of Evolution and Biological Creativity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-397",
month = jan,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=397",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS398,
author = "Y. Bugeaud",
title = "Continued Fractions of Transcendental Numbers",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-398",
month = feb,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=398",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS399,
author = "R. Nicolescu and H. Wu",
title = "BFS Solution for Disjoint Paths in P Systems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-399",
month = mar,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=399",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS400,
author = "A. Akhtarzada, C.S. Calude and J. Hosking",
title = "A Multi-Criteria Metric Algorithm for Recommender Systems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-400",
month = apr,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=400",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS401,
author = "G. Gimel'farb, R. Nicolescu and S. Ragavan",
title = "P Systems in Stereo Matching (extended version)",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-401",
month = apr,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=401",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS402,
author = "L. Staiger",
title = "Constructive Dimension and Hausdorff Dimension: The Case of Exact Dimension ",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-402",
month = apr,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=514",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS403,
author = "U. Speidel",
title = "A Forward-Parsing Randomness Test Based on the Expected Codeword Length of T-codes",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-403",
month = may,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=403",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS404,
author = "M.J. Dinneen, Y.-B. Kim and R. Nicolescu",
title = "An Adaptive Algorithm for P System Synchronization",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-404",
month = may,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=404",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS405,
author = "A.A. Abbott, M. Bechmann, C.S. Calude, and A. Sebald",
title = "A Nuclear Magnetic Resonance Implementation of a Classical Deutsch-Jozsa Algorithm",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-405",
month = may,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=405",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS406,
author = "K. Tadaki",
title = "A Computational Complexity-Theoretic Elaboration of Weak Truth-Table Reducibility",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-406",
month = jul,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=406",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS407,
author = "K. Svozil",
title = "Neutrino Dispersion Relation Changes Due to Radiative Corrections as the Origin of Faster-than-Light-in-Vacuum Propagation in a Medium",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-407",
month = sep,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=407",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS408,
author = "A.A. Abbott, C.S. Calude and K. Svozil",
title = "On Demons and Oracles",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-408",
month = nov,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=408",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS409,
author = "C.S. Calude, E. Calude and M.S. Queen",
title = "The Complexity of Euler's Integer Partition Theorem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-409",
month = nov,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=409",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS410,
author = "C.S. Calude and E. Calude",
title = "The Complexity of Mathematical Problems: An Overview of Results and Open Problems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-410",
month = nov,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=410",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS411,
author = "L. Staiger",
title = "On Oscillation-free Chaitin h-random Sequences",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-411",
month = nov,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=411",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS412,
author = "L. Staiger",
title = "Asymptotic Subword Complexity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-412",
month = nov,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=412",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS413,
author = "D.H. Bailey, J.M. Borwein, C.S. Calude, M.J. Dinneen, M. Dumitrescu and A. Yee",
title = "An Empirical Approach to the Normality of π",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-413",
month = nov,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=413",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS414,
author = "S. Datt and M.J. Dinneen",
title = "Towards Practical P Systems: Discovery Algorithms",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-414",
month = dec,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=414",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS415,
author = "R. Nicolescu",
title = "Parallel and Distributed Algorithms in P Systems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-415",
month = dec,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=415",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS416,
author = "M. Burgin, C.S. Calude and E. Calude",
title = "Inductive Complexity Measures for Mathematical Problems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-416",
month = dec,
year = 2011,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=416",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS417,
author = "R. Nicolescu and H. Wu",
title = "New Solutions for Disjoint Paths in P Systems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-417",
month = mar,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=417",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS418,
author = "J. Hertel",
title = "Inductive Complexity of Goodstein's Theorem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-418",
month = apr,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=418",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS419,
author = "L. Staiger",
title = "A Correspondence Principle for Exact Constructive Dimension",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-419",
month = apr,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=419",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS420,
author = "M. McKubre-Jordens and R. Sainudiin (eds.)",
title = "Construmath South 2012",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-420",
month = apr,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=420",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS421,
author = "A. Raichev",
title = "Leinartas's Partial Fraction Decomposition",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-421",
month = jun,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=421",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS422,
author = "A.A. Abbott, C.S. Calude, J. Conder and K. Svozil",
title = "Kochen-Specker Theorem Revisited and Strong Incomputability of Quantum Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-422",
month = jul,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=422",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS423,
author = "M.J. Dinneen and Y.-B. Kim",
title = "A New Universality Result on P Systems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-423",
month = jul,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=423",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS424,
author = "M.J. Dinneen and K. Wei",
title = "On the Analysis of a (1+1) Self-Adjusting Memetic Algorithm",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-424",
month = aug,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=424",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS425,
author = "S. Hartmann and S. Link",
title = "The Implication Problem of Data Dependencies over SQL Table Definitions: Axiomatic, Algorithmic and Logical Characterizations",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-425",
month = oct,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=425",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS426,
author = "M. Kirchberg, S. Hartmann and S. Link",
title = "Design by Example for SQL Table Definitions with Functional Dependencies",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-426",
month = oct,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=426",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS427,
author = "F. Ferrarotti, S. Hartmann and S. Link",
title = "Efficiency Frontiers of XML Cardinality Constraints",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-427",
month = oct,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=427",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS428,
author = "S. Link",
title = "Sound Approximate Reasoning about Saturated Conditional Probabilistic Independence under Controlled Uncertainty",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-428",
month = oct,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=428",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS429,
author = "C.S. Calude, E. Calude and M.S. Queen",
title = "Inductive Complexity of the P Versus NP Problem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-429",
month = oct,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=429",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS430,
author = "M.J. Dinneen and R. Versteegen",
title = "Obstructions for the Graphs of Vertex Cover Seven",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-430",
month = dec,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=430",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS431,
author = "H. ElGindy, R. Nicolescu and H. Wu",
title = "Fast Distributed DFS Solutions for Edge-disjoint Paths in Digraphs",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-431",
month = mar,
year = 2012,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=431",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS432,
author = "Y.I. Manin",
title = "Zipf's Law and L. Levin's Probability Distributions",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-432",
month = feb,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=432",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS433,
author = "G. Altmann, I.-I. Popescu and D. Zotta",
title = "Stratification in Texts",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-433",
month = feb,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=433",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS434,
author = "C.S. Calude and K. Tadaki",
title = "Spectral Representation of Some Computably Enumerable Sets With an Application to Quantum Provability",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-434",
month = mar,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=434",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS435,
author = "K. Tadaki and N. Doi",
title = "Cryptography and Algorithmic Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-435",
month = apr,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=435",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS436,
author = "K. Tadaki",
title = "Phase Transition and Strong Predictability",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-436",
month = apr,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=436",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS437,
author = "A. Probert and M.J. Dinneen",
title = "Branchwidth, Branch Decompositions and b-parses",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-437",
month = apr,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=437",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS438,
author = "Y.I. Manin",
title = "My Life Is not a Conveyor Belt",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-438",
month = may,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=438",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS439,
author = "M. Stay and J. Vicary",
title = "Bicategorical Semantics for Nondeterministic Computation",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-439",
month = may,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=439",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS440,
author = "J.C. Baez and M. Stay",
title = "Algorithmic Thermodynamics",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-440",
month = may,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=440",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS441,
author = "C.S. Calude, R. Freivalds and F. Stephan",
title = "Deterministic Frequency Pushdown Automata",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-441",
month = sep,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=595",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS442,
author = "C.S. Calude",
title = "Quantum Randomness: From Practice to Theory and Back",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-442",
month = sep,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=611",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS443,
author = "A.A. Abbott, C.S. Calude and K. Svozil",
title = "Value Indefiniteness Is Almost Everywhere",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-443",
month = sep,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=443",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS444,
author = "C.S. Calude, L. Staiger and F. Stephan",
title = "Finite State Incompressible Infinite Sequences",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-444",
month = nov,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=593",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS445,
author = "A. Nies",
title = "Calculus of Cost Functions",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-445",
month = nov,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=445",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS446,
author = "S. Figueira and A. Nies",
title = "Feasible Analysis, Randomness, and Base Invariance",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-446",
month = nov,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=446",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS447,
author = "K. Wei and M.J. Dinneen",
title = "Comparing Two Local Searches in a (1+1) Restart Memetic Algorithm on the Clique Problem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-447",
month = dec,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=447",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS448,
author = "C.S. Calude and L. Staiger",
title = "Liouville, Computable, Borel Normal and Martin-Loef Random Numbers",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-448",
month = dec,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=613",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS449,
author = "F. Ferrarotti, S. Hartmann and S. Link",
title = "Reasoning about Functional and Full Hierarchical Dependencies Over Partial Relations",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-449",
month = dec,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=449",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS450,
author = "J. Kontinen, S. Link and J. Väänänen ",
title = "Independence in Database Relations",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-450",
month = dec,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=450",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS451,
author = "V.B. Tran Le, S. Link and F. Ferrarotti",
title = "Effective Recognition and Visualization of Semantic Requirements by Perfect SQL Samples",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-451",
month = dec,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=451",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS452,
author = "H. Köhler, U. Leck, S. Link and X. Zhou",
title = "Possible and Certain SQL Keys",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-452",
month = dec,
year = 2013,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=556",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS453,
author = "S. Böttcher, S. Link and L. Zhang",
title = "LECQTER: Learning Conjunctive SQL Queries Through Exemplars",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-453",
month = feb,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=453",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS454,
author = "S. Hartmann and S. Link",
title = "Normal Forms and Normalization for Probabilistic Databases under Sharp Constraints",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-454",
month = feb,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=454",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS455,
author = "A. Gavruskin, S. Jain, B. Khoussainov and F. Stephan",
title = "Graphs Realised by R.E. Equivalence Relations",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-455",
month = jan,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=455",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS456,
author = "A. Gavruskin, B. Khoussainov and F. Stephan",
title = "Reducibilities Among Equivalence Relations Induced by Recursively Enumerable Structures",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-456",
month = jan,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=456",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS457,
author = "S. Jain, B. Khoussainov, F. Stephan, D. Teng and S. Zou",
title = "Semiautomatic Structures",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-457",
month = feb,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=457",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS458,
author = "A.A. Abbott, C.S. Calude and K. Svozil",
title = "On the Unpredictability of Individual Quantum Measurement Outcomes",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-458",
month = mar,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=560",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS459,
author = "L. Staiger",
title = "On the Hausdorff measure of regular ω-languages in Cantor space",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-459",
month = apr,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=459",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS460,
author = "M. Hannula, J. Kontinen and S. Link",
title = "On Independence Atoms and Keys",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-460",
month = apr,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=460",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS461,
author = "C.S. Calude, F. Kroon and N. Poznanovic",
title = "Free Will Is Compatible With Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-461",
month = may,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=614",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS462,
author = "C.S. Calude and D. Desfontaines",
title = "Universality and Almost Decidability",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-462",
month = may,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=517",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS463,
author = "C.S. Calude and D. Desfontaines",
title = "Anytime Algorithms for Non-Ending Computations",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-463",
month = dec,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=541",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS464,
author = "R. Nicolescu and D. Vaida",
title = "Indexed Grammars, ET0L Systems and Programming Languages: A Tribute to Alexandru Mateescu",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-464",
month = jul,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=464",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS465,
author = "M.J. Dinneen and Y.-B. Kim",
title = "Deterministic Transistion P Systems Modeled as Register Machines",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-465",
month = jul,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=465",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS466,
author = "M.J. Dinneen and Y.-B. Kim",
title = "Simulation of Functional Register Machines using Active P Systems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-466",
month = jul,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=466",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS467,
author = "M.J. Dinneen and Y.-B. Kim",
title = "Using Membrane Systems to Solve the Bounded Fanout Broadcast Problem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-467",
month = jul,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=467",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS468,
author = "S. Link and H. Prade",
title = "Possibilistic Functional Dependencies and Their Relationship to Possibility Theory",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-468",
month = aug,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=468",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS469,
author = "S. Link and H. Prade",
title = "Relational Database Schema Design for Uncertain Data",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-469",
month = aug,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=469",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS470,
author = "B. Khoussainov",
title = "A Quest For Algorithmically Random Infinite Structures, II",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-470",
month = oct,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=518",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS471,
author = "C.S. Calude, A. Coull and J.P. Lewis",
title = "Can We Solve the Pipeline Problem?",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-471",
month = oct,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=519",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS472,
author = "A.A. Abbott, L. Bienvenu and G. Senno",
title = "Non-uniformity in the Quantis Random Number Generator",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-472",
month = nov,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=523",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS473,
author = "C.S. Calude and M.J. Dinneen",
title = "Solving the Broadcast Time Problem Using a D-Wave Quantum Computer",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-473",
month = nov,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=526",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS474,
author = "C.S. Calude and G. Longo",
title = "Classical, Quantum and Biological Randomness as Relative Unpredictability",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-474",
month = dec,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=594",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS475,
author = "T. Resnick ",
title = "Sudoku at the Intersection of Classical and Quantum Computing",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-475",
month = dec,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=537",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS476,
author = "D. Thompson",
title = "Formalisation and Understanding. A Case Study in Isabelle",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-476",
month = dec,
year = 2014,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=552",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS477,
author = "A.A. Abbott, C.S. Calude and K. Svozil",
title = "A Non-Probabilistic Model of Relativised Predictability in Physics",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-477",
month = feb,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=576",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS478,
author = "A.A. Abbott, C.S. Calude and K. Svozil",
title = "A Variant of the Kochen-Specker Theorem Localising Value Indefiniteness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-478",
month = mar,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=575",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS479,
author = "R. Polley and L. Staiger",
title = "Quasiperiods, Subword Complexity and the Smallest Pisot Number",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-479",
month = mar,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=632",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS480,
author = "C.S. Calude",
title = "Unconventional Computing: A Brief Subjective History",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-480",
month = mar,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=548",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS481,
author = "T.K. Roblot and S. Link",
title = "Probabilistic Cardinality Constraints",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-481",
month = mar,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=549",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS482,
author = "M. Memari and S. Link",
title = "Index Design for Partial Referential Integrity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-482",
month = mar,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=550",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS483,
author = "P. Brown and S. Link",
title = "Probabilistics Keys",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-483",
month = mar,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=551",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS484,
author = "S. Hoffmann and L. Staiger",
title = "Subword Metrics for Infinite Words",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-484",
month = may,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=562",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS485,
author = "C.S. Calude",
title = "Indeterminism and Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-485",
month = may,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=578",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS486,
author = "J. Orkisz and M. Glowacki",
title = "On Several Acceleration Techniques for Evolutionary Algorithms Applied to Large Non-linear Constrained Optimization Problems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-486",
month = aug,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=565",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS487,
author = "M.J. Dinneen (editor)",
title = "Proceedings of the Workshop on Membrane Computing 2015 (WMC2015)",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-487",
month = aug,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=566",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS488,
author = "C.S. Calude and G. Longo",
title = "The Deluge of Spurious Correlations in Big Data",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-488",
month = aug,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=612",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS489,
author = "M. Cooling (Editor)",
title = "Pre-Proceedings of Biological Cell Information Processing Workshop",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-489",
month = aug,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=571",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS490,
author = "B.E. Carpenter and R.W. Doran",
title = "Bibliography of Publications by John R. Womersley: Pioneer of Modern Computing and Applied Mathematician",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-490",
month = oct,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=620",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS491,
author = "V. Putz and K. Svozil",
title = "Quantum music",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-491",
month = oct,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=582",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS492,
author = "K. Svozil",
title = "Quantum Queries Associated with Equi-Partitioning of States and Multipartite Relational Encoding Across Space-Time",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-492",
month = oct,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=583",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS493,
author = "C.S. Calude and M. Dumitrescu",
title = "A Probabilistic Anytime Algorithm for the Halting Problem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-493",
month = dec,
year = 2015,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=646",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS494,
author = "L. Staiger",
title = "Bounds on the Kolmogorov complexity function for infinite words",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-494",
month = jan,
year = 2016,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=626",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS495,
author = "M.J. Dinneen and R. Hua",
title = "Formulating Graph Covering Problems for Adiabatic Quatumn Computers",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-495",
month = feb,
year = 2016,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=630",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS496,
author = "H. Kohler and S. Link",
title = "SQL Schema Design: Foundations, Normal Forms, and Normalization",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-496",
month = apr,
year = 2016,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=615",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS497,
author = "C.S. Calude and D. Thompson",
title = "Incompleteness, Undecidability and Automated Proofs",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-497",
month = may,
year = 2016,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=622",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS498,
author = "D.H. Bailey and J.M. Borwein",
title = "A Computational Mathematics View of Space, Time and Complexity",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-498",
month = sep,
year = 2016,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=624",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS499,
author = "C.S. Calude, M.J. Dinneen and R. Hua",
title = "QUBO Formulations for the Graph Isomorphism Problem and Related Problems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-499",
month = oct,
year = 2016,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=651",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS500,
author = "C.S. Calude, S. Jain, B. Khoussainov, W. Li and F. Stephan",
title = "Deciding Parity Games in Quasipolynomial Time",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-500",
month = oct,
year = 2016,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=655",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS501,
author = "S. Hoffmann, S. Schwarz and L. Staiger",
title = "Shift-Invariant Topologies for the Cantor Space X^omega",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-501",
month = nov,
year = 2016,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=633",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS502,
author = "L. Staiger",
title = "Exact Constructive and Computable Dimensions",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-502",
month = nov,
year = 2016,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=644",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS503,
author = "Z. Yang and M.J. Dinneen",
title = "Graph Minor Embeddings for D-Wave Computer Architecture",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-503",
month = nov,
year = 2016,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=635",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS504,
author = "B. Khoussainov and T. Takisaka",
title = "Large Scale Geometries of Infinite Strings",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-504",
month = feb,
year = 2017,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=636",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS505,
author = "C.S. Calude and L. Staiger ",
title = "A Simple Construction of Absolutely Disjunctive Liouville Numbers",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-505",
month = mar,
year = 2017,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=659",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS506,
author = "R. Nicolescu",
title = "A Literate Programming Pearl in cP Systems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-506",
month = may,
year = 2017,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=647",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS507,
author = "M.J. Dinneen, M.R. Hooshmandasl and R. Hua",
title = "Formulating Mixed Dominating Set Problems for Adiabatic Quantum Computers",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-507",
month = may,
year = 2017,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=649",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS508,
author = "Z. Wei, S. Link and J. Liu",
title = "Contextual Keys",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-508",
month = jul,
year = 2017,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=652",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS509,
author = "L. Staiger",
title = "Quasiperiods of Infinite Words",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-509",
month = aug,
year = 2017,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=662",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS510,
author = "J. Cooper and R. Nicolescu",
title = "The Travelling Salesman Problem in cP Systems",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-510",
month = aug,
year = 2017,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=654",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS511,
author = "A. Kulikov, M. Jerger, A. Potocnik, A. Wallraff and A. Fedorov",
title = "Realization of a Quantum Random Generator Certified with the Kochen-Specker Theorem",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-511",
month = sep,
year = 2017,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=656",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS512,
author = "G.P. Sarma and N.J. Hay",
title = "Robust Computer Algebra, Theorem Proving, and Oracle AI",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-512",
month = sep,
year = 2017,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=657",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS513,
author = "N.S. Yanofsky",
title = "Theoretical Computer Science for the Working Category Theorist",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-513",
month = oct,
year = 2017,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=658",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS514,
author = "C.S. Calude and E. Calude",
title = "The Road to Quantum Computational Supremacy",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-514",
month = nov,
year = 2017,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=674",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS515,
author = "A.A. Abbott, C.S. Calude, M.J. Dinneen and N. Huang",
title = "Experimental Evidence of the Incomputability of Quantum Randomness",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-515",
month = nov,
year = 2017,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=661",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS516,
author = "C.S. Calude, S. Jain, W. Merkle and F. Stephan",
title = "Searching for Minimal Programs",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-516",
month = dec,
year = 2017,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=665",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS517,
author = "P. Huxford",
title = "Computation with Finitely Generated Abelian Groups",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-517",
month = jan,
year = 2018,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=667",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS518,
author = "M. Hannula and S. Link",
title = "On the Interaction of Functional and Inclusion Dependencies with Independence Atoms",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-518",
month = feb,
year = 2018,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=670",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS519,
author = "A. Mahasinghe, M.J. Dinneen and K. Liu",
title = "Finding the Chromatic Sums of Graphs Using a D-Wave Quantum Computer",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-519",
month = feb,
year = 2018,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=676",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS520,
author = "A.A. Abbott, C.S. Calude, M.J. Dinneen and R. Hua",
title = "A Hybrid Quantum-Classical Paradigm to Mitigate Embedding Costs in Quantum Annealing",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-520",
month = feb,
year = 2018,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=684",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS521,
author = "M.J. Dinneen, A. Mahasinghe, R. Hua and R. Goyal",
title = "Solving the Hamiltonian Cycle Problem using a Quantum Computer",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-521",
month = feb,
year = 2018,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=681",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS522,
author = "D. Britten",
title = "Formalising Martin-Löf's Theorem Using Coq",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-522",
month = feb,
year = 2018,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=679",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS523,
author = "P. Yao and R. Hua",
title = "Finding Maximum-sized Native Clique Embeddings: Implementing and Extending the Block Clique Embedding Algorithm",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-523",
month = mar,
year = 2018,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=685",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}
@TechReport{CDMTCS524,
author = "Z. Wei, U. Leck and S. Link",
title = "Discovery Algorithms for Embedded Uniqueness Constraints",
institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
type = "Report {CDMTCS}-524",
month = mar,
year = 2018,
url = "http://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php?download&paper_file=686",
updated = "BibTex database updated Sat Mar 17 19:16:30 2018 NZST",
}