Perfil del autor: Valencia Cabrera, Luis
Datos institucionales
| Nombre | Valencia Cabrera, Luis |
| Departamento | Ciencias de la Computación e Inteligencia Artificial |
| Área de conocimiento | Ciencia de la Computación e Inteligencia Artificial |
| Categoría profesional | Profesor Titular de Universidad |
| Correo electrónico | Solicitar |
 |
|
Estadísticas
-
Nº publicaciones
115
-
Nº visitas
12875
-
Nº descargas
27257
| Publicaciones |
|---|
Trabajo Fin de Grado
 Estudio matemático-computacional de la producción oleícola en explotaciones agrarias
(2023)
En este trabajo se ha llevado a cabo a través del lenguaje R, a través del entorno RStudio, un análisis exhaustivo de los ... |
Trabajo Fin de Grado
Aplicación de técnicas estadísticas, matemáticas y de Inteligencia Artificial para la modelización ecológica
(2023)
La modelización ecológica trata de comprender y traducir las complejas interacciones presentes en un ecosistema y expresarlas ... |
Trabajo Fin de Grado
Diseño y desarrollo de una aplicación software didáctica para el aprendizaje en el ámbito del Grado en Estadística
(2023)
En este proyecto se plantea como objetivo fundamental el de proporcionar una herramienta útil para estudiantes e interesados ... |
Trabajo Fin de Grado
Machine Learning aplicado a la propagación de alta precisión de trayectorias de satélites
(2023)
La predicción precisa de las posiciones de los satélites es fundamental para una amplia gama de aplicaciones, que van desde ... |
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. ... |
Trabajo Fin de Grado
La ciencia de datos como herramienta diferenciadora en el scouting deportivo en el fútbol de élite
(2022)
En este documento se explica cómo utilizar algunas herramientas de la ciencia del dato para el scouting de futbolistas de ... |
Trabajo Fin de Grado
Organización, análisis de datos e inteligencia artificial para la predicción de resultados en Fórmula 1
(2022)
If humans can learn from experience, can computers do the same? Through machine learning we have found out that the answer ... |
Trabajo Fin de Grado
RPA Cognitiva: estudio y aplicación
(2022)
En los últimos 5 años muchas empresas han decidido dar el salto a la digitalización de la mano de RPA o Automatización ... |
Trabajo Fin de Grado
Tecnologías biométricas aplicadas a la ciberseguridad
(2022)
Rodeados de una sociedad en constante evolución y con un gran afán de desarrollo tecnológico, la Inteligencia Artificial ... |
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
From SAT to SAT-UNSAT using P systems with dissolution rules
(Springer, 2022)
DP is the class of problems that are the differences between two languages from NP. Most difficult problems from DP are ... |
Trabajo Fin de Grado
Análisis del mercado de los juegos de mesa en perspectiva matemático-computacional
(2021)
El mercado de los juegos de mesa ha presentado, a lo largo de los últimos años, un desarrollo sin precedentes, convirtiéndose ... |
Trabajo Fin de Grado
Conociendo el streaming de video bajo demanda: Matemáticas, Estadística e IA para el análisis macro y la construcción de modelos micro
(2021)
El éxito de las plataformas de streaming de vídeo queda patente en el hecho de que hoy día se haya convertido en uno de ... |
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 ... |
Ponencia
Inferencia Automática de Dependencias Inter-Parámetro en APIs REST
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
La generación automática de casos de prueba para APIs REST es un tema de investigación muy activo. La mayoría de técnicas ... |
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
A Fault Analysis Method for Three-Phase Induction Motors Based on Spiking Neural P Systems
(Hindawi, 2021)
The fault prediction and abductive fault diagnosis of three-phase induction motors are of great importance for improving ... |
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 ... |
Ponencia
Deep Learning-Based Prediction of Test Input Validity for RESTful APIs
(2021)
Automated test case generation for RESTful web APIs is a thriving research topic due to their key role in software integration. ... |
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
An Overview of Hardware Implementations of P Systems
(ACM Digital Library, 2020)
Implementing the P systems on parallel hardware is a research highlight in bio-inspired computing since the membrane ... |
Artículo
Spiking neural P systems with inhibitory rules
(Elsevier, 2020)
Motivated by the mechanism of inhibitory synapses, a new kind of spiking neural P (SNP) system rules, called inhibitory ... |
Artículo
An Overview of Hardware Implementation of Membrane Computing Models
(ACM Digital Library, 2020)
The model of membrane computing, also known under the name of P systems, is a bio-inspired large-scale parallel computing ... |
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 ... |
Artículo
A weighted corrective fuzzy reasoning spiking neural P system for fault diagnosis in power systems with variable topologies
(Elsevier, 2020)
This paper focuses on power system fault diagnosis based on Weighted Corrective Fuzzy Reasoning Spiking Neural P Systems ... |
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 ... |
Artículo
Simulation challenges in membrane computing
(Springer, 2020)
P system simulators are critical tools to enable them as formal modeling framework for real-life applications. Such simulators ... |
Artículo
A Review of Membrane Computing Models for Complex Ecosystems and a Case Study on a Complex Giant Panda System
(Hindawi, 2020)
Ecosystem modelling based on membrane computing is emerging as a powerful way to study the dynamics of (real) ... |
| 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
Cascading Failures Analysis Considering Extreme Virus Propagation of Cyber-Physical Systems in Smart Grids
(Hindawi, 2019)
Communication networks as smart infrastructure systems play an important role in smart girds to monitor, control, and ... |
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
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 ... |
Ponencia
A review of membrane computing models for ecosystems and a case study on giant pandas
(IMCS: International Membrane Computing Society, 2019)
Ecosystem modeling based on membrane computing is emerging as a powerful way to study the dynamic of (real) ecological ... |
Artículo
Modeling Fault Propagation Paths in Power Systems: A New Framework Based on Event SNP Systems With Neurotransmitter Concentration
(IEEE Computer Society, 2019)
To reveal fault propagation paths is one of the most critical studies for the analysis of power system security; however, ... |
Artículo
Simulating Tissue P systems with promoters through MeCoSim and P- Lingua
(Springer, 2019)
Tissue P systems constitute a well-known class of comput- ing models in the research field of membrane computing. Inspired ... |
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 ... |
Artículo
The Computational Complexity of Tissue P Systems with Evolutional Symport/Antiport Rules
(Hindawi, 2018)
Tissue P systems with evolutional communication (symport/antiport) rules are computational models inspired by biochemical systems ... |
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 ... |
Artículo
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 ... |
Capítulo de Libro
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 ... |
Artículo
Towards a General Framework for Membrane Algorithms
(International Membrane Computing Society, 2018)
Optimization problems have always been, and nowadays even more than ever, a subject of major concern, given their in uence ... |
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 ... |
Trabajo Fin de Grado
Análisis y divulgación web de estudios estadísticos sobre competiciones futbolísticas a nivel de de selecciones
(2017)
El presente Trabajo Fin de Grado, titulado "Análisis y divulgación web de estudios estadísticos sobre competiciones ... |
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 ... |
Artículo
A Simulation Software Tool for Cell-like Spiking Neural P Systems
(Romanian Academy, Section for Information Science and Technology, 2017)
Spiking neural P systems (SN P systems, for short) constitute a class of computing models in the research eld of membrane ... |
Ponencia
Membrane Computing Applications in Computational Economics
(Fenix Editora, 2017)
Major efforts have been made along the last decade on the modelling and simulation of phenomena within areas such as ... |
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 ... |
| Libro |
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
An Overview of Hardware Implementations of P Systems
(Xihua University, 2017)
Implementing the P systems on parallel hardware is a re- search highlight in bio-inspired computing since the membrane ... |
Trabajo Fin de Grado
Efectos dispares de una crisis económica. Una comparativa de la evolución de las economías europeas en clave estadística
(2016)
El proyecto que se presenta en esta memoria persigue una doble finalidad: por un lado, realizar un análisis, en clave ... |
| Trabajo Fin de Grado |
Tesis Doctoral
Developing effcient simulators for cell machines
(2016)
Membrane Computing, introduced by Gh. Paun at the end of 1998, is a relatively young branch of Natural Computing providing ... |
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, ... |
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 ... |
Artículo
Membrane Fission: A Computational Complexity Perspective
(Wiley, 2016)
Membrane fission is a process by which a biological membrane is split into two new ones in the manner that the content of ... |
| Libro |
Ponencia
A Software Tool for Computer-Aided Design of Cell-like Spiking Neural P Systems
(IMCS: International Membrane Computing Society, 2016)
Spiking neural P systems (SN P systems, for short) constitute a class of computing models in the research eld of membrane ... |
Artículo
Parallel simulation of Population Dynamics P systems: updates and roadmap
(Springer, 2016)
Population Dynamics P systems are a type of multienvironment P systems that serve as a formal modeling framework for real ... |
Artículo
Computing with viruses
(Elsevier, 2016)
In recent years, different computing models have emerged within the area of Unconven-tional Computation, and more specifically ... |
Tesis Doctoral
Un entorno para la experimentación virtual con modelos computacionales basados en sistemas P
(2015)
** Introducción Desde el principio de los tiempos, el Hombre se ha visto abocado a resolver problemas. En un principio ... |
| Libro |
Ponencia
Computing Partial Recursive Functions by Virus Machines
(Springer, 2015)
Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host ... |
Ponencia
Minimal Cooperation in P Systems with Symport/Antiport: A Complexity Approach
(Fénix Editora, 2015)
Membrane systems with symport/antiport rules compute by just moving objects among membranes, and not by changing the objects ... |
Artículo
A P–Lingua Based Simulator for P Systems with Symport/Antiport Rules
(IOS Press, 2015)
Inspired by mitosis process and membrane fission processes, cell-like P systems with symport/antiport rules and membrane ... |
Ponencia
Computational Efficiency of P Systems with Symport/Antiport Rules and Membrane Separation
(Fénix Editora, 2015)
Membrane ssion is a process by which a biological membrane is split into two new ones in such a way that the contents of ... |
Artículo
Membrane fission versus cell division: When membrane proliferation is not enough
(Elsevier, 2015)
Cell division is a process that produces two or more cells from one cell by replicating the original chromosomes so that ... |
Ponencia
Generating Diophantine Sets by Virus Machines
(Springer, 2015)
Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host ... |
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 ... |
Artículo
Application of a computational model for complex fluvial ecosystems: The population dynamics of zebra mussel Dreissena polymorpha as a case study
(Elsevier, 2014)
The potential and adaptive flexibility of population dynamic P-systems (PDP) to study population dynamics suggests that ... |
Ponencia
Accelerated Simulation of P Systems on the GPU: A Survey
(Springer, 2014)
The acceleration of P system simulations is required increasingly, since they are at the core of model verification and ... |
Artículo
A P-Lingua based Simulator for Tissue P Systems with Cell Separation
(Romanian Academy, Section for Information Science and Technology, 2014)
Tissue P systems are one of the currently active research topics within the field of Membrane Computing. In particular, ... |
| Libro |
Artículo
The role of the direction in tissue P systems with cell separation
(Institut für Informatik, Justus-Liebig-Universität Giessen, 2014)
Tissue P systems with cell separation where the communication among cells is performed by means of symport and antiport ... |
Capítulo de Libro
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 ... |
Ponencia
Kernel P Systems: Applications and Implementations
(Springer, 2013)
This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific ... |
Ponencia
The Relevance of the Environment on the Efficiency of Tissue P Systems
(Springer, 2013)
The efficiency of computational devices is usually expressed in terms of their capability to solve computationally hard ... |
| Libro |
Artículo
Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems
(Old City Publishing, 2013)
Gene regulatory networks are useful models for biologists to understand the interactions among genes in living organisms. ... |
Artículo
3-Col problem modelling using simple kernel P systems
(Taylor and Francis, 2013)
This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems) and investigates through a ... |
Ponencia
Kernel P Systems - Version 1
(Fénix Editora, 2013)
A basic P system, called kernel P system4 (kP system for short), combining features of di erent P systems introduced and ... |
Ponencia
Analysing Gene Networks with PDP Systems. Arabidopsis thaliana, a Case Study
(Fénix Editora, 2013)
Gene Regulatory Networks (GRNs) are a useful tool for biologists to understand the interactions among genes in living ... |
Ponencia
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
(Fénix Editora, 2012)
This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ... |
| Libro |
Ponencia
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution
(Fénix Editora, 2012)
Population Dynamics P systems refer to a formal framework for ecological modelling. The semantics of the model associates ... |
Ponencia
The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment
(Computer and Automation Research Institute Hungarian Academy of Sciences, 2012)
The classical definition of tissue P systems includes a distinguished alphabet with the special assumption that its elements ... |
Ponencia
Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by Using P-Systems
(Springer, 2011)
P systems provide a high level computational modeling framework which integrates the structural and dynamic aspects of ... |
| Libro |
Ponencia
A P–Lingua Based Simulator for Spiking Neural P Systems
(Springer, 2011)
The research within the field of Spiking Neural P systems (SN P systems, for short) is focusing mainly in the study of ... |
Ponencia
A New P System to Model the Subalpine and Alpine Plant Communities
(Fénix Editora, 2011)
In this work we present a P system based model of the ecosystem dynamics of plant communities. It is applied to four ... |
Ponencia
MeCoSim: A general purpose software tool for simulating biological phenomena by means of P Systems
(IEEE Computer Society, 2010)
In recent years, the increasing importance of the computational systems biology is leading to an impressive growth of the ... |