LEADER 05985nam 22008295 450 001 996466438403316 005 20230220233753.0 010 $a1-280-38702-5 010 $a9786613564948 010 $a3-642-13523-4 024 7 $a10.1007/978-3-642-13523-1 035 $a(CKB)2670000000028986 035 $a(SSID)ssj0000446859 035 $a(PQKBManifestationID)11321221 035 $a(PQKBTitleCode)TC0000446859 035 $a(PQKBWorkID)10504799 035 $a(PQKB)10601945 035 $a(DE-He213)978-3-642-13523-1 035 $a(MiAaPQ)EBC3065451 035 $a(PPN)149063733 035 $a(EXLCZ)992670000000028986 100 $a20100625d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aUnconventional Computation$b[electronic resource] $e9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010, Proceedings /$fedited by Christian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jonathan Timmis 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XIII, 195 p. 68 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6079 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-13522-6 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Computations Inspired from the Brain -- Algebras and Languages for Molecular Programming -- A Computational Journey into Nonlinearity -- Computable Scientists, Uncomputable World -- Regular Contributions -- Finite State Transducers with Intuition -- Reversibility and Determinism in Sequential Multiset Rewriting -- Synchronization in P Modules -- On Universality of Radius 1/2 Number-Conserving Cellular Automata -- DNA Origami as Self-assembling Circuit Boards -- Tug-of-War Model for Multi-armed Bandit Problem -- Characterising Enzymes for Information Processing: Towards an Artificial Experimenter -- Majority Adder Implementation by Competing Patterns in Life-Like Rule B2/S2345 -- Solving Partial Differential Equation via Stochastic Process -- Postselection Finite Quantum Automata -- A New Representation of Chaitin ? Number Based on Compressible Strings -- Quantum Query Algorithms for Conjunctions -- Universal Continuous Variable Quantum Computation in the Micromaser -- Quantum Computation with Devices Whose Contents Are Never Read -- The Extended Glider-Eater Machine in the Spiral Rule -- Posters -- Formalizing the Behavior of Biological Processes with Mobility -- Quantum Finite State Automata over Infinite Words -- A Geometrical Allosteric DNA Switch -- Properties of ?Planar Binary (Butchi Number)? -- Characterising Enzymes for Information Processing: Microfluidics for Autonomous Experimentation -- Inference with DNA Molecules -- A Network-Based Computational Model with Learning -- Image Processing with Neuron-Like Branching Elements (POSTER). 330 $aThe 9th International Conference on Unconventional Computation, UC 2010, was organized under the auspices of EATCS and Academia Europaea, by the University of Tokyo (Tokyo, Japan), and the Center for Discrete Mathematics and Theoretical Computer Science (Auckland, New Zealand). It was held in Tokyoduring June 21?25,2010(seehttp://arn.local.frs.riken.jp/UC10/). The venue was the Sanjo (Hilltop) Conference Hall at Hongo Campus of the University of Tokyo. Hongo Campus was formerly the residence of the Maeda family, one of the richest feudal lords in the Edo period of Japan. The Japanese garden in the residence is partially preserved, including the pond and the hill on which the conference hall is located. Within walking distance from Hongo Campus are Ueno park with many museums, the Akihabara area, which is now the center of Japanesepop culture, and the Korakuenamusement park/baseball stadium. The International Conference on Unconventional Computation (UC) series (seehttp://www.cs.auckland.ac.nz/CDMTCS/conferences/uc/)isdevotedto all aspects of unconventional computation ? theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, membrane, neural, and evolutionary computing, as well as chaos and dynamical system-based computing, and various proposals for computational mechanisms that go beyond the Turing model. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6079 606 $aArtificial intelligence 606 $aLife sciences 606 $aComputer programming 606 $aComputer science 606 $aAlgorithms 606 $aMachine theory 606 $aArtificial Intelligence 606 $aLife Sciences 606 $aProgramming Techniques 606 $aTheory of Computation 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 615 0$aArtificial intelligence. 615 0$aLife sciences. 615 0$aComputer programming. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aMachine theory. 615 14$aArtificial Intelligence. 615 24$aLife Sciences. 615 24$aProgramming Techniques. 615 24$aTheory of Computation. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 676 $a004 702 $aCalude$b Christian S$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHagiya$b Masami$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMorita$b Kenichi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTimmis$b Jonathan$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466438403316 996 $aUnconventional Computation$9772821 997 $aUNISA LEADER 00948nam0-2200301 --450 001 9910750101103321 005 20231107093903.0 010 $a978-88-548-9856-1 100 $a20231107d2016----kmuy0itay5050 ba 101 2 $aita$afre 102 $aIT 105 $ay 001yy 200 1 $aSalvare le apparenze$eSaggio sulla nozione di teoria fisica da Platone a Galileo$fPierre Duhem$ga cura di Mirella Fortino$gprefazione di Jean-François Stoffel 210 $aCanterano$cAracne$d2016 215 $a317 p.$d21 cm 225 1 $aDuhemiana$v2 610 0 $aFisica$aTeorie [di] Duhem, Pierre 676 $a530.1$v23$zita 700 1$aDuhem,$bPierre$02879 702 1$aFortino,$bMirella 702 1$aStoffel,$bJean-François 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910750101103321 952 $aCollez. 3226 (2)$b900/2023$fFSPBC 959 $aFSPBC 996 $aSalvare le apparenze$93577577 997 $aUNINA