DÍAZ PERNIL , Daniel

Algebraic Topology has been proved to be an useful tool to be used in image processing. In this case we will borrow some elements from Algebraic Topology in order to show a parallel algorithm for thinning a binary 3D image respecting its shape information. The parallelization of the thinning algorithm is based on Membrane Computing. This...

In this paper we present a new way to determine the geometrical objects associated to the Homology groups of a 2D-digital binary image. In fact, using Membrane Computing with techniques of spanning forests, we are able to define a parallel algorithm which calculates not only the Betti numbers, but also the geometric objects which generate these holes.

The integration of symbolic reasoning systems based on logic and connectionist systems based on the functioning of living neurons is a vivid research area in computer science. In the literature, one can found many e orts where di erent reasoning systems based on di erent logics are linked to classic arti cial neural networks. In this paper, we...

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 where different reasoning systems based on different logics are linked to classic artificialneural networks. In this paper, we...

Membrane Computing is a paradigm inspired from biological cellular communication. Membrane computing devices are called P systems. In this paper we calculate some algebraic-topological information of 2D and 3D images in a general and parallel manner using P systems. First, we present a new way to obtain the homology groups of 2D digital images...

Membrane Computing is a biologically inspired computational model. Its devices are called P systems and they perform computations by applying a finite set of rules in a synchronous, maximally parallel way. In this paper, we open a new research line: P systems are used in Computational Topology within the context of the Digital Image. We choose...

Membrane Computing is a new paradigms inspired from cellular communication. We use in this paper the computational devices called P systems to calculate in a general maximally parallel manner the homology groups of binary 2D images. So, the computational time to calculate this homology information only depends on the thickness of them.

The application of Membrane Computing techniques to the study of digital images has been a vivid research area in the last years. In this paper, some of the research lines are presented and many of the main published papers are cited in the bibliography.

We present a solution of the segmentation problem using a distributed, non deterministic and parallel computational model known as tissue-like P systems. We present a new technique to segment images with respect to the algorithm appeared in [1], where we use multiple auxiliary cells and not only one.

Membrane Computing is a biologically inspired computational model. Its devices are called P systems and they perform computations by applying a finite set of rules in a synchronous, maximally parallel way. In this paper, we develop a variant of P-system, called tissue-like P system in order to design in this computational setting, a...

Membrane Computing is a new paradigm inspired from cellular communication. Until now, P systems have been used in research areas like modeling chemical process, several ecosystems, etc. In this paper, we apply P systems to Computational Topology within the context of the Digital Image. We work with a variant of P systems called tissue-like P...

No description

Usually, the changes produced in the membrane structure of a P system are considered side effects. The output of the computation is encoded as a multiset placed in a specific region and the membrane structure in the halting configuration is not considered important. In this paper we explore P systems where the target of the computation is...

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 its topological properties and, in some sense, keeps its meaning. In this paper, we aim to use spiking neural P systems (a...

In this paper, we show a new example of bridging Algebraic Topology, Membrane Computing and Digital Images. In [24], a new algorithm for thinning multidimensional black and white digital images by using cell complexes was presented. Such cell complexes allow a discrete partition of the space and the algorithm preserves topological and...

The 3-COL problem consists on deciding if the regions of a map can be coloured with only three colors bearing in mind that two adjacent regions must be coloured with di erent colors. It is a NP problem and it has been previously used in complexity studies in membrane computing to check the ability of a model for solving problems of such...

It is well known that the polynomial complexity class of recognizer polarizationless P systems with active membranes, without dissolution and with division for elementary and non-elementary membranes is exactly the complexity class P (see [6], Th. 2). In this paper, we prove that if such P system model is endowed with antimatter and...

P systems can be classi ed in two main groups: P systems with the membrane structure described by a tree, and tissue P systems with the membranes placed in the nodes of an arbitrary graph. NP-complete problems have been solved in linear time by trading space for time in the framework of recognizing tissue P systems with cell division. The...

Ramsey numbers deal with conditions when a combinatorial object necessarily contains some smaller given objects. It is well known that it is very difficult to obtain the values of Ramsey numbers. In this work, a theoretical chemical/biological solution is presented in terms of membrane computing for the decision version of Ramsey number...

Problems associated with the treatment of digital images have several interesting features from a bio-inspired point of view. One of them is that they can be suitable for parallel processing, since the same sequential algorithm is usually applied in different regions of the image. In this paper we report a work-in-progress of a...

In this paper we report a work-in-progress whose final target is the implementation of tissue-like P system in a cluster of computers which solves some instances of the segmentation problem in 2D Digital Imagery. We focus on the theoretical aspects and the problem of choosing a maximal number of application of rules by using Integer Linear...

Skeletonizing an image is representing a shape with a small amount of information by converting the initial image into a more compact representation and keeping the meaning features. In this paper we use spiking neural P systems to solve this problem. Based on such devices, a parallel software has been implemented on the GPU architecture. Some...

In [18], a membrane parallel theoretical framework for computing (co)homology information of fore- ground or background of binary digital images is developed. Starting from this work, we progress here in two senses: (a) providing advanced topological information, such as (co)homology torsion and effi- ciently answering to any decision or...

It is well known that polarizationless recognizer P systems with active membranes, without dissolution, with division of elementary and non-elementary membranes, with antimatter and matter/antimatter annihilation rules can solve all problems in NP when the annihilation rules have (weak) priority over all the other rules. Until now, it was an...