| Description |
1 online resource (xv, 262 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 7956 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7956.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
Invited Papers. Asymptotic Dynamics of (Some) Asyncronous Cellular Automata / Enrico Formenti -- Processes Inspired by the Functioning of Living Cells: Natural Computing Approach / Andrzej Ehrenfeucht, Grzegorz Rozenberg -- Regular Papers. On the Power of Threshold Measurements as Oracles / Edwin Beggs, José Félix Costa, Diogo Poças, John V. Tucker -- Size Lower Bounds for Quantum Automata / Maria Paola Bianchi, Carlo Mereghetti, Beatrice Palano -- Population Protocols on Graphs: A Hierarchy / Olivier Bournez, Jonas Lefèvre -- Spectral Representation of Some Computably Enumerable Sets with an Application to Quantum Provability / Cristian S. Calude, Kohtaro Tadaki -- On the Power of P Automata / Erzsébet Csuhaj-Varjú, György Vaszil -- Array Insertion and Deletion P Systems / Henning Fernau, Rudolf Freund, Sergiu Ivanov, Markus L. Schmid, K.G. Subramanian -- Boolean Logic Gates from a Single Memristor via Low-Level Sequential Logic / Ella Gale, Ben de Lacy Costello, Andrew Adamatzky -- Light Ray Concentration Reduces the Complexity of the Wavelength-Based Machine on PSPACE Languages / Sama Goliaei, Mohammad-Hadi Foroughmand-Araabi |
|
Small Steps toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation / Naveen Sundar Govindarajulu, John Licato, Selmer Bringsjord -- Secure Information Transmission Based on Physical Principles / Dima Grigoriev, Vladimir Shpilrain -- Hypergraph Automata: A Theoretical Model for Patterned Self-assembly / Lila Kari, Steffen Kopecki, Amirhossein Simjour -- Modeling Heart Pacemaker Tissue by a Network of Stochastic Oscillatory Cellular Automata / Danuta Makowiec -- Reaction Systems Made Simple / Luca Manzoni, Antonio E. Porreca -- Voting with a Logarithmic Number of Cards / Takaaki Mizuki, Isaac Kobina Asiedu, Hideaki Sone -- Asynchronous Signal Passing for Tile Self-assembly: Fuel Efficient Computation and Efficient Assembly of Shapes / Jennifer E. Padilla, Matthew J. Patitz, Raul Pena, Robert T. Schweller -- Control Languages Associated with Tissue P Systems / Ajeesh Ramanujan, Kamala Krithivasan -- Geometric Methods for Analysing Quantum Speed Limits: Time-Dependent Controlled Quantum Systems with Constrained Control Functions / Benjamin Russell, Susan Stepney |
|
Numerical Analysis of Quantum Speed Limits: Controlled Quantum Spin Chain Systems with Constrained Control Functions / Benjamin Russell, Susan Stepney -- Combinatorial Optimization in Pattern Assembly / Shinnosuke Seki -- Towards Computation with Microchemomechanical Systems / Andreas Voigt, Rinaldo Greiner, Merle Allerdißen, Andreas Richter -- Posters. Evolutionary Programming Using Distribution-Based and Differential Mutation Operators / Md. Tanvir Alam Anik, Saif Ahmed -- A P System Parsing Word Derivatives / Artiom Alhazov, Elena Boian, Svetlana Cojocaru, Alexandru Colesnicov, Ludmila Malahov -- Computational Power of Protein Interaction Networks / Bogdan Aman, Gabriel Ciobanu -- Towards an All-Optical Soliton FFT in the 3NLS-Domain / Anastasios G. Bakaoukas -- Quantum Random Active Element Machine / Michael Stephen Fiske -- Simulating Metabolic Processes Using an Architecture Based on Networks of Bio-inspired Processors / Sandra Gómez Canaval, José Ramón Sánchez, Fernando Arroyo -- On String Reading Stateless Multicounter 5'->3' Watson-Crick Automata / László Hegedüs, Benedek Nagy -- Relating Transition P Systems and Spiking Neural P Systems / Richelle Ann B. Juayong, Nestine Hope S. Hernandez, Francis George C. Cabarle |
|
Quantum, cellular, molecular, neural, DNA -- membrane, and evolutionary computing.-cellular automata -- computation based on chaos and dynamical systems -- massive parallel computation -- collective intelligence -- computation based on physical principles such as relativistic -- optical, spatial, collision-based computing -- amorphous computing -- physarum computing -- hypercomputation -- fuzzy and rough 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 |
| Summary |
This book constitutes the refereed proceedings of the 12th International Conference on Unconventional Computation and Natural Computation, UCNC 2013, held in Milan, Italy, in July 2013. The 30 papers (28 full papers, 8 poster papers, and 2 invited papers) were carefully reviewed and selected from 46 submissions. The topics of the volume include: quantum, cellular, molecular, neural, DNA, membrane, and evolutionary computing; cellular automata; computation based on chaos and dynamical systems; massive parallel computation; collective intelligence; computation based on physical principles such as relativistic, optical, spatial, collision-based computing; amorphous computing; physarum computing; hypercomputation; fuzzy and rough 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 |
|
Artificial intelligence |
|
Computer simulation |
|
Computation by Abstract Devices |
|
Algorithm Analysis and Problem Complexity |
|
Mathematical Logic and Formal Languages |
|
Simulation and Modeling |
|
Computational Biology/Bioinformatics |
|
computerwetenschappen |
|
computer sciences |
|
bioinformatics |
|
computational science |
|
algoritmen |
|
algorithms |
|
computeranalyse |
|
computer analysis |
|
kunstmatige intelligentie |
|
simulatiemodellen |
|
simulation models |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Notes |
International conference proceedings |
|
Print version record |
| Subject |
Electronic data processing -- Congresses
|
|
Soft computing -- Congresses
|
|
Natural computation -- Congresses
|
|
Electronic Data Processing
|
|
Software
|
|
software.
|
|
Electronic data processing
|
|
Natural computation
|
|
Soft computing
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Mauri, Gian Carlo, editor
|
|
Dennunzio, Alberto, editor
|
|
Manzoni, Luca, editor
|
|
Porreca, Antonio E., editor
|
| ISBN |
9783642390746 |
|
3642390749 |
|
