| Description |
1 online resource |
| Series |
Lecture notes in computer science, 0302-9743 ; 7445 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7445.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
The Holy Grail: Finding the Genetic Bases of Phenotypic Characters / Paola Bonizzoni -- Inductive Complexity of P versus NP Problem Extended Abstract / Cristian S. Calude, Elena Calude and Melissa S. Queen -- Advances in Embryomorphic Engineering / René Doursat -- Reasoning As Though / Jack H. Lutz -- Universality and the Halting Problem for Cellular Automata in Hyperbolic Spaces: The Side of the Halting Problem / Maurice Margenstern -- An Introduction to Tile-Based Self-assembly / Matthew J. Patitz -- Spatial Computing in MGS / Antoine Spicher, Olivier Michel and Jean-Louis Giavitto -- P Systems Controlled by General Topologies / Erzsébet Csuhaj-Varjú, Marian Gheorghe and Mike Stannett -- P Systems with Minimal Left and Right Insertion and Deletion / Rudolf Freund, Yurii Rogozhin and Sergey Verlan -- Lower Bounds on the Complexity of the Wavelength-Based Machine / Sama Goliaei and Mohammad-Hadi Foroughmand-Araabi -- String Matching with Involutions / Cristian Grozea, Florin Manea, Mike Müller and Dirk Nowotka -- Distributed Execution of Automata Networks on a Computing Medium: Introducing IfAny Machines / Frederic Gruau and Luidnel Maignan -- Symbol Representations in Evolving Droplet Computers / Gerd Gruenert, Gabi Escuela and Peter Dittrich -- Inductive Complexity of Goodstein's Theorem / Joachim Hertel |
|
Towards a Biomolecular Learning Machine / Matthew R. Lakin, Amanda Minnich, Terran Lane and Darko Stefanovic -- Tractional Motion Machines: Tangent-Managing Planar Mechanisms as Analog Computers and Educational Artifacts / Pietro Milici -- Computing with Sand: On the Complexity of Recognizing Two-dimensional Sandpile Critical Configurations / J. Andres Montoya -- Genome Parameters as Information to Forecast Emergent Developmental Behaviors / Stefano Nichele and Gunnar Tufte -- Heterotic Computing Examples with Optics, Bacteria, and Chemicals / Susan Stepney, Samson Abramsky, Matthias Bechmann, Jerzy Gorecki and Viv Kendon, et al. -- Reliable Node Placement in Wireless Sensor Networks Using Cellular Automata / Sami Torbey and Selim G. Akl -- Robust Evaluation of Expressions by Distributed Virtual Machines / Lance R. Williams -- Numerical Evaluation of the Average Number of Successive Guesses / Kerstin Andersson -- Discrete Discs and Broadcasting Sequences / Thomas Nickson and Igor Potapov -- Optical Analog Feedback in Euglena-Based Neural Network Computing / Kazunari Ozasa, Jeesoo Lee, Simon Song, Mizuo Maeda and Masahiko Hara -- Gardening Cyber-Physical Systems / Susan Stepney, Ada Diaconescu, René Doursat, Jean-Louis Giavitto and Taras Kowaliw, et al. -- Towards a Theory of Self-constructing Automata / Christian Wurm -- Flower Pollination Algorithm for Global Optimization / Xin-She Yang |
| Summary |
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Unconventional Computation, UC 2012, held in Orléans, France, during September 3-7, 2012. The 28 revised full papers presented were carefully selected from numerous submissions. Conference papers are organized in 4 technical sessions, covering topics of hypercomputation, chaos and dynamical systems based computing, granular, fuzzy and rough computing, mechanical computing, cellular, evolutionary, molecular, neural, and quantum computing, membrane computing, amorphous computing, swarm intelligence; artificial immune systems, physics of computation, chemical computation, evolving hardware, the computational nature of self-assembly, developmental processes, bacterial communication, and brain processes |
| Analysis |
Computer science |
|
Computer software |
|
Logic design |
|
Artificial intelligence |
|
Computation by Abstract Devices |
|
Algorithm Analysis and Problem Complexity |
|
Mathematical Logic and Formal Languages |
|
Logics and Meanings of Programs |
|
computerwetenschappen |
|
computer sciences |
|
bioinformatics |
|
computational science |
|
algoritmen |
|
algorithms |
|
computeranalyse |
|
computer analysis |
|
kunstmatige intelligentie |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and author index |
| Subject |
Electronic data processing -- Congresses
|
|
Soft computing -- Congresses
|
|
Informatique.
|
|
Electronic data processing
|
|
Soft computing
|
| Genre/Form |
Conference papers and proceedings
|
|
Software.
|
| Form |
Electronic book
|
| Author |
Durand-Lose, Jérôme.
|
|
Jonoska, Nataša, 1961-
|
| ISBN |
9783642328947 |
|
3642328946 |
|
3642328938 |
|
9783642328930 |
|
