Buscar
Mostrando ítems 11-20 de 47
Artículo
P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification
(IEEE Computer Society, 2018)
Automatic design of mechanical procedures solving abstract problems is a relevant scientific challenge. In particular, automatic design of membranes systems performing some prefixed tasks is an important and useful research ...
Artículo
A membrane computing framework for self-reconfigurable robots
(Springer, 2019)
Self-reconfigurable robots are built by modules which can move in relationship to each other, which allows the robot to change its physical form. Finding a sequence of module moves that reconfigures the robot from the ...
Ponencia
P systems simulations on massively parallel architectures
(Universidad Complutense de Madrid, 2010)
Membrane Computing is an emergent research area studying the behaviour of living cells to de ne bio-inspired computing devices, also called P systems. Such devices provide polynomial time solutions to NP-complete problems ...
Artículo
A software tool for generating graphics by means of P systems
(Springer, 2011-06)
The hand-made graphical representation of the configuration of a P system becomes a hard task when the number of membranes and objects increases. In this paper we present a new software tool, called JPLANT, for computing ...
Ponencia
P Systems based Computing Polynomials: Design and Formal Verification
(IMCS: International Membrane Computing Society, 2015)
Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the previous work that used evolutionary algorithms to fulfill the task, this paper presents the design ...
Ponencia
On GPU-Oriented P Systems
(IEEE Computer Society, 2018)
Ponencia
Design of Specific P Systems Simulators on GPUs
(Springer, 2018)
In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, having effi-cient simulation tools is crucial, and for this purpose, parallel platforms should be ...
Artículo
A Survey of Parallel Simulation of P Systems with GPUs
(IMCS: International Membrane Computing Society, 2017)
P system simulators become essential for model verification and validation, since they reproduce the semantics of the models in an automatic way. For this reason, in the literature, many authors have proposed several ...
Artículo
Evolving cell models for systems and synthetic biology
(Springer, 2010)
This paper proposes a new methodology for the automated design of cell models for systems and synthetic biology. Our modelling framework is based on P systems, a discrete, stochastic and modular formal modelling ...
Artículo
Seeking computational efficiency boundaries: the Păun’s conjecture
(Springer, 2020)
In 2005, Gh. Păun raised an interesting question concerning the role of electrical charges in P systems with active membranes from a complexity point of view. Specifically, he formulated a question about the computational ...