LEADER 06041nam 22007935 450 001 996465936303316 005 20231006153303.0 010 $a3-642-27654-7 024 7 $a10.1007/978-3-642-27654-5 035 $a(CKB)3360000000365840 035 $a(SSID)ssj0000666004 035 $a(PQKBManifestationID)11378654 035 $a(PQKBTitleCode)TC0000666004 035 $a(PQKBWorkID)10647725 035 $a(PQKB)10318506 035 $a(DE-He213)978-3-642-27654-5 035 $a(MiAaPQ)EBC3070182 035 $a(PPN)15908704X 035 $a(EXLCZ)993360000000365840 100 $a20120215d2012 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputation, Physics and Beyond$b[electronic resource] $eInternational 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 /$fedited by Michael J. Dinneen, Bakhadyr Khoussainov, Prof. Andre Nies 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XIII, 427 p. 64 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7160 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-27653-9 320 $aIncludes bibliographical references and author index. 327 $aThe 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. 330 $aThis 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). 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7160 606 $aAlgorithms 606 $aMachine theory 606 $aComputer science 606 $aComputer science?Mathematics 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aMathematics of Computing 606 $aLògica informàtica$2thub 606 $aSistemes adaptatius$2thub 608 $aCongressos$2thub 608 $aLlibres electrònics$2thub 615 0$aAlgorithms. 615 0$aMachine theory. 615 0$aComputer science. 615 0$aComputer science?Mathematics. 615 14$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 615 24$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aMathematics of Computing. 615 7$aLògica informàtica 615 7$aSistemes adaptatius 676 $a004 702 $aDinneen$b Michael J$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKhoussainov$b Bakhadyr$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNies$b Prof. Andre$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Theoretical Computer Science 906 $aBOOK 912 $a996465936303316 996 $aComputation, Physics and Beyond$92830141 997 $aUNISA LEADER 04145oam 22007574a 450 001 9910272356003321 005 20230621140437.0 010 $a9783944773162 010 $a3944773160 024 7 $a10.12946/gplh7 035 $a(CKB)4100000004240063 035 $a(OAPEN)1004833 035 $a(OCoLC)1035948002 035 $a(MdBmJHUP)muse84197 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/38909 035 $a(ScCtBLL)18f02476-d29e-45ca-b532-26224b430ef0 035 $a(OCoLC)1163821270 035 $a(EXLCZ)994100000004240063 100 $a20180119d2016 uy 0 101 0 $aspa 135 $auuuuu---auuuu 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 03$aEl Jurista en el Nuevo Mundo$ePensamiento. Doctrina. Mentalidad /$fVictor Tau Anzoategui 210 $aFrankfurt am Main$cMax Planck Institute for Legal History and Legal Theory$d2016 210 1$aFrankfurt :$cMax Planck Institute for European Legal History,$d2016. 210 4$d©2016. 215 $a1 online resource (280) 225 0 $aGlobal perspectives on legal history,$x2196-9752 ;$vvolume 7 300 $aRevised versions of studies originally appearing in journals and collected works from various countries. 311 08$a9783944773063 311 08$a3944773063 320 $aIncludes bibliographical references. 327 $gIntroduccio?n:$tEntre Castilla y las Indias --$tLa idea de Derecho en la colonizacio?n espan?ola en America --$tHumanismo Juri?dico en el Mundo Hispa?nico? : A propo?sito --$tEl Gobierno del Peru? de Juan de Matienzo : En la senda del humanismo juri?dico --$tLa Vi?ctima Real Legal de A?lvarez de Abreu en el pensamiento indiano --$tLa doctrina de los autores como fuente del Derecho catellano-indiano --$tEntre leyes, glosas y comentos : El episodo de la Recopilacio?n --$tEl ejemplar, otro modo de creacio?n juri?dica indiana --$tLa nocio?n de Justicia en la Poli?tica Indiana de Solo?rzano --$tLa variedad indiana, una clave de la concepcio?n juri?dica de Juan de Solo?rzano --$tLa disimulacio?n en el Derecho Indiano --$tEl Abogado del Cabildo de Buenos Aires durante el Virreinato. 330 $aThe present work addresses the history of Derecho Indiano (Spanish Colonial Law) and proposes to examine the role played by Indiano-Castilian jurists in the New World as creators and enforcers of a science and the practice of law. They were given the task of organising and developing public authorities as well as the new society, and in their engagement with the temporary institutions, they were confronted with realities and situations as diverse as they themselves proclaimed them to be. 410 0$aGlobal perspectives on legal history ;$vv. 7.$x2196-9752 606 $aSpanish colonies$2fast$3(OCoLC)fst01930866 606 $aJustice, Administration of$xColonies$2fast$3(OCoLC)fst00985162 606 $aJudges$xColonies$2fast$3(OCoLC)fst00984503 606 $aIndigenous peoples$xLegal status, laws, etc$2fast$3(OCoLC)fst00970247 606 $aJustice, Administration of$xColonies$zSpain$zAmerica 606 $aJudges$xColonies$zSpain$zAmerica 606 $aIndigenous peoples$xLegal status, laws, etc$zAmerica$xHistory 606 $aLaw$zSpain$xColonies 607 $aSpain$2fast 607 $aAmerica$2fast 608 $aHistory. 608 $aElectronic books. 615 0$aSpanish colonies. 615 0$aJustice, Administration of$xColonies. 615 0$aJudges$xColonies. 615 0$aIndigenous peoples$xLegal status, laws, etc. 615 0$aJustice, Administration of$xColonies 615 0$aJudges$xColonies 615 0$aIndigenous peoples$xLegal status, laws, etc.$xHistory. 615 0$aLaw$xColonies. 700 $aTau Anzoátegui$b Víctor $4auth$0528949 702 $aTau Anzoa?tegui$b Vi?ctor 712 02$aMax-Planck-Institut fu?r Europa?ische Rechtsgeschichte, 801 0$bMdBmJHUP 801 1$bMdBmJHUP 906 $aBOOK 912 $a9910272356003321 996 $aEl Jurista en el Nuevo Mundo$94322349 997 $aUNINA