Membrane computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers /: 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers. ([2015])

• Record Type: Book
• Further Information: Note: Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron (Eds.).
• Editors: Rozenberg, Grzegorz; Salomaa, Arto; Sempere, José M; Zandron, Claudio
• Other Names: CMC (Conference : Membrane computing), 16th
• Contents: Information Theory in Genome Analysis -- Towards a Theory of Life -- An Excursion through Quantitative Model Refinement -- Polarizationless P Systems with One Active Membrane -- Bridging Deterministic P Systems and Conditional Grammars -- Automated Verification of Stochastic Spiking Neural P Systems -- Dynamically Changing Environment for Generalized Communicating P Systems -- Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem -- P Systems with Generalized Multisets over Totally Ordered Abelian Groups -- On the Power of Catalytic P Systems with One Catalyst -- An Integrated Model Checking Toolset for Kernel P Systems -- A New Strategy to Improve the Performance of PDP-systems Simulators -- Automatic Translation of MP+V Systems to Register Machines -- On the Communication Complexity of the Vertex Cover Problem and 3-Satisfiability Problem in ECP systems -- Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential -- A Solution of Horn-SAT with P Systems Using Antimatter -- Tissue P systems can be Simulated Efficiently with Counting Oracles -- Simulating FRSN P systems with real numbers in P-Lingua on sequential and CUDA platforms -- Pictures and Chomsky Languages in Array P System -- Sorting Using Spiking Neural P Systems with Anti-Spikes and Rules on Synapses -- Regulating Rule Application with Membrane Boundaries in P Systems -- Structured Grid Algorithms Modelled with Complex Objects -- Chemistry-inspired Adaptive Stream Processing -- Computing Partial Recursive Functions by Virus Machines -- About models derived from colonies.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Copyright Date: 2015
• Extent: 1 online resource
• Subjects: 006.3/842; Computer science; Molecular computers -- Congresses; Biocomputers -- Congresses; Biocomputers; Molecular computers; Computer Science; Engineering & Applied Sciences; Computer Science; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Software Engineering; Logics and Meanings of Programs; Pattern Recognition; Computers -- Programming -- Algorithms; Computers -- Software Development & Engineering -- General; Computers -- Programming -- General; Computers -- Computer Vision & Pattern Recognition; Algorithms & data structures; Software Engineering; Computer programming / software development; Pattern recognition; Computer software; Software engineering; Logic design; Optical pattern recognition; Computers -- Machine Theory; User interface design & usability; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319284750; 3319284754
• Related ISBNs: 9783319284743; 3319284746
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.