NameValencia Cabrera, Luis
DepartmentCiencias de la Computación e Inteligencia Artificial
Knowledge areaCiencia de la Computación e Inteligencia Artificial
Professional categoryProfesor Titular de Universidad
E-mailRequest
           
  • No. publications

    112

  • No. visits

    11167

  • No. downloads

    22704


 

Final Degree Project
Icon

Machine Learning aplicado a la propagación de alta precisión de trayectorias de satélites

Ayala Hernández, Daniel; Ayala Hernández, Daniel; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Calderón Valdivia, José; Calderón Valdivia, José (2023)
La predicción precisa de las posiciones de los satélites es fundamental para una amplia gama de aplicaciones, que van desde ...
Article
Icon

Tissue P systems with evolutional communication rules with two objects in the left-hand side

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Song, Bosheng; Song, Bosheng; Pan, Linqiang; Pan, Linqiang; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2022)
In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ...
Article
Icon

Membrane creation and symport/antiport rules solving QSAT

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2022)
In Membrane Computing, diferent variants of devices can be found by changing both syntactical and semantic ingredients. ...
Final Degree Project
Icon

La ciencia de datos como herramienta diferenciadora en el scouting deportivo en el fútbol de élite

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Maqueda Ruiz, José Manuel; Maqueda Ruiz, José Manuel (2022)
En este documento se explica cómo utilizar algunas herramientas de la ciencia del dato para el scouting de futbolistas de ...
Final Degree Project
Icon

Organización, análisis de datos e inteligencia artificial para la predicción de resultados en Fórmula 1

Valencia Cabrera, Luis; Valencia Cabrera, Luis; García Villalón, María Jesús; García Villalón, María Jesús (2022)
If humans can learn from experience, can computers do the same? Through machine learning we have found out that the answer ...
Final Degree Project
Icon

RPA Cognitiva: estudio y aplicación

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Velasco Dorado, Jerohan; Velasco Dorado, Jerohan (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 ...
Final Degree Project
Icon

Tecnologías biométricas aplicadas a la ciberseguridad

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Ruiz Montaño, Rocío; Ruiz Montaño, Rocío (2022)
Rodeados de una sociedad en constante evolución y con un gran afán de desarrollo tecnológico, la Inteligencia Artificial ...
Article
Icon

P systems with evolutional symport and membrane creation rules solving QSAT

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Elsevier, 2022)
P systems are computing devices based on sets of rules that dictate how they work. While some of these rules can change ...
Article
Icon

A new P-Lingua toolkit for agile development in membrane computing

Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín (Elsevier, 2022)
Membrane computing is a massively parallel and non-deterministic bioinspired computing paradigm whose models are called P ...
Article
Icon

From SAT to SAT-UNSAT using P systems with dissolution rules

Riscos Núñez, Agustín; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Springer, 2022)
DP is the class of problems that are the differences between two languages from NP. Most difficult problems from DP are ...
Final Degree Project
Icon

Análisis del mercado de los juegos de mesa en perspectiva matemático-computacional

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Rodríguez Gallego, José Antonio; Rodríguez Gallego, José Antonio (2021)
El mercado de los juegos de mesa ha presentado, a lo largo de los últimos años, un desarrollo sin precedentes, convirtiéndose ...
Final Degree Project
Icon

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

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Lobato Ripoll, María; Lobato Ripoll, María (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 ...
Presentation
Icon

Inferencia Automática de Dependencias Inter-Parámetro en APIs REST

Mirabella, A. Giuliano; Mirabella, A. Giuliano; Martín López, Alberto; Martín López, Alberto; Segura Rueda, Sergio; Segura Rueda, Sergio; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio (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 ...
Article
Icon

A membrane computing framework for social navigation in robotics

Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Elsevier, 2021)
A mobile robot acting in a human environment should follow social conventions, keeping safety distances and navigating at ...
Presentation
Icon

Deep Learning-Based Prediction of Test Input Validity for RESTful APIs

Mirabella Galvin, Agatino Giuliano; Mirabella Galvin, Agatino Giuliano; Martín López, Alberto; Martín López, Alberto; Segura Rueda, Sergio; Segura Rueda, Sergio; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Ruiz Cortés, Antonio; Ruiz Cortés, Antonio (2021)
Automated test case generation for RESTful web APIs is a thriving research topic due to their key role in software integration. ...
Article
Icon

Proof techniques in Membrane Computing

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Elsevier, 2021)
From the creation of the field of Membrane Computing in 1998, several research lines havebeen opened. On the one hand, ...
Article
Icon

Dendrite P Systems Toolbox: Representation, Algorithms and Simulators

Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (World Scientific, 2021)
Dendrite P systems (DeP systems) are a recently introduced neural-like model of computation. They provide an alternative ...
Article
Icon

A Fault Analysis Method for Three-Phase Induction Motors Based on Spiking Neural P Systems

Huang, Zhu; Huang, Zhu; Wang, Tao; Wang, Tao; Liu, Wei; Liu, Wei; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Li, Pengpeng; Li, Pengpeng (Hindawi, 2021)
The fault prediction and abductive fault diagnosis of three-phase induction motors are of great importance for improving ...
Article
Icon

Tuning Frontiers of Efficiency in Tissue P Systems with Evolutional Communication Rules

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Song, Bosheng; Song, Bosheng; Pan, Linqiang; Pan, Linqiang; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Hindawi, 2021)
Over the last few years, a new methodology to address the P versus NP problem has been developed, based on searching ...
Article
Icon

P systems with evolutional communication and division rules

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (MDPI, 2021)
A widely studied field in the framework of membrane computing is computational complexity theory. While some types of P ...
Article
Icon

An Overview of Hardware Implementations of P Systems

Shang, Zeyi; Shang, Zeyi; Verlan, Sergey; Verlan, Sergey; Zhang, Gexiang; Zhang, Gexiang; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Valencia Cabrera, Luis (ACM Digital Library, 2020)
Implementing the P systems on parallel hardware is a research highlight in bio-inspired computing since the membrane ...
Presentation
Icon

An optimal solution to the SAT problem with tissue P systems

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Article
Icon

A weighted corrective fuzzy reasoning spiking neural P system for fault diagnosis in power systems with variable topologies

Wang, Tao; Wang, Tao; Wei, Xiaoguang; Wei, Xiaoguang; Wang, Jun; Wang, Jun; Huang, Tao; Huang, Tao; Peng, Hong; Peng, Hong; Song, Xiaoxiao; Song, Xiaoxiao; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Elsevier, 2020)
This paper focuses on power system fault diagnosis based on Weighted Corrective Fuzzy Reasoning Spiking Neural P Systems ...
Article
Icon

From NP-Completeness to DP-Completeness: A Membrane Computing Perspective

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Hindawi, 2020)
Presumably efficient computing models are characterized by their capability to provide polynomial-time solutions for ...
Article
Icon

When object production tunes the efficiency of membrane systems

Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Elsevier, 2020)
Psystems with active membranes is one of the most studied models within the field ofMembrane Computing. Simulating the ...
Article
Icon

Spiking neural P systems with inhibitory rules

Peng, Hong; Peng, Hong; Li, Bo; Li, Bo; Wang, Jun; Wang, Jun; Song, Xiaoxiao; Song, Xiaoxiao; Wang, Tao; Wang, Tao; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Elsevier, 2020)
Motivated by the mechanism of inhibitory synapses, a new kind of spiking neural P (SNP) system rules, called inhibitory ...
Article
Icon

Cell-like P systems with evolutional symport/antiport rules and membrane creation

Song, Bosheng; Song, Bosheng; Li, Kenli; Li, Kenli; Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Elsevier, 2020)
Cell-like P systems with symport/antiport rules are computing models inspired by theconservation law, in the sense that ...
Article
Icon

An Overview of Hardware Implementation of Membrane Computing Models

Zhang, Gexiang; Zhang, Gexiang; Shang, Zeyi; Shang, Zeyi; Verlan, Sergey; Verlan, Sergey; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Yuan, Chengxun; Yuan, Chengxun; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Article
Icon

Simulation challenges in membrane computing

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel (Springer, 2020)
P system simulators are critical tools to enable them as formal modeling framework for real-life applications. Such simulators ...
Article
Icon

A Review of Membrane Computing Models for Complex Ecosystems and a Case Study on a Complex Giant Panda System

Duan, Yingying; Duan, Yingying; Rong, Haina; Rong, Haina; Qi, Dunwu; Qi, Dunwu; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Zhang, Gexiang; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Hindawi, 2020)
Ecosystem modelling based on membrane computing is emerging as a powerful way to study the dynamics of (real) ...
PhD Thesis
Icon

El problema P versus NP: desarrollo de nuevas técnicas a través de modelos de computación bio-inspirados.

Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Orellana Martín, David; Orellana Martín, David (2019)
Article
Icon

Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2019)
Cooperation is doubtless a relevant ingredient on rewriting rules based computing models. This paper provides an overview on ...
Presentation
Icon

An apparently innocent problem in Membrane Computing

Research Group on Natural Computing; Research Group on Natural Computing; Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Article
Icon

Cascading Failures Analysis Considering Extreme Virus Propagation of Cyber-Physical Systems in Smart Grids

Wang, Tao; Wang, Tao; Wei, Xiaoguang; Wei, Xiaoguang; Huang, Tao; Huang, Tao; Wang, Jun; Wang, Jun; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Fan, Zhennan; Fan, Zhennan; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Hindawi, 2019)
Communication networks as smart infrastructure systems play an important role in smart girds to monitor, control, and ...
Presentation
Icon

11 years of P-Lingua: A backward glance

Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Editura BIBLIOSTAR, 2019)
In 2008, P-Lingua was born. The Research Group on Natural Computing worked on the development of simulation tools since ...
Presentation
Icon

Solving Problems Through a Single Membrane System

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Presentation
Icon

A new perspective on computational complexity theory in Membrane Computing

Research Group on Natural Computing; Research Group on Natural Computing; Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Presentation
Icon

New applications for an old tool

Research Group on Natural Computing; Research Group on Natural Computing; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Orellana Martín, David; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Article
Icon

A path to computational efficiency through membrane computing

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Elsevier, 2019)
The search for new mechanisms and tools allowing us to tackle the famousPversusNPproblem from new perspectives is an ...
Presentation
Icon

Dependency Graph Technique Revisited

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Orellana Martín, David; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Article
Icon

Modeling Fault Propagation Paths in Power Systems: A New Framework Based on Event SNP Systems With Neurotransmitter Concentration

Wang, Tao; Wang, Tao; Wei, Xiaoguang; Wei, Xiaoguang; Huang, Tao; Huang, Tao; Wang, Jun; Wang, Jun; Peng, Hong; Peng, Hong; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Valencia Cabrera, Luis; Valencia Cabrera, Luis (IEEE Computer Society, 2019)
To reveal fault propagation paths is one of the most critical studies for the analysis of power system security; however, ...
Presentation
Icon

A review of membrane computing models for ecosystems and a case study on giant pandas

Duan, Yingying; Duan, Yingying; Zhang, Gexiang; Zhang, Gexiang; Qi, Dunwu; Qi, Dunwu; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Rong, Haina; Rong, Haina; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Article
Icon

Simulating Tissue P systems with promoters through MeCoSim and P- Lingua

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Song, Bosheng; Song, Bosheng (Springer, 2019)
Tissue P systems constitute a well-known class of comput- ing models in the research field of membrane computing. Inspired ...
Article
Icon

P systems with symport/antiport rules: When do the surroundings matter?

Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Song, Bosheng; Song, Bosheng; Pan, Linqiang; Pan, Linqiang; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Elsevier, 2018)
Cell-like P systems where communication between the regions are carried out by rules of type symport/antiport are considered. ...
Presentation
Icon

Simulation of Computing P Systems: A GPU Design for the Factorization Problem

Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Orellana Martín, David; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Friedrich-Schiller-Universität Jena, 2018)
Article
Icon

The Unique Satisfiability Problem from a Membrane Computing Perspective

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Presentation
Icon

Narrowing Frontiers of Efficiency with Evolutional Communication Rules and Cell Separation

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Song, Bosheng; Song, Bosheng; Pan, Linqiang; Pan, Linqiang; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Presentation
Icon

A Semantic Frontier of the Efficiency in Membrane Systems

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Article
Icon

The Computational Complexity of Tissue P Systems with Evolutional Symport/Antiport Rules

Pan, Linqiang; Pan, Linqiang; Song, Bosheng; Song, Bosheng; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Hindawi, 2018)
Tissue P systems with evolutional communication (symport/antiport) rules are computational models inspired by biochemical systems ...
Presentation
Icon

Design of Specific P Systems Simulators on GPUs

Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Orellana Martín, David; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2018)
In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, ...
Article
Icon

From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Elsevier, 2018)
P systems with active membranes use evolution, communication, dissolution and division(or separation) rules. They do not ...
Article
Icon

The role of integral membrane proteins in computational complexity theory

Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2018)
In the framework of Membrane Computing, several tools to tackle the P versus NP problems by means of frontiers of the ...
Presentation
Icon

Limits on P Systems with Proteins and Without Division

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Article
Icon

Towards a General Framework for Membrane Algorithms

Andreu Guzmán, José A.; Andreu Guzmán, José A.; Valencia Cabrera, Luis; Valencia Cabrera, Luis (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 ...
Presentation
Icon

The Factorization Problem: A New Approach Through Membrane Systems

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Article
Icon

A Decade of Ecological Membrane Computing Applications

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Graciani Díaz, Carmen; Graciani Díaz, Carmen; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Riscos Núñez, Agustín (IMCS: International Membrane Computing Society, 2018)
A short summary of recent ecological modelling applications within mem- brane computing developed by the Research Group ...
Chapter of Book
Icon

A Simulation Workflow for Membrane Computing: From MeCoSim to PMCGPU Through P-Lingua

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio (Springer, 2018)
P system simulators are of high importance in Membrane Computing, since they provide tools to assist on model validation ...
Article
Icon

Laser Dynamics from a Membrane Computing Perspective

Orellana Martín, David; Orellana Martín, David; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Guisado Lízar, José Luís; Guisado Lízar, José Luís; Jiménez-Morales, Francisco de Paula; Jiménez-Morales, Francisco de Paula; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (IMCS. International Membrane Computational Society, 2018)
Modelling real systems and processes is a task classically performed through the approach of di erential equation systems, ...
Final Degree Project
Icon

Análisis y divulgación web de estudios estadísticos sobre competiciones futbolísticas a nivel de de selecciones

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Relinque Delgado, Ramón; Relinque Delgado, Ramón (2017)
El presente Trabajo Fin de Grado, titulado "Análisis y divulgación web de estudios estadísticos sobre competiciones ...
Article
Icon

From Super-cells to Robotic Swarms: Two Decades of Evolution in the Simulation of P Systems

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2017)
Membrane Computing provides machine-oriented models of computation, with types and variants including different elements ...
Presentation
Icon

Counting Membrane Systems

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Orellana Martín, David; Orellana Martín, David; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Article
Icon

A Simulation Software Tool for Cell-like Spiking Neural P Systems

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Wu, TingFang; Wu, TingFang; Zhang, ZhiQiang; Zhang, ZhiQiang; Pan, Linqiang; Pan, Linqiang; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Presentation
Icon

Membrane Computing Applications in Computational Economics

Sánchez Karhunen, Eduardo; Sánchez Karhunen, Eduardo; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Fenix Editora, 2017)
Major efforts have been made along the last decade on the modelling and simulation of phenomena within areas such as ...
Presentation
Icon

Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Inwards

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Fenix Editora, 2017)
Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ...
Article
Icon

Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Elsevier, 2017)
From a computational complexity point of view, some syntactical ingredients play differentroles depending on the kind of ...
Article
Icon

Cooperative P Systems and the P Versus NP Problem

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Orellana Martín, David; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Presentation
Icon

Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Outwards

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Fenix Editora, 2017)
Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ...
Book
Icon

15th Brainstorming Week on Membrane Computing Sevilla, January 31 - February 3, 2017, RGNC REPORT 1/2017 Research Group on Natural Computing Sevilla University

Research Group on Natural Computing; Research Group on Natural Computing; Graciani Díaz, Carmen; Graciani Díaz, Carmen; Paun, Gheorghe; Paun, Gheorghe; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Fenix Editora, 2017)
Article
Icon

Fuzzy reasoning spiking neural P systems revisited: A formalization

Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Graciani Díaz, Carmen; Graciani Díaz, Carmen; Orellana Martín, David; Orellana Martín, David; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Romero Jiménez, Álvaro; Romero Jiménez, Álvaro; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Elsevier, 2017)
Research interest within membrane computing is becoming increasingly interdisciplinary.In particular, one of the latest ...
Presentation
Icon

An Overview of Hardware Implementations of P Systems

Shang, Zeyi; Shang, Zeyi; Verlan, Sergey; Verlan, Sergey; Zhang, Gexiang; Zhang, Gexiang; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Xihua University, 2017)
Implementing the P systems on parallel hardware is a re- search highlight in bio-inspired computing since the membrane ...
Final Degree Project
Icon

Efectos dispares de una crisis económica. Una comparativa de la evolución de las economías europeas en clave estadística

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Carvajal Valderrama, José David; Carvajal Valderrama, José David (2016)
El proyecto que se presenta en esta memoria persigue una doble finalidad: por un lado, realizar un análisis, en clave ...
Final Degree Project
Icon

Estadística aplicada a la gestión deportiva

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Castellano León, Marina; Castellano León, Marina (2016)
PhD Thesis
Icon

Developing effcient simulators for cell machines

Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe (2016)
Membrane Computing, introduced by Gh. Paun at the end of 1998, is a relatively young branch of Natural Computing providing ...
Article
Icon

Complexity Perspectives on Minimal Cooperation in Cell-like Membrane Systems

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Orellana Martín, David; Orellana Martín, David; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2016)
Cooperation is doubtless a critical ingredient of a computing model. This paper provides an overview on results showing ...
Article
Icon

Polarizationless P Systems with Active Membranes: Computational Complexity Aspects

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Orellana Martín, David; Orellana Martín, David; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Presentation
Icon

Minimal cooperation in polarizationless P systems with active membranes

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Orellana Martín, David; Orellana Martín, David; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Fénix, 2016)
P systems with active membranes is a well developed framework in the eld of Membrane Computing. Using evolution, ...
Presentation
Icon

A Software Tool for Computer-Aided Design of Cell-like Spiking Neural P Systems

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Wu, TingFang; Wu, TingFang; Zhang, ZhiQiang; Zhang, ZhiQiang; Pan, Linqiang; Pan, Linqiang; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Book
Icon

14th Brainstorming Week on Membrane Computing Sevilla, February 1 - 5, 2016 : RGNC Report 1/2016

Research Group on Natural Computing; Research Group on Natural Computing; Graciani Díaz, Carmen; Graciani Díaz, Carmen; Orellana Martín, David; Orellana Martín, David; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Romero Jiménez, Álvaro; Romero Jiménez, Álvaro; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Fénix, 2016)
Article
Icon

Membrane Fission: A Computational Complexity Perspective

Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Song, Bosheng; Song, Bosheng; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pan, Linqiang; Pan, Linqiang; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Article
Icon

Parallel simulation of Population Dynamics P systems: updates and roadmap

Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2016)
Population Dynamics P systems are a type of multienvironment P systems that serve as a formal modeling framework for real ...
Article
Icon

Computing with viruses

Chen, Xu; Chen, Xu; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Wang, Beizhan; Wang, Beizhan; Zeng, Xiangxiang; Zeng, Xiangxiang (Elsevier, 2016)
In recent years, different computing models have emerged within the area of Unconven-tional Computation, and more specifically ...
PhD Thesis
IconIcon

Un entorno para la experimentación virtual con modelos computacionales basados en sistemas P

Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Valencia Cabrera, Luis (2015)
** Introducción Desde el principio de los tiempos, el Hombre se ha visto abocado a resolver problemas. En un principio ...
Book
Icon

Thirteen Brainstorming Week on Membrane Computing Sevilla, February 2-6, 2015 : RGNC Report 1/2015

Research Group on Natural Computing; Research Group on Natural Computing; Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Paun, Gheorghe; Paun, Gheorghe; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Fénix Editora, 2015)
Presentation
Icon

Computing Partial Recursive Functions by Virus Machines

Romero Jiménez, Álvaro; Romero Jiménez, Álvaro; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2015)
Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host ...
Article
Icon

Membrane fission versus cell division: When membrane proliferation is not enough

Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Elsevier, 2015)
Cell division is a process that produces two or more cells from one cell by replicating the original chromosomes so that ...
Presentation
Icon

Computational Efficiency of P Systems with Symport/Antiport Rules and Membrane Separation

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Song, Bosheng; Song, Bosheng; Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Pan, Linqiang; Pan, Linqiang; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Article
Icon

A P–Lingua Based Simulator for P Systems with Symport/Antiport Rules

Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Song, Bosheng; Song, Bosheng; Song, Tao; Song, Tao; Pan, Linqiang; Pan, Linqiang; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (IOS Press, 2015)
Inspired by mitosis process and membrane fission processes, cell-like P systems with symport/antiport rules and membrane ...
Presentation
Icon

Minimal Cooperation in P Systems with Symport/Antiport: A Complexity Approach

Valencia Cabrera, Luis; Valencia Cabrera, Luis; Song, Bosheng; Song, Bosheng; Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Pan, Linqiang; Pan, Linqiang; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2015)
Membrane systems with symport/antiport rules compute by just moving objects among membranes, and not by changing the objects ...
Presentation
Icon

Generating Diophantine Sets by Virus Machines

Romero Jiménez, Álvaro; Romero Jiménez, Álvaro; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2015)
Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host ...
Book
Icon

Twelfth Brainstorming Week on Membrane Computing Sevilla, February 3-7, 2014: RGNC REPORT 1/2014

Research Group on Natural Computing; Research Group on Natural Computing; Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Paun, Gheorghe; Paun, Gheorghe; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Fénix Editora, 2014)
Article
Icon

The role of the direction in tissue P systems with cell separation

Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Valencia Cabrera, Luis (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 ...
Presentation
Icon

Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era

Orellana Martín, David; Orellana Martín, David; Graciani Díaz, Carmen; Graciani Díaz, Carmen; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Fénix Editora, 2014)
Sevilla Carpets have already been used to compare di erent solutions of the Subset Sum problem: either designed in the ...
Chapter of Book
Icon

Membrane System-Based Models for Specifying Dynamical Population Systems

Frisco, Pierluigi; Frisco, Pierluigi; Gheorghe, Marian; Gheorghe, Marian; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Colomer Cugat, M. Ángels; Colomer Cugat, M. Ángels; García Quismondo, Manuel; García Quismondo, Manuel; Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Springer, 2014)
Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modelling framework, which has ...
Article
Icon

Application of a computational model for complex fluvial ecosystems: The population dynamics of zebra mussel Dreissena polymorpha as a case study

Colomer, M. Angels; Colomer, M. Angels; Margalida, Antoni; Margalida, Antoni; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Palau, Antoni; Palau, Antoni (Elsevier, 2014)
The potential and adaptive flexibility of population dynamic P-systems (PDP) to study population dynamics suggests that ...
Article
Icon

A P-Lingua based Simulator for Tissue P Systems with Cell Separation

Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Chacón, José M.; Chacón, José M.; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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, ...
Presentation
Icon

Accelerated Simulation of P Systems on the GPU: A Survey

Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2014)
The acceleration of P system simulations is required increasingly, since they are at the core of model verification and ...
Presentation
Icon

Kernel P Systems: Applications and Implementations

Ipate, Florentin; Ipate, Florentin; Lefticaru, Raluca; Lefticaru, Raluca; Mierla, Laurentiu; Mierla, Laurentiu; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Han, Huang; Han, Huang; Zhang, Gexiang; Zhang, Gexiang; Dragomir, Ciprian; Dragomir, Ciprian; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Gheorghe, Marian; Gheorghe, Marian (Springer, 2013)
This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific ...
Presentation
Icon

The Relevance of the Environment on the Efficiency of Tissue P Systems

Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Rius Font, Miquel; Rius Font, Miquel; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Springer, 2013)
The efficiency of computational devices is usually expressed in terms of their capability to solve computationally hard ...
Presentation
Icon

Kernel P Systems - Version 1

Gheorgue, Marian; Gheorgue, Marian; Ipate, Florentin; Ipate, Florentin; Dragomir, Ciprian; Dragomir, Ciprian; Mierla, Laurentiu; Mierla, Laurentiu; Valencia Cabrera, Luis; Valencia Cabrera, Luis; García Quismondo, Manuel; García Quismondo, Manuel; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (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 ...
Article
Icon

Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems

Valencia Cabrera, Luis; Valencia Cabrera, Luis; García Quismondo, Manuel; García Quismondo, Manuel; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Su, Yansen; Su, Yansen; Yu, Hui; Yu, Hui; Pan, Linqiang; Pan, Linqiang (Old City Publishing, 2013)
Gene regulatory networks are useful models for biologists to understand the interactions among genes in living organisms. ...
Article
Icon

3-Col problem modelling using simple kernel P systems

Gheorghe, Marian; Gheorghe, Marian; Ipate, Florentin; Ipate, Florentin; Lefticaru, Raluca; Lefticaru, Raluca; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Turcanu, Adrian; Turcanu, Adrian; Valencia Cabrera, Luis; Valencia Cabrera, Luis; García Quismondo, Manuel; García Quismondo, Manuel; Mierla, Laurentiu; Mierla, Laurentiu (Taylor and Francis, 2013)
This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems) and investigates through a ...
Book
Icon

Eleventh Brainstorming Week on Membrane Computing Sevilla, February 4-8, 2013 : RGNC REPORT 1/2013

Research Group on Natural Computing; Research Group on Natural Computing; Valencia Cabrera, Luis; Valencia Cabrera, Luis; García Quismondo, Manuel; García Quismondo, Manuel; Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Paun, Gheorghe; Paun, Gheorghe; Riscos Núñez, Agustín; Riscos Núñez, Agustín (Fénix Editora, 2013)
Presentation
Icon

Analysing Gene Networks with PDP Systems. Arabidopsis thaliana, a Case Study

Valencia Cabrera, Luis; Valencia Cabrera, Luis; García Quismondo, Manuel; García Quismondo, Manuel; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Su, Yansen; Su, Yansen; Yu, Hui; Yu, Hui; Pan, Linqiang; Pan, Linqiang (Fénix Editora, 2013)
Gene Regulatory Networks (GRNs) are a useful tool for biologists to understand the interactions among genes in living ...
Book
Icon

Tenth Brainstorming Week on Membrane Computing Sevilla, January 30 - February 3, 2012 Volume II : RGNC REPORT 2/2012

Research Group on Natural Computing; Research Group on Natural Computing; García Quismondo, Manuel; García Quismondo, Manuel; Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Paun, Gheorghe; Paun, Gheorghe; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Fénix Editora, 2012)
Presentation
Icon

Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems

Lefticaru, Raluca; Lefticaru, Raluca; Ipate, Florentin; Ipate, Florentin; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Turcanu, Adrian; Turcanu, Adrian; Tudose, Cristina; Tudose, Cristina; Gheorgue, Marian; Gheorgue, Marian; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Niculescu, Ionut Mihai; Niculescu, Ionut Mihai; Dragomir, Ciprian; Dragomir, Ciprian (Fénix Editora, 2012)
This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ...
Presentation
Icon

DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution

Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; García Quismondo, Manuel; García Quismondo, Manuel; Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Romero Jiménez, Álvaro; Romero Jiménez, Álvaro; Graciani Díaz, Carmen; Graciani Díaz, Carmen; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Colomer, M. Angels; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012)
Population Dynamics P systems refer to a formal framework for ecological modelling. The semantics of the model associates ...
Presentation
Icon

The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment

Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Riscos Núñez, Agustín; Rius Font, Miquel; Rius Font, Miquel; Valencia Cabrera, Luis; Valencia Cabrera, Luis (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 ...
Presentation
Icon

A P–Lingua Based Simulator for Spiking Neural P Systems

Macías Ramos, Luis Felipe; Macías Ramos, Luis Felipe; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; García Quismondo, Manuel; García Quismondo, Manuel; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Riscos Núñez, Agustín (Springer, 2011)
The research within the field of Spiking Neural P systems (SN P systems, for short) is focusing mainly in the study of ...
Book
Icon

Ninth Brainstorming Week on Membrane Computing, Sevilla, January 31 - February 4, 2011 : RGNC REPORT 1/2011

Research Group on Natural Computing; Research Group on Natural Computing; Martínez del Amor, Miguel Ángel; Martínez del Amor, Miguel Ángel; Paun, Gheorghe; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Romero Campero, Francisco José; Romero Campero, Francisco José; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Fénix Editora, 2011)
Presentation
Icon

Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by Using P-Systems

Colomer, M. Angels; Colomer, M. Angels; Lavín, Santiago; Lavín, Santiago; Marco, Ignasi; Marco, Ignasi; Margalida, Antoni; Margalida, Antoni; Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Sanuy, Delfí; Sanuy, Delfí; Serrano, Emmanuel; Serrano, Emmanuel; Valencia Cabrera, Luis; Valencia Cabrera, Luis (Springer, 2011)
P systems provide a high level computational modeling framework which integrates the structural and dynamic aspects of ...
Presentation
Icon

A New P System to Model the Subalpine and Alpine Plant Communities

Colomer, M. Angels; Colomer, M. Angels; Fondevilla, Cristian; Fondevilla, Cristian; Valencia Cabrera, Luis; Valencia Cabrera, Luis (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 ...
Presentation
Icon

MeCoSim: A general purpose software tool for simulating biological phenomena by means of P Systems

Pérez Hurtado de Mendoza, Ignacio; Pérez Hurtado de Mendoza, Ignacio; Valencia Cabrera, Luis; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Pérez Jiménez, Mario de Jesús; Colomer, M. Angels; Colomer, M. Angels; Riscos Núñez, Agustín; Riscos Núñez, Agustín (IEEE Computer Society, 2010)
In recent years, the increasing importance of the computational systems biology is leading to an impressive growth of the ...