Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Calude, Cristian S. (Επιμελητής έκδοσης), Hagiya, Masami (Επιμελητής έκδοσης), Morita, Kenichi (Επιμελητής έκδοσης), Rozenberg, Grzegorz (Επιμελητής έκδοσης), Timmis, Jon (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6079
• Θέματα: Computer science.; Computer programming.; Computers.; Algorithms.; Mathematical logic.; Artificial intelligence.; Life sciences.; Computer Science.; Artificial Intelligence (incl. Robotics).; Life Sciences, general.; Programming Techniques.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.

The 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 Tokyod...

Πίνακας περιεχομένων:

• Invited 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).