Capítulos (Ciencias de la Computación e Inteligencia Artificial)
Recent Submissions
-
Chapter of Book
Cellular solutions to some numerical NP-complete problems: A prolog implementation
(Idea Group Inc., 2005)This chapter is devoted to the study of numerical NP-complete problems in the framework of cellular systems with membranes, ...
-
Chapter of Book
Characterizing tractability by cell-like membrane systems
(WORLD SCIENTIFIC PUBL CO PTE LTD, 2006)In this paper we present a polynomial complexity class in the framework of membrane computing. In this context, and using ...
-
Chapter of Book
Asynchronous Spiking neural P systems with structural plasticity
(Springer, 2015)Spiking neural P (in short, SNP) systems are computing devices inspired by biological spiking neurons. In this work we ...
-
Chapter of Book
Implementing Enzymatic Numerical P Systems for AI Applications by Means of Graphic Processing Units
(Springer, 2013)A P system represents a distributed and parallel computing model in which basic data structures are, for instance, multisets ...
-
Chapter of Book
Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology
(Springer, 2014)This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel ...
-
Chapter of Book
Evolution of the Flowering Pathways
(Springer, 2016)Flowering plants are some of the most successful organisms on Earth, particularly those used in agriculture due to the ...
-
Chapter of Book
On the Velocity Update in Multi-Objective Particle Swarm Optimizers
(Springer, 2010)Since its appearance, Particle Swarm Optimization (PSO) has become a very popular technique for solving optimization ...
-
Chapter of Book
Applications of Membrane Computing
(Springer, 2006) -
Chapter of Book
Membrane System-Based Models for Specifying Dynamical Population Systems
(Springer, 2014)Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modelling framework, which has ...
-
Chapter of Book
Formal Verification of Programs in Molecular Models with Random Access Memory
(Fénix Editorial, 2005)Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning ...
-
Chapter of Book
Skeletonizing Digital Images with Cellular Automata
(Springer, 2014)The skeletonization of an image consists of converting the initial image into a more compact representation. In general, ...
-
Presentation
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data
(Springer, 2016)This work introduces a (qualitative) data-driven framework to extract patterns of pedestrian behaviour and synthesize ...
-
Chapter of Book
On Experimental Efficiency for Retraction Operator to Stem Basis
(Springer, 2018)In this paper, we introduce an implementation of an inference rule called “Independence Rule” which lets us reduce the ...
-
Chapter of Book
Topología simplicial en ACL2
(Universidad de la Rioja, 2010) -
Presentation
Towards Emotion Recognition: A Persistent Entropy Application
(Springer, 2019)Emotion recognition and classification is a very active area of research. In this paper, we present a first approach to ...
-
Chapter of Book
A Simulation Workflow for Membrane Computing: From MeCoSim to PMCGPU Through P-Lingua
(Springer, 2018)P system simulators are of high importance in Membrane Computing, since they provide tools to assist on model validation ...
-
Chapter of Book
A Kernel-Based Membrane Clustering Algorithm
(Springer, 2018)The existing membrane clustering algorithms may fail to handle the data sets with non-spherical cluster boundaries. To ...
-
Chapter of Book
Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing
(Springer, 2018)Many variants of P systems have the ability to generate an exponential number of membranes in linear time. This feature ...
-
Chapter of Book
Other Buds in Membrane Computing
(Springer, 2018)It is well-known the huge Mario’s contribution to the development of Membrane Computing. Many researchers may relate his ...
-
Chapter of Book
Membrane Computing as a Modelling Tool: Looking Back and Forward from Sevilla
(Springer, 2018)This paper is a tribute to Prof. Mario de Jesús Pérez- Jiménez. An overview of modelling applications in membrane ...