Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers /

This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in Februa...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Dinneen, Michael J. (Επιμελητής έκδοσης), Khoussainov, Bakhadyr (Επιμελητής έκδοσης), Nies, André (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Σειρά:Lecture Notes in Computer Science, 7160
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • The Art of Reaching the Age of Sixty
  • Calude as Father of One of the Computer Science Journals
  • Random Semicomputable Reals Revisited
  • Constructing the In mum of Two Projections
  • Bounded Randomness
  • A Note on Blum Static Complexity Measures
  • A Program-Size Complexity Measure for Mathematical Problems and Conjectures
  • On Degrees of Randomness and Genetic Randomness
  • Hartmanis-Stearns Conjecture on Real Time and Transcendence
  • Learning Families of Closed Sets in Matroids
  • Invariance and Universality of Complexity
  • Demuth's Path to Randomness (extended abstract)
  • Correcting Codes
  • Some Transfinite Generalisations of Gödel's Incompleteness Theorem
  • Phase Transition between Unidirectionality and Bidirectionality
  • Computer Runtimes and the Length of Proofs
  • Symmetry of Information: A Closer Look
  • How Much Information Can There Be in a Real Number?
  • Mathematics, Metaphysics and the Multiverse
  • Exponential Decay in Quantum Mechanics
  • Randomness Increases Order in Biological Evolution
  • Haunted Quantum Contextuality Versus Value Indefiniteness
  • Outerplanar Graphs and Delaunay Triangulations
  • Representing Reaction Systems by Trees
  • Derivatives of Regular Expressions and An Application
  • Triangular and Hexagonal Tile Self-Assembly Systems
  • dP Automata versus Right-Linear Simple Matrix Grammars
  • State Complexity of Kleene-Star Operations on Trees
  • Composition Sequences and Synchronizing Automata
  • On the Connected Partition Dimension of a Wheel Related Graph.