Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Eleftherakis, George (Επιμελητής έκδοσης), Kefalas, Petros (Επιμελητής έκδοσης), Păun, Gheorghe (Επιμελητής έκδοσης), Rozenberg, Grzegorz (Επιμελητής έκδοσης), Salomaa, Arto (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4860
• Θέματα: 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.

This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place in Thessaloniki, Greece, during June 25–28, 2008. The ?rst three workshops on membrane computing were organized in Curtea de Arge¸ s, Romania – they took place in August 2000 (wi...

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

• Invited Lectures
• Psim: A Computational Platform for Metabolic P Systems
• Modeling the Dynamics of HIV Infection with Conformon-P Systems and Cellular Automata
• (UREM) P Systems with a Quantum-Like Behavior: Background, Definition, and Computational Power
• The Calculus of Looping Sequences for Modeling Biological Membranes
• Membrane Computing in Connex Environment
• Regular Papers
• Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes
• On the Reachability Problem in P Systems with Mobile Membranes
• Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets
• A Hybrid Approach to Modeling Biological Systems
• Causality in Membrane Systems
• Simulating the Bitonic Sort Using P Systems
• On the Number of Agents in P Colonies
• Events, Causality, and Concurrency in Membrane Systems
• P Systems with String Objects and with Communication by Request
• On the Dynamics of PB Systems with Volatile Membranes
• A Logarithmic Bound for Solving Subset Sum with P Systems
• A Formal Framework for Static (Tissue) P Systems
• Conformon-P Systems with Negative Values
• Optimizing Evolution Rules Application and Communication Times in Membrane Systems Implementation
• Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo
• Solving Numerical NP-Complete Problems with Spiking Neural P Systems
• Towards a Complete Covering of SBML Functionalities
• Active Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise P
• Balancing Performance, Flexibility, and Scalability in a Parallel Computing Platform for Membrane Computing Applications
• On Flip-Flop Membrane Systems with Proteins
• Characterizing Membrane Structures Through Multiset Tree Automata
• OPERAS CC : An Instance of a Formal Framework for MAS Modeling Based on Population P Systems.