Listar BWMC2010. Brainstorming Week On Membrane Computing (8th. 2010. Sevilla) por título
Mostrando ítems 15-27 de 27
-
Ponencia
Membrane Computing Meets Artificial Intelligence: A Case Study
(Fénix Editora, 2010)The usual way to find a solution for a NP complete problem with Membrane Computing techniques is by brute force algorithms ...
-
Ponencia
Model Checking Based Test Generation from P Systems Using P-Lingua
(Fénix Editora, 2010)This paper presents an approach for P system testing, that uses model- checking for automatic test generation and P-Lingua ...
-
Ponencia
Modeling and Analysis of Firewalls by (Tissue-like) P Systems
(Fénix Editora, 2010)We propose to use tissue-like P systems as a tool to model and analyse the security properties of ¯rewall systems. The ...
-
Ponencia
On Catalytic P Systems with One Catalyst
(Fénix Editora, 2010)In this paper we address the possibility of studying the computational capabilities of catalytic P systems with one catalyst by the means of iterated finite state transducers. We also give a normal form for catalytic P systems.
-
Ponencia
On Communication Complexity in Evolution-Communication P Systems
(Fénix Editora, 2010)Looking for a theory of communication complexity for P systems, we consider here so-called evolution-communication (EC ...
-
Ponencia
On Complexity Classes of Spiking Neural P Systems
(Fénix Editora, 2010)A sequence of papers have been recently published, pointing out various intractable problems which may be solved in certain ...
-
Ponencia
PCol Automata: Recognizing Strings with P Colonies
(Fénix Editora, 2010)We introduce the concept of a P colony automaton, an automata-like con- struct combining properties of finite automata ...
-
Ponencia
Plain Talk about Systems Complicatedness
(Fénix Editora, 2010) -
Ponencia
Solving Problems in a Distributed Way in Membrane Computing: dP Systems
(Fénix Editora, 2010)Although P systems are distributed parallel computing devices, no explicit way of handling the input in a distributed way ...
-
Ponencia
Standardized Proofs of PSPACE-completeness of P Systems with Active Membranes
(Fénix Editora, 2010)Two proofs have been shown for P systems with active membranes in previ- ously published papers, demonstrating that these ...
-
Ponencia
The Membrane Systems Language Class
(Fénix Editora, 2010)The aim of this paper is to introduce the class of languages generated by the transitional model of membrane systems ...
-
Ponencia
Tissue-like P Systems Without Environment
(Fénix Editora, 2010)In this paper we present a tissue-like P systems model with cell division the environment has been replaced by an extra ...
-
Ponencia
When Matrices Meet Brains
(Fénix Editora, 2010)Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from ...