Computation, physics and beyond: International Workshop on Theoretical Computer Science, WTCS 2012 ;… - SLUB Dresden

Medientyp: Buch; Konferenzbericht

Titel: 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

Enthält: The art of reaching the age of sixty / Solomon MarcusCalude as father of one of the computer science journals / Hermann Mauer -- Random semicomputable reals revisited / Laurent Bienvenu and Alexander Shen -- Constructing the infimum of two projections / Douglas S. Bridges and Luminita S. Vîţă -- Bounded randomness / Paul Brodhead, Rod Downey, and Keng Meng Ng -- A note on blum static complexity measures / Cezar Câmpeanu -- A program-size complexity measure for mathematical problems and conjectures / Michael J. Dinneen -- On degrees of randomness and genetic randomness / Monica Dumitrescu -- Hartmanis-Stearns conjecture on real time and transcendence / Rūsin̦š Freivalds -- Learning families of closed sets in matroids / Ziyuan Gao, Frank Stephan, Guohua Wu, and Akihiro Yamamoto -- Invariance and universality of complexity / Helmut Jürgensen -- Demuth's path to randomness / Antonín Kuc̆era and André Nies -- A computability challenge: asymptotic bounds for error-correcting codes / Yuri I. Manin -- Some transfinite generalisations of Gödel's incompleteness theorem / Jacques Patarin -- On oscillation-free chaitin h-random sequences / Ludwig Staiger -- Phase transition between unidirectionality and bidirectionality / Koktaro Tadaki -- Computer runtimes and the length of proofs: with an algorithmic probabilistic application to waiting times in automatic theorem proving / Hector Zenil -- Symmetry of information: a closer look / Marius Zimand -- How much information can there be in a real number? / Gregory Chaitin -- Mathematics, metaphysics and the multiverse / S. Barry Cooper -- Exponential decay in quantum mechanics / V. Kruglov, K.A. Makarov, B. Pavlov, and A. Yafyasov -- Randomness increases order in biological evolution / Giuseppe Longo and Maël Montévil -- Haunted quantum contextuality versus value indefiniteness / Karl Svozil -- Is the Universe like [pie] or [omega]? / Stephen Wolfram -- Outerplanar graphs and Delaunay triangulations / Ashraful Alam, Igor Rivin, and Ileana Streinu -- Representing reaction systems by trees / R. Brijder, A. Ehrenfeucht, and G. Rozenberg -- Derivatives of regular expressions and an application / Haiming Chen and Sheng Yu -- Triangular and hexagonal tile self-assembly systems / Lila Kari, Shinnosuke Seki, and Zhi Xu -- dP automata versus right-linear simple matrix grammars / Gheorghe Păun and Mario J. Pérez-Jiménez -- State complexity of Kleene-Star operations on trees / Xiaoxue Piao and Kai Salomaa -- Composition sequences and synchronizing automata / Arto Salomaa -- On the connected partition dimension of a wheel related graph / Ioan Tomescu.

Beteiligte: Dinneen, Michael J. [Hrsg.]; Calude, Cristian [GefeierteR]

Veranstaltung: WTCS

Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2012

Umfang: XI, 424 S.; graph. Darst., Kt; 24 cm

Sprache: Englisch

ISBN: 9783642276538; 3642276539

Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 86039325

RVK-Notation: SS 4800 : Lecture notes in computer science

Schlagwörter: Berechnungskomplexität > Zufall
Automat > Algorithmus > Formale Methode
Berechenbarkeit > Naturwissenschaften

Entstehung:

Anmerkungen: Literaturangaben

Weitere Bestandsnachweise
0 : Lecture notes in computer science

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

Merkliste

Exemplare

Bereichsbibliothek DrePunct – Magazin

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Bereichsbibliothek DrePunct – Magazin