Buscar
Mostrando ítems 21-30 de 411
Ponencia
Computing Backwards with P Systems
(Fénix Editora, 2009)
Searching all the configurations C′ such that produce a given configuration C, or, in other words, computing backwards in Membrane Computing is an extremely hard task. The current approximations are based in heavy hand-made ...
Artículo
Symport/Antiport P Systems with Three Objects Are Universal
(IOS Press, 2005)
The operations of symport and antiport, directly inspired from biology, are already known to be rather powerful when used in the framework of P systems. In this paper we confirm this observation with a quite surpris- ing ...
Capítulo de Libro
Attacking the Common Algorithmic Problem by Recognizer P Systems
(Springer, 2005)
Many NP-complete problems can be viewed as special cases of the Common Algorithmic Problem (CAP). In a precise sense, which will be defined in the paper, one may say that CAP has a property of local universality. In ...
Artículo
Cascading Failures Analysis Considering Extreme Virus Propagation of Cyber-Physical Systems in Smart Grids
(Hindawi, 2019)
Communication networks as smart infrastructure systems play an important role in smart girds to monitor, control, and manage the operation of electrical networks. However, due to the interdependencies between communication ...
Ponencia
Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems
(Springer, 2014)
This paper discusses the application of fuzzy reasoning spiking neural P systems with real numbers (rFRSN P systems) to fault diagnosis of electric locomotive systems. Relationships among breakdown signals and faulty ...
Artículo
Simulation of P systems with active membranes on CUDA
(Oxford University Press, 2010)
P systems or Membrane Systems provide a high-level computational modelling framework that combines the structure and dynamic aspects of biological systems in a relevant and understandable way. They are inherently parallel ...
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
Simulating the Bitonic Sort on a 2D-mesh with P Systems
(South-East European Research Centre, 2007)
This paper gives a version of the parallel bitonic sorting algorithm of Batcher, which can sort N elements in time O(log2 N). When applying it to the 2D mesh architecture, two indexing functions are considered, row-major ...
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 ...
Tesis Doctoral
Verificación de programas en modelos de computación no convencionales
(2002)
El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de procedimientos mecánicos en modelos no convencionales, en el marco de la Computación Natural. Para ello, ...