Author profile: Gutiérrez Naranjo, Miguel Ángel
Institutional data
Name | Gutiérrez Naranjo, Miguel Ángel |
Department | Ciencias de la Computación e Inteligencia Artificial |
Knowledge area | Ciencia de la Computación e Inteligencia Artificial |
Professional category | Profesor Titular de Universidad |
Request | |
Statistics
-
No. publications
167
-
No. visits
17946
-
No. downloads
24902
Publications |
---|
Article
Trainable and explainable simplicial map neural networks
(ELSEVIER SCIENCE INC, 2024)
Simplicial map neural networks (SMNNs) are topology-based neural networks with interesting properties such as universal ... |
Article
An in-depth analysis of data reduction methods for sustainable deep learning
(F1000 Research / European Commission, 2024)
In recent years, Deep Learning has gained popularity for its ability to solve complex classification tasks, increasingly ... |
Final Degree Project
Las matemáticas de la atención
(2023)
Nowadays, Artificial Intelligence covers an increasingly number of areas both in the scientific field and in everyday life, ... |
Final Degree Project
Una aproximación matemática a la Inteligencia Artificial Explicable
(2023)
Local InterpretableModel-Agnostic Explanations (LIME) is awell-known approach to provide local interpretability to Machine ... |
Presentation
The metric-aware kernel-width choice for LIME
(CEUR-WS, 2023)
Local Interpretable Model-Agnostic Explanations (LIME) are a well-known approach to provide local interpretability to ... |
Article
PBIL for optimizing inception module in convolutional neural networks
(Oxford University Press, 2023)
Inception module is one of the most used variants in convolutional neural networks. It has a large portfolio of success ... |
Article
Deep learning applied to intracranial hemorrhage detection
(MDPI, 2023)
Intracranial hemorrhage is a serious medical problem that requires rapid and often intensive medical care. Identifying the ... |
Final Degree Project
Aspectos matemáticos de las Redes Generativas Antagónicas
(2022)
Machine learning, and neural networks in particular, have become a very useful resource for solving problems such as ... |
Article
Topology-based representative datasets to reduce neural network training resources
(Springer, 2022)
One of the main drawbacks of the practical use of neural networks is the long time required in the training process. Such ... |
Article
ALLERDET: A novel web app for prediction of protein allergenicity
(ACADEMIC PRESS INC ELSEVIER SCIENCE, 2022)
Allergic diseases are increasing around the world with unprecedented complexity and severity. One of the reasons is that ... |
Article
Evolutionary game theory in a cell: A membrane computing approach
(ELSEVIER SCIENCE INC, 2022)
Evolutionary Game Theory studies the spreading of strategies in populations. An important question of the area concerns ... |
Article
Simplicial-Map Neural Networks Robust to Adversarial Examples
(MDPI [Commercial Publisher], 2021)
Broadly speaking, an adversarial example against a classification model occurs when a small perturbation on an input data ... |
PhD Thesis
Computational topology on neural networks: from the data to the model
(2021)
Machine learning is drawn from a dataset that needs to be explained. Following this aim, a model is described to make ... |
Article
Optimizing the Simplicial-Map Neural Network Architecture
(MDPI, 2021)
Simplicial-map neural networks are a recent neural network architecture induced by simplicial maps defined between simplicial ... |
Master's Final Project
Interpretation of Deep Neural Networks as Dynamic Systems
(2020)
During last years the application of deep learning techniques has changed our lives from banking operations to medical ... |
Article
Two-hidden-layer feed-forward networks are universal approximators: A constructive approach
(ScienceDirect, 2020)
It is well-known that artificial neural networks are universal approximators. The classical existence result proves that, ... |
Presentation
PBIL for Optimizing Hyperparameters of Convolutional Neural Networks and STL Decomposition
(Springer, 2020)
The optimization of hyperparameters in Deep Neural Net-works is a critical task for the final performance, but it involves ... |
Article
Logic Negation with Spiking Neural P Systems
(Springer, 2020)
Nowadays, the success of neural networks as reasoning systems is doubtless. Nonetheless, one of the drawbacks of such ... |
Article
Representative Datasets: The Perceptron Case
(Cornell University, 2019)
One of the main drawbacks of the practical use of neural networks is the long time needed in the training process. Such ... |
Article
A membrane computing framework for self-reconfigurable robots
(Springer, 2019)
Self-reconfigurable robots are built by modules which can move in relationship to each other, which allows the robot ... |
Article
Towards a Philological Metric through a Topological Data Analysis Approach
(Cornell University, 2019)
The canon of the baroque Spanish literature has been thoroughly studied with philological techniques. The major representatives ... |
Article
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 ... |
Article
Membrane computing and image processing: a short survey
(SPRINGER; SPRINGERNATURE, 2019)
Membrane computing is a well-known research area in computer science inspired by the organization and behavior of live ... |
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 ... |
Final Degree Project
Fundamentos matemáticos de los métodos Kernel para aprendizaje supervisado
(2018)
El objetivo del presente estudio es resaltar la importancia de las máquinas de vector soporte, conjunto de técnicas de ... |
Article
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 ... |
Article
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 ... |
Article
Solving the 3-COL problem by using tissue P systems without environment and proteins on cells
(ELSEVIER SCIENCE INC, 2018)
The 3-COL problem consists on deciding if the regions of a map can be coloured with only three colors bearing in mind that ... |
Presentation
An Approach to the Bio-Inspired Control of Self-reconfigurable Robots
(Springer, 2017)
Self-reconfigurable robots are robots built by modules which can move in relationship to each other. This ability of ... |
Presentation
Solving the Bin-Packing Problem by Means of Tissue P System with 2-Division
(Springer, 2017)
The ability of tissue P systems with 2-division for solving NP problems in polynomial time is well-known and many solutions ... |
Article
Bio-inspired parallel computing of representative geometrical objects of holes of binary 2D-images
(INDERSCIENCE ENTERPRISES LTD, 2017)
In this paper, we present a bio-inspired parallel implementation of a solution of the problem of looking for the representative ... |
Article
Fully automatized parallel segmentation of the optic disc in retinal fundus images
(Elsevier, 2016)
This paper presents a fully automatic parallel software for the localization of the optic disc (OD) in retinal fundus color ... |
Presentation
Semantics of Deductive Databases in a Membrane Computing Connectionist Model
(Fénix, 2016)
The integration of symbolic reasoning systems based on logic and connectionist systems based on the functioning of living ... |
Article
Some Notes on Membrane Computing and Image Processing
(IMCS: International Membrane Computing Society, 2016)
The application of Membrane Computing techniques to the study of digital images has been a vivid research area in the last ... |
Presentation
Solving the 3-COL Problem by Using Tissue P Systems without Environment and Proteins on Cells
(Fénix, 2016)
The 3-COL problem consists on deciding if the regions of a map can be coloured with only three colors bearing in mind that ... |
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 ... |
Article
Recognizer P Systems with Antimatter
(Romanian Academy, Section for Information Science and Technology, 2015)
In this paper, we consider recognizer P systems with antimatter and the in uence of the matter/antimatter annihilation ... |
Presentation
The Pole Balancing Problem with Enzymatic Numerical P Systems
(Fénix Editora, 2015)
Pole balancing is a control benchmark widely used in engineering. It involves a pole a xed to a cart via a joint which ... |
Presentation
Solving SAT with Antimatter in Membrane Computing
(Fénix Editora, 2015)
The set of NP-complete problems is split into weakly and strongly NP- complete ones. The di erence consists in the in uence ... |
Presentation
On The Semantics of Annihilation Rules in Membrane Computing
(Fénix Editora, 2015)
It is well known that polarizationless recognizer P systems with active membranes, without dissolution, with division of ... |
Presentation
Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques
(Springer, 2014)
In Membrane Computing, the solution of a decision problem X belonging to the complexity class P via a polynomially uniform ... |
Presentation
Self-constructing Recognizer P Systems
(Fénix Editora, 2014)
Usually, the changes produced in the membrane structure of a P system are considered side effects. The output of the ... |
Presentation
Antimatter as a Frontier of Tractability in Membrane Computing
(Fénix Editora, 2014)
It is well known that the polynomial complexity class of recognizer polarizationless P systems with active membranes, ... |
Presentation
Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques
(Fénix Editora, 2014)
In Membrane Computing, the solution of a decision problem X belonging to the complexity class P via a polynomially uniform ... |
Presentation
Searching Partially Bounded Regions with P Systems
(Springer, 2014)
The problem of automatically marking the interior and exterior regions of a simple curve in a digital image becomes a hard ... |
Presentation
Simulating Turing Machines with Polarizationless P Systems with Active Membranes
(Springer, 2014)
We prove that every single-tape deterministic Turing machine working in t(n) t(n) time, for some function t:N→N t:N→N , ... |
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, ... |
Article
A parallel algorithm for skeletonizing images by using spiking neural P systems
(Elsevier, 2013)
Skeletonization is a common type of transformation within image analysis. In general, the image B is a skeleton of the ... |
Article
Segmenting images with gradient-based edge detection using Membrane Computing
(Elsevier, 2013)
In this paper, we present a parallel implementation of a new algorithm for segmenting images with gradient-based edge ... |
Presentation
Studying the Chlorophyll Fluorescence in Cyanobacteria with Membrane Computing Techniques
(Fénix Editora, 2013)
In this paper, we report a pioneer study of the decrease in chlorophyll uorescence produced by the reduction of MTT (a ... |
Presentation
Rete Algorithm for P System Simulators
(Fénix Editora, 2013)
The Rete algorithm is a well-known algorithm in rule-based production systems which builds directed acyclic graphs that ... |
Article
A Rete-based algorithm for rule selection in P systems
(Old City Publishing, Inc., 2013)
The Rete algorithm is a well-known pattern matching algorithm conceived to make rule-based production system implementa ... |
Presentation
Studying the Chlorophyll Fluorescence in Cyanobacteria with Membrane Computing Techniques
(Research Group of Natural Computing, 2013)
In this paper, we report a pioneer study of the decrease in chlorophyll fluorescence produced by the reduction of MTT (a ... |
Presentation
Skeletonizing Images by Using Spiking Neural P Systems
(Fénix Editora, 2012)
Skeletonizing an image is representing a shape with a small amount of information by converting the initial image into a ... |
Presentation
Counting Cells with Tissue-like P Systems
(Fénix Editora, 2012)
Counting the number of cells obtained in an experiment is crucial in many areas in Biology. Nonetheless, this is usually ... |
Presentation
A Membrane-Inspired Evolutionary Algorithm with a Population P System and its Application to Distribution System Recon guration
(Fénix Editora, 2012)
This paper develops a membrane-inspired evolutionary algorithm, PSMA, which is designed by using a population P system and ... |
Article
Designing a new software tool for digital imagery based on P systems
(2012)
In this paper we present a new software tool for dealing with the problem of segmentation in Digital Imagery. The ... |
Presentation
Parallel Skeletonizing of Digital Images by Using Cellular Automata
(Springer, 2012)
Recent developments of computer architectures together with alternative formal descriptions provide new challenges in the ... |
Article
Using membrane computing for effective homology
(2012)
Effective Homology is an algebraic-topological method based on the computational concept of chain homotopy equivalence on ... |
Presentation
Cell Complexes and Membrane Computing for Thinning 2D and 3D Images
(Fénix Editora, 2012)
In this paper, we show a new example of bridging Algebraic Topology, Membrane Computing and Digital Images. In [24], a new ... |
Article
A software tool for generating graphics by means of P systems
(Springer, 2011)
The hand-made graphical representation of the configuration of a P system becomes a hard task when the number of membranes ... |
Presentation
Depth-First Search with P Systems
(Springer, 2011)
The usual way to find a solution for an NP complete problem in Membrane Computing is by brute force algorithms. These ... |
Presentation
Smoothing Problem in 2D Images with Tissue-like P Systems and Parallel Implementation
(Fénix Editora, 2011)
Smoothing is often used in Digital Imagery to reduce noise within an image. In this paper we present a Membrane Computing ... |
Presentation
Forward and Backward Chaining with P Systems
(Fénix Editora, 2011)
On the one hand, one of the concepts which lies at the basis of membrane computing is the multiset rewriting rule. On the ... |
Presentation
Implementing Local Search with Membrane Computing
(Fénix Editora, 2011)
Local search is currently one of the most used methods for finding solution in real-life problems. In this paper we present ... |
Presentation
Integer Linear Programming for Tissue-like P Systems
(Fénix Editora, 2011)
In this paper we report a work-in-progress whose final target is the implementation of tissue-like P system in a cluster ... |
Presentation
A Parallel Implementation of the Thresholding Problem by Using Tissue-Like P Systems
(Springer, 2011)
In this paper we present a parallel algorithm to solve the thresholding problem by using Membrane Computing techniques. ... |
Presentation
Designing Tissue-like P Systems for Image Segmentation on Parallel Architectures
(Fénix Editora, 2011)
Problems associated with the treatment of digital images have several interesting features from a bio-inspired point of ... |
Presentation
P Systems with Replicator Dynamics: A Proposal
(Fénix Editora, 2011)
This short note proposes some ideas for considering evolutionary game theory in the area of membrane computing |
Article
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 ... |
Article
Local Search with P Systems
(IGI GLOBAL, 2011)
Local search is currently one of the most used methods for finding solutions in real-life problems. It is usually considered ... |
Article
On a partial affirmative answer for a Paun's Conjecture
(WORLD SCIENTIFIC PUBL CO PTE LTD, 2011)
At the beginning of 2005, Gheorghe Pun formulated a conjecture stating that in the framework of recognizer P systems with ... |
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 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 ... |
Article
Computing Homology Groups in Binary 2D Imagery by Tissue-like P Systems
(Romanian Academy, Section for Information Science and Technology, 2010)
We present a new solution for the Homology Groups of Binary 2D Image (HGB2I) Problem by using Membrane Computing techniques. ... |
Presentation
Membrane Computing Meets Artificial Intelligence: A Case Study
(Fénix Editora, 2010)
The usual way to find a solution for a NP complete problem with Membrane Computing techniques is by brute force algorithms ... |
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 rules. ... |
Presentation
An Application of Genetic Algorithms to Membrane Computing
(Fénix Editora, 2010)
The process of designing a P system in order to perform a task is a hard job. The researcher has often only an approximate ... |
Article
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 ... |
Presentation
Tissue-like P Systems Without Environment
(Fénix Editora, 2010)
In this paper we present a tissue-like P systems model with cell division the environment has been replaced by an extra ... |
Presentation
How Does a P System Sound?
(Fénix Editora, 2010)
P systems are computational devices versatile enough to represent many real-life scenarios. In this paper, we present a ... |
Presentation
Array Tissue-like P Systems
(Fénix Editora, 2010)
Array grammars have been studied in the framework of Membrane Comput- ing by using rewriting rules from transition P ... |
Presentation
Solving Sudoku with Membrane Computing
(IEEE Computer Society, 2010)
Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple rules. ... |
Article
A Linear Time Solution to the Partition Problem in a Cellular Tissue-Like Model
(AMER SCIENTIFIC PUBLISHERS, 2010)
Tissue-like P systems with cell division is a computing model in the framework of membrane computing that is based on the ... |
Presentation
A new way to obtain homology groups in Binary 2D images using membrane computing
(Universidad de Santiago de Compostela, 2010)
Membrane Computing is a computational model inspired in the structure and function of living cells and tissues. In this ... |
Book |
Presentation
Descriptional Complexity of Tissue-Like P Systems with Cell Division
(Springer, 2009)
In this paper we address the problem of describing the complexity of the evolution of a tissue-like P system with cell ... |
Presentation
Computing Backwards with P Systems
(Fénix Editora, 2009)
Searching all the configurations C′ such that produce a given configuration C, or, in other words, computing backwards in ... |
Article
First Steps Towards a CPU Made of Spiking Neural P Systems
(Agora University of Oradea, Romania, 2009)
We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely ... |
Presentation
Performing Arithmetic Operations with Spiking Neural P Systems
(Fénix Editora, 2009)
We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely ... |
Article
On the efficiency of cell-like and tissue-like recognizing membrane systems
(Wiley, 2009)
Cell-like recognizing membrane systems are computational devices in the framework of membrane computing inspired from the ... |
Presentation
Solving the Independent Set problem by using tissue-like P systems with cell division
(Springer, 2009)
Tissue-like P systems with cell division is a computing model in the framework of Membrane Computing inspired by the ... |
Presentation
Hebbian learning from spiking neural P systems view
(Springer, 2009)
Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ... |
Presentation
Solving the N-Queens Puzzle with P Systems
(Fénix Editora, 2009)
The N-queens puzzle consists on placing N queens on an N x Ngrid in such way that no two queens are on the same row, column ... |
Article
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 ... |
Presentation
Searching Previous Configurations in Membrane Computing
(Springer, 2009)
Searching all the configurations C′ which produce a given configuration C is an extremely hard task. The current approximations ... |
Presentation
Cell-like Versus Tissue-like P Systems by Means of Sevilla Carpets
(Fénix Editora, 2009)
Sevilla Carpets are a handy tool for comparing computations performed by different systems solving the same problem. Such ... |
Article
An approach to Ballistic deposition based on membrane computing
(Old City Publishing, Inc., 2009)
Ballistic Deposition was proposed by Vold [10] and Sutherland [9] as a model for colloidal aggregation. These early works ... |
Article
A uniform family of tissue P systems with cell division solving 3-COL in a linear time
(Elsevier, 2008)
Several examples of the efficiency of cell-like P systems regarding the solution of NPcomplete problems in polynomial time ... |
Presentation
Solving the Partition Problem by Using Tissue-like P Systems with Cell Division
(Fénix Editora, 2008)
Tissue-like P systems with cell division is a computing model in the framework of Membrane Computing that shares with the ... |
Presentation
A Fast Solution to the Partition Problem by Using Tissue-Like P Systems
(IEEE Computer Society, 2008)
Tissue-like P systems with cell division is a computing model in the framework of membrane computing based on the intercellular ... |
Presentation
A First Model for Hebbian Learning with Spiking Neural P Systems
(Fénix Editora, 2008)
Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ... |
Presentation
Testing Einstein’s Formula on Brownian Motion Using Membrane Computing
(Fénix Editora, 2008)
Brownian motion refers to erratic movements of small particles of solid matter suspended in a fluid and it is the basis ... |
Book |
Presentation
Graphics and P Systems: Experiments with JPLANT
(Fénix Editora, 2008)
The hand-made graphical representation of the configuration of a P system becomes a hard task when the number of membranes ... |
Article
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 ... |
Presentation
Solving Numerical NP-complete Problems by Spiking Neural P Systems with Pre–computed Resources
(Fénix Editora, 2008)
Recently we have considered the possibility of using spiking neural P systems for solving computationally hard problems, ... |
Article
Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources
(IOS Press, 2008)
Recently the possibility of using spiking neural P systems for solving computationally hard problems has been considered. ... |
Article
On the degree of parallelism in membrane systems
(Elsevier, 2007)
In the literature, several designs of P systems might be found for performing the same task. The use of different techniques ... |
Article
A linear-time tissue P system based solution for the 3-coloring problem
(Elsevier, 2007)
In the literature, several examples of the efficiency of cell-like P systems regarding the solution of NPcomplete problems ... |
Presentation
A Membrane Computing Model for Ballistic Depositions
(Fénix Editora, 2007)
Ballistic Deposition was proposed by Vold and Sutherland as a model for colloidal aggregation. These early works were later ... |
Book |
Article
A uniform solution to SAT using membrane creation
(Elsevier, 2007)
In living cells, new membranes are produced basically through two processes: mitosis and autopoiesis. These two processes have ... |
Presentation
A Software Tool for Dealing with Spiking Neural P Systems
(Fénix Editora, 2007)
Software simulators for P system are nowadays the main tool to carry out experiments in the eld of Membrane Computing. ... |
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 Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division
(Fénix Editora, 2007)
Tissue P systems are a computing model in the framework of Membrane Computing where the tree-like membrane structure is ... |
Presentation
Solving Subset Sum in Linear Time by Using Tissue P Systems with Cell Division
(Springer, 2007)
Tissue P systems with cell division is a computing model in the framework of Membrane Computing based on intercellular ... |
Presentation
A Logarithmic Bound for Solving Subset Sum with P Systems
(Springer, 2007)
The aim of our paper is twofold. On one hand we prove the ability of polarizationless P systems with dissolution and with ... |
Article
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 ... |
Article
Computational efficiency of dissolution rules in membrane systems
(Taylor and Francis, 2006)
Trading (in polynomial time) space for time in the framework of membrane systems is not sufficient to efficiently solve ... |
Chapter of Book
Graphical Modeling of Higher Plants Using P Systems
(Springer, 2006)
L systems have been widely used to model and graphically represent the growth of higher plants [20]. In this paper we ... |
Presentation
Fractals and P Systems
(Fénix Editora, 2006)
In this paper we show that the massive parallelism, the synchronous appli- cation of the rules, and the discrete nature ... |
Presentation
Some Notes on (Mem)Brane Computation
(Springer, 2006)
Membrane Computing and Brane Calculi are two recent computational paradigms in the framework of Natural Computing. They ... |
Presentation
A Membrane Computing View on Tumours
(2006)
In this paper we discuss about the potential usefulness of P systems as natural tools for modelling tumours. This is done ... |
Chapter of Book
Available Membrane Computing Software
(Springer, 2006)
The simulation of a P system with current computers is a quite com-plex task. P systems are intrinsically nondeterministic ... |
Chapter of Book
A Linear Solution for QSAT with Membrane Creation
(Springer, 2006)
The usefulness of P systems with membrane creation for solving NP problems has been previously proved (see [2, 3]), but, ... |
Presentation
Solving 3-COL with Tissue P Systems
(Fénix Editora, 2006)
In the literature, several examples of the efficiency of cell-like P systems in order to solve NP-complete problems in ... |
Chapter of Book
On the Power of Dissolution in P Systems with Active Membranes
(Springer, 2006)
In this paper we study membrane dissolution rules in the framework of P systems with active membranes but without using ... |
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 formalisms ... |
Presentation
Cell-like and Tissue-like Membrane Systems as Recognizer Devices
(Rosillo's S.L., 2006)
Most of the variants of membrane systems found in the literature are generally thought as generating devices. In this paper ... |
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 formalisms ... |
Presentation
An Approach to the Degree of Parallelism in P Systems
(Fénix Editora, 2006)
In the literature, several designs of P systems were used for performing the same task. The use of different techniques ... |
Presentation
The Growth of Branching Structures with P Systems
(Fénix Editora, 2006)
L-systems have been widely used to model and graphically represent the growth of plants. In, the use of membrane computing ... |
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 ... |
Article
P systems with input in binary form
(WORLD SCIENTIFIC PUBL CO PTE LTD, 2006)
Current P systems which solve NP-complete numerical problems represent the instances of the problems in unary notation. ... |
Chapter of Book
Exploring Computation Trees Associated with P Systems
(Springer, 2005)
Usually, the evolution of a P system generates a computation tree too large to be efficiently handled with present–day ... |
Presentation
Solving SAT with membrane creation
(University of Amsterdam, 2005)
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ... |
Presentation
Characterizing Tractability with Membrane Creation
(IEEE Computer Society, 2005)
This paper analyzes the role that membrane dissolution rules play in order to characterize (in the framework of recognizer ... |
Presentation
A Simulator for Confluent P Systems
(Fénix Editora, 2005)
Software simulators for P system are nowadays the main tool to carry out experiments in the field of Membrane Computing. ... |
Chapter of Book
P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P
(Springer, 2005)
We study the computational efficiency of recognizer P systems with active membranes without polarizations and without ... |
Chapter of Book
On Descriptive Complexity of P Systems
(Springer, 2005)
In this paper we address the problem of describing the complexity of the evolution of a P system. This issue is is specially ... |
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 ... |
Chapter of Book
A Linear Solution of Subset Sum Problem by Using Membrane Creation
(Springer, 2005)
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ... |
Presentation
Simulating Avascular Tumors with Membrane Systems
(Fénix Editora, 2005)
Tumor growth has received a considerable attention by the scientific community. In the earliest stages of development, ... |
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, ... |
Presentation
Multidimensional descriptional complexity of P systems
(Univ. degli Studi di Milano, 2005)
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ... |
Presentation
P Systems with Membrane Creation and Rule Input
(Fénix Editora, 2005)
When a uniform family of recognizer P systems is designed to solve a problem, the data of a concrete instance of the problem ... |
Presentation
Converting Integer Numbers from Binary to Unary Notation with P Systems
(Fénix Editora, 2005)
Current P systems which solve NP–complete numerical problems represent instances in unary notation. In classical complexity ... |
Presentation
Multidimensional Sevilla carpets Associated with P Systems
(Fénix Editora, 2005)
In this paper we address the problem of describing the complexity of the evolution of a P system. This is especially ... |
Presentation
Looking for P Truth
(Fénix Editora, 2004)
In a general sense, Logic studies how to derive new pieces of in- formation from previous ones. In this paper we explore ... |
PhD Thesis
Programación celular resolución eficiente de problemas numéricos NP-completos
(2004)
Esta memoria está estructurada en capítulos cuyos contenidos pasamos a describir sucintamente. En el Capítulo 1 se hace ... |
Chapter of Book
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem
(Springer, 2004)
In this paper we present an implementation in Prolog of an effective solution to the Knapsack problem via a family of deterministic P systems with active membranes using 2-division. |
Article |
Presentation
Towards a Programming Language in Cellular Computing
(Fénix Editora, 2004)
Several solutions to hard numerical problems using P systems have been presented recently, and strong similarities in their ... |
Article
A Prolog Simulator for Deterministic P Systems with Active Membranes
(Springer, 2004)
In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. ... |
Presentation
Weak Metrics on Configurations of a P System
(Fénix Editora, 2004)
The evolution of a P system generates a tree of computation po- tentially in¯nite where it is very difficult to set the ... |
Presentation
An Efficient Cellular Solution for the Partition Problem
(Fénix Editora, 2004)
Numerical problems are not very frequently addressed in the P sys- tems literature. In this paper we present an e®ective ... |
Presentation
Deductive Databases and P Systems
(Fénix Editora, 2004)
In computational processes based on backwards chaining, a rule of the type A Ã B1; : : : ;Bn is seen as a procedure which ... |
Presentation
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases
(Springer, 2003)
Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We ... |
Presentation
Generalizing Programs via Subsumption
(Springer, 2003)
In this paper we present a class of operators for Machine Learning based on Logic Programming which represents a ... |
Presentation
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases
(Springer, 2003)
Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We ... |
PhD Thesis
Operadores de generalización para el aprendizaje clausal
(2002)
"En esta memoria hemos estudiado los procesos de generalización, el paso de lo particular a lo general, cuando la información ... |
Presentation
A methodology for the computer-aided cleaning of complex knowledge databases
(IEEE Computer Society, 2002)
In environments with complex cognitive structure (such as semantic web or sophisticated spatial databases for geographical ... |
Presentation
ILP Operators for Propositional Connectionist Networks
(Wright State University, 2002)
|
Presentation
A Quasi-Metric for Machine Learning
(Springer, 2002)
The subsumption relation is crucial in the Machine Learning systems based on a clausal representation. In this paper we ... |
Presentation
Proximidad entre cláusulas en programación lógica inductiva
(Universidad de Sevilla - Fundación El Monte, 2001)
|
Presentation
A Topological Study of the Upward Refinement Operators on ILP
(CEUR-WS, 2000)
|