LEADER 05769nam 22006615 450 001 996465837103316 005 20230406032204.0 024 7 $a10.1007/11560319 035 $a(CKB)1000000000213277 035 $a(SSID)ssj0000320564 035 $a(PQKBManifestationID)11237917 035 $a(PQKBTitleCode)TC0000320564 035 $a(PQKBWorkID)10249242 035 $a(PQKB)11091850 035 $a(DE-He213)978-3-540-32022-7 035 $a(MiAaPQ)EBC3067716 035 $a(PPN)123097770 035 $a(EXLCZ)991000000000213277 100 $a20100316d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aUnconventional Computation$b[electronic resource] $e4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings /$fedited by Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Mario de Jesus Pérez-Jiménez, Grzegorz Rozenberg 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XI, 267 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3699 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-32022-9 311 $a3-540-29100-8 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Using Genetic Algorithms to Evolve Behavior in Cellular Automata -- Quantum Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA Nanotechnology: Molecular Construction and Computation -- Natural Inspiration for Artificial Adaptivity: Some Neurocomputing Experiences in Robotics -- Regular Papers -- On Self-assembly in Population P Systems -- A Web-Based P Systems Simulator and Its Parallelization -- Communication Complexity as a Principle of Quantum Mechanics -- On Model-Checking of P Systems -- Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems -- P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P -- Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing -- On Reversible Cellular Automata with Finite Cell Array -- A Computational Model for Self-assembling Flexible Tiles -- On Formulations of Firing Squad Synchronization Problems -- Computation in One-Dimensional Piecewise Maps and Planar Pseudo-Billiard Systems -- On the Importance of Parallelism for Quantum Computation and the Concept of a Universal Computer -- On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata -- A New Sibling of BQP -- A Twelve-State Optimum-Time Synchronization Algorithm for Two-Dimensional Rectangular Cellular Arrays -- Computing by Self-reproduction: Autopoietic Automata -- Lower Bounds on the Computational Power of an Optical Model of Computation -- On Counterfactual Computation. 330 $aThe Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the Centre for Discrete Mathematics and Theoretical Computer Science and the Department of C- puter Science and Arti?cial Intelligence of the University of Seville, was held in Seville, October 3?7, 2005. Seville, one of the most beautiful cities in Spain, is at its best in October. An explosion of colour and contrast: ?amenco, bull?ghting, and a lively at- sphere in the streets due to the open and friendly nature of its people. The river Guadalquivir, the Cathedral and the Golden Tower are all places full of magic where the visitor can feel the spirit of a city which is eternally romantic. The series of International Conferences Unconventional Computation (UC),https://www.cs.auckland.ac.nz/CDMTCS/conferences/uc/isdevoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular,molecular, neural and evolutionarycomputing; chaosand - namical systems based computing; and various proposals for computations that go beyond the Turing model. The ?rst venue of the Unconventional Computation Conference (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000 and Kobe, Japan in 2002. The titles of the proceedings volumes from past UC Conferences are as follows: 1. C.S. Calude, J. Casti, M.J. Dinneen (eds.). Unconventional Models of C- putation, Springer-Verlag, Singapore, 1998, viii + 426 pp. ISBN: 981-3083- 69-7. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3699 606 $aComputer science 606 $aAlgorithms 606 $aBioinformatics 606 $aTheory of Computation 606 $aAlgorithms 606 $aBioinformatics 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aBioinformatics. 615 14$aTheory of Computation. 615 24$aAlgorithms. 615 24$aBioinformatics. 676 $a006.3 702 $aCalude$b Cristian S$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDinneen$b Michael J$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPaun$b Gheorghe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPérez-Jiménez$b Mario de Jesus$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465837103316 996 $aUnconventional Computation$9772821 997 $aUNISA