Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Title
Now showing items 120 of 156

3Col problem modelling using simple kernel P systems [Article]
(Taylor and Francis, 2013)This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems) and investigates through a 3colouring problem case study the expressive power and efficiency of kernel P systems. It describes ...

A bioinspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study [Article]
(Science Direct, 2011)The models used for ecosystems modeling are generally based on differential equations. However, in recent yearsnewcomputational models based on biological processes, or bioinspired models, have arisen, among which are P ...

A colouring protocol for the generalized Russian cards problem [Article]
(Elsevier, 2013)In the generalized Russian cards problem, Alice, Bob and Cath draw a, b and c cards, respectively, from a deck of size a + b + c. Alice and Bob must then communicate their entire hand to each other, without Cath learning ...

A computational modeling for real ecosystems based on P systems [Article]
(Springer, 2011)In this paper, a P systems based general framework for modeling ecosystems dynamics is presented. Particularly, ecosystems are specified by means of multienvironment P systems composed of a finite number of environments, ...

A fast P system for finding a balanced 2partition [Article]
(Springer, 2005)Numerical problems are not very frequently addressed in the P systems literature. In this paper we present an effective solution to the 2Partition problem via a family of deterministic P systems with active membranes ...

A Formal Proof of Dickson’s Lemma in ACL2 [Presentation]
(Springer, 2003)Dickson’s Lemma is the main result needed to prove the termination of Buchberger’s algorithm for computing Gr¨obner basis of polynomial ideals. In this case study, we present a formal proof of Dickson’s Lemma using the ...

A formalization of membrane systems with dynamically evolving structures [Article]
(Taylor and Francis, 2013)This article introduces a general formalism/framework flexible enough to cover descriptions of different variants of P systems having a dynamic membrane structure. Our framework can be useful for the precise definition ...

A Framework for Complexity Classes in Membrane Computing [Article]
(Elsevier, 2009)The purpose of the present work is to give a general idea about the existing results and open problems concerning the study of complexity classes within the membrane computing framework. To this aim, membrane systems ...

A geometric protocol for cryptography with cards [Article]
(Springer, 2015)In the generalized Russian cards problem, the three players Alice, Bob and Cath draw a, b and c cards, respectively, from a deck of a + b + c cards. Players only know their own cards and what the deck of cards is. Alice ...

A KernelBased Membrane Clustering Algorithm [Chapter of Book]
(Springer, 2018)The existing membrane clustering algorithms may fail to handle the data sets with nonspherical cluster boundaries. To overcome the shortcoming, this paper introduces kernel methods into membrane clustering algorithms ...

A lineartime tissue P system based solution for the 3coloring problem [Article]
(Elsevier, 2007)In the literature, several examples of the efficiency of celllike P systems regarding the solution of NPcomplete problems in polynomial time can be found (obviously, trading space for time). Recently, different new ...

A logicalgebraic tool for reasoning with KnowledgeBased Systems [Article]
(Elsevier, 2018)A detailed exposition of foundations of a logicalgebraic model for reasoning with knowledge bases speci ed by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual ...

A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems [Article]
(MIT Press, 2008)Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to communicate in order to regulate the expression of certain or specific genes in a coordinated way ...

A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors [Article]
(Springer, 2010)We consider three complexity classes defined on Accepting Hybrid Networks of Evolutionary Processors (AHNEP) and compare them with the classical complexity classes defined on the standard computing model of Turing machine. ...

A Note on Complexity Measures for Probabilistic P Systems [Article]
(J.UCS.org, 2004)In this paper we present a first approach to the definition of different entropy measures for probabilistic P systems in order to obtain some quantitative parameters showing how complex the evolution of a P system is. ...

A note on parameter free Π1induction and restricted exponentiation [Article]
(Wiley, 2011)We characterize the sets of all Π2 and all $\mathcal {B}(\Sigma _{1})$equation image (= Boolean combinations of Σ1) theorems of IΠ−1 in terms of restricted exponentiation, and use these characterizations to prove that both ...

A novel image thresholding method based on membrane computing and fuzzy entropy [Article]
(IOS Press, 2013)Multilevel thresholding methods are a class of most popular image segmentation techniques, however, they are not computationally efficient since they exhaustively search the optimal thresholds to optimize the objective ...

A PLingua based simulator for Tissue P systems [Article]
(Elsevier, 2010)Investigations within the field of tissuelike P systems are being conducted, on one hand studying their computational efficiency, and on the other hand exploring the possibilities to use them as a computational modelling ...

A parallel algorithm for skeletonizing images by using spiking neural P systems [Article]
(Elsevier, 201309)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 ...

A polynomial alternative to unbounded environment for tissue P systems with cell division [Article]
(Taylor and Francis, 2013)The standard definition of tissue P systems includes a special alphabet whose elements are assumed to appear in the initial configuration of the system in an arbitrarily large number of copies. These objects reside in ...