Nantilus
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...
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | 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 / edited by Michael J. Dinneen, Bakhadyr Khoussainov, André Nies. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 Cham |
| Collection : | Theoretical computer science and general issues (Online) ; 7160 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Sujets : | |
| Documents associés : | Autre format:
Computation, Physics and Beyond Autre format: Computation, Physics and Beyond |
| LEADER | 05945clm a2200697 4500 | ||
|---|---|---|---|
| 001 | PPN15908704X | ||
| 003 | http://www.sudoc.fr/15908704X | ||
| 005 | 20241001154900.0 | ||
| 010 | |a 978-3-642-27654-5 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-27654-5 |2 DOI |
| 035 | |a (OCoLC)807331707 | ||
| 035 | |a Springer978-3-642-27654-5 | ||
| 035 | |a Springer-11645-978-3-642-27654-5 | ||
| 100 | |a 20120309d2012 u |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Computation, Physics and Beyond |e 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 |f edited by Michael J. Dinneen, Bakhadyr Khoussainov, André Nies. | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |b Springer Nature |d 2012 | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 7160 | |
| 330 | |a 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 February 2012. Cristian Calude has made a significant contribution to research in computer science theory. Along with early work by Chaitin, Kučera, Kurtz, Solovay, and Terwijn his papers published in the mid-1990s jointly with Khoussainov, Hertling, and Wang laid the foundation for the development of modern theory of algorithmic randomness. His work was essential for establishing the leading role of New Zealand in this area. The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely: algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation. They have been organized into four parts. The first part consists of papers discussing his life achievements. This is followed by papers in the three general areas of complexity, computability, and randomness; physics, philosophy (and logic), and computation; and algorithms, automata, and formal models (including unconventional computing). | ||
| 359 | 1 | |a 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. | |
| 371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 7160 | |
| 452 | | | |t Computation, Physics and Beyond |b Texte imprimé |y 9783642276538 | |
| 452 | | | |t Computation, Physics and Beyond |b Texte imprimé |y 9783642276552 | |
| 606 | |3 PPN027234886 |a Informatique |2 rameau | ||
| 606 | |3 PPN027282171 |a Algorithmes |2 rameau | ||
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 606 | |3 PPN027338231 |a Ordinateurs |2 rameau | ||
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Algorithm Analysis and Problem Complexity | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Computation by Abstract Devices | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Mathematics of Computing | |
| 610 | 2 | |a Theory of Computation | |
| 610 | 2 | |a Formal Languages and Automata Theory | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 1 | |a Algorithms | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.1 |v 23 | ||
| 676 | |a 004 | ||
| 680 | |a QA76.9.A43 | ||
| 700 | 1 | |a Dinneen |b Michael J. |4 651 | |
| 701 | 1 | |a Khoussainov |b Bakhadyr |4 651 | |
| 701 | 1 | |a Nies |b Prof. Andre |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20230502 |g AACR2 | |
| 856 | 4 | |5 441099901:830850031 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-27654-5 | |
| 915 | |5 441099901:830850031 |b SPRING13-00114 | ||
| 930 | |5 441099901:830850031 |b 441099901 |j g | ||
| 991 | |5 441099901:830850031 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:09 | ||
| 997 | |a NUM |b SPRING13-00114 |d NUMpivo |e EM |s d | ||
| 998 | |a 977940 | ||