Tools

LEADER 05966cam 22006137a 4500

001 ssj0000666004;

003 WaSeSS;

005 20240412080346.0;

006 m d ;

007 cr n ;

008 111207s2012 gw a sb 111 0 eng d;

010 a| 2011944976;

015 a| GBB2113532| bnb;

016 7 a| 0160209602| Uk;

020 a| 9783642276538 (pbk.);

020 a| 3642276539 (pbk.);

020 z| 9783642276545 (ebk.);

035 a| (WaSeSS)ssj0000666004;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76b| .I57985 2012;

082 04 a| 0042| 23;

111 2 a| International Workshop on Theoretical Computer Scienced| (2012 :c| Auckland, N.Z.)?| UNAUTHORIZED;

245 10 a| Computation, physics and beyondh| [electronic resource] :b| 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 /c| Michael J. Dinneen, Bakhadyr Khoussainov, André Nies (eds.).;

260 a| Heidelberg ;a| New York :b| Springer,;

300 a| xi, 424, [1] p. :b| ill. ;c| 24 cm.;

490 0 a| LNCS sublibrary. SL 1, Theoretical computer science and general issues;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 7160.a| Festschrift;

504 a| Includes bibliographical references and author index.;

505 0 a| The art of reaching the age of sixty / Solomon Marcus -- Calude 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. Vîţă -- Bounded randomness / Paul Brodhead, Rod Downey, and Keng Meng Ng -- A note on blum static complexity measures / Cezar Câ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 / Rūsin̦š Freivalds -- Learning families of closed sets in matroids / Ziyuan Gao, Frank Stephan, Guohua Wu, and Akihiro Yamamoto -- Invariance and universality of complexity / Helmut Jürgensen -- Demuth's path to randomness / Antonín Kuc̆era and André Nies -- A computability challenge: asymptotic bounds for error-correcting codes / Yuri I. Manin -- Some transfinite generalisations of Gö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 Maël Monté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 Păun and Mario J. Pérez-Jimé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.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Computer sciencev| Congresses.=| ^A243325;

653 a| Workshop on Theoretical Computer Science;a| WTCS;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Calude, Cristian,d| 1952-=| ^A364689;

700 1 a| Dinneen, M. J.,d| 1957-?| UNAUTHORIZED;

700 1 a| Khoussainov, Bakhadyr,d| 1961-?| UNAUTHORIZED;

700 1 a| Nies, André.=| ^A1138326;

830 0 a| Lecture notes in computer science ;v| 7160.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Festschrift.=| ^A601151;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-3-642-27654-5;

856 40 z| Full text available from Springer Nature - Springer Computer Science eBooks 2012 English Internationalu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-3-642-27654-5;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-642-27653-8;

947 a| (OCoLC)ocn776765274;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4023546;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4023546-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4023546-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4023546-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

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 / Michael J. Dinneen, Bakhadyr Khoussainov, André Nies (eds.).

Author/creator	International Workshop on Theoretical Computer Science
Format	Electronic
Publication Info	Heidelberg ; New York : Springer,
Description	xi, 424, [1] p. : ill. ; 24 cm.
Supplemental Content	Full text available from Springer Books
Supplemental Content	Full text available from Springer Nature - Springer Computer Science eBooks 2012 English International
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Computer science--Congresses.

Other author/creator	Calude, Cristian, 1952-
Other author/creator	Dinneen, M. J., 1957-
Other author/creator	Khoussainov, Bakhadyr, 1961-
Other author/creator	Nies, André.
Series	LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science, 0302-9743 ; 7160. Festschrift Lecture notes in computer science ; 7160. ^A466336 Lecture notes in computer science. Festschrift. ^A601151
Contents	The art of reaching the age of sixty / Solomon Marcus -- Calude 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. Vîţă -- Bounded randomness / Paul Brodhead, Rod Downey, and Keng Meng Ng -- A note on blum static complexity measures / Cezar Câ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 / Rūsin̦š Freivalds -- Learning families of closed sets in matroids / Ziyuan Gao, Frank Stephan, Guohua Wu, and Akihiro Yamamoto -- Invariance and universality of complexity / Helmut Jürgensen -- Demuth's path to randomness / Antonín Kuc̆era and André Nies -- A computability challenge: asymptotic bounds for error-correcting codes / Yuri I. Manin -- Some transfinite generalisations of Gö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 Maël Monté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 Păun and Mario J. Pérez-Jimé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.
Bibliography note	Includes bibliographical references and author index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2011944976
ISBN	9783642276538 (pbk.)
ISBN	3642276539 (pbk.)

Click here for more information about this title