Buscar
Mostrando ítems 1-8 de 8
Artículo
P systems with evolutional symport and membrane creation rules solving QSAT
(Elsevier, 2022)
P systems are computing devices based on sets of rules that dictate how they work. While some of these rules can change the objects within the system, other rules can even change the own structure, like creation rules. ...
Ponencia
Kernel P Systems: Applications and Implementations
(Springer, 2013)
This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific language for describing kP systems and its translation into Promela, the specification language of ...
Ponencia
A P–Lingua Based Simulator for Spiking Neural P Systems
(Springer, 2011)
The research within the field of Spiking Neural P systems (SN P systems, for short) is focusing mainly in the study of the computational completeness (they are equivalent in power to Turing machines) and computational ...
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 ...
Artículo
P systems with evolutional communication and division rules
(MDPI, 2021)
A widely studied field in the framework of membrane computing is computational complexity theory. While some types of P systems are only capable of efficiently solving problems from the class P, adding one or more syntactic ...
Artículo
Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems
(Old City Publishing, 2013)
Gene regulatory networks are useful models for biologists to understand the interactions among genes in living organisms. In this work, we consider a special class of gene regulatory networks, called logical networks, ...
Artículo
3-Col problem modelling using simple kernel P systems
(Taylor and Francis, 2013)
This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems) and investigates through a 3-colouring problem case study the expressive power and efficiency of kernel P systems. It describes ...
Ponencia
Analysing Gene Networks with PDP Systems. Arabidopsis thaliana, a Case Study
(Fénix Editora, 2013)
Gene Regulatory Networks (GRNs) are a useful tool for biologists to understand the interactions among genes in living organisms. A special kind of GRNs known as Logic Networks (LNs) has been recently introduced. These ...