Data

NamePérez Jiménez, Mario de Jesús
DepartmentCiencias de la Comput. e Int. Artificial
Knowledge areaCiencia de la Computación e Inteligencia Artificial
Professional categoryProfesor Emérito
E-mailRequest
           

  Statistics

  • Items

    365

  • Visits

    18880

  • Downloads

    21619

  Publications

 

Article
Icon

A Survey of Nature-Inspired Computing: Membrane Computing

Song, Bosheng; Li, Kenli; Orellana Martín, David; Pérez Jiménez, Mario de Jesús; Pérez Hurtado de Mendoza, Ignacio (ACM Digital Library, 2021-01-01)
Nature-inspired computing is a type of human-designed computing motivated by nature, which is based on the employ of ...
Article
Icon

Dendrite P Systems Toolbox: Representation, Algorithms and Simulators

Orellana Martín, David; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (World Scientific, 2021-01-01)
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; Wang, Tao; Liu, Wei; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús; Li, Pengpeng (Hindawi, 2021-01-01)
The fault prediction and abductive fault diagnosis of three-phase induction motors are of great importance for improving ...
Article
Icon

Proof techniques in Membrane Computing

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

An Overview of Hardware Implementation of Membrane Computing Models

Zhang, Gexiang; Shang, Zeyi; Verlan, Sergey; Martínez del Amor, Miguel Ángel; Yuan, Chengxun; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (ACM Digital Library, 2020-01-01)
The model of membrane computing, also known under the name of P systems, is a bio-inspired large-scale parallel computing ...
Article
Icon

Adaptative parallel simulators for bioinspired computing models

Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Pérez Jiménez, Mario de Jesús (Elsevier, 2020-01-01)
In the Membrane Computing area, P systems are unconventional devices of computation inspired by the structure and processes ...
Article
Icon

Spiking neural P systems with inhibitory rules

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

A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning

Pérez Hurtado de Mendoza, Ignacio; Martínez del Amor, Miguel Ángel; Zhang, Gexiang; Neri, Ferrante; Pérez Jiménez, Mario de Jesús (IOS Press, 2020-01-01)
In recent years, incremental sampling-based motion planning algorithms have been widely used to solve robot motion planning ...
Article
Icon

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

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

An optimal solution to the SAT problem with tissue P systems

Orellana Martín, David; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020-01-01)
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; Wei, Xiaoguang; Wang, Jun; Huang, Tao; Peng, Hong; Song, Xiaoxiao; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Elsevier, 2020-01-01)
This paper focuses on power system fault diagnosis based on Weighted Corrective Fuzzy Reasoning Spiking Neural P Systems ...
Article
Icon

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

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

Dendrite P systems

Peng, Hong; Bao, Tingting; Luo, Xiaohui; Wang, Jun; Song, Xiaoxiao; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Elsevier, 2020-01-01)
It was recently found that dendrites are not just a passive channel. They can perform mixed computation of analog and ...
Article
Icon

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

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

Cell-like P systems with polarizations and minimal rules

Pan, Linqiang; Orellana Martín, David; Song, Bosheng; Pérez Jiménez, Mario de Jesús (Elsevier, 2020-01-01)
P systems with active membranes are a class of computation models in the area ofmembrane computing, which are inspired ...
Article
Icon

Preface of the special issue for Gheorghe Pǎun’s 70th anniversary

Gheorgue, Marian; Pérez Jiménez, Mario de Jesús; Rozenberg, Grzegorz; Salomaa, Arto (Springer, 2020-01-01)
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; Valencia Cabrera, Luis; Orellana Martín, David (2019-04-01)
Article
Icon

Adjacent Graph Based Vulnerability Assessment for Electrical Networks Considering Fault Adjacent Relationships Among Branches

Zang, Tianlei; Lei, Jieyu; Wei, Xiaoguang; Huang, Tao; Wang, Tao; Pérez Jiménez, Mario de Jesús; Lin, Hua (IEEE Computer Society, 2019-01-01)
Security issues related to vulnerability assessment in electrical networks are necessary for operators to identify the ...
Presentation
Icon

P Systems: from Anti-Matter to Anti-Rules

Research Group on Natural Computing; Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019-01-01)
The concept of a matter object being annihilated when meeting its corresponding anti-matter object is taken over for rule ...
Presentation
Icon

An apparently innocent problem in Membrane Computing

Research Group on Natural Computing; Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019-01-01)
The search for effcient solutions of computationally hard problems by means of families of membrane systems has lead to a ...
Presentation
Icon

A syntax for semantics in P-Lingua

Research Group on Natural Computing; Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019-01-01)
P-Lingua is a software framework for Membrane Computing, it includes a programming language, also called P-Lingua, for ...
Presentation
Icon

A new perspective on computational complexity theory in Membrane Computing

Research Group on Natural Computing; Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019-01-01)
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; Valencia Cabrera, Luis; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019-01-01)
First, the dependency graph technique, not so far from its current application, was developed trying to nd the shortest ...
Article
Icon

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

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

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

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

Dynamic threshold neural P systems

Peng, Hong; Wang, Jun; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Elsevier, 2019-01-01)
Pulse coupled neural networks (PCNN, for short) are models abstracting the synchronization behavior observed experimentally ...
Presentation
Icon

11 years of P-Lingua: A backward glance

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

P‑Lingua in two steps: flexibility and efficiency

Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús (Springer, 2019-01-01)
Membrane computing is a bio-inspired computing paradigm that lacks in vivo implementation. That is why software or hardware ...
Article
Icon

A path to computational efficiency through membrane computing

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

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

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

Interval-valued fuzzy spiking neural P systems for fault diagnosis of power transmission networks

Wang, Jun; Peng, Hong; Yu, Wenping; Ming, Jun; Pérez Jiménez, Mario de Jesús; Tao, Chengyu; Huang, Xiangnian (Elsevier, 2019-01-01)
It is a challenge problem how to deal with the uncertainty in fault diagnosis of power systems. To solve the challenge ...
Article
Icon

Solving the 0-1 Knapsack Problem by Using Tissue P System With Cell Division

Ye, Lian; Zheng, Jinhang; Guo, Ping; Pérez Jiménez, Mario de Jesús (IEEE Computer Society, 2019-01-01)
Membrane computing is a kind of distributed and parallel computing model inspired by a biological cell mechanism. The ...
Article
Icon

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

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

Limits on P Systems with Proteins and Without Division

Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018-01-01)
In the field of Membrane Computing, computational complexity theory has been widely studied trying to nd frontiers of ...
Presentation
Icon

Narrowing Frontiers of Efficiency with Evolutional Communication Rules and Cell Separation

Orellana Martín, David; Valencia Cabrera, Luis; Song, Bosheng; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018-01-01)
In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ...
Article
Icon

Laser Dynamics from a Membrane Computing Perspective

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

On GPU-Oriented P Systems

Martínez del Amor, Miguel Ángel; Orellana Martín, David; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (IEEE Computer Society, 2018-01-01)
Article
Icon

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

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

Simulation of Rapidly-Exploring Random Trees in Membrane Computing with P-Lingua and Automatic Programming

Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Zhang, Gexiang; Orellana Martín, David (Agora University of Oradea, 2018-01-01)
Methods based on Rapidly-exploring Random Trees (RRTs) have been widely used in robotics to solve motion planning problems. ...
Article
Icon

Application of Neural-Like P Systems With State Values for Power Coordination of Photovoltaic/Battery Microgrids

Wang, Tao; Wang, Jun; Ming, Jun; Sun, Zhang; Wei, ChuanXiang; Lu, Chun; Pérez Jiménez, Mario de Jesús (IEEE Computer Society, 2018-01-01)
The power coordination control of a photovoltaic/battery microgrid is performed with a novel bio-computing model within ...
Article
Icon

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

Pan, Linqiang; Song, Bosheng; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (Hindawi, 2018-01-01)
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; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Springer, 2018-01-01)
In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, ...
Presentation
Icon

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

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

Robot Path Planning using Rapidly-Exploring Random Trees: A Membrane Computing Approach

Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Zhang, Gexiang; Orellana Martín, David (IEEE Computer Society, 2018-01-01)
Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems for ...
Presentation
Icon

P-Lingua Compiler: A Tool for Generating Ad-hoc Simulators in Membrane Computing

Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús (Centre for Discrete Mathematics and Theoretical Computer Science, 2018-01-01)
Article
Icon

The role of integral membrane proteins in computational complexity theory

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

The Factorization Problem: A New Approach Through Membrane Systems

Orellana Martín, David; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (University of Paris Est Creteil Val de Marne, 2018-01-01)
The factorization problem (given a natural number which is the product of two prime numbers, find its decomposition) is ...
Article
Icon

The Unique Satisfiability Problem from a Membrane Computing Perspective

Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Romanian Academy, Section for Information Science and Technology, 2018-01-01)
Complexity class DP is the class of “differences” of any two languages in NP. It verifies that NP[ co-NP DP PNP, where ...
Article
Icon

Fault Diagnosis of Power Systems Using Intuitionistic Fuzzy Spiking Neural P Systems

Peng, Hong; Wang, Jun; Ming, Jun; Shi, Peng; Pérez Jiménez, Mario de Jesús; Yu, Wenping; Tao, Chengyu (IEEE Computer Society, 2018-01-01)
In this paper, intuitionistic fuzzy spiking neural P (IFSNP) systems as a variant are proposed by integrating intuitionistic ...
Article
Icon

P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification

Zhu, Ming; Zhang, Gexiang; Yang, Qiang; Rong, Haina; Yuan, Weitao; Pérez Jiménez, Mario de Jesús (IEEE Computer Society, 2018-01-01)
Automatic design of mechanical procedures solving abstract problems is a relevant scientific challenge. In particular, ...
Article
Icon

Multiobjective fuzzy clustering approach based on tissue-like membrane systems

Peng, Hong; Shi, Peng; Wang, Jun; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Elsevier, 2017-06-01)
Fuzzy clustering problem is usually posed as an optimization problem. However, the existing researchhas shown that clustering ...
Presentation
Icon

Limits on Efficient Computation in P Systems with Symport/Antiport Rules

Macías Ramos, Luis Felipe; Song, Bosheng; Song, Tao; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fenix Editora, 2017-01-01)
Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by ...
Presentation
Icon

Sparse-matrix Representation of Spiking Neural P Systems for GPUs

Martínez del Amor, Miguel Ángel; Orellana Martín, David; Cabarle, Francis George C.; Pérez Jiménez, Mario de Jesús; Adorna, Henry N. (Fenix Editora, 2017-01-01)
Current parallel simulation algorithms for Spiking Neural P (SNP) systems are based on a matrix representation. This helps ...
Presentation
Icon

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

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

On Efficiency of P Systems with Symport/Antiport and Membrane Division

Macías Ramos, Luis Felipe; Song, Bosheng; Song, Tao; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fenix Editora, 2017-01-01)
Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by ...
Presentation
Icon

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

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

Fuzzy reasoning spiking neural P systems revisited: A formalization

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

Counting Membrane Systems

Valencia Cabrera, Luis; Orellana Martín, David; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (University of Bradford, Faculty of Engineering and Informatics, 2017-01-01)
A decision problem is one that has a yes/no answer, while a counting problem asks how many possible solutions exist ...
Article
Icon

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

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

An efficient time-free solution to QSAT problem using P systems with proteins on membranes

Song, Bosheng; Pérez Jiménez, Mario de Jesús; Pan, Linqiang (Elsevier, 2017-01-01)
P systems are a class of distributed parallel computing devices inspired by some basicbehaviors of biological membranes, ...
Article
Icon

Evolutionary response of a native butterfly to concurrent plantinvasions: Simulation of population dynamics

García Quismondo, Manuel; Reed, J. Michael; Chew, Frances S.; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Elsevier, 2017-01-01)
The habitat of the green-veined white butterfly Pieris oleracea in eastern North America has undergone invasions by the ...
Article
Icon

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

Valencia Cabrera, Luis; Wu, TingFang; Zhang, ZhiQiang; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Romanian Academy, Section for Information Science and Technology, 2017-01-01)
Spiking neural P systems (SN P systems, for short) constitute a class of computing models in the research eld of membrane ...
Presentation
Icon

Fault Diagnosis for Multi-energy Flows of Energy Internet: Framework and Prospects

Wang, Tao; Wang, Jun; Fan, Zhennan; Wei, Xiaoguang; Pérez Jiménez, Mario de Jesús; Zang, Tianlei; Huang, Tao (IEEE Computer Society, 2017-01-01)
Energy Internet (EI) is an inevitable development trend of energy systems under the background of technology development, ...
PhD Thesis
Icon

Developing effcient simulators for cell machines

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

Minimal cooperation in polarizationless P systems with active membranes

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

Preface Membrane Computing 2016

Gheorghe, Marian; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2016-01-01)
Article
Icon

Computing with viruses

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

Parallel simulation of Population Dynamics P systems: updates and roadmap

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

Membrane Fission: A Computational Complexity Perspective

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

An efficient time-free solution to SAT problem by P systems with proteins on membranes

Song, Bosheng; Pérez Jiménez, Mario de Jesús; Pan, Linqiang (Elsevier, 2016-01-01)
P systems with proteins on membranes are a class of bio-inspired computing models,where the execution of each rule completes ...
Article
Icon

Cell-Like P Systems With Channel States and Symport/Antiport Rules

Song, Bosheng; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (IEEE Computer Society, 2016-01-01)
Cell-like P systems with symport/antiport rules are inspired by the structure of a cell and the way of communicating substances ...
Article
Icon

Sequential Spiking Neural P Systems with Structural Plasticity Based on Max/Min Spike Number

Cabarle, Francis George C.; Adorna, Henry N.; Pérez Jiménez, Mario de Jesús (Springer, 2016-01-01)
Spiking neural P systems (in short, SNP systems) are parallel, distributed, and nondeterministic computing devices inspired ...
Article
Icon

Tissue P Systems With Channel States Working in the Flat Maximally Parallel Way

Song, Bosheng; Pérez Jiménez, Mario de Jesús; Paun, Gheorghe; Pan, Linqiang (IEEE Computer Society, 2016-01-01)
issue P systems with channel states are a class of bio-inspired parallel computational models, where rules are used in a ...
Article
Icon

Tissue P Systems with Protein on Cells

Song, Bosheng; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (IOS Press, 2016-01-01)
Tissue P systems are a class of distributed parallel computing devices inspired by biochemical interactions between cells ...
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; Riscos Núñez, Agustín; Valencia Cabrera, Luis (2015-02-02)
** Introducción Desde el principio de los tiempos, el Hombre se ha visto abocado a resolver problemas. En un principio ...
Presentation
Icon

Asynchronous Spiking Neural P Systems with Structural Plasticity

Cabarle, Francis George C.; Adorna, Henry N.; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2015-01-01)
Spiking neural P (in short, SNP) systems are computing devices inspired by biological spiking neurons. In this work we ...
Presentation
Icon

Notes on Spiking Neural P Systems and Finite Automata

Cabarle, Francis George C.; Adorna, Henry N.; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2015-01-01)
Spiking neural P systems (in short, SNP systems) are membrane computing models inspired by the pulse coding of information ...
Presentation
Icon

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

Valencia Cabrera, Luis; Song, Bosheng; Macías Ramos, Luis Felipe; Pan, Linqiang; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2015-01-01)
Membrane ssion is a process by which a biological membrane is split into two new ones in such a way that the contents of ...
Presentation
Icon

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

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

Parallel Simulation of PDP Systems: Updates and Roadmap

Martínez del Amor, Miguel Ángel; Macías Ramos, Luis Felipe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2015-01-01)
PDP systems are a type of multienvironment P systems, which serve as a formal modeling framework for Population Dynamics. ...
Presentation
Icon

Generating Diophantine Sets by Virus Machines

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

Computing Partial Recursive Functions by Virus Machines

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

An automatic clustering algorithm inspired by membrane computing

Peng, Hong; Wang, Jun; Shi, Peng; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Elsevier, 2015-01-01)
Membrane computing is a class of distributed parallel computing models. Inspired from the structure and inherent mechanism ...
Article
Icon

An unsupervised learning algorithm for membrane computing

Peng, Hong; Wang, Jun; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Elsevier, 2015-01-01)
This paper focuses on the unsupervised learning problem within membrane computing, and proposes an innovative solution ...
Article
Icon

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

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

Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms

Macías Ramos, Luis Felipe; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2015-01-01)
Fuzzy Reasoning Spiking Neural P systems (FRSN P systems, for short) is a variant of Spiking Neural P systems incorporating fuzzy ...
Article
Icon

Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division

Song, Bosheng; Pérez Jiménez, Mario de Jesús; Pan, Linqiang (Elsevier, 2015-01-01)
P systems are computing models inspired by some basic features of biological membranes. In this work, membrane division, ...
Article
Icon

Computational efficiency and universality of timed P systems with membrane creation

Song, Bosheng; Pérez Jiménez, Mario de Jesús; Pan, Linqiang (Springer, 2015-01-01)
P systems are a class of distributed parallel computing models inspired by the structure and the functioning of a living ...
Article
Icon

Fault Diagnosis of Metro Traction Power Systems Using A Modified Fuzzy Reasoning Spiking Neural P System

He, Yangyang; Wang, Tao; Huang, Kang; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús (Romanian Academy, Section for Information Science and Technology, 2015-01-01)
This paper presents the application of a modified fuzzy reasoning spiking neural P systems (MFRSN P system, for short) to ...
Article
Icon

Decision Tree Models Induced by Membrane Systems

Wang, Jun; Hu, Juan; Peng, Hong; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Romanian Academy, Section for Information Science and Technology, 2015-01-01)
This paper focuses on an application of membrane systems to solve classification problems. Decision tree technique has ...
Article
Icon

Fault Section Estimation of Power Systems with Optimization Spiking Neural P Systems

Wang, Tao; Zeng, Sikui; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús; Wang, Jun (Romanian Academy, Section for Information Science and Technology, 2015-01-01)
An optimization spiking neural P system (OSNPS) provides a novel way to directly use a P system to solve optimization ...
Article
Icon

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

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

Fault Diagnosis of Electric Power Systems Based on Fuzzy Reasoning Spiking Neural P Systems

Wang, Tao; Zhang, Gexiang; Zhao, Junbo; He, Zhengyou; Wang, Jun; Pérez Jiménez, Mario de Jesús (IEEE Computer Society, 2015-01-01)
This paper proposes a graphic modeling approach, fault diagnosis method based on fuzzy reasoning spiking neural P systems ...
Article
Icon

Fuzzy Membrane Computing: Theory and Applications

Wang, Tao; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús (Agora University of Oradea, 2015-01-01)
Fuzzy membrane computing is a newly developed and promising research direction in the area of membrane computing that aims ...
Article
Icon

Optimal multi-level thresholding with membrane computing

Peng, Hong; Wang, Jun; Pérez Jiménez, Mario de Jesús (Elsevier, 2015-01-01)
The conventional methods are not effective and efficient for image multi-level thresholding due to time-consuming and ...
Article
Icon

Spiking Neural P Systems with Structural Plasticity

Cabarle, Francis George C.; Adorna, Henry N.; Pérez Jiménez, Mario de Jesús; Song, Tao (Springer, 2015-01-01)
Spiking neural P (SNP) systems are a class of parallel, distributed, and nondeterministic computing models inspired by the ...
Presentation
Icon

Extending SNP Systems Asynchronous Simulation Modes in P-Lingua

Macías Ramos, Luis Felipe; Song, Tao; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2014-01-01)
Spiking neural P systems (SN P systems for short) is a developing field within the P systems world. Inspired by the ...
Presentation
Icon

Probabilistic Guarded P Systems, A Formal Definition

García Quismondo, Manuel; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2014-01-01)
In this paper, we extend the general framework of Multienvironment P systems, which is a formal framework for modelling ...
Presentation
Icon

The Reduction Problem in CUDA and Its Simulation with P Systems

Ceterchi, Rodica; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2014-01-01)
We introduce P systems with dynamic communication graphs which simu- late the functioning of the CUDA architecture when solving the parallel reduction prob- lem.
Presentation
Icon

Application of Weighted Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis in Traction Power Supply Systems of High-speed Railways

Wang, Tao; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2014-01-01)
This paper discusses the application of weighted fuzzy reasoning spiking neu- ral P systems (WFRSN P systems) to fault ...
Presentation
Icon

Membrane Clustering: A Novel Clustering Algorithm under Membrane Computing

Peng, Hong; Zhang, Jiarong; Wang, Jun; Wang, Tao; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2014-01-01)
Membrane computing (known as P systems) is a class of distributed parallel computing models, this paper presents a novel ...
Presentation
Icon

Accelerated Simulation of P Systems on the GPU: A Survey

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

The framework of P systems applied to solve optimal watermarking problem

Peng, Hong; Wang, Jun; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Elsevier, 2014-01-01)
Membrane computing (known as P systems) is a novel class of distributed parallel computing models inspired by the structure ...
Presentation
Icon

Probabilistic Guarded P Systems, A New Formal Modelling Framework

García Quismondo, Manuel; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2014-01-01)
Multienvironment P systems constitute a general, formal framework for modelling the dynamics of population biology, which ...
Article
Icon

Evolutionary membrane computing: A comprehensive survey and new results

Zhang, Gexiang; Gheorghe, Marian; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Elsevier, 2014-01-01)
Evolutionary membrane computing is an important research direction of membrane computing that aims to explore the complex ...
Chapter of Book
Icon

Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology

Frisco, Pierluigi; Gheorghe, Marian; Pérez Jiménez, Mario de Jesús; Blakes, Jonathan; Twycross, Jamie; Konur, Savas; Romero Campero, Francisco José; Krasnogor, Natalio; Gheorghe, Marian (Springer, 2014-01-01)
This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel spatial ...
Article
Icon

An optimization Spiking Neural P system for approximately solving combinatorial optimization problems

Zhang, Gexiang; Rong, Haina; Neri, Ferrante; Pérez Jiménez, Mario de Jesús (World Scientific, 2014-01-01)
Membrane systems (also called P systems) refer to the computing models abstracted from the structure and the functioning ...
Article
Icon

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

Pérez Hurtado de Mendoza, Ignacio; Valencia Cabrera, Luis; Chacón, José M.; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Romanian Academy, Section for Information Science and Technology, 2014-01-01)
Tissue P systems are one of the currently active research topics within the field of Membrane Computing. In particular, ...
Article
Icon

Automatic Design of Deterministic and Non-Halting Membrane Systems by Tuning Syntactical Ingredients

Zhang, Gexiang; Rong, Haina; Ou, Zhu; Pérez Jiménez, Mario de Jesús; Gheorghe, Marian (IEEE Computer Society, 2014-01-01)
To solve the programmability issue of membrane computing models, the automatic design of membrane systems is a newly ...
Chapter of Book
Icon

Membrane System-Based Models for Specifying Dynamical Population Systems

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

Application of Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis

Wang, Tao; Zhang, Gexiang; Rong, Haina; Pérez Jiménez, Mario de Jesús (Agora University of Oradea, Romania, 2014-01-01)
This paper discusses the application of fuzzy reasoning spiking neural P systems with trapezoidal fuzzy numbers (tFRSN P ...
Article
Icon

Small universal simple spiking neural P systems with weights

Zeng, Xiangxiang; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Springer, 2014-01-01)
Spiking neural P systems with weights (WSN P systems, for short) are a new variant of spiking neural P systems, where the ...
Article
Icon

Time-free solution to SAT problem using P systems with active membranes

Song, Tao; Macías Ramos, Luis Felipe; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Elsevier, 2014-01-01)
P systems are a class of distributed and parallel computation models inspired by the structure and the functioning of ...
PhD Thesis
Icon

Modeling and simulation of real-life phenomena in membrane computing

Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús; García-Quismondo Fernández, Manuel (2013-10-11)
This document is structured in three parts, whose content is briefly outlined below. Part I: Preliminaries Chapter I ...
Presentation
Icon

Simulating a Family of Tissue P Systems Solving SAT on the GPU

Martínez del Amor, Miguel Ángel; Pérez Carrasco, Jesús; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2013-01-01)
In order to provide e cient software tools to deal with large membrane systems, high-throughput simulators are required. ...
Presentation
Icon

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

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

Population Dynamics P System (PDP) Models: A Standardized Protocol for Describing and Applying Novel Bio-Inspired Computing Tools

Colomer, M. Angels; Margalida, A.; Pérez Jiménez, Mario de Jesús (2013-01-01)
Today, the volume of data and knowledge of processes necessitates more complex models that integrate all available ...
PhD Thesis
Icon

Aceleración de Simuladores de Sistemas de Membranas Mediante Computación de Altas Prestaciones con GPU

Pérez Jiménez, Mario de Jesús; Pérez Hurtado de Mendoza, Ignacio; Martínez del Amor, Miguel Ángel (2013-01-01)
Presentation
Icon

Kernel P Systems - Version 1

Gheorgue, Marian; Ipate, Florentin; Dragomir, Ciprian; Mierla, Laurentiu; Valencia Cabrera, Luis; García Quismondo, Manuel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2013-01-01)
A basic P system, called kernel P system4 (kP system for short), combining features of di erent P systems introduced and ...
Presentation
Icon

Bridging Membrane and Reaction Systems - Further Results and Research Topics

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Rozenberg, Grzegorz (Fénix Editora, 2013-01-01)
This paper continues an investigation into bridging two research areas con- cerned with natural computing: membrane computing ...
Article
Icon

Weighted Fuzzy Spiking Neural P Systems

Wang, Jun; Shi, Peng; Peng, Hong; Pérez Jiménez, Mario de Jesús; Wang, Tao (IEEE Computer Society, 2013-01-01)
Spiking neural P systems (SN P systems) are a new class of computing models inspired by the neurophysiological be-havior ...
Article
Icon

Foreword. Special Issue: A selection of papers from the 10th Brainstorming Week on Membrane Computing

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Taylor and Francis, 2013-01-01)
Presentation
Icon

Kernel P Systems: Applications and Implementations

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

3-Col problem modelling using simple kernel P systems

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

Seeking Sharper Frontiers of Efficiency in Tissue P Systems: in the collective paper, Research frontiers in Membrane Computing: Open problems and research topics.

Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Rius Font, Miquel; Romero Jiménez, Álvaro (World Scientific, 2013-01-01)
Article
Icon

A novel image thresholding method based on membrane computing and fuzzy entropy

Peng, Hong; Wang, Jun; Pérez Jiménez, Mario de Jesús; Shi, Peng (IOS Press, 2013-01-01)
Multi-level thresholding methods are a class of most popular image segmentation techniques, however, they are not computationally ...
Article
Icon

Fuzzy reasoning spiking neural P system for fault diagnosis

Peng, Hong; Wang, Jun; Pérez Jiménez, Mario de Jesús; Wang, Hao; Shao, Jie; Wang, Tao (Elsevier, 2013-01-01)
Spiking neural P systems (SN P systems) have been well established as a novel class of distributed parallel computing ...
Article
Icon

A polynomial alternative to unbounded environment for tissue P systems with cell division

Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Rius Font, Miquel; Romero Campero, Francisco José (Taylor and Francis, 2013-01-01)
The standard definition of tissue P systems includes a special alphabet whose elements are assumed to appear in the initial ...
Presentation
Icon

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

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

Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems

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

Implementing Enzymatic Numerical P Systems for AI Applications by Means of Graphic Processing Units

Kelemen, Jozef; Romportl, Jan; Zackova, Eva; García Quismondo, Manuel; Macías Ramos, Luis Felipe; Pérez Jiménez, Mario de Jesús (Springer, 2013-01-01)
A P system represents a distributed and parallel computing model in which basic data structures are, for instance, multisets ...
Presentation
Icon

Parallel Simulation of Probabilistic P Systems on Multicore Platforms

Martínez del Amor, Miguel Ángel; Karlin, Ian; Jensen, Rune E.; Pérez Jiménez, Mario de Jesús; Elster, Anne C. (Fénix Editora, 2012-01-01)
Ecologists need to model ecosystems to predict how they will evolve over time. Since ecosystems are non-deterministic ...
Presentation
Icon

The Role of the Environment in Tissue P Systems with Cell Division

Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Rius Font, Miquel; Romero Campero, Francisco José (Fénix Editora, 2012-01-01)
Classical tissue P systems with cell division have a special alphabet whose elements appear at the initial configuration ...
Presentation
Icon

Image Thresholding with Cell-like P Systems

Peng, Hong; Shao, Jie; Li, Bing; Wang, Jun; Pérez Jiménez, Mario de Jesús; Jiang, Yang; Yang, Yufan (Fénix Editora, 2012-01-01)
P systems are a new class of distributed parallel computing models. In this paper, a novel three-level thresholding approach ...
Presentation
Icon

Simulating Large-Scale ENPS Models by Means of GPU

García Quismondo, Manuel; Brandusa Pavel, Ana; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012-01-01)
Enzymatic Numerical P Systems (ENPS), an extension of Numerical P Systems, have been successfully applied to model robot ...
Presentation
Icon

DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution

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

Programas moleculares y sistemas lógico-formales

Nepomuceno Fernández, Ángel; Pérez Jiménez, Mario de Jesús (De Gruyter, 2012-01-01)
Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación ...
Article
Icon

Languages and P systems: Recent developments

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (2012-01-01)
Languages appeared from the very beginning in membrane computing, by their length sets or directly as sets of strings. We ...
Presentation
Icon

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

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

Frontiers of Membrane Computing: Open Problems and Research Topics

Gheorgue, Marian; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012-01-01)
This is a list of open problems and research topics collected after the Twelfth Conference on Membrane Computing, CMC 2012 ...
Presentation
Icon

An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division

Porreca, Antonio E.; Murphy, Niall; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012-01-01)
In the framework of tissue P systems with cell division, the length of communication rules provides a frontier for the ...
Presentation
Icon

Languages and P Systems: Recent Developments

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012-01-01)
Languages appeared from the very beginning in membrane computing, by their length sets or directly as sets of strings. We ...
Presentation
Icon

Improving the Efficiency of Tissue P Systems with Cell Separation

Pérez Jiménez, Mario de Jesús; Sosík, Petr (Fénix Editora, 2012-01-01)
Cell fission process consists of the division of a cell into two new cells such that the contents of the initial cell is ...
Chapter of Book
Icon

Spiking Neural P Systems: A Short Introduction and New Normal Forms

Enachescu, C.; Filip, F.; Iantovics, B.; Pan, Linqiang; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Editorial Academiei, 2012-01-01)
Spiking neural P systems are a class of P systems inspired from the way the neurons communicate with each other by means ...
Article
Icon

Improving GPU Simulations of Spiking Neural P Systems

Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Romanian Academy, 2012-01-01)
In this work we present further extensions and improvements of a Spiking Neural P system (for short, SNP systems) simulator ...
Article
Icon

Solving Common Algorithmic Problem by Recognizer Tissue P Systems

Niu, Yunyun; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Romanian Academy, 2012-01-01)
Common Algorithmic Problem is an optimization problem, which has the nice property that several other NP-complete problems ...
Article
Icon

The GPU on the simulation of cellular computing models

Cecilia, José M.; García, José M.; Guerrero, Ginés D.; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Ujaldón, Manuel (Springer, 2012-01-01)
Membrane Computing is a discipline aiming to abstract formal computing models, called membrane systems or P systems, from ...
Article
Icon

Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem

Colomer, M. Angels; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2012-01-01)
Membrane Computing has recently proved to be a suitable framework for addressing the modelling of dynamical biological ...
Presentation
Icon

Using A Kernel P System to Solve The 3-Col Problem

Ipate, Florentin; Dragomir, Ciprian; Lefticaru, Raluca; Mierla, Laurentiu; Pérez Jiménez, Mario de Jesús (MTA SZTAKI, the Computer and Automation Research Institute of the Hungarian Academy of Sciences, 2012-01-01)
The newly introduced Kernel P systems offer an unitary and elegant way of integrating established features of existing P ...
Presentation
Icon

Computación inteligente con organismos vivos

Pérez Jiménez, Mario de Jesús (Centro de Filosofía das Ciências da Universidade de Lisboa, 2012-01-01)
Article
Icon

P automata revisited

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Elsevier, 2012-01-01)
We continue here the investigation of P automata, in their non-extended case, a class of devices which characterize ...
Presentation
Icon

Population Dynamics P Systems on CUDA

Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Gastalver Rubio, Adolfo; Elster, Anne C.; Pérez Jiménez, Mario de Jesús (Springer, 2012-01-01)
Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modeling framework, which has been ...
Presentation
Icon

Heterotic Computing Examples with Optics, Bacteria, and Chemicals

Stepney, Susan; Abramsky, Samson; Bechmann, Matthias; Gorecki, Jerzy; Kendon, Viv; Naughton, Thomas J.; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José; Sebald, Angelika (Springer, 2012-01-01)
Unconventional computers can perform embodied computation that can directly exploit the natural dynamics of the substrate. ...
Article
Icon

An infinite hierarchy of languages defined by dP systems

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Elsevier, 2012-01-01)
Here, we continue the study of the recently introduced dP automata. They are symport/antiport P systems consisting of a ...
Presentation
Icon

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

Macías Ramos, Luis Felipe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Rius Font, Miquel; Valencia Cabrera, Luis (Computer and Automation Research Institute Hungarian Academy of Sciences, 2012-01-01)
The classical definition of tissue P systems includes a distinguished alphabet with the special assumption that its elements ...
Presentation
Icon

Spiking Neural P Systems with Functional Astrocytes

Macías Ramos, Luis Felipe; Pérez Jiménez, Mario de Jesús (Springer, 2012-01-01)
Spiking Neural P Systems (SN P Systems, for short) is a developing field within the universe of P Systems. New variants ...
Article
Icon

The Spanish Network on Biomolecular and Biocellular Computing: Bio-inspired Natural Computing in Spain

Pérez Jiménez, Mario de Jesús; Ortega de la Puente, Alfonso; Sempere, José M. (ERCIM EEIG, 2011-04-01)
The Spanish Network on Biomolecular and Biocellular Computing (Redbiocom) is a consortium of seven Spanish research groups ...
Presentation
Icon

Implementing Local Search with Membrane Computing

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011-01-01)
Local search is currently one of the most used methods for finding solution in real-life problems. In this paper we present ...
Presentation
Icon

Spiking Neural P Systems with Several Types of Spikes

Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Rodríguez Patón, Alfonso (Fénix Editora, 2011-01-01)
With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling ...
Presentation
Icon

Spiking Neural dP Systems

Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Fénix Editora, 2011-01-01)
We bring together two topics recently introduced in membrane computing, the much investigated spiking neural P systems (in ...
Presentation
Icon

Towards Bridging Two Cell-Inspired Models: P Systems and R Systems

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011-01-01)
We examine, from the point of view of membrane computing, the two basic assumptions of reaction systems, the "threshold" ...
Presentation
Icon

dP Automata versus Right-Linear Simple Matrix Grammars

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011-01-01)
We consider dP automata with the input string distributed in an arbitrary (hence not necessary balanced) way, and we ...
Presentation
Icon

Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division

Zhang, Xingyi; Niu, Yunyun; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011-01-01)
Prime factorization is useful and crucial for public-key cryptography, and its application in public-key cryptography is ...
Presentation
Icon

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

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

Computation of Ramsey Numbers by P Systems with Active Membranes

Pan, Linqiang; Díaz Pernil, Daniel; Pérez Jiménez, Mario de Jesús (World Scientific, 2011-01-01)
Ramsey numbers deal with conditions when a combinatorial object necessarily contains some smaller given objects. It is ...
Article
Icon

Spiking Neural P systems with several types of spikes

Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Rodríguez Patón, Alfonso (Agora University of Oradea, 2011-01-01)
With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling ...
Presentation
Icon

Spiking Neural P System Simulations on a High Performance GPU Platform

Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2011-01-01)
In this paper we present our results in adapting a Spiking Neural P system (SNP system) simulator to a high performance ...
Article
Icon

A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study

Colomer, M. Angels; Margalida, Antoni; Sanuy, Delfí; Pérez Jiménez, Mario de Jesús (Science Direct, 2011-01-01)
The models used for ecosystems modeling are generally based on differential equations. However, in recent yearsnewcomputational ...
Article
Icon

A computational modeling for real ecosystems based on P systems

Cardona, Mónica; Colomer, M. Angels; Margalida, Antoni; Palau, Antoni; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Sanuy, Delfí (Springer, 2011-01-01)
In this paper, a P systems based general framework for modeling ecosystems dynamics is presented. Particularly, ecosystems ...
Presentation
Icon

Depth-First Search with P Systems

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2011-01-01)
The usual way to find a solution for an NP complete problem in Membrane Computing is by brute force algorithms. These ...
Presentation
Icon

A Uniform Solution to Common Algorithmic Problem by Tissue P Systems with Cell Division

Niu,Yunyun; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (IEEE Computer Society, 2011-01-01)
Common algorithmic problem is an optimization problem, which has the nice property that several other NP-complete problems ...
Presentation
Icon

Membrane Computing (Tutorial)

Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (Springer, 2011-01-01)
The aim of the tutorial is to give a general overview of the Membrane Computing paradigm [2,5]. Membrane Computing is a ...
Chapter of Book
Icon

P and dP Automata: A Survey

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2011-01-01)
This is a quick survey of basic notions and results related to P automata (P systems with symport/antiport rules working ...
Presentation
Icon

Matrix Representation of Spiking Neural P Systems

Zeng, Xiangxiang; Adorna, Henry N.; Martínez del Amor, Miguel Ángel; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Springer, 2011-01-01)
Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from the ...
Presentation
Icon

A P–Lingua Based Simulator for Spiking Neural P Systems

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

Formal Verification of P Systems with Active Membranes through Model Checking

Ipate, Florentin; Lefticaru, Raluca; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Tudose, Cristina (Springer, 2011-01-01)
Formal verification of P systems using model checking has attracted a significant amount of research in recent years. ...
Article
Icon

A Tissue P Systems Based Uniform Solution to Tripartite Matching Problem

Niu, Yunyun; Pan, Linqiang; Pérez Jiménez, Mario de Jesús; Rius Font, Miquel (IOS Press, 2011-01-01)
A tissue P system with cell division is a computing model which has two basic features: intercellular communication and ...
Presentation
Icon

Implementing ENPS by Means of GPUs for AI Applications

García Quismondo, Manuel; Pérez Jiménez, Mario de Jesús (University of West Bohemia, 2011-01-01)
P system represents a distributed and parallel computing model in which basic data structures are, for instance, multisets and ...
PhD Thesis
Icon

Desarrollo y aplicaciones de un entorno de programación para computación celular: P-Lingua

Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Pérez Hurtado de Mendoza, Ignacio (2010-06-24)
La presente memoria está estructurada en tres partes que constan de un total de siete capítulos cuyos contenidos se describen ...
Presentation
Icon

Membrane Computing Meets Artificial Intelligence: A Case Study

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010-01-01)
The usual way to find a solution for a NP complete problem with Membrane Computing techniques is by brute force algorithms ...
Presentation
Icon

Tissue-like P Systems Without Environment

Christinal, Hepzibah A.; Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010-01-01)
In this paper we present a tissue-like P systems model with cell division the environment has been replaced by an extra ...
Presentation
Icon

On Communication Complexity in Evolution-Communication P Systems

Adorna, Henry N.; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010-01-01)
Looking for a theory of communication complexity for P systems, we consider here so-called evolution-communication (EC for ...
Presentation
Icon

A Cellular Sudoku Solver

Díaz Pernil, Daniel; Fernández Márquez, Carlos M.; García Quismondo, Manuel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010-01-01)
Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple rules. ...
Presentation
Icon

Array Tissue-like P Systems

Christinal, Hepzibah A.; Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010-01-01)
Array grammars have been studied in the framework of Membrane Comput- ing by using rewriting rules from transition P ...
Presentation
Icon

Solving Problems in a Distributed Way in Membrane Computing: dP Systems

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010-01-01)
Although P systems are distributed parallel computing devices, no explicit way of handling the input in a distributed way ...
Article
Icon

Spiking Neural P systems with weights

Wang, Jun; Hoogeboom, Hendrik Jan; Pan, Linqiang; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (MIT Press, 2010-01-01)
A variant of spiking neural P systems with positive or negative weights on synapses is introduced, where the rules of a ...
Article
Icon

Computational complexity of tissue-like P systems

Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Elsevier, 2010-01-01)
Article
Icon

Simulation of P systems with active membranes on CUDA

Cecilia, José M.; García, José M.; Guerrero, Ginés D.; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Oxford University Press, 2010-01-01)
P systems or Membrane Systems provide a high-level computational modelling framework that combines the structure and dynamic ...
Article
Icon

A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors

Manea, Florin; Margenstern, Maurice; Mitrana, Víctor; Pérez Jiménez, Mario de Jesús (Springer, 2010-01-01)
We consider three complexity classes defined on Accepting Hybrid Networks of Evolutionary Processors (AHNEP) and compare ...
Article
Icon

Thresholding 2D Images with Cell-like P Systems

Christinal, Hepzibah A.; Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Romanian Academy, 2010-01-01)
Thresholding is the process of splitting a digital image into sets of pixels in order to make it easier to analyze. Pixels ...
Article
Icon

A P-Lingua based simulator for Tissue P systems

Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Elsevier, 2010-01-01)
Investigations within the field of tissue-like P systems are being conducted, on one hand studying their computational ...
Presentation
Icon

A Computational Complexity Theory in Membrane Computing

Pérez Jiménez, Mario de Jesús (Springer, 2010-01-01)
In this paper, a computational complexity theory within the framework of Membrane Computing is introduced. Polynomial ...
Presentation
Icon

A P System Based Model of an Ecosystem of Some Scavenger Birds

Cardona, Mónica; Colomer, M. Angels; Margalida, Antoni; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Sanuy, Delfí (Springer, 2010-01-01)
The Bearded Vulture (Gypaetus Barbatus) is an endangered species in Eu- rope that feeds almost exclusively on bone remains ...
Presentation
Icon

Implementing P Systems Parallelism by Means of GPUs

Cecilia, José M.; García, José M.; Guerrero, Ginés D.; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Springer, 2010-01-01)
Software development for Membrane Computing is growing up yielding new applications. Nowadays, the efficiency of P systems ...
Article
Icon

On spiking neural P systems

Ibarra, Óscar H.; Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Springer, 2010-01-01)
This work deals with several aspects concerning the formal verification of SN P systems and the computing power of some ...
Presentation
Icon

A new simulation algorithm for multienvironment probabilistic P systems

Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Colomer, M. Angels (IEEE Computer Society, 2010-01-01)
Multienvironment P systems are the base of a general framework for modeling ecosystems dynamics. On one hand, this modeling ...
Presentation
Icon

A uniform framework for modeling based on P Systems

Colomer, M. Angels; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (IEEE Computer Society, 2010-01-01)
In this paper, a P systems based general framework for modeling the dynamics of a population biology is presented. Multienvironment ...
Presentation
Icon

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

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

La mitosis celular: una sorprendente frontera de la eficiencia

Soler, F.; von Ditmarsch, H.; Salguero Lamillar, Francisco J.; Pérez Jiménez, Mario de Jesús (Fenix Editora, 2010-01-01)
En este trabajo se presenta una frontera entre la eficiencia e ineficiencia de problemas abstractos en un marco computacional ...
Presentation
Icon

P systems simulations on massively parallel architectures

Cecilia, José M.; García, José M.; Guerrero, Ginés D.; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Ujaldón, Manuel (Universidad Complutense de Madrid, 2010-01-01)
Membrane Computing is an emergent research area studying the behaviour of living cells to de ne bio-inspired computing devices, ...
Presentation
Icon

Simulating Tritrophic Interactions by Means of P Systems

Colomer, M. Angels; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (IEEE, 2010-01-01)
P systems provide a high level computational modelling framework that combines the structural and dynamical aspects of ...
Presentation
Icon

Enhancing the simulation of P systems for the SAT problem on GPUs

Cecilia, José M.; García, J.M.; Guerrero, G. D.; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Ujaldón, Manuel (National Center for Supercomputing Applications, 2010-01-01)
GPUs constitute nowadays a solid alternative for high performance computing, and the advent of CUDA/OpenCL allow programmers ...
Article
Icon

Simulating a P system based efficient solution to SAT by using GPUs

Cecilia, José M.; García, José M.; Guerrero, Ginés D.; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Elsevier, 2010-01-01)
P systems are inherently parallel and non-deterministic theoretical computing devices defined inside the field of Membrane ...
Presentation
Icon

Characterizing Tractability by Tissue-Like P Systems

Gutiérrez Escudero, Rosa; Pérez Jiménez, Mario de Jesús; Rius Font, Miquel (Fénix Editora, 2009-01-01)
In the framework of cell–like membrane systems it is well known that the construction of exponential number of objects in ...
Presentation
Icon

Computing Backwards with P Systems

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009-01-01)
Searching all the configurations C′ such that produce a given configuration C, or, in other words, computing backwards in ...
Presentation
Icon

Simulation of Recognizer P Systems by Using Manycore GPUs

Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Cecilia, José M.; Guerrero, Ginés D.; García, José M. (Fénix Editora, 2009-01-01)
Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator ...
Presentation
Icon

Cell-like Versus Tissue-like P Systems by Means of Sevilla Carpets

Díaz Pernil, Daniel; Gallego Ortiz, Pilar; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2009-01-01)
Sevilla Carpets are a handy tool for comparing computations performed by different systems solving the same problem. Such ...
Presentation
Icon

Characterizing the Aperiodicity of Irreducible Markov Chains by Using P Systems

Cardona, Mónica; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009-01-01)
It is well known that any irreducible and aperiodic Markov chain has exactly one stationary distribution, and for any ...
Presentation
Icon

P-Lingua 2.0: New Features and First Applications

García Quismondo, Manuel; Gutiérrez Escudero, Rosa; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009-01-01)
P-Lingua is a programming language for membrane computing. It was rst presented in Edinburgh, during the Ninth Workshop ...
Presentation
Icon

P System Based Model of an Ecosystem of the Scavenger Birds

Cardona, Mónica; Colomer, M. Angels; Margalida, Antoni; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Sanuy, Delfí (Fénix Editora, 2009-01-01)
The Bearded Vulture (Gypaetus Barbatus) is an endangered species in Europe that feeds almost exclusively on bone remains ...
Presentation
Icon

Solving the N-Queens Puzzle with P Systems

Gutiérrez Naranjo, Miguel Ángel; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009-01-01)
The N-queens puzzle consists on placing N queens on an N x Ngrid in such way that no two queens are on the same row, column ...
Presentation
Icon

Efficiency of Tissue P Systems with Cell Separation

Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009-01-01)
The most investigated variants of P systems in the last years are cell-like models, especially in terms of efficiency. ...
Presentation
Icon

Spiking Neural P Systems with Neuron Division and Budding

Pan, Linqiang; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2009-01-01)
In order to enhance the e±ciency of spiking neural P systems, we introduce the features of neuron division and neuron ...
Presentation
Icon

A P-Lingua Programming Environment for Membrane Computing

Díaz Pernil, Daniel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2009-01-01)
A new programming language for membrane computing, PLingua, is developed in this paper. This language is not designed for a ...
Presentation
Icon

Hebbian learning from spiking neural P systems view

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2009-01-01)
Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ...
Article
Icon

Complexity aspects of polarizationless membrane systems

Leporati, Alberto; Ferretti, Claudio; Mauri, Giancarlo; Pérez Jiménez, Mario de Jesús; Zandron, Claudio (Springer, 2009-01-01)
We investigate polarizationless P systems with active membranes working in maximally parallel manner, which do not make ...
Chapter of Book
Icon

Spiking Neural P Systems. Recent Results, Research Topics

Condon, Anne; Harel, David; Kok, Joost N.; Salomaa, Arto; Winfree, Erik; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2009-01-01)
After a quick introduction of spiking neural P systems (a class of P systems inspired from the way neurons communicate by ...
Article
Icon

Efficient simulation of tissue-like P systems by transition cell-like P systems

Díaz Pernil, Daniel; Pérez Jiménez, Mario de Jesús; Romero Jiménez, Álvaro (Springer, 2009-01-01)
In the framework of P systems, it is known that the construction of exponential number of objects in polynomial time is ...
Article
Icon

Efficient computation in rational-valued P systems

Busi, Nadia; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Cambridge University Press, 2009-01-01)
In this paper, we describe a new representation for deterministic rational-valued P systems that allows us to form a bridge ...
Chapter of Book
Icon

Membrane Computing Schema: A New Approach to Computation Using String Insertions

Condon, Anne; Harel, David; Kok, Joost N.; Salomaa, Arto; Winfree, Erik; Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Springer, 2009-01-01)
In this paper, we introduce the notion of a membrane computing schema for string objects. We propose a computing schema ...
Article
Icon

On the efficiency of cell-like and tissue-like recognizing membrane systems

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (Wiley, 2009-01-01)
Cell-like recognizing membrane systems are computational devices in the framework of membrane computing inspired from the ...
Article
Icon

Uniform solutions to SAT and Subset Sum by spiking neural P systems

Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2009-01-01)
We continue the investigations concerning the possibility of using spiking neural P systems as a framework for solving ...
Presentation
Icon

Solving the Independent Set problem by using tissue-like P systems with cell division

Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2009-01-01)
Tissue-like P systems with cell division is a computing model in the framework of Membrane Computing inspired by the ...
Presentation
Icon

Analysis of P systems simulation on CUDA

Guerrero, Ginés D.; Cecilia, José M.; García Carrasco, José M.; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (SARTECO: Sociedad de Arquitectura y Tecnología de Computadores, 2009-01-01)
GPUs (Graphics Processing Unit) have been con- solidated as a massively data-parallel coprocessor to develop many general ...
Presentation
Icon

Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study

Cardona, Mónica; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús; Sanuy, Delfí; Margalida, Antoni (Springer, 2009-01-01)
The Bearded Vulture (Gypaetus barbatus) is an endangered species in Europe that feeds almost exclusively on bone remains ...
Presentation
Icon

Descriptional Complexity of Tissue-Like P Systems with Cell Division

Díaz Pernil, Daniel; Gallego Ortiz, Pilar; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2009-01-01)
In this paper we address the problem of describing the complexity of the evolution of a tissue-like P system with cell ...
Presentation
Icon

Membrane dissolution and division in P

Woods, Damien; Murphy, Niall; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2009-01-01)
Membrane systems with dividing and dissolving membranes are known to solve PSPACE problems in polynomial time. However, we ...
Presentation
Icon

An Overview of P-Lingua 2.0

García Quismondo, Manuel; Gutiérrez Escudero, Rosa; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2009-01-01)
P–Lingua is a programming language for membrane computing which aims to be a standard to define P systems. In order to ...
Presentation
Icon

Searching Previous Configurations in Membrane Computing

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2009-01-01)
Searching all the configurations C′ which produce a given configuration C is an extremely hard task. The current approximations ...
Presentation
Icon

A massively parallel framework using P systems and GPUs

Cecilia, José M.; Guerrero, Ginés D.; García, José M.; Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (National Center for Supercomputing Applications at the University of Illinois, 2009-01-01)
Since CUDA programing model appeared on the general purpose computations, the developers can extract all the power contained ...
Presentation
Icon

Simulating Active Membrane Systems Using GPUs

Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Cecilia, José M.; Guerrero, Ginés D.; García, José M. (Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009-01-01)
Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator ...
PhD Thesis
Icon

P systems, a computational modelling framework for systems biology

Gheorghe, Marian; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (2008-02-06)
LOS PROGRAMAS INFORMÁTICOS QUE MODELIZAN CÉLULAS FACILITARÁN EL TRABAJO DE LOS BIÓLOGOS Se basa en hacer modelos de células, ...
Presentation
Icon

A P System Modeling an Ecosystem Related to the Bearded Vulture

Cardona, Mónica; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús; Sanuy, Delfí; Margalida, Antoni (Fénix Editora, 2008-01-01)
The Bearded Vulture is one of the rarest raptors in Europe and it is an endangered species. In this paper, we present a ...
Presentation
Icon

Solving the Partition Problem by Using Tissue-like P Systems with Cell Division

Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2008-01-01)
Tissue-like P systems with cell division is a computing model in the framework of Membrane Computing that shares with the ...
Presentation
Icon

Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts

Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús; Tomescu, Alexandru Ioan (Fénix Editora, 2008-01-01)
The paper introduces some sorting networks and their simulation with P systems, in which each processor/membrane can hold ...
Presentation
Icon

P-Lingua: A Programming Language for Membrane Computing

Díaz Pernil, Daniel; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2008-01-01)
Software development for cellular computing has already been addressed, yielding a first generation of applications. In ...
Presentation
Icon

Graphics and P Systems: Experiments with JPLANT

Rivero Gil, Elena; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2008-01-01)
The hand-made graphical representation of the configuration of a P system becomes a hard task when the number of membranes ...
Presentation
Icon

A First Model for Hebbian Learning with Spiking Neural P Systems

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2008-01-01)
Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ...
Presentation
Icon

On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution

Zandron, Claudio; Leporati, Alberto; Ferretti, Claudio; Mauri, Giancarlo; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2008-01-01)
Recognizer P systems with active membranes have proven to be very powerful computing devices, being able to solve NP-complete ...
Article
Icon

Modelling gene expression control using P systems: The Lac Operon, a case study

Romero Campero, Francisco José; Pérez Jiménez, Mario de Jesús (Elsevier, 2008-01-01)
In this paper P systems are used as a formal framework for the specification and simulation of biological systems. In ...
Article
Icon

A uniform family of tissue P systems with cell division solving 3-COL in a linear time

Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Elsevier, 2008-01-01)
Several examples of the efficiency of cell-like P systems regarding the solution of NPcomplete problems in polynomial time ...
Article
Icon

Hierarchical clustering with Membrane Computing.

Cardona, Mónica; Colomer, M. Angels; Zaragoza, Alba; Pérez Jiménez, Mario de Jesús (Institute of Informatics Slovak Academy of Sciences, 2008-01-01)
In this paper we approach the problem of hierarchical clustering through membrane computing. A specific P system with ...
Article
Icon

A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems

Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (MIT Press, 2008-01-01)
Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to ...
Article
Icon

Representations and characterizations of languages in Chomsky hierarchy by means of insertion-deletion systems

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (World Scientific, 2008-01-01)
Insertion-deletion operations are much investigated in linguistics and in DNA computing and several characterizations of ...
Article
Icon

Spiking neural P systems with extended rules: universality and languages

Chen, Haiming; Ionescu, Mihai; Ishdorj, Tseren-Onolt; Paun, Andrei; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2008-01-01)
We consider spiking neural P systems with rules allowed to introduce zero, one, or more spikes at the same time. The ...
Presentation
Icon

A Fast Solution to the Partition Problem by Using Tissue-Like P Systems

Kearney, D.; Nguyen, V.; Gioiosa, G.; Hendtlass, T.; Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (IEEE Computer Society, 2008-01-01)
Tissue-like P systems with cell division is a computing model in the framework of membrane computing based on the intercellular ...
Article
Icon

A software tool for verification of Spiking Neural P Systems

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Ramírez Martínez, Daniel (Springer, 2008-01-01)
The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is ...
Presentation
Icon

Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts

Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús; Tomescu, Alexandru Ioan (Österreichische Computer Gesellschaft Komitee für Öffentlichkeitsarbeit, 2008-01-01)
The paper introduces some sorting networks and their simulation with P systems, in which each processor/membrane can hold ...
Article
Icon

Tissue P systems with cell division

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Agora University of Oradea, 2008-01-01)
In tissue P systems several cells (elementary membranes) communicate through symport/antiport rules, thus carrying out a ...
Article
Icon

Computational Efficiency of Cellular Division in Tissue-like Membrane Systems

Díaz Pernil, Daniel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Jiménez, Álvaro (Romanian Academy, 2008-01-01)
Tissue-like P systems with cell division are computing models in the framework of membrane computing. They are inspired ...
PhD Thesis
IconIcon

Membrane computing, neural inspirations, gene assembly in ciliates

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Ishdorj, Tseren-Onolt (2007-03-28)
La Tesis enmarca dentro de la disciplina de la computación celular con membranas, un modelo de computación orientado a ...
Presentation
Icon

A Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division

Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2007-01-01)
Tissue P systems are a computing model in the framework of Membrane Computing where the tree-like membrane structure is ...
Presentation
Icon

A Membrane Computing Model for Ballistic Depositions

Graciani Díaz, Carmen; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2007-01-01)
Ballistic Deposition was proposed by Vold and Sutherland as a model for colloidal aggregation. These early works were later ...
Presentation
Icon

Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode

Freund, Rudolf; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2007-01-01)
We investigate the computing power and the efficiency of P systems with active membranes without polarizations, working ...
Presentation
Icon

Membrane Computing Schema Based on String Insertions

Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Fénix Editora, 2007-01-01)
In this note we introduce the notion of a membrane computing schema for string objects. We propose a computing schema for ...
Presentation
Icon

Simulating Apoptosis Using Discrete Methods: a Membrane System and a Stochastic Approach

Jack, John; Romero Campero, Francisco José; Pérez Jiménez, Mario de Jesús; Ibarra, Óscar H.; Paun, Andrei (2007-01-01)
Membrane Systems provide an intriguing method for modeling biological systems at a molecular level. The hierarchical ...
Presentation
Icon

Simulating the Bitonic Sort on a 2D-mesh with P Systems

Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús; Tomescu, Alexandru Ioan (South-East European Research Centre, 2007-01-01)
This paper gives a version of the parallel bitonic sorting algorithm of Batcher, which can sort N elements in time O(log2 ...
Presentation
Icon

Tissue Simulator: A Graphical Tool for Tissue P Systems

Borrego Ropero, Rafael; Díaz Pernil, Daniel; Pérez Jiménez, Mario de Jesús (MTA SZTAKI, 2007-01-01)
Recently, different new models of tissue-like P systems have received important attention from the scientific community. ...
Presentation
Icon

On a Paun’s Conjecture in Membrane Systems

Mauri, Giancarlo; Pérez Jiménez, Mario de Jesús; Zandron, Claudio (Springer, 2007-01-01)
We study a P˘aun’s conjecture concerning the unsolvability of NP–complete problems by polarizationless P systems with ...
Article
Icon

On the degree of parallelism in membrane systems

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Elsevier, 2007-01-01)
In the literature, several designs of P systems might be found for performing the same task. The use of different techniques ...
Article
Icon

P systems with minimal parallelism

Ciobanu, Gabriel; Pan, Linqiang; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Elsevier, 2007-01-01)
A current research topic in membrane computing is to find more realistic P systems from a biological point of view, and ...
Article
Icon

A uniform solution to SAT using membrane creation

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Elsevier, 2007-01-01)
In living cells, new membranes are produced basically through two processes: mitosis and autopoiesis. These two processes have ...
Article
Icon

Simulating FAS-induced apoptosis by using P systems

Cheruku, Smitha; Paun, Andrei; Romero Campero, Francisco José; Pérez Jiménez, Mario de Jesús; Ibarra, Óscar H. (Taylor and Francis Online, 2007-01-01)
In contrast to differential equations, P systems are an unconven- tional model of computation which takes into consideration ...
Article
Icon

A linear-time tissue P system based solution for the 3-coloring problem

Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Elsevier, 2007-01-01)
In the literature, several examples of the efficiency of cell-like P systems regarding the solution of NPcomplete problems ...
Article
Icon

Cellular modelling using P systems and process algebra.

Romero Campero, Francisco José; Gheorghe, Marian; Ciobanu, Gabriel; Auld, John M.; Pérez Jiménez, Mario de Jesús (Taylor and Francis Online, 2007-01-01)
In this paper various molecular chemical interactions are modelled under different computational paradigms. P systems and ...
Presentation
Icon

A Logarithmic Bound for Solving Subset Sum with P Systems

Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2007-01-01)
The aim of our paper is twofold. On one hand we prove the ability of polarizationless P systems with dissolution and with ...
Presentation
Icon

Solving Subset Sum in Linear Time by Using Tissue P Systems with Cell Division

Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2007-01-01)
Tissue P systems with cell division is a computing model in the framework of Membrane Computing based on intercellular ...
PhD Thesis
Icon

P systems, a computacional modelling framework for systems biology

Pérez Jiménez, Mario de Jesús; Gheorghe, Marian; Romero Campero, Francisco José (2007-01-01)
"Los programas informáticos que modelizan células facilitarán el trabajo de los biólogos. Se basa en hacer modelos de ...
Presentation
Icon

A Cellular Solution to Subset Sum Using Division of Non-elementary Membranes and Dissolution, with Time and Initial Resources Bounded by log k

Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (SEERC, South-East European Research Centre, 2007-01-01)
The aim of our paper is twofold. On one hand we prove the ability of polar- izationless P systems with dissolution and ...
Chapter of Book
Icon

Towards Probabilistic Model Checking on P Systems Using PRISM

Romero Campero, Francisco José; Gheorghe, Marian; Bianco, Luca; Pescini, Dario; Pérez Jiménez, Mario de Jesús; Ceterchi, Rodica (Springer, 2006-01-01)
This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.
Chapter of Book
Icon

Graphical Modeling of Higher Plants Using P Systems

Romero Jiménez, Álvaro; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Springer, 2006-01-01)
L systems have been widely used to model and graphically represent the growth of higher plants [20]. In this paper we ...
Presentation
Icon

An Approach to the Degree of Parallelism in P Systems

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2006-01-01)
In the literature, several designs of P systems were used for performing the same task. The use of different techniques ...
Presentation
Icon

The Growth of Branching Structures with P Systems

Romero Jiménez, Álvaro; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006-01-01)
L-systems have been widely used to model and graphically represent the growth of plants. In, the use of membrane computing ...
Presentation
Icon

Fractals and P Systems

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006-01-01)
In this paper we show that the massive parallelism, the synchronous appli- cation of the rules, and the discrete nature ...
Chapter of Book
Icon

Computationally Hard Problems Addressed Through P Systems

Pérez Jiménez, Mario de Jesús; Romero Jiménez, Álvaro; Sancho Caparrini, Fernando (Springer, 2006-01-01)
In this chapter we present a general framework to provide efficient solutions to decision problems through families of ...
Chapter of Book
Icon

A Linear Solution for QSAT with Membrane Creation

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2006-01-01)
The usefulness of P systems with membrane creation for solving NP problems has been previously proved (see [2, 3]), but, ...
Chapter of Book
Icon

Available Membrane Computing Software

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2006-01-01)
The simulation of a P system with current computers is a quite com-plex task. P systems are intrinsically nondeterministic ...
Chapter of Book
Icon

On the Power of Dissolution in P Systems with Active Membranes

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (Springer, 2006-01-01)
In this paper we study membrane dissolution rules in the framework of P systems with active membranes but without using ...
Chapter of Book
Icon

A Modeling Approach Based on P Systems with Bounded Parallelism

Bernardini, Francesco; Romero Campero, Francisco José; Gheorghe, Marian; Pérez Jiménez, Mario de Jesús (Springer, 2006-01-01)
This paper presents a general framework for modelling with membrane systems that is based on a computational paradigm ...
Chapter of Book
Icon

Modeling Signal Transduction Using P Systems

Paun, Andrei; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2006-01-01)
Cellular signalling pathways are fundamental to the control and regulation of cell behavior. Understanding of biosignalling ...
Chapter of Book
Icon

Classifying States of a Finite Markov Chain with Membrane Computing

Cardona, Mónica; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús; Zaragoza, Alba (Springer, 2006-01-01)
In this paper we present a method to classify the states of a finite Markov chain through membrane computing. A specific ...
Article
Icon

Bounding the Indegree of Spiking Neural P Systems

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Salomaa, Arto (Turku Center for Computer Science, 2006-01-01)
We continue the search of normal forms for spiking neural P systems, and we prove that the indegree of such systems (the maximal number of incoming synapses of neurons) can be bounded by 2 without losing the computational completeness.
Chapter of Book
Icon

P Systems, a New Computational Modelling Tool for Systems Biology

Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2006-01-01)
In this paper we present P systems as a reliable computa- tional modelling tool for Systems Biology that takes into account ...
Presentation
Icon

P systems-based Modelling of Cellular Signalling Pathways

Pérez Jiménez, Mario de Jesús (2006-01-01)
Cellular signalling pathways are fundamental to the control and regulation of cell behaviour. Understanding the biosignalling ...
Chapter of Book
Icon

On P Systems as a Modelling Tool for Biological Systems

Bernardini, Francesco; Gheorghe, Marian; Krasnogor, Natalio; Muniyandi, Ravie C.; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2006-01-01)
We introduce a variant of P systems where rules have associated a real number providing a measure for the “intrinsic ...
Presentation
Icon

Cell-like and Tissue-like Membrane Systems as Recognizer Devices

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (Rosillo's S.L., 2006-01-01)
Most of the variants of membrane systems found in the literature are generally thought as generating devices. In this paper ...
Chapter of Book
Icon

Computing with Spiking Neural P Systems: Traces and Small Universal Systems

Ionescu, Mihai; Paun, Andrei; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2006-01-01)
Recently, the idea of spiking neurons and thus of computing by spiking was incorporated into membrane computing, and ...
Presentation
Icon

A Membrane Computing View on Tumours

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (2006-01-01)
In this paper we discuss about the potential usefulness of P systems as natural tools for modelling tumours. This is done ...
Article
Icon

Spike Trains in Spiking Neural P Systems

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Rozenberg, Grzegorz (World Scientific, 2006-01-01)
We continue here the study of the recently introduced spiking neural P systems, which mimic the way that neurons communicate ...
Article
Icon

Computational efficiency of dissolution rules in membrane systems

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (Taylor and Francis, 2006-01-01)
Trading (in polynomial time) space for time in the framework of membrane systems is not sufficient to efficiently solve ...
Presentation
Icon

Spiking Neural P Systems with Extended Rules

Chen, Haiming; Ishdorj, Tseren-Onolt; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006-01-01)
We consider spiking neural P systems with spiking rules allowed to introduce zero, one, or more spikes at the same time. ...
Presentation
Icon

On String Languages Generated by Spiking Neural P Systems

Chen, Haiming; Freund, Rudolf; Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006-01-01)
We continue the study of spiking neural P systems by considering these computing devices as binary string generators: the ...
Presentation
Icon

Solving 3-COL with Tissue P Systems

Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006-01-01)
In the literature, several examples of the efficiency of cell-like P systems in order to solve NP-complete problems in ...
Presentation
Icon

Handling Markov Chains with Membrane Computing

Cardona, Mónica; Colomer, M. Angels; Pérez Jiménez, Mario de Jesús; Zaragoza, Alba (Fénix Editora, 2006-01-01)
In this paper we approach the problem of computing the n–th power of the transition matrix of an arbitrary Markov chain ...
Presentation
Icon

Uniform Solution to QSAT Using Polarizationless Active Membranes

Alhazov, Artiom; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006-01-01)
It is known that the satisfiability problem (SAT) can be solved a semi- uniform family of deterministic polarizationless ...
Article
Icon

Membrane computing: Brief introduction, recent results and applications

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Elsevier, 2006-01-01)
The internal organization and functioning of living cells, as well as their cooperation in tissues and higher order ...
Chapter of Book
Icon

Applications of Membrane Computing

Ciobanu, Gabriel; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Springer, 2006-01-01)
Article
Icon

Handling Languages with Spiking Neural P Systems with Extended Rules

Cheng, Haiming; Ishdorj, Tseren-Onolt; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Romanian Academy, Section for Information Science and Technology, 2006-01-01)
We consider spiking neural P systems with spiking rules allowed to introduce zero, one, or more spikes at the same time. ...
PhD Thesis
Icon

Promoting and inhibiting contexts in membrane computing

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Sburlan, Dragos (2005-11-29)
Presentation
Icon

A Simulator for Confluent P Systems

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2005-01-01)
Software simulators for P system are nowadays the main tool to carry out experiments in the field of Membrane Computing. ...
Presentation
Icon

Simulating Avascular Tumors with Membrane Systems

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Fénix Editora, 2005-01-01)
Tumor growth has received a considerable attention by the scientific community. In the earliest stages of development, ...
Presentation
Icon

Editing Configurations of P Systems

Csuhaj Varjú, Erzsébet; Nola, Antonio di; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Vaszil, György (Fénix Editora, 2005-01-01)
This paper proposes and preliminarily investigates the possibility of transforming a configuration (membrane structure and ...
Presentation
Icon

Modelling Vibrio fischeri’s behaviour Using P Systems

Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (2005-01-01)
Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to ...
Presentation
Icon

Solving SAT with membrane creation

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (University of Amsterdam, 2005-01-01)
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ...
Chapter of Book
Icon

A Linear Solution of Subset Sum Problem by Using Membrane Creation

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2005-01-01)
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ...
Chapter of Book
Icon

Attacking the Common Algorithmic Problem by Recognizer P Systems

Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2005-01-01)
Many NP-complete problems can be viewed as special cases of the Common Algorithmic Problem (CAP). In a precise sense, ...
Chapter of Book
Icon

Exploring Computation Trees Associated with P Systems

Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2005-01-01)
Usually, the evolution of a P system generates a computation tree too large to be efficiently handled with present–day ...
Presentation
Icon

Modelling EGFR signalling cascade using continuous membrane systems

Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (2005-01-01)
The complexity of networks of biological signalling pathways is such that the development of simplifying models is essential ...
Chapter of Book
Icon

A Study of the Robustness of the EGFR Signalling Cascade Using Continuous Membrane Systems

Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2005-01-01)
Many approaches to anticancer treatment have had a limited success. A fundamental hurdle to cancer therapy is the robustness ...
Chapter of Book
Icon

Using Automated Reasoning Systems on Molecular Computing

Graciani Díaz, Carmen; Pérez Jiménez, Mario de Jesús (Springer, 2005-01-01)
This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study the ...
Chapter of Book
Icon

On Descriptive Complexity of P Systems

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2005-01-01)
In this paper we address the problem of describing the complexity of the evolution of a P system. This issue is is specially ...
Chapter of Book
Icon

Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes

Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Springer, 2005-01-01)
In the last time, several efforts have been made in order to remove polarizations of membranes from P systems with active ...
Presentation
Icon

Characterizing Tractability with Membrane Creation

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (IEEE Computer Society, 2005-01-01)
This paper analyzes the role that membrane dissolution rules play in order to characterize (in the framework of recognizer ...
Chapter of Book
Icon

P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Romero Campero, Francisco José (Springer, 2005-01-01)
We study the computational efficiency of recognizer P systems with active membranes without polarizations and without ...
Chapter of Book
Icon

Accepting Hybrid Networks of Evolutionary Processors

Margenstern, Maurice; Mitrana, Víctor; Pérez Jiménez, Mario de Jesús (Springer, 2005-01-01)
We consider time complexity classes defined on accepting hybrid networks of evolutionary processors (AHNEP) similarly to ...
Presentation
Icon

On P Systems with Bounded Parallelism

Bernardini, Francesco; Romero Campero, Francisco José; Gheorghe, Marian; Pérez Jiménez, Mario de Jesús; Margenstern, Maurice; Verlan, Sergey; Krasnogor, Natalio (IEEE Computer Society, 2005-01-01)
A framework that describes the evolution of P systems with bounded parallelism is de ned by introducing basic formal ...
Chapter of Book
Icon

An Approach to Computational Complexity in Membrane Computing

Pérez Jiménez, Mario de Jesús (Springer, 2005-01-01)
In this paper we present a theory of computational complexity in the framework of membrane computing. Polynomial ...
Chapter of Book
Icon

On Two-Dimensional Mesh Networks and Their Simulation with P Systems

Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús (Springer, 2005-01-01)
We analize in this paper the possibility of simulating the parallel architecture SIMD-MC2, also known as the two-dimensional mesh, ...
Article
Icon

A fast P system for finding a balanced 2-partition

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2005-01-01)
Numerical problems are not very frequently addressed in the P systems literature. In this paper we present an effective ...
Chapter of Book
Icon

Formal Verification of Programs in Molecular Models with Random Access Memory

Pérez Jiménez, Mario de Jesús; Romero Jiménez, Álvaro; Sancho Caparrini, Fernando; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Fénix Editorial, 2005-01-01)
Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning ...
Article
Icon

Solving the Subset-Sum Problem by P Systems with Active Membranes

Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2005-01-01)
We present the first membrance computing solution to the Subset-Sum problem using a family of deterministic P systems with ...
PhD Thesis
IconIcon

Evolution, communication, observation from biology to membrane computing and back

Pérez Jiménez, Mario de Jesús; Paün, Gheorghe; Cavaliere, Matteo (2005-01-01)
La Computación Natural es una disciplina cuyo objetivo fundamental es la simulación e implementación de procesos dinámicos ...
Article
Icon

Tissue P systems with channel states

Freund, Rudolf; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Elsevier, 2005-01-01)
We consider tissue-like P systems with states associated with the links (we call them synapses) between cells, controlling ...
Article
Icon

Symport/Antiport P Systems with Three Objects Are Universal

Paun, Gheorghe; Pazos, Juan; Pérez Jiménez, Mario de Jesús; Rodríguez Patón, Alfonso (IOS Press, 2005-01-01)
The operations of symport and antiport, directly inspired from biology, are already known to be rather powerful when used ...
Chapter of Book
Icon

A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes

Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2004-01-01)
Up to now, P systems dealing with numerical problems have been rarely considered in the literature. In this paper we present ...
Presentation
Icon

An Efficient Cellular Solution for the Partition Problem

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004-01-01)
Numerical problems are not very frequently addressed in the P sys- tems literature. In this paper we present an e®ective ...
Presentation
Icon

Simulating Shuffle-Exchange Networks with P Systems

Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2004-01-01)
We present in this paper a simulation with P systems of the parallel architecture known as shuffle-exchange network. This ...
Presentation
Icon

P Systems with Tables of Rules

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004-01-01)
In the last time, several e®orts were made in order to remove the polarization of membranes from P systems with active ...
Presentation
Icon

Towards a Programming Language in Cellular Computing

Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004-01-01)
Several solutions to hard numerical problems using P systems have been presented recently, and strong similarities in their ...
Presentation
Icon

Tissue P Systems with Cell Division

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004-01-01)
In tissue P systems several cells (elementary membranes) commu- nicate through symport/antiport rules, thus carrying out ...
Presentation
Icon

A CLIPS Simulator for Recognizer P Systems with Active Membranes

Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Fénix Editora, 2004-01-01)
In this paper we propose a new way to represent recognizer P systems with active membranes based on Production Systems ...
Presentation
Icon

Solving the BINPACKING Problem by Recognizer P Systems with Active Membranes

Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Fénix Editora, 2004-01-01)
In this paper we present an e®ective solution to the BINPACKING problem using a family of recognizer P systems with active ...
Chapter of Book
Icon

Computing Partial Recursive Functions by Transition P Systems

Romero Jiménez, Álvaro; Pérez Jiménez, Mario de Jesús (Springer, 2004-01-01)
In this paper a variant of transition P systems with external output designed to compute partial functions on natural ...
Chapter of Book
Icon

Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem

Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín; Sancho Caparrini, Fernando (Springer, 2004-01-01)
In this paper we present an implementation in Prolog of an effective solution to the Knapsack problem via a family of deterministic P systems with active membranes using 2-division.
Presentation
Icon

Weak Metrics on Configurations of a P System

Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004-01-01)
The evolution of a P system generates a tree of computation po- tentially in¯nite where it is very difficult to set the ...
Presentation
Icon

Looking for P Truth

Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2004-01-01)
In a general sense, Logic studies how to derive new pieces of in- formation from previous ones. In this paper we explore ...
Presentation
Icon

Tissue-like P Systems with Channel-States

Freund, Rudolf; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2004-01-01)
We consider tissue-like P systems with states associated with the links (we call them synapses) between cells, controlling ...
Article
Icon

An Efficient Family of P Systems for Packing Items into Bins

Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Graz University of Technology, Institut für Informationssysteme und Computer Medie, 2004-01-01)
Article
Icon

A Prolog Simulator for Deterministic P Systems with Active Membranes

Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Springer, 2004-01-01)
In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. ...
Article
Icon

Modelos de computación celular con membranas

Pérez Jiménez, Mario de Jesús; Romero Jiménez, Álvaro; Sancho Caparrini, Fernando (SEMA, 2004-01-01)
Chapter of Book
Icon

The P Versus NP Problem Through Cellular Computing with Membranes

Pérez Jiménez, Mario de Jesús; Romero Jiménez, Álvaro; Sancho Caparrini, Fernando (Springer, 2004-01-01)
We study the P versus NP problem through membrane systems. Language accepting P systems are introduced as a framework ...
PhD Thesis
IconIcon

Programación celular resolución eficiente de problemas numéricos NP-completos

Pérez Jiménez, Mario de Jesús; Gutiérrez Naranjo, Miguel Ángel; Riscos Núñez, Agustín (2004-01-01)
Esta memoria está estructurada en capítulos cuyos contenidos pasamos a describir sucintamente. En el Capítulo 1 se hace ...
Presentation
Icon

(Imprecise Topics about) Handling Imprecision in P Systems

Nola, Antonio di; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Roselló, Francesc (Departament de Matemátiques i Informática, Universitat de les Illes Balears, 2004-01-01)
PhD Thesis
Icon

Especificación y verificación de programas moleculares en PVS

Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando; Graciani Díaz, Carmen (2003-09-29)
La Computación Molecular y, en concreto, la Computación con ADN, es una disciplina que se enmarca dentro del campo de ...
PhD Thesis
Icon

Complejidad y universalidad en modelos de computación celular

Pérez Jiménez, Mario de Jesús; Romero Jiménez, Álvaro (2003-01-01)
"La Computación Celular es una disciplina que se enmarca dentro del campo de investigación conocido como Computación ...
Chapter of Book
Icon

A MzScheme Implementation of Transition P Systems

Balbontín Noval, Delia; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Springer, 2003-01-01)
The main goal of this paper is to present the design of an MzScheme program that allows us to simulate the behavior of ...
Chapter of Book
Icon

Decision P Systems and the P =NP Conjecture

Pérez Jiménez, Mario de Jesús; Romero Jiménez, Álvaro; Sancho Caparrini, Fernando (Springer, 2003-01-01)
We introduce decision P systems, which are a class of P systems with symbol-objects and external output. The main result ...
Chapter of Book
Icon

Hybrid Networks of Evolutionary Processors

Martín Vide, Carlos; Mitrana, Víctor; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Springer, 2003-01-01)
A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph ...
Presentation
Icon

Complexity Classes in Cellular Computing with Membranes

Pérez Jiménez, Mario de Jesús; Romero Jiménez, Álvaro; Sancho Caparrini, Fernando (2003-01-01)
In this paper we introduce the complexity class PMC∗ F of all decision problems solvable in polynomial time by a family of P systems belonging to a prefixed class of recognizer membrane systems, F.
Article
Icon

Recent Computability Models Inspired from Biology: DNA and Membrane Computing

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Universidad del País Vasco, 2003-01-01)
We briefly present two areas of natural computing, vividly investigated in the recent years: DNA computing and membrane ...
Presentation
Icon

An Agent Based Approach of Collective Foraging

Gheorgue, Marian; Martín Vide, Carlos; Mitrana, Víctor; Pérez Jiménez, Mario de Jesús (Springer, 2003-01-01)
In this paper the behaviour of a bee colony is modeled as a society of communicating agents acting in parallel and ...
Presentation
Icon

Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT

Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (2002-01-01)
In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a ...
Chapter of Book
Icon

Generation of Diophantine Sets by Computing P Systems with External Output

Romero Jiménez, Álvaro; Pérez Jiménez, Mario de Jesús (Springer, 2002-01-01)
In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. ...
Presentation
Icon

On the Reachability Problem for P systems with Porters.

Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (2002-01-01)
Chapter of Book
Icon

Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment

Graciani Díaz, Carmen; Martín Mateos, Francisco Jesús; Pérez Jiménez, Mario de Jesús (Springer, 2002-01-01)
The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS ...
Chapter of Book
Icon

Solving Knapsack Problems in a Sticker Based Model

Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Springer, 2002-01-01)
Our main goal in this paper is to give molecular solutions for two NP–complete problems, namely Subset-sum and Knapsack, ...
PhD Thesis
Icon

Verificación de programas en modelos de computación no convencionales

Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (2002-01-01)
El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de ...
Article
Icon

A Formalization of Transition P Systems

Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (IOS Press, 2002-01-01)
In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired ...
Article
Icon

Verifying a P system generating squares

Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Romanian Academy, Section for Information Science and Technology, 2002-01-01)
In [1], an example of a P system generating exactly all the squares of natural numbers greater than 1 is given. Nevertheless, ...
Book
Icon

Información : tratamiento y representación

Nepomuceno Fernández, Ángel; Quesada Moreno, José Francisco; Salguero Lamillar, Francisco J.; Infante Macías, Rafael; Nepomuceno Fernández, Ángel; Salguero Lamillar, Francisco J.; Quesada Moreno, José Francisco; Alarcón Cabrera, Carlos; Díaz Estévez, Emilio; Amores Carredano, José Gabriel De; Yanguas Álvarez de Toledo, Ángel; Hernández Martín, María Carmen; Gutiérrez Pozo, Gabriel; Marín Rodríguez, Antonio; Escudero González, Miguel; Pérez Jiménez, Mario de Jesús (Universidad de Sevilla, 2001-01-01)
Presentation
Icon

Interpretación reactiva de sistemas basados en conocimiento.

Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Pérez Jiménez, Mario de Jesús (Universidad de Granada, 1999-01-01)
Book
Icon

Curso Práctico de Teoría de Conjuntos

Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Pérez Jiménez, Mario de Jesús; Ruiz Reina, José Luis (Ediciones La Ñ, 1998-01-01)
Todos los que hemos impartido tópicos diversos relativos a la Teoría de Conjuntos, en primer o segundo ciclo universitario, ...
PhD Thesis
Icon

Esquemas del máximo en la aritmética

Fernández Margarit, Alejandro; Pérez Jiménez, Mario de Jesús (1992-01-01)
El objetivo fundamental de esta memoria es el estudio de unos nuevos esquemas de axiomas, que denominaremos esquemas del ...
Presentation
Icon

Sobre ciertas expresiones de la función rango, independientes de la teoría de ordinales

Pérez Jiménez, Mario de Jesús (Universitat Autónoma de Barcelona, 1980-01-01)
In the present work we obtain several representations of the rank func- tion associated to a well founded relation in terms ...