Listar BWMC2012. Brainstorming Week on Membrane Computing (10th. 2012. Sevilla) por título
Mostrando ítems 29-35 de 35
- Libro
- Libro
-
Ponencia
The Computational Power of Exponential-Space P Systems with Active Membranes
(Fénix Editora, 2012)We show that exponential-space P systems with active membranes characterize the complexity class EXPSPACE. This result ...
-
Ponencia
The Power of Symport-3 with Few Extra Symbols
(Fénix Editora, 2012)Membrane systems (with symbol objects) are formal models of distributed parallel multiset processing. Symport rules move ...
-
Ponencia
The Role of the Environment in Tissue P Systems with Cell Division
(Fénix Editora, 2012)Classical tissue P systems with cell division have a special alphabet whose elements appear at the initial configuration ...
-
Ponencia
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
(Fénix Editora, 2012)This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ...
-
Ponencia
Two Topics Ahead Membrane Computing
(Fénix Editora, 2012)Two topics from the area of probability theory and randomness challenging membrane computing together with open problems and research proposals are discussed.