Buscar
Mostrando ítems 261-270 de 411
Artículo
Membrane creation and symport/antiport rules solving QSAT
(Springer, 2022-09-12)
In Membrane Computing, diferent variants of devices can be found by changing both syntactical and semantic ingredients. These devices are usually called membrane systems or P systems, and they recall the structure and ...
Artículo
A software tool for verification of Spiking Neural P Systems
(Springer, 2008)
The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is usually a hard task. Basically, the verification process consists of the search of invariant formulae ...
Ponencia
Cell-like and Tissue-like Membrane Systems as Recognizer Devices
(Rosillo's S.L., 2006)
Most of the variants of membrane systems found in the literature are generally thought as generating devices. In this paper recognizer computational devices (cell–like and tissue–like) are presented in the framework of ...
Artículo
Preface Special Issue: Advances in Membrane Computing
(Springer, 2016)
Artículo
Fault Diagnosis of Electric Power Systems Based on Fuzzy Reasoning Spiking Neural P Systems
(IEEE Computer Society, 2015)
This paper proposes a graphic modeling approach, fault diagnosis method based on fuzzy reasoning spiking neural P systems (FDSNP), for power transmission networks. In FDSNP, fuzzy reasoning spiking neural P systems (FRSN ...
Ponencia
The Role of the Environment in Tissue P Systems with Cell Division
(Fénix Editora, 2012)
Classical tissue P systems with cell division have a special alphabet whose elements appear at the initial configuration of the system in an arbitrary large number of copies. These objects are shared in a distinguished ...
Ponencia
Weak Metrics on Configurations of a P System
(Fénix Editora, 2004)
The evolution of a P system generates a tree of computation po- tentially in¯nite where it is very difficult to set the degree of closeness between two configurations. The problem is specially hard if we want to quantify ...
Artículo
Proof techniques in Membrane Computing
(Elsevier, 2021)
From the creation of the field of Membrane Computing in 1998, several research lines havebeen opened. On the one hand, theoretical questions like the computational power and thecomputational efficiency of P systems have ...
Artículo
Computational Efficiency of Cellular Division in Tissue-like Membrane Systems
(Romanian Academy, 2008)
Tissue-like P systems with cell division are computing models in the framework of membrane computing. They are inspired by the intercellular communication and neuronal synaptics, their structures being formalized ...
Ponencia
A Software Tool for Computer-Aided Design of Cell-like Spiking Neural P Systems
(IMCS: International Membrane Computing Society, 2016)
Spiking neural P systems (SN P systems, for short) constitute a class of computing models in the research eld of membrane computing. Inspired by the interactions among neurons in the brain, they have attracted much ...