Perfil del autor: Orellana Martín, David
Datos institucionales
Nombre | Orellana Martín, David |
Departamento | Ciencias de la Computación e Inteligencia Artificial |
Área de conocimiento | Ciencia de la Computación e Inteligencia Artificial |
Categoría profesional | Profesor Ayudante Doctor |
Correo electrónico | Solicitar |
Estadísticas
-
Nº publicaciones
67
-
Nº visitas
6497
-
Nº descargas
9577
Publicaciones |
---|
Tesis Doctoral
Virus machines: an unconventional computing paradigm
(2024)
Sobrepasar la estructura convencional de los ordenadores actuales diseñada John von Neumann desde hace casi 100 años es ... |
Artículo
Tissue P systems with evolutional communication rules with two objects in the left-hand side
(Springer, 2022)
In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ... |
Artículo
Membrane creation and symport/antiport rules solving QSAT
(Springer, 2022)
In Membrane Computing, diferent variants of devices can be found by changing both syntactical and semantic ingredients. ... |
Artículo
GPU implementation of evolving spiking neural P systems
(ScienceDirect, 2022)
Methods for optimizing and evolving spiking neural P systems (in short, SN P systems) have been previously developed with ... |
Artículo
P systems with evolutional symport and membrane creation rules solving QSAT
(Elsevier, 2022)
P systems are computing devices based on sets of rules that dictate how they work. While some of these rules can change ... |
Artículo
A new P-Lingua toolkit for agile development in membrane computing
(Elsevier, 2022)
Membrane computing is a massively parallel and non-deterministic bioinspired computing paradigm whose models are called P ... |
Artículo
A membrane computing framework for social navigation in robotics
(Elsevier, 2021)
A mobile robot acting in a human environment should follow social conventions, keeping safety distances and navigating at ... |
Artículo
P systems with evolutional communication and division rules
(MDPI, 2021)
A widely studied field in the framework of membrane computing is computational complexity theory. While some types of P ... |
Artículo
Simulation of Spiking Neural P Systems with Sparse Matrix-Vector Operations
(MDPI, 2021)
To date, parallel simulation algorithms for spiking neural P (SNP) systems are based on a matrix representation. This way, ... |
Artículo
Tuning Frontiers of Efficiency in Tissue P Systems with Evolutional Communication Rules
(Hindawi, 2021)
Over the last few years, a new methodology to address the P versus NP problem has been developed, based on searching ... |
Artículo
Dendrite P Systems Toolbox: Representation, Algorithms and Simulators
(World Scientific, 2021)
Dendrite P systems (DeP systems) are a recently introduced neural-like model of computation. They provide an alternative ... |
Artículo
Proof techniques in Membrane Computing
(Elsevier, 2021)
From the creation of the field of Membrane Computing in 1998, several research lines havebeen opened. On the one hand, ... |
Artículo
A Survey of Nature-Inspired Computing: Membrane Computing
(ACM Digital Library, 2021)
Nature-inspired computing is a type of human-designed computing motivated by nature, which is based on the employ of ... |
Artículo
Cell-like P systems with polarizations and minimal rules
(Elsevier, 2020)
P systems with active membranes are a class of computation models in the area ofmembrane computing, which are inspired ... |
Ponencia
Extracting Parallelism in Simulation Algorithms for PDP systems
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020)
Population Dynamics P systems is a modelling framework that have been used successfully for some important real ecosystems. ... |
Artículo
Adaptative parallel simulators for bioinspired computing models
(Elsevier, 2020)
In the Membrane Computing area, P systems are unconventional devices of computation inspired by the structure and processes ... |
Libro
Eighteenth Brainstorming Week on Membrane Computing Sevilla, February 4 - 7, 2020 : RGNC REPORT 1/2020
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020)
|
Artículo
Cell-like P systems with evolutional symport/antiport rules and membrane creation
(Elsevier, 2020)
Cell-like P systems with symport/antiport rules are computing models inspired by theconservation law, in the sense that ... |
Artículo
When object production tunes the efficiency of membrane systems
(Elsevier, 2020)
Psystems with active membranes is one of the most studied models within the field ofMembrane Computing. Simulating the ... |
Ponencia
An optimal solution to the SAT problem with tissue P systems
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020)
In the framework of membrane computing, several frontiers of e ciency have been found with respect to the resources that ... |
Artículo
From NP-Completeness to DP-Completeness: A Membrane Computing Perspective
(Hindawi, 2020)
Presumably efficient computing models are characterized by their capability to provide polynomial-time solutions for ... |
Ponencia
Contour Approximation with P Systems
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020)
We model the problem of contour approximation using Hilbert's space lling curve, with a novel type of parallel array ... |
Artículo
Seeking computational efficiency boundaries: the Păun’s conjecture
(Springer, 2020)
In 2005, Gh. Păun raised an interesting question concerning the role of electrical charges in P systems with active membranes ... |
Tesis Doctoral |
Artículo
Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems
(Springer, 2019)
Cooperation is doubtless a relevant ingredient on rewriting rules based computing models. This paper provides an overview on ... |
Artículo
P‑Lingua in two steps: flexibility and efficiency
(Springer, 2019)
Membrane computing is a bio-inspired computing paradigm that lacks in vivo implementation. That is why software or hardware ... |
Ponencia
A new perspective on computational complexity theory in Membrane Computing
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
A single Turing machine can solve decision problems with an in nite number of instances. On the other hand, in the framework ... |
Ponencia
New applications for an old tool
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
First, the dependency graph technique, not so far from its current application, was developed trying to nd the shortest ... |
Ponencia
11 years of P-Lingua: A backward glance
(Editura BIBLIOSTAR, 2019)
In 2008, P-Lingua was born. The Research Group on Natural Computing worked on the development of simulation tools since ... |
Ponencia
Solving Problems Through a Single Membrane System
(IMCS: International Membrane Computing Society, 2019)
The tape of a deterministic Turing machine contains an unbounded number of cells. Thanks to that, a single machine can ... |
Ponencia
An apparently innocent problem in Membrane Computing
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
The search for effcient solutions of computationally hard problems by means of families of membrane systems has lead to a ... |
Artículo
A path to computational efficiency through membrane computing
(Elsevier, 2019)
The search for new mechanisms and tools allowing us to tackle the famousPversusNPproblem from new perspectives is an ... |
Ponencia
A syntax for semantics in P-Lingua
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
P-Lingua is a software framework for Membrane Computing, it includes a programming language, also called P-Lingua, for ... |
Ponencia
Dependency Graph Technique Revisited
(IMCS: International Membrane Computing Society, 2019)
The dependency graph technique was initially thought as a method to find short paths in the computation tree of a membrane ... |
Libro
Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5 - 8, 2019 : RGNC REPORT 1/2019
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
|
Artículo
P systems with symport/antiport rules: When do the surroundings matter?
(Elsevier, 2018)
Cell-like P systems where communication between the regions are carried out by rules of type symport/antiport are considered. ... |
Ponencia
Simulation of Computing P Systems: A GPU Design for the Factorization Problem
(Friedrich-Schiller-Universität Jena, 2018)
|
Artículo
The Unique Satisfiability Problem from a Membrane Computing Perspective
(Romanian Academy, Section for Information Science and Technology, 2018)
Complexity class DP is the class of “differences” of any two languages in NP. It verifies that NP[ co-NP DP PNP, where ... |
Ponencia
Narrowing Frontiers of Efficiency with Evolutional Communication Rules and Cell Separation
(Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ... |
Artículo
From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency
(Elsevier, 2018)
P systems with active membranes use evolution, communication, dissolution and division(or separation) rules. They do not ... |
Ponencia
A Semantic Frontier of the Efficiency in Membrane Systems
(Centre for Discrete Mathematics and Theoretical Computer Science, 2018)
The (presumed) efficiency of computing models is expressed by means of their ability to solve (NP-complete) presumably ... |
Ponencia
P-Lingua Compiler: A Tool for Generating Ad-hoc Simulators in Membrane Computing
(Centre for Discrete Mathematics and Theoretical Computer Science, 2018)
|
Ponencia
On GPU-Oriented P Systems
(IEEE Computer Society, 2018)
|
Artículo
Simulation of Rapidly-Exploring Random Trees in Membrane Computing with P-Lingua and Automatic Programming
(Agora University of Oradea, 2018)
Methods based on Rapidly-exploring Random Trees (RRTs) have been widely used in robotics to solve motion planning problems. ... |
Ponencia
Design of Specific P Systems Simulators on GPUs
(Springer, 2018)
In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, ... |
Ponencia
Limits on P Systems with Proteins and Without Division
(Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
In the field of Membrane Computing, computational complexity theory has been widely studied trying to nd frontiers of ... |
Artículo
The role of integral membrane proteins in computational complexity theory
(Springer, 2018)
In the framework of Membrane Computing, several tools to tackle the P versus NP problems by means of frontiers of the ... |
Capítulo de Libro
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 ... |
Ponencia
Robot Path Planning using Rapidly-Exploring Random Trees: A Membrane Computing Approach
(IEEE Computer Society, 2018)
Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems for ... |
Artículo
Laser Dynamics from a Membrane Computing Perspective
(IMCS. International Membrane Computational Society, 2018)
Modelling real systems and processes is a task classically performed through the approach of di erential equation systems, ... |
Ponencia
The Factorization Problem: A New Approach Through Membrane Systems
(University of Paris Est Creteil Val de Marne, 2018)
The factorization problem (given a natural number which is the product of two prime numbers, find its decomposition) is ... |
Artículo
From Super-cells to Robotic Swarms: Two Decades of Evolution in the Simulation of P Systems
(IMCS: International Membrane Computing Society, 2017)
Membrane Computing provides machine-oriented models of computation, with types and variants including different elements ... |
Ponencia
Counting Membrane Systems
(University of Bradford, Faculty of Engineering and Informatics, 2017)
A decision problem is one that has a yes/no answer, while a counting problem asks how many possible solutions exist ... |
Ponencia
Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Inwards
(Fenix Editora, 2017)
Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ... |
Artículo
Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation
(Elsevier, 2017)
From a computational complexity point of view, some syntactical ingredients play differentroles depending on the kind of ... |
Artículo
Cooperative P Systems and the P Versus NP Problem
(IMCS: International Membrane Computing Society, 2017)
The P versus NP problem is undoubtedly the most important open question in computer science. Frontiers of tractability or ... |
Ponencia
P Systems with Active Cells
(Fenix Editora, 2017)
P systems with active membranes is a widely studied framework within the field of Membrane Computing since the creation ... |
Ponencia
Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Outwards
(Fenix Editora, 2017)
Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ... |
Artículo
Fuzzy reasoning spiking neural P systems revisited: A formalization
(Elsevier, 2017)
Research interest within membrane computing is becoming increasingly interdisciplinary.In particular, one of the latest ... |
Ponencia
Sparse-matrix Representation of Spiking Neural P Systems for GPUs
(Fenix Editora, 2017)
Current parallel simulation algorithms for Spiking Neural P (SNP) systems are based on a matrix representation. This helps ... |
Artículo
Polarizationless P Systems with Active Membranes: Computational Complexity Aspects
(Institut für Informatik, Justus-Liebig-Universität Giessen, 2016)
P systems with active membranes, in their classical definition, make use of noncooperative rules only. However, it is well ... |
Ponencia
Minimal cooperation in polarizationless P systems with active membranes
(Fénix, 2016)
P systems with active membranes is a well developed framework in the eld of Membrane Computing. Using evolution, ... |
Ponencia
Stern-Gerlach Experiment
(Fénix, 2016)
This work is about modelling an experiment composed by multiple Stern- Gerlach devices using Membrane Computing. We will ... |
Artículo
Complexity Perspectives on Minimal Cooperation in Cell-like Membrane Systems
(IMCS: International Membrane Computing Society, 2016)
Cooperation is doubtless a critical ingredient of a computing model. This paper provides an overview on results showing ... |
Ponencia
Uranium- decay chain
(Fénix, 2016)
The main objective of this article is to modelize the process of decay of Uranium within the framework of Membrane ... |
Libro |
Ponencia
Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era
(Fénix Editora, 2014)
Sevilla Carpets have already been used to compare di erent solutions of the Subset Sum problem: either designed in the ... |