000 05151nam a22005655i 4500
001 u374513
003 SIRSI
005 20160812084238.0
007 cr nn 008mamaa
008 100625s2010 gw | s |||| 0|eng d
020 _a9783642135231
_9978-3-642-13523-1
040 _cMX-MeUAM
050 4 _aQA75.5-76.95
082 0 4 _a004.0151
_223
100 1 _aCalude, Cristian S.
_eeditor.
245 1 0 _aUnconventional Computation
_h[recurso electrónico] :
_b9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings /
_cedited by Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2010.
300 _aXIII, 195p. 68 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6079
505 0 _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).
520 _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.
650 0 _aComputer science.
650 0 _aComputer software.
650 0 _aLogic design.
650 0 _aArtificial intelligence.
650 0 _aBioinformatics.
650 1 4 _aComputer Science.
650 2 4 _aComputation by Abstract Devices.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aComputational Biology/Bioinformatics.
700 1 _aHagiya, Masami.
_eeditor.
700 1 _aMorita, Kenichi.
_eeditor.
700 1 _aRozenberg, Grzegorz.
_eeditor.
700 1 _aTimmis, Jon.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642135224
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6079
856 4 0 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-13523-1
596 _a19
942 _cLIBRO_ELEC
999 _c202393
_d202393