Buscar
Mostrando ítems 1-6 de 6
Artículo
The Unique Satisfiability Problem from a Membrane Computing Perspective
(Romanian Academy, Section for Information Science and Technology, 2018)
Complexity class DP is the class of “differences” of any two languages in NP. It verifies that NP[ co-NP DP PNP, where PNP is the second level of the polynomial hierarchy, specifically, it is the class of languages ...
Artículo
P systems with symport/antiport rules: When do the surroundings matter?
(Elsevier, 2018-05-01)
Cell-like P systems where communication between the regions are carried out by rules of type symport/antiport are considered. These systems compute by changing the places of objects with respect to the membranes, and not ...
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
The role of integral membrane proteins in computational complexity theory
(Springer, 2018)
In the framework of Membrane Computing, several tools to tackle the P versus NP problems by means of frontiers of the efficiency expressed in terms of syntactic or semantic ingredients, have been developed. In this paper, ...
Artículo
Fault Diagnosis of Power Systems Using Intuitionistic Fuzzy Spiking Neural P Systems
(IEEE Computer Society, 2018)
In this paper, intuitionistic fuzzy spiking neural P (IFSNP) systems as a variant are proposed by integrating intuitionistic fuzzy logic into original spiking neural P systems. Compared with a common fuzzy set, ...
Artículo
A Decade of Ecological Membrane Computing Applications
(IMCS: International Membrane Computing Society, 2018)
A short summary of recent ecological modelling applications within mem- brane computing developed by the Research Group on Natural Computing (RGNC) is presented here. A timeline of models presented in the last 10 years ...