Membrane Computing 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hoogeboom, Hendrik Jan (Επιμελητής έκδοσης), Păun, Gheorghe (Επιμελητής έκδοσης), Rozenberg, Grzegorz (Επιμελητής έκδοσης), Salomaa, Arto (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4361
• Θέματα: Computer science.; Computers.; Mathematical logic.; Computer simulation.; Bioinformatics.; Computer Science.; Theory of Computation.; Computation by Abstract Devices.; Mathematical Logic and Formal Languages.; Simulation and Modeling.; Computational Biology/Bioinformatics.

The present volume contains a selection of papers presented at the Seventh Workshop on Membrane Computing, WMC7, which took place in Leiden, The Netherlands, during July 17–21, 2006. The ?rst three workshops on membrane computing were organized in Curtea de Arge¸ s, Romania – they took place in Augu...

Πίνακας περιεχομένων:

• Invited Lectures
• Biological Roots and Applications of P Systems: Further Suggestions
• Formalizing Spherical Membrane Structures and Membrane Proteins Populations
• Quorum Sensing: A Cell-Cell Signalling Mechanism Used to Coordinate Behavioral Changes in Bacterial Populations
• A Modeling Approach Based on P Systems with Bounded Parallelism
• Synchrony and Asynchrony in Membrane Systems
• MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations
• Modeling Signal Transduction Using P Systems
• Regular Papers
• Extended Spiking Neural P Systems
• Towards a Characterization of P Systems with Minimal Symport/Antiport and Two Membranes
• Expressing Control Mechanisms of Membranes by Rewriting Strategies
• Tissue P Systems with Communication Modes
• Towards a Hybrid Metabolic Algorithm
• Towards a P Systems Pseudomonas Quorum Sensing Model
• Membrane Systems with External Control
• A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers
• Computing with Genetic Gates, Proteins, and Membranes
• Classifying States of a Finite Markov Chain with Membrane Computing
• Partial Knowledge in Membrane Systems: A Logical Approach
• Tau Leaping Stochastic Simulation Method in P Systems
• P Machines: An Automata Approach to Membrane Computing
• Modeling Dynamical Parallelism in Bio-systems
• P Colonies with a Bounded Number of Cells and Programs
• P Finite Automata and Regular Languages over Countably Infinite Alphabets
• Mitotic Oscillators as MP Graphs
• Infinite Hierarchies of Conformon-P Systems
• A Protein Substructure Based P System for Description and Analysis of Cell Signalling Networks
• Characterizations of Some Restricted Spiking Neural P Systems
• A Membrane Algorithm for the Min Storage Problem
• P Systems with Symport/Antiport and Time
• Towards Probabilistic Model Checking on P Systems Using PRISM
• Graphical Modeling of Higher Plants Using P Systems
• Identifying P Rules from Membrane Structures with an Error-Correcting Approach
• Computational Completeness of Tissue P Systems with Conditional Uniport
• Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems.