Listar BWMC2011. Brainstorming Week On Membrane Computing (9th. 2011. Sevilla) por título
Mostrando ítems 23-27 de 27
-
Ponencia
Toward a Self-replicating Metabolic P System
(Fénix Editora, 2011)This work concerns the synthesis of a "minimal cell' by means of a P system, which is a distributed rewriting system ...
-
Ponencia
Towards Automated Verification of P Systems Using Spin
(Fénix Editora, 2011)This paper presents an approach to P systems verification using the Spin model checker. A tool which implements the ...
-
Ponencia
Towards Bridging Two Cell-Inspired Models: P Systems and R Systems
(Fénix Editora, 2011)We examine, from the point of view of membrane computing, the two basic assumptions of reaction systems, the "threshold" ...
-
Ponencia
Using Central Nodes to Improve P System Synchronization
(Fénix Editora, 2011)We present an improved solution for the Firing Squad Synchronization Problem (FSSP) for digraph-based P systems. We improve ...
-
Ponencia
Well-Tempered P Systems: Towards a Membrane Computing Environment for Music Composition
(Fénix Editora, 2011)A proposal of designing a membrane computing environment for music composition is outlined.