Author profile: Martínez del Amor, Miguel Ángel
Institutional data
Name | Martínez del Amor, 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
98
-
No. visits
7907
-
No. downloads
13725
Publications |
---|
Article
![]() GPU implementation of evolving spiking neural P systems
(ScienceDirect, 2022-09-01)
Methods for optimizing and evolving spiking neural P systems (in short, SN P systems) have been previously developed with ... |
Article
![]() A new P-Lingua toolkit for agile development in membrane computing
(Elsevier, 2022-01-01)
Membrane computing is a massively parallel and non-deterministic bioinspired computing paradigm whose models are called P ... |
Article
![]() A membrane computing framework for social navigation in robotics
(Elsevier, 2021-01-01)
A mobile robot acting in a human environment should follow social conventions, keeping safety distances and navigating at ... |
Article
![]() Dendrite P Systems Toolbox: Representation, Algorithms and Simulators
(World Scientific, 2021-01-01)
Dendrite P systems (DeP systems) are a recently introduced neural-like model of computation. They provide an alternative ... |
Article
![]() Simulation of Spiking Neural P Systems with Sparse Matrix-Vector Operations
(MDPI, 2021-01-01)
To date, parallel simulation algorithms for spiking neural P (SNP) systems are based on a matrix representation. This way, ... |
Article
![]() Hybrid agent-based methodology for testing response protocols
(Elsevier, 2021-01-01)
In recent years we have seen multiple incidents with a large number of people injured and killed by one or more armed ... |
Master's Final Project
![]() Clasificación de Actividades Humanas en Vídeo
(2020-07-01)
Nowadays, self-learning models and artificial intelligence are popular. These systems can be seen in daily life almost in ... |
Article
![]() An Overview of Hardware Implementations of P Systems
(ACM Digital Library, 2020-01-01)
Implementing the P systems on parallel hardware is a research highlight in bio-inspired computing since the membrane ... |
Presentation
![]() Extracting Parallelism in Simulation Algorithms for PDP systems
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020-01-01)
Population Dynamics P systems is a modelling framework that have been used successfully for some important real ecosystems. ... |
Article
![]() Movie Tags Prediction and Segmentation Using Deep Learning
(IEEE Computer Society, 2020-01-01)
The sheer volume of movies generated these days requires an automated analytics for ef cient classi cation, query-based ... |
Article
![]() From NP-Completeness to DP-Completeness: A Membrane Computing Perspective
(Hindawi, 2020-01-01)
Presumably efficient computing models are characterized by their capability to provide polynomial-time solutions for ... |
Article
![]() When object production tunes the efficiency of membrane systems
(Elsevier, 2020-01-01)
Psystems with active membranes is one of the most studied models within the field ofMembrane Computing. Simulating the ... |
Article
![]() Adaptative parallel simulators for bioinspired computing models
(Elsevier, 2020-01-01)
In the Membrane Computing area, P systems are unconventional devices of computation inspired by the structure and processes ... |
Article
![]() An Overview of Hardware Implementation of Membrane Computing Models
(ACM Digital Library, 2020-01-01)
The model of membrane computing, also known under the name of P systems, is a bio-inspired large-scale parallel computing ... |
Article
![]() Simulation challenges in membrane computing
(Springer, 2020-01-01)
P system simulators are critical tools to enable them as formal modeling framework for real-life applications. Such simulators ... |
Article
![]() A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning
(IOS Press, 2020-01-01)
In recent years, incremental sampling-based motion planning algorithms have been widely used to solve robot motion planning ... |
Presentation
![]() Solving the feasibility problem in robotic motion planning by means of Enzymatic Numerical P systems
(IMCS: International Membrane Computing Society, 2019-01-01)
Solving the feasibility problem in robotic motion planning means to find feasible trajectories for specific mobile robots ... |
Presentation
![]() 11 years of P-Lingua: A backward glance
(Editura BIBLIOSTAR, 2019-01-01)
In 2008, P-Lingua was born. The Research Group on Natural Computing worked on the development of simulation tools since ... |
Presentation
![]() A Framework for Evolving Spiking Neural P Systems
(IMCS: International Membrane Computing Society, 2019-01-01)
In current literature, there is a lack of research on the optimization of spiking neural P systems (SN P systems) and, ... |
Presentation
![]() A Framework for Evolving Spiking Neural P Systems with Rules on Synapses
(IMCS: International Membrane Computing Society, 2019-01-01)
In this paper, we present a genetic algorithm framework for evolving Spiking Neural P Systems with rules on synapses (RSSNP ... |
Presentation
![]() Optimizations in CuSNP Simulator for Spiking Neural P Systems on CUDA GPUs
(IEEE Computer Society, 2019-01-01)
Spiking Neural P systems (in short, SNP systems) are computing models based on living neurons. SNP systems are non-deterministic ... |
Article
![]() P systems with symport/antiport rules: When do the surroundings matter?
(Elsevier, 2018-05-01)
Cell-like P systems where communication between the regions are carried out by rules of type symport/antiport are considered. ... |
Presentation
![]() Simulation of Computing P Systems: A GPU Design for the Factorization Problem
(Friedrich-Schiller-Universität Jena, 2018-01-01)
|
Presentation
![]() On GPU-Oriented P Systems
(IEEE Computer Society, 2018-01-01)
|
Presentation
![]() Deep Learning based Beat Event Detection in Action Movie Franchises
(SPIE Digital Library, 2018-01-01)
Automatic understanding and interpretation of movies can be used in a variety of ways to semantically manage the massive ... |
Presentation
![]() Design of Specific P Systems Simulators on GPUs
(Springer, 2018-01-01)
In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, ... |
Article
![]() From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency
(Elsevier, 2018-01-01)
P systems with active membranes use evolution, communication, dissolution and division(or separation) rules. They do not ... |
Article
![]() The role of integral membrane proteins in computational complexity theory
(Springer, 2018-01-01)
In the framework of Membrane Computing, several tools to tackle the P versus NP problems by means of frontiers of the ... |
Chapter of Book
![]() A Simulation Workflow for Membrane Computing: From MeCoSim to PMCGPU Through P-Lingua
(Springer, 2018-01-01)
P system simulators are of high importance in Membrane Computing, since they provide tools to assist on model validation ... |
Article
![]() From Super-cells to Robotic Swarms: Two Decades of Evolution in the Simulation of P Systems
(IMCS: International Membrane Computing Society, 2017-01-01)
Membrane Computing provides machine-oriented models of computation, with types and variants including different elements ... |
Article
![]() CuSNP: Spiking Neural P Systems Simulators in CUDA
(Romanian Academy, Section for Information Science and Technology, 2017-01-01)
Spiking neural P systems (in short, SN P systems) are models of computation inspired by biological neurons. CuSNP is a ... |
Article
![]() Evolutionary response of a native butterfly to concurrent plantinvasions: Simulation of population dynamics
(Elsevier, 2017-01-01)
The habitat of the green-veined white butterfly Pieris oleracea in eastern North America has undergone invasions by the ... |
Presentation
![]() Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Inwards
(Fenix Editora, 2017-01-01)
Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ... |
Article
![]() Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation
(Elsevier, 2017-01-01)
From a computational complexity point of view, some syntactical ingredients play differentroles depending on the kind of ... |
Presentation
![]() Movies Tags Extraction Using Deep Learning
(IEEE Computer Society, 2017-01-01)
Retrieving information from movies is becoming increasingly demanding due to the enormous amount of multimedia data generated ... |
Article
![]() A Survey of Parallel Simulation of P Systems with GPUs
(IMCS: International Membrane Computing Society, 2017-01-01)
P system simulators become essential for model verification and validation, since they reproduce the semantics of the ... |
Article
![]() Cooperative P Systems and the P Versus NP Problem
(IMCS: International Membrane Computing Society, 2017-01-01)
The P versus NP problem is undoubtedly the most important open question in computer science. Frontiers of tractability or ... |
Presentation
![]() Evaluation of GPU/CPU Co-Processing Models for JPEG 2000 Packetization
(IEEE Computer Society, 2017-01-01)
With the bottom-line goal of increasing the throughput of a GPU-accelerated JPEG 2000 encoder, this paper evaluates whether ... |
Presentation
![]() Nondeterminism in Spiking Neural P Systems: Algorithms and Simulations
(Xihua University, 2017-01-01)
Spiking Neural P system (or SN P system) is a computing model based on the neurons in a living being. It is composed of ... |
Presentation
![]() Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Outwards
(Fenix Editora, 2017-01-01)
Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ... |
Presentation
![]() Parallel Efficient Rate Control Methods for JPEG 2000
(SPIE Digital Library, 2017-01-01)
Since the introduction of JPEG 2000, several rate control methods have been proposed. Among them, post-compression rate-distortion ... |
Presentation
![]() GPU-friendly EBCOT variant with single-pass scan order and raw bit plane coding
(IEEE Computer Society, 2017-01-01)
A major drawback of JPEG 2000 is the computational complexity of its entropy coder named Embedded Block Coder with Optimized ... |
Presentation
![]() Sparse-matrix Representation of Spiking Neural P Systems for GPUs
(Fenix Editora, 2017-01-01)
Current parallel simulation algorithms for Spiking Neural P (SNP) systems are based on a matrix representation. This helps ... |
Presentation
![]() An Overview of Hardware Implementations of P Systems
(Xihua University, 2017-01-01)
Implementing the P systems on parallel hardware is a re- search highlight in bio-inspired computing since the membrane ... |
Article
![]() Polarizationless P Systems with Active Membranes: Computational Complexity Aspects
(Institut für Informatik, Justus-Liebig-Universität Giessen, 2016-01-01)
P systems with active membranes, in their classical definition, make use of noncooperative rules only. However, it is well ... |
Presentation
![]() CuSNP: Spiking Neural P Systems Simulators in CUDA
(IMCS: International Membrane Computing Society, 2016-01-01)
Spiking neural P systems (in short, SN P systems) are models of computation inspired by biological neurons. In this work, ... |
Presentation
![]() Improving Simulations of Spiking Neural P Systems in NVIDIA CUDA GPUs: CuSNP
(Fénix, 2016-01-01)
Spiking neural P systems (in short, SN P systems) are parallel models of computations inspired by the spiking ( ring) of ... |
Presentation
![]() Sample-Parallel Execution of EBCOT in Fast Mode
(IEEE Computer Society, 2016-01-01)
JPEG 2000’s most computationally expensive building block is the Embedded Block Coder with Optimized Truncation (EBCOT). ... |
Article
![]() Parallel simulation of Population Dynamics P systems: updates and roadmap
(Springer, 2016-01-01)
Population Dynamics P systems are a type of multienvironment P systems that serve as a formal modeling framework for real ... |
Presentation
![]() A New Strategy to Improve the Performance of PDP-Systems Simulators
(Springer, 2015-01-01)
One of the major challenges that current P systems simulators have to deal with is to be as efficient as possible. A P ... |
Presentation
![]() Parallel Simulation of PDP Systems: Updates and Roadmap
(Fénix Editora, 2015-01-01)
PDP systems are a type of multienvironment P systems, which serve as a formal modeling framework for Population Dynamics. ... |
Presentation
![]() Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms
(Springer, 2015-01-01)
Fuzzy Reasoning Spiking Neural P systems (FRSN P systems, for short) is a variant of Spiking Neural P systems incorporating fuzzy ... |
Presentation
![]() Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem
(Springer, 2015-01-01)
Spiking neural P systems with structural plasticity (in short, SNPSP systems) are models of computations inspired by the ... |
Book
![]() Twelfth Brainstorming Week on Membrane Computing Sevilla, February 3-7, 2014: RGNC REPORT 1/2014
(Fénix Editora, 2014-01-01)
|
Article
![]() The role of the direction in tissue P systems with cell separation
(Institut für Informatik, Justus-Liebig-Universität Giessen, 2014-01-01)
Tissue P systems with cell separation where the communication among cells is performed by means of symport and antiport ... |
Presentation
![]() Probabilistic Guarded P Systems, A New Formal Modelling Framework
(Springer, 2014-01-01)
Multienvironment P systems constitute a general, formal framework for modelling the dynamics of population biology, which ... |
Presentation
![]() Probabilistic Guarded P Systems, A Formal Definition
(Fénix Editora, 2014-01-01)
In this paper, we extend the general framework of Multienvironment P systems, which is a formal framework for modelling ... |
Presentation
![]() Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era
(Fénix Editora, 2014-01-01)
Sevilla Carpets have already been used to compare di erent solutions of the Subset Sum problem: either designed in the ... |
Chapter of Book
![]() Membrane System-Based Models for Specifying Dynamical Population Systems
(Springer, 2014-01-01)
Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modelling framework, which has ... |
Presentation
![]() The Reduction Problem in CUDA and Its Simulation with P Systems
(Fénix Editora, 2014-01-01)
We introduce P systems with dynamic communication graphs which simu- late the functioning of the CUDA architecture when solving the parallel reduction prob- lem. |
Presentation
![]() Accelerated Simulation of P Systems on the GPU: A Survey
(Springer, 2014-01-01)
The acceleration of P system simulations is required increasingly, since they are at the core of model verification and ... |
PhD Thesis
![]() Modeling and simulation of real-life phenomena in membrane computing
(2013-10-11)
This document is structured in three parts, whose content is briefly outlined below. Part I: Preliminaries Chapter I ... |
Book
![]() Eleventh Brainstorming Week on Membrane Computing Sevilla, February 4-8, 2013 : RGNC REPORT 1/2013
(Fénix Editora, 2013-01-01)
|
Presentation
![]() Simulating a Family of Tissue P Systems Solving SAT on the GPU
(Fénix Editora, 2013-01-01)
In order to provide e cient software tools to deal with large membrane systems, high-throughput simulators are required. ... |
PhD Thesis |
Presentation
![]() A GPU Simulation for Evolution-Communication P Systems with Energy Having no Antiport Rules
(Fénix Editora, 2013-01-01)
Evolution-Communication P system with energy (ECPe systems) is a cell- like variant P system which establishes a dependence ... |
Presentation
![]() Population Dynamics P Systems on CUDA
(Springer, 2012-01-01)
Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modeling framework, which has been ... |
Presentation
![]() Parallel Simulation of Probabilistic P Systems on Multicore Platforms
(Fénix Editora, 2012-01-01)
Ecologists need to model ecosystems to predict how they will evolve over time. Since ecosystems are non-deterministic ... |
Book |
Article
![]() Improving GPU Simulations of Spiking Neural P Systems
(Romanian Academy, 2012-01-01)
In this work we present further extensions and improvements of a Spiking Neural P system (for short, SNP systems) simulator ... |
Presentation
![]() DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution
(Fénix Editora, 2012-01-01)
Population Dynamics P systems refer to a formal framework for ecological modelling. The semantics of the model associates ... |
Presentation
![]() On the Simulations of Evolution-Communication P Systems with Energy without Antiport Rules for GPUs
(Fénix Editora, 2012-01-01)
In this report, we present our initial proposal on simulating computations on a restricted variant of Evolution-Communication ... |
Article
![]() The GPU on the simulation of cellular computing models
(Springer, 2012-01-01)
Membrane Computing is a discipline aiming to abstract formal computing models, called membrane systems or P systems, from ... |
Presentation
![]() Matrix Representation of Spiking Neural P Systems
(Springer, 2011-01-01)
Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from the ... |
Presentation
![]() An Improved GPU Simulator For Spiking Neural P Systems
(IEEE Computer Society, 2011-01-01)
Spiking Neural P (SNP) systems, variants of Psystems (under Membrane and Natural computing), are computing models that ... |
Presentation
![]() A Spiking Neural P System Simulator Based on CUDA
(Springer, 2011-01-01)
In this paper we present a Spiking Neural P system (SNP system) simulator based on graphics processing units (GPUs). In ... |
Presentation
![]() Simulating Spiking Neural P Systems Without Delays Using GPUs
(Fénix Editora, 2011-01-01)
We present in this paper our work regarding simulating a type of P sys- tem known as a spiking neural P system (SNP system) ... |
Book
![]() Ninth Brainstorming Week on Membrane Computing, Sevilla, January 31 - February 4, 2011 : RGNC REPORT 1/2011
(Fénix Editora, 2011-01-01)
|
Presentation
![]() Spiking Neural P System Simulations on a High Performance GPU Platform
(Springer, 2011-01-01)
In this paper we present our results in adapting a Spiking Neural P system (SNP system) simulator to a high performance ... |
Presentation
![]() Spiking Neural P system without delay simulator implementation using GPGPUs
(Ateneo de Naga University, 2011-01-01)
This paper presents a parallel simulator for a type of P sys- tem known as spiking neural P system (SNP system) us- ing ... |
Article
![]() Simulating a P system based efficient solution to SAT by using GPUs
(Elsevier, 2010-01-01)
P systems are inherently parallel and non-deterministic theoretical computing devices defined inside the field of Membrane ... |
Article
![]() Simulation of P systems with active membranes on CUDA
(Oxford University Press, 2010-01-01)
P systems or Membrane Systems provide a high-level computational modelling framework that combines the structure and dynamic ... |
Article
![]() A P-Lingua based simulator for Tissue P systems
(Elsevier, 2010-01-01)
Investigations within the field of tissue-like P systems are being conducted, on one hand studying their computational ... |
Presentation
![]() Enhancing the simulation of P systems for the SAT problem on GPUs
(National Center for Supercomputing Applications, 2010-01-01)
GPUs constitute nowadays a solid alternative for high performance computing, and the advent of CUDA/OpenCL allow programmers ... |
Book
![]() Eighth Brainstorming Week on Membrane Computing, Sevilla, February 1-5, 2010 : RGNC REPORT 1/2010
(Fénix Editora, 2010-01-01)
|
Presentation
![]() P systems simulations on massively parallel architectures
(Universidad Complutense de Madrid, 2010-01-01)
Membrane Computing is an emergent research area studying the behaviour of living cells to de ne bio-inspired computing devices, ... |
Presentation
![]() Implementing P Systems Parallelism by Means of GPUs
(Springer, 2010-01-01)
Software development for Membrane Computing is growing up yielding new applications. Nowadays, the efficiency of P systems ... |
Presentation
![]() Solving Sudoku with Membrane Computing
(IEEE Computer Society, 2010-01-01)
Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple rules. ... |
Presentation
![]() A uniform framework for modeling based on P Systems
(IEEE Computer Society, 2010-01-01)
In this paper, a P systems based general framework for modeling the dynamics of a population biology is presented. Multienvironment ... |
Presentation
![]() A new simulation algorithm for multienvironment probabilistic P systems
(IEEE Computer Society, 2010-01-01)
Multienvironment P systems are the base of a general framework for modeling ecosystems dynamics. On one hand, this modeling ... |
Presentation
![]() When Matrices Meet Brains
(Fénix Editora, 2010-01-01)
Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from the ... |
Presentation
![]() A massively parallel framework using P systems and GPUs
(National Center for Supercomputing Applications at the University of Illinois, 2009-01-01)
Since CUDA programing model appeared on the general purpose computations, the developers can extract all the power contained ... |
Presentation
![]() Simulating Active Membrane Systems Using GPUs
(Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009-01-01)
Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator ... |
Article
![]() P–Lingua 2.0: A software framework for cell–like P systems
(Agora University of Oradea, Romania, 2009-01-01)
P-Lingua is a programming language for membrane computing. It was first presented in Edinburgh, during the Ninth Workshop ... |
Presentation
![]() Analysis of P systems simulation on CUDA
(SARTECO: Sociedad de Arquitectura y Tecnología de Computadores, 2009-01-01)
GPUs (Graphics Processing Unit) have been con- solidated as a massively data-parallel coprocessor to develop many general ... |
Presentation
![]() Simulation of Recognizer P Systems by Using Manycore GPUs
(Fénix Editora, 2009-01-01)
Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator ... |
Presentation
![]() Solving the N-Queens Puzzle with P Systems
(Fénix Editora, 2009-01-01)
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 ... |
Book |