Buscar
Mostrando ítems 221-230 de 233
Artículo
Dynamic threshold neural P systems
(Elsevier, 2019)
Pulse coupled neural networks (PCNN, for short) are models abstracting the synchronization behavior observed experimentally for the cortical neurons in the visual cortex of a cat’s brain, and the intersecting cortical ...
Tesis Doctoral
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 ...
Artículo
An infinite hierarchy of languages defined by dP systems
(Elsevier, 2012)
Here, we continue the study of the recently introduced dP automata. They are symport/antiport P systems consisting of a number of components, each one accepting a string, and working together in recognizing the concatenation ...
Artículo
The GPU on the simulation of cellular computing models
(Springer, 2012)
Membrane Computing is a discipline aiming to abstract formal computing models, called membrane systems or P systems, from the structure and functioning of the living cells as well as from the cooperation of cells in ...
Artículo
Spiking Neural P Systems with Structural Plasticity
(Springer, 2015)
Spiking neural P (SNP) systems are a class of parallel, distributed, and nondeterministic computing models inspired by the spiking of biological neurons. In this work, the biological feature known as structural plasticity ...
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 ...
Artículo
Preface Membrane Computing 2016
(Springer, 2016)
Artículo
Application of Neural-Like P Systems With State Values for Power Coordination of Photovoltaic/Battery Microgrids
(IEEE Computer Society, 2018)
The power coordination control of a photovoltaic/battery microgrid is performed with a novel bio-computing model within the framework of membrane computing. First, a neural-like P system with state values (SVNPS) is ...
Artículo
Programas moleculares y sistemas lógico-formales
(De Gruyter, 2012)
Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación molecular. Para ello, se asocia un sistema lógico-formal, mediante una lógica pura de segundo orden, ...