Buscar
Mostrando ítems 1-10 de 10
Ponencia
A Kernel P System
(Fénix Editora, 2012)
A basic P system, called kernel P system (kP system for short), covering features of different P systems introduced and studied so far is defined and discussed. It is a relatively low level specification system aiming ...
Ponencia
A Membrane-Inspired Evolutionary Algorithm with a Population P System and its Application to Distribution System Recon guration
(Fénix Editora, 2012)
This paper develops a membrane-inspired evolutionary algorithm, PSMA, which is designed by using a population P system and a quantum-inspired evolutionary algorithm (QIEA). We use a population P system with three cells ...
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, illustrated on a tissue P system with active membranes solving the 3-colouring problem. The paper ...
Ponencia
Frontiers of Membrane Computing: Open Problems and Research Topics
(Fénix Editora, 2012)
This is a list of open problems and research topics collected after the Twelfth Conference on Membrane Computing, CMC 2012 (Fontainebleau, France (23 - 26 August 2011), meant initially to be a working material for Tenth ...
Ponencia
kPWorkbench: A Software Framework for Kernel P Systems
(Fénix Editora, 2015)
P systems are the computational models introduced in the context of membrane computing, a computational paradigm within the more general area of unconventional computing. Kernel P (kP) systems are de ned to unify the ...
Ponencia
Kernel P Systems - Version 1
(Fénix Editora, 2013)
A basic P system, called kernel P system4 (kP system for short), combining features of di erent P systems introduced and studied so far is de ned and discussed. The structure of such systems is de ned as a dynamic graph, ...
Ponencia
General Topologies and P Systems
(Fénix Editora, 2012)
In this paper we investigate the use of general topological spaces as control mechanisms for membrane systems. For simplicity, we illustrate our approach by showing how arbitrary topologies can be used to study the ...
Ponencia
P Systems for Social Networks
(Fénix Editora, 2011)
We introduce some variants of P systems that mimic the behaviour of social networks and illustrate some of the characteristics of them. Other concepts related to social networks are discussed and suitable classes of P ...
Ponencia
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
(Fénix Editora, 2014)
As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal veri cation will become more prevalent. This is so because \programming" in unconventional substrates ...
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 as specification language. This approach is based on a transformation of the transitional, ...