@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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=667", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=670", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=676", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=732", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=681", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=679", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=685", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=686", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS525, author = "Y. Kolezhitskiy, M.J. Dinneen and A. Nies", title = "D-Wave Experimental Results for an Improved QUBO Formulation of the Broadcast Time Problem", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-525", month = apr, year = 2018, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=687", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS526, author = "E.H. Allen and C.S. Calude", title = "Quassical Computing", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-526", month = may, year = 2018, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=699", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS527, author = "Y. Matiyasevich", title = "The Riemann Hypothesis in Computer Science", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-527", month = jul, year = 2018, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=692", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS528, author = "C.S. Calude and K. Svozil", title = "Spurious, Emergent Laws in Number Worlds", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-528", month = nov, year = 2018, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=721", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS529, author = "C.S. Calude and M. Dumitrescu", title = "A Statistical Anytime Algorithm for the Halting Problem", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-529", month = nov, year = 2018, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=749", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS530, author = "M.J. Dinneen and R. Nicolescu", title = "Proceedings of ACMC 2018", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-530", month = dec, year = 2018, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/viewbibtex.php?selected-id=711", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=1", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=2", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=3", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=4", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=5", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=6", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=7", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=8", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=9", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=10", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=11", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=12", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=13", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=14", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=15", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=16", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=17", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=18", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=19", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=20", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=21", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=22", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=23", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=24", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=25", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=26", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=27", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=28", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=29", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=30", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=31", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=32", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=33", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=34", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=35", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=36", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=37", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=38", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=39", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=40", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=41", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=42", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=43", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=44", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=45", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=46", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=47", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=48", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=49", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=50", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=51", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=52", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=53", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=54", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=55", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=56", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=57", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=58", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=59", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=60", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=61", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=62", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=63", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=64", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=65", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=66", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=67", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=68", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=69", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=70", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=71", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=72", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=73", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=74", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=75", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=76", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=77", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=78", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=79", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=80", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=81", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=82", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=83", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=84", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=85", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=86", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=87", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=88", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=89", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=90", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=91", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=92", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=93", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=94", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=95", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=96", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=97", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=98", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=99", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=100", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=101", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=102", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=103", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=104", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=105", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=106", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=107", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=108", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=109", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=110", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=111", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=112", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=113", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=114", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=115", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=116", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=117", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=118", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=119", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=120", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=121", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=122", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=123", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=124", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=125", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=126", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=127", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=128", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=129", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=130", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=131", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=132", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=133", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=134", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=135", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=136", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=137", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=138", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=140", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=141", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=142", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=143", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=144", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=145", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=146", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=147", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=148", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=149", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=150", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=151", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=152", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=153", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=154", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=155", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=156", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=157", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=158", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=159", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=160", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=161", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=162", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=163", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=164", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=165", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=166", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=167", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=168", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=169", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=170", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=171", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=172", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=173", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=174", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=175", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=176", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=177", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=178", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=179", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=180", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=181", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=182", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=183", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=184", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=185", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=186", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=187", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=188", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=189", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=190", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=191", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=192", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=193", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=194", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=195", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=196", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=197", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=198", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=199", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=200", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=201", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=202", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=203", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=204", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=205", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=207", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=208", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=209", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=210", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=211", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=212", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=213", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=214", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=215", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=216", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=217", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=218", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=219", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=220", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=221", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=222", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=223", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=224", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=225", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=226", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=227", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=228", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=229", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=230", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=231", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=232", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=233", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=234", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=235", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=236", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=237", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=238", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=239", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=240", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=241", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=242", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=243", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=244", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=245", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=246", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=247", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=248", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=249", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=250", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=251", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=252", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=253", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=254", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=255", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=256", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=257", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=258", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=259", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=260", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=261", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=262", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=263", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=264", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=265", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=266", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=267", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=268", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=269", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=270", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=271", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=272", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=273", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=274", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=275", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=276", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=277", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=278", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=279", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=280", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=281", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=282", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=283", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=284", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=285", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=286", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=287", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=288", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=289", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=290", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=291", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=292", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=293", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=294", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=295", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=296", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS297, author = "N.J. Hay, A. Shorin and J. Wang (editors)", title = "University of Auckland Computer Science Graduate Workshop 20‍06", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-297", month = jan, year = 2007, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=297", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=298", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=299", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=300", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=301", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=302", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=303", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=304", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=305", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=306", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=307", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=308", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=309", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=310", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=311", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=312", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=313", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=314", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=315", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=316", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=317", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=318", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=319", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=320", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=321", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=322", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=323", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=324", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=325", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=326", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=327", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=328", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=650", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=330", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=331", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=332", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=333", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=334", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=335", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=336", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=337", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=338", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=339", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=340", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=341", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=342", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=343", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=344", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=345", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=346", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=347", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=348", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=349", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=350", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=351", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=352", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=353", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=354", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=355", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=356", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=357", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=358", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=359", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=360", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=361", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=362", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=363", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=364", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=365", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=366", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=367", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=368", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=369", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=370", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=371", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=372", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=373", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=374", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=375", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=376", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=377", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=378", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=379", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=380", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=381", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=382", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=383", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=384", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=385", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=386", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=387", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=388", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=389", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=390", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=391", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=392", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=393", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=394", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=395", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=396", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=397", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=398", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=399", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=400", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=401", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=514", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=403", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=404", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=405", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=406", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=407", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=408", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=409", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=410", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=411", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=412", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=413", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=414", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=415", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=416", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=417", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=418", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=419", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=420", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=421", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=422", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=423", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=424", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=425", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=426", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=427", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=428", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=429", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=430", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=431", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=432", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=433", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=434", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=435", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=436", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=437", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=438", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=439", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=440", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=595", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=611", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=443", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=593", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=445", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=446", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=447", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=613", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=449", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=450", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=451", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=556", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=453", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=454", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=455", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=456", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=457", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=560", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=459", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=460", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=614", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=517", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=541", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=464", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=465", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=466", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=467", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=468", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=469", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=518", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=519", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=523", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=526", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=594", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=537", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=552", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=576", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=575", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=632", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=548", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=549", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=550", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=551", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=562", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=578", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=565", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=566", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=612", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=571", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=620", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=582", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=583", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=646", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=775", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=630", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=615", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=622", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=624", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=651", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=700", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=633", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=644", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=635", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=636", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=659", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=647", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=649", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=652", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=776", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=654", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=656", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=657", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS513, author = "N.S. Yanofsky", title = "Theoretical Computer Science for the Working Category Theorist (Withdrawn)", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-513", month = oct, year = 2017, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=744", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS515, author = "A.A. Abbott, C.S. Calude, M.J. Dinneen and N. Huang", title = "Experimentally Probing the Algorithmic Randomness and 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=710", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS516, author = "C.S. Calude, S. Jain, W. Merkle and F. Stephan", title = "Searching for Shortest and Least Programs (Version 2)", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-516", month = dec, year = 2017, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=693", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=667", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=670", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=676", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=732", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=681", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=679", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=685", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 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 = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=686", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS525, author = "Y. Kolezhitskiy, M.J. Dinneen and A. Nies", title = "D-Wave Experimental Results for an Improved QUBO Formulation of the Broadcast Time Problem", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-525", month = apr, year = 2018, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=687", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS526, author = "E.H. Allen and C.S. Calude", title = "Quassical Computing", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-526", month = may, year = 2018, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=699", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS527, author = "Y. Matiyasevich", title = "The Riemann Hypothesis in Computer Science", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-527", month = jul, year = 2018, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=692", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS528, author = "C.S. Calude and K. Svozil", title = "Spurious, Emergent Laws in Number Worlds", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-528", month = nov, year = 2018, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=721", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS529, author = "C.S. Calude and M. Dumitrescu", title = "A Statistical Anytime Algorithm for the Halting Problem", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-529", month = nov, year = 2018, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=749", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS530, author = "M.J. Dinneen and R. Nicolescu", title = "Proceedings of ACMC 2018", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-530", month = dec, year = 2018, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=711", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS531, author = "Z. Wei and S. Link", title = "Discovery and Ranking of Functional Dependencies", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-531", month = jan, year = 2019, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=712", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS532, author = "K. Liu and M.J. Dinneen", title = "Solving the Bounded-Depth Steiner Tree Problem using an Adiabatic Quantum Computer", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-532", month = feb, year = 2019, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=735", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS533, author = "Z. Wei and S. Link", title = "A Fourth Normal Form for Possibilistic Data", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-533", month = mar, year = 2019, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=718", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS534, author = "R. Freund and L. Staiger", title = "Turing Machines with Activations of Transitions", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-534", month = may, year = 2019, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=722", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS535, author = "L. Staiger", title = "On the Incomputability of Computable Dimension", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-535", month = may, year = 2019, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=748", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS536, author = "C.S. Calude and M. Dumitrescu", title = "Infinitesimal Probabilities Based on Grossone", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-536", month = may, year = 2019, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=802", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS537, author = "Z. Wei and S. Link", title = "Data-completeness Tailored Database Design with Embedded Functional Dependencies", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-537", month = may, year = 2019, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=726", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS538, author = "N. Tran, M.J. Dinneen and S. Linz", title = "Multi-criteria Shortest Paths in 3D among Vertical Obstacles", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-538", month = jun, year = 2019, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=795", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS539, author = "R. Hua and M.J. Dinneen", title = "Improved QUBO Formulation of the Graph Isomorphism Problem", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-539", month = jun, year = 2019, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=729", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS540, author = "C.S. Calude, M.J. Dinneen and R. Hua", title = "Quantum Solutions for Densest k-Subgraph Problems", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-540", month = nov, year = 2019, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=746", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS541, author = "I. Litvinenko, Z. Wei and S. Link", title = "Automated Reasoning about the Entity Integrity of Big Data in Possibilistic SQL", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-541", month = jan, year = 2020, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=747", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS542, author = "Z. Wei, S Hartmann and S. Link", title = "Algorithms for the Discovery of Embedded Functional Dependencies", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-542", month = mar, year = 2020, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=752", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS543, author = "J.M. Aguero Trejo and C.S. Calude", title = "A New 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}-543", month = may, year = 2020, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=770", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS544, author = "N. Huang and D. Roje", title = "Solving Maximum Common Subgraph Isomorphism Problem with Quantum Annealing", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-544", month = jun, year = 2020, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=777", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS545, author = "A. Henderson, R. Nicolescu and M.J. Dinneen", title = "Solving a PSPACE-complete Problem with cP Systems", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-545", month = jul, year = 2020, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=759", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS546, author = "C.S. Calude", title = "Incompleteness and the Halting Problem", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-546", month = aug, year = 2020, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=794", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS547, author = "S. Lempp, J.S. Miller, A. Nies, M.I. Soskova", title = "Maximal Towers and Ultrafilter Bases in Computability Theory", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-547", month = sep, year = 2020, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=769", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS548, author = "L. Staiger", title = "On the Generative Power of Quasiperiods", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-548", month = oct, year = 2020, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=772", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS549, author = "T. Liu, Z. Li and M.J. Dinneen", title = "Graph Minor Embedding for Adiabatic Quantum Computing", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-549", month = jan, year = 2021, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=791", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS550, author = "H. Jurgensen and L. Staiger", title = "Automata for Solid Codes", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-550", month = jan, year = 2021, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=792", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS551, author = "C.S. Calude, Gh. Paun", title = "Solomon Marcus Contributions to Theoretical Computer Science and Applications", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-551", month = mar, year = 2021, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=801", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS552, author = "C.S. Calude, K.F. Celine, Z. Gao, S. Jain, L. Staiger and F. Stephan", title = "Bi-immunity over Different Size Alphabets", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-552", month = mar, year = 2021, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=797", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS553, author = "S. Link and Z. Wei", title = "Logical Schema Design that Quantifies Update Inefficiency and Join Efficiency", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-553", month = mar, year = 2021, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=798", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS554, author = "A. Henderson, R. Nicolescu, M.J. Dinneen, T.N. Chan, H. Happe and T. Hinze", title = "Turing Completeness of Water Computing", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-554", month = jul, year = 2021, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=803", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS555, author = "G. Chaitin", title = "A Life in Mathematics", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-555", month = jul, year = 2021, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=825", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS556, author = "C.S. Calude, S. Heidari, J. Sifakis", title = "What Perceptron Neural Networks Are (Not) Good For?", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-556", month = jul, year = 2021, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=861", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS557, author = "G. Chaitin", title = "Building the World out of Information and Computation", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-557", month = aug, year = 2021, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=824", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS558, author = "S. Heidari, M. Rogers, P. Delmas", title = "An Improved Quantum Solution for the Stereo Matching Problem", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-558", month = nov, year = 2021, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=826", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS559, author = "A. Henderson, R. Nicolescu and M.J. Dinneen", title = "Sublinear P system solutions to NP-complete problems", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-559", month = jan, year = 2022, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=831", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS560, author = "M.J. Dinneen, P.S. Ghodla and S. Linz", title = "A QUBO Formulation for the Tree Containment Problem", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-560", month = feb, year = 2022, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=832", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS561, author = "C.S. Calude, L. Staiger", title = " Long and Short Proofs", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-561", month = mar, year = 2022, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=840", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS562, author = "B.E. Carpenter ", title = "T is Inaccessible", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-562", month = may, year = 2022, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=835", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS563, author = "J.M. Aguero, C.S. Calude", title = "Photonic Ternary Quantum Number Generators", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-563", month = jun, year = 2022, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=868", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS564, author = "M. Stay", title = "An Algorithmic Heat Engine", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-564", month = aug, year = 2022, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=843", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS565, author = "S. Heidari, M.J. Dinneen and P. Delmas", title = "An Equivalent QUBO Model to the Minimum Multi-Way Cut Problem", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-565", month = sep, year = 2022, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=854", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS566, author = "C. Campeanu, M.J. Dinneen and K. Svozil", title = "Liber Amicorum Cristian S. Calude 70", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-566", month = oct, year = 2022, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=857", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS567, author = "M.J. Dinneen and R. Hua", title = "Efficient Clique Embedding with Faulty Hardware Components", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-567", month = nov, year = 2022, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=858", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS568, author = "L. Staiger", title = "Topologies for Finite Words: Compatibility with the CANTOR Topology", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-568", month = nov, year = 2022, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=883", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS569, author = "C.S. Calude", title = "ChatGPT, Randomness and the Infinity", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-569", month = mar, year = 2023, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=871", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS570, author = "G.J. Chaitin", title = "Construire l’univers a partir de l’information et du calcul", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-570", month = apr, year = 2023, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=866", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS571, author = "O.C. Stoica", title = "Does a Computer Think if No One Is Around to See It?", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-571", month = jun, year = 2023, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=870", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS572, author = "J.M. Aguero, C.S. Calude, M.J. Dinneen, A. Fedorov, A. Kulikov, R. Navarathna and K. Svozil", title = " How Real is Incomputability in Physics?", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-572", month = oct, year = 2023, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=873", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS573, author = "L. Staiger, K.W. Wagner", title = "There are Forty Nine KURATOWSKI Lattices in CANTOR Space", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-573", month = nov, year = 2023, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=874", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS574, author = "G. Chaitin", title = "Philosophical Mathematics. Infinity, Incompleteness, Irreducibility", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-574", month = nov, year = 2023, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=881", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS575, author = "C.S. Calude and K. Svozil", title = "Binary Quantum Random Number Generator Based on Value Indefinite Observables", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-575", month = dec, year = 2023, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=885", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS576, author = "S. Heidari, M.J. Dinneen and P. Delmas", title = "Quantum Annealing for Computer Vision Minimization Problems", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-576", month = dec, year = 2023, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=877", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", } @TechReport{CDMTCS577, author = "P. Cashin and B.E. Carpenter", title = "An Overseas Experience with Hypertext and Packet Switching", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-577", month = feb, year = 2024, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=884", updated = "BibTex database updated Fri Mar 29 22:57:50 2024 NZST", }