Browsing Ciencias de la Computación e Inteligencia Artificial by Title
Now showing items 5-24 of 880
-
Article
A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study
(Science Direct, 2011)The models used for ecosystems modeling are generally based on differential equations. However, in recent yearsnewcomputational ...
-
Chapter of Book
A bio-inspired software for segmenting digital images.
(2010)Segmentation in computer vision refers to the process of partitioning a digital image into multiple segments (sets of ...
-
Presentation
A bioinspired computing approach to model complex systems
(Springer, 2014)The use of models is intrinsic to any scientific activity. In particular, formal/mathematical models provide a relevant ...
-
Presentation
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers
(Springer, 2006)The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant ...
-
Presentation
A Case Study in (Mem)Brane Computation: Generating {n2 | n 1}
(Fénix Editora, 2006)The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant ...
-
Presentation
A Cellular Solution to Subset Sum Using Division of Non-elementary Membranes and Dissolution, with Time and Initial Resources Bounded by log k
(SEERC, South-East European Research Centre, 2007)The aim of our paper is twofold. On one hand we prove the ability of polar- izationless P systems with dissolution and ...
-
Presentation
A Cellular Sudoku Solver
(Fénix Editora, 2010)Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple ...
-
Presentation
A Cellular Way to Obtain Homology Groups in Binary 2D Images
(Fénix Editora, 2010)In this paper we present a P systems-based solution for the Homology Groups of Binary 2D Image (HGB2I) Problem, a classical ...
-
Presentation
A Certified Polynomial-Based Decision Procedure for Propositional Logic
(Springer, 2001)In this paper we present the formalization of a decision procedure for Propositional Logic based on polynomial normalization. ...
-
Presentation
A Characterization of PSPACE with Antimatter and Membrane Creation
(Fénix Editora, 2015)The use of negative information provides a new tool for exploring the limits of P systems as computational devices. In ...
-
Presentation
A CLIPS Simulator for Recognizer P Systems with Active Membranes
(Fénix Editora, 2004)In this paper we propose a new way to represent recognizer P systems with active membranes based on Production Systems ...
-
Article
A colouring protocol for the generalized Russian cards problem
(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 ...
-
Presentation
A Comparison of PSO and GA Approaches for Gene Selection and Classification of Microarray Data
(ACM Digital Library, 2007) -
Article
A complete arithmetic calculator constructed from spiking neural P systems and its application to information fusion
(World Scientific, 2021)Several variants of spiking neural P systems (SNPS) have been presented in the literature to perform arith- 1 metic ...
-
Presentation
A Computational Complexity Theory in Membrane Computing
(Springer, 2010)In this paper, a computational complexity theory within the framework of Membrane Computing is introduced. Polynomial ...
-
Article
A computational modeling for real ecosystems based on P systems
(Springer, 2011)In this paper, a P systems based general framework for modeling ecosystems dynamics is presented. Particularly, ecosystems ...
-
Article
A computational study of liposome logic: towards cellular computing from the bottom up
(Springer, 2010)In this paper we propose a new bottom-up approach to cellular computing, in which computational chemical processes are ...
-
Article
A Decade of Ecological Membrane Computing Applications
(IMCS: International Membrane Computing Society, 2018)A short summary of recent ecological modelling applications within mem- brane computing developed by the Research Group ...
-
Presentation
A fast local algorithm for track reconstruction on parallel architectures
(IEEE Computer Society, 2019)The reconstruction of particle trajectories, tracking, is a central process in the reconstruction of particle collisions ...
-
Article
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 ...