Buscar
Mostrando ítems 21-30 de 44
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 ...
Artículo
Efficient computation in rational-valued P systems
(Cambridge University Press, 2009)
In this paper, we describe a new representation for deterministic rational-valued P systems that allows us to form a bridge between membrane computing and linear algebra. On the one hand, we prove that an efficient ...
Artículo
Thresholding 2D Images with Cell-like P Systems
(Romanian Academy, 2010)
Thresholding is the process of splitting a digital image into sets of pixels in order to make it easier to analyze. Pixels are ordered according to a scale of one of their features as brightness or color and the ¯nal ...
Artículo
Semantics of deductive databases with spiking neural P systems
(Elsevier, 2018)
The integration of symbolic reasoning systems based on logic and connectionist systems based on thefunctioning of living neurons is a vivid research area in computer science. In the literature, one can findmany efforts ...
Artículo
A parallel algorithm for skeletonizing images by using spiking neural P systems
(Elsevier, 2013-09)
Skeletonization is a common type of transformation within image analysis. In general, the image B is a skeleton of the black and white image A, if the image B is made of fewer black pixels than the image A, it does preserve ...
Artículo
Two-hidden-layer Feedforward Neural Networks are Universal Approximators: A Constructive Approach
(Cornell University, 2019)
It is well known that Artificial Neural Networks are universal approximators. The classical result proves that, given a continuous function on a compact set on an n-dimensional space, then there exists a one-hidden-layer ...
Artículo
Representative datasets for neural networks
(Elsevier, 2018)
Neural networks present big popularity and success in many fields. The large training time process problem is a very important task nowadays. In this paper, a new approach to get over this issue based on reducing dataset ...
Artículo
A fast P system for finding a balanced 2-partition
(Springer, 2005)
Numerical problems are not very frequently addressed in the P systems literature. In this paper we present an effective solution to the 2-Partition problem via a family of deterministic P systems with active membranes ...
Artículo
Implementation on CUDA of the Smoothing Problem with Tissue-Like P Systems
(IGI GLOBAL, 2011)
Smoothing is often used in Digital Imagery for improving the quality of an image by reducing its level of noise. This paper presents a parallel implementation of an algorithm for smoothing 2D images in the framework of ...
Artículo
How to express tumours using membrane systems
(ELSEVIER SCIENCE INC, 2007)
In this paper we discuss the potential usefulness of membrane systems as tools for modelling tumours. The approach is followed both from a macroscopic and a microscopic point of view. In the first case, one considers the ...