Buscar
Mostrando ítems 1-10 de 23
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
From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency
(Elsevier, 2018)
P systems with active membranes use evolution, communication, dissolution and division(or separation) rules. They do not use cooperation neither priorities, but they haveelectrical charges associated with membranes, which ...
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
InDM2: Interactive Dynamic Multi-Objective Decision Making Using Evolutionary Algorithms
(Elsevier, 2018)
Dynamic optimization problems involving two or more conflicting objectives appear in many real-world scenarios, and more cases are expected to appear in the near future with the increasing interest in the analysis ...
Artículo
jMetalSP: A framework for dynamic multi-objective big data optimization
(Elsevier, 2018)
Multi-objective metaheuristics have become popular techniques for dealing with complex optimization problems composed of a number of conflicting functions. Nowadays, we are in the Big Data era, so metaheuristics must be ...
Artículo
A logic-algebraic tool for reasoning with Knowledge-Based Systems
(Elsevier, 2018)
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual ...
Capítulo de Libro
Other Buds in Membrane Computing
(Springer, 2018)
It is well-known the huge Mario’s contribution to the development of Membrane Computing. Many researchers may relate his name to the theory of complexity classes in P systems, the research of frontiers of the tractability ...
Artículo
Simulation of Rapidly-Exploring Random Trees in Membrane Computing with P-Lingua and Automatic Programming
(Agora University of Oradea, 2018)
Methods based on Rapidly-exploring Random Trees (RRTs) have been widely used in robotics to solve motion planning problems. On the other hand, in the membrane computing framework, models based on Enzymatic Numerical P ...
Artículo
Modeling Population Dynamics of Roseate Terns (Sterna dougallii) in the Northwest Atlantic Ocean
(Elsevier, 2018)
The endangered population of roseate terns (Sterna dougallii) in the Northwestern Atlantic Ocean consistsof a network of large and small breeding colonies on islands. This type of fragmented population poses anexceptional ...