Unconventional Computation [[electronic resource] ] : 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings / / edited by Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Mario de Jesus Pérez-Jiménez, Grzegorz Rozenberg |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XI, 267 p.) |
Disciplina | 006.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Bioinformatics Theory of Computation |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited 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. |
Record Nr. | UNINA-9910484710203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Unconventional Computation and Natural Computation [[electronic resource] ] : 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings / / edited by Cristian S. Calude, Michael J. Dinneen |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 301 p. 58 illus.) |
Disciplina | 006.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Pattern recognition systems Artificial intelligence Theory of Computation Automated Pattern Recognition Artificial Intelligence |
ISBN | 3-319-21819-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Unconventionality of Nature: Biology, from Noise to Functional Randomness -- Ultrametric Algorithms and Automata -- Realism and Texture: Benchmark Problems for Natural Computation -- Quantum Computing Meets the Real World -- BL: A Visual Computing Framework for Interactive Neural System. Models of Embodied Cognition and Face to Face Social Learning -- Computations with Grossone-based Infinities -- Exploring the Effect of Cell Heterogeneity in Wound Healing Using a 3D Multicellular Tissue Growth Model -- Regularized Linear and Nonlinear Autoregressive Models for Dengue Confirmed-Cases Prediction -- Asynchronous Spiking Neural P Systems with Structural Plasticity -- Expressive Power of Non-Deterministic Evolving Recurrent Neural Networks in Terms of their Attractor Dynamics -- Duplications and Pseudo-Duplications -- Going Beyond Turing with P Automata -- DiSCUS: A Simulation Platform for Conjugation Computing -- A Cost / Speed / Reliability Trade-Off to Erasing -- Replication of Arbitrary Hole-free Shapes via Self-assembly with Signal-passing Tiles -- Efficient Card-based Protocols for Generating a Hidden Random Permutation without Fixed Points -- Simulation of the 2JLP Gene Assembly Process in Ciliates -- A Uniform Family of Tissue P Systems with Protein on Cells Solving 3-Coloring in Linear Time -- Asynchronous Dynamics of Boolean Automata Double-Cycles -- Non-cooperative Algorithms in Self-assembly -- Tangle Machines -- Formalisation vs Understanding; A Case Study in Isabelle. |
Record Nr. | UNISA-996199740703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Unconventional Computation and Natural Computation [[electronic resource] ] : 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings / / edited by Cristian S. Calude, Michael J. Dinneen |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 301 p. 58 illus.) |
Disciplina | 006.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Pattern recognition systems Artificial intelligence Theory of Computation Automated Pattern Recognition Artificial Intelligence |
ISBN | 3-319-21819-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Unconventionality of Nature: Biology, from Noise to Functional Randomness -- Ultrametric Algorithms and Automata -- Realism and Texture: Benchmark Problems for Natural Computation -- Quantum Computing Meets the Real World -- BL: A Visual Computing Framework for Interactive Neural System. Models of Embodied Cognition and Face to Face Social Learning -- Computations with Grossone-based Infinities -- Exploring the Effect of Cell Heterogeneity in Wound Healing Using a 3D Multicellular Tissue Growth Model -- Regularized Linear and Nonlinear Autoregressive Models for Dengue Confirmed-Cases Prediction -- Asynchronous Spiking Neural P Systems with Structural Plasticity -- Expressive Power of Non-Deterministic Evolving Recurrent Neural Networks in Terms of their Attractor Dynamics -- Duplications and Pseudo-Duplications -- Going Beyond Turing with P Automata -- DiSCUS: A Simulation Platform for Conjugation Computing -- A Cost / Speed / Reliability Trade-Off to Erasing -- Replication of Arbitrary Hole-free Shapes via Self-assembly with Signal-passing Tiles -- Efficient Card-based Protocols for Generating a Hidden Random Permutation without Fixed Points -- Simulation of the 2JLP Gene Assembly Process in Ciliates -- A Uniform Family of Tissue P Systems with Protein on Cells Solving 3-Coloring in Linear Time -- Asynchronous Dynamics of Boolean Automata Double-Cycles -- Non-cooperative Algorithms in Self-assembly -- Tangle Machines -- Formalisation vs Understanding; A Case Study in Isabelle. |
Record Nr. | UNINA-9910483070403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|