Membrane Computing (Record no. 58501)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 04678nam a22006015i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-319-14370-5 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20200421112545.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 141216s2014 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783319143705 |
-- | 978-3-319-14370-5 |
082 04 - CLASSIFICATION NUMBER | |
Call Number | 004.0151 |
245 10 - TITLE STATEMENT | |
Title | Membrane Computing |
Sub Title | 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers / |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | XIX, 397 p. 72 illus. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE | |
Remark 2 | From P Colonies to 2D P Colonies and Simulations of Multiagent Systems -- A Bioinspired Computing Approach to Model Complex Systems -- P Systems with Active Membranes Working in Sublinear Space -- Membrane Computing Inspired Approach for Executing Scientific Workflow in the Cloud -- P Systems with Anti-Matter -- Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems -- P Systems with Toxic Objects -- Promoters and Inhibitors in Purely Catalytic P Systems -- Red-Green P Automata -- Extended Simulation and Verification Platform for Kernel P Systems -- The Abilities of P Colony Based Models in Robot Control -- Probabilistic Guarded P Systems, a New Formal Modelling Framework -- Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques -- Simulating Turing Machines with Polarizationless P Systems with Active Membranes -- Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms -- Polymorphic P Systems with Non-cooperative Rules and No Ingredients -- Spiking Neural P Systems with Astrocytes Using the Rules in the Exhaustive Mode -- Simulating Elementary Active Membranes with an Application to the P Conjecture -- Small Universal Spiking Neural P Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating Rules -- Parallel Thinning with Complex Objects and Actors -- Causal Nets for Geometrical Gandy-Paun-Rozenberg Machines -- P System Computational Model as Framework for Hybrid (Membrane-Quantum) Computations -- Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems. |
520 ## - SUMMARY, ETC. | |
Summary, etc | This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Membrane Computing, CMC 2014, held in Prague, Czech Republic, in August 2014. The 19 revised selected papers presented together with 5 invited lectures were carefully reviewed and selected from 24 papers presented at the conference. In addition, two papers selected from the 22 papers presented at the regional version of CMC, the Asian Conference on Membrane Computing , ACMC 2014, held in Coimbatore, India, are included. The papers cover a wide range of topics in the area of membrane computing, which is an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. |
700 1# - AUTHOR 2 | |
Author 2 | Gheorghe, Marian. |
700 1# - AUTHOR 2 | |
Author 2 | Rozenberg, Grzegorz. |
700 1# - AUTHOR 2 | |
Author 2 | Salomaa, Arto. |
700 1# - AUTHOR 2 | |
Author 2 | Sos�ik, Petr. |
700 1# - AUTHOR 2 | |
Author 2 | Zandron, Claudio. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-319-14370-5 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks |
264 #1 - | |
-- | Cham : |
-- | Springer International Publishing : |
-- | Imprint: Springer, |
-- | 2014. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Software engineering. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computers. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Algorithms. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computer logic. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Pattern recognition. |
650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Computation by Abstract Devices. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Algorithm Analysis and Problem Complexity. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Software Engineering. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Logics and Meanings of Programs. |
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Pattern Recognition. |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
912 ## - | |
-- | ZDB-2-SCS |
912 ## - | |
-- | ZDB-2-LNC |
No items available.