Buscar
Mostrando ítems 41-43 de 43
Artículo
Fuzzy reasoning spiking neural P system for fault diagnosis
(Elsevier, 2013)
Spiking neural P systems (SN P systems) have been well established as a novel class of distributed parallel computing models. Some features that SN P systems possess are attractive to fault diagnosis. However, handling ...
Ponencia
Formal Verification of P Systems with Active Membranes through Model Checking
(Springer, 2011)
Formal verification of P systems using model checking has attracted a significant amount of research in recent years. However, up to now only P systems with static structure have been considered. This paper makes ...
Ponencia
Using A Kernel P System to Solve The 3-Col Problem
(MTA SZTAKI, the Computer and Automation Research Institute of the Hungarian Academy of Sciences, 2012)
The newly introduced Kernel P systems offer an unitary and elegant way of integrating established features of existing P system variants with new elements with potential value for formal modelling. This paper presents ...