Perfil del autor: Pérez Jiménez, Mario de Jesús
Datos institucionales
Nombre | Pérez Jiménez, Mario de Jesús |
Departamento | Ciencias de la Computación e Inteligencia Artificial |
Área de conocimiento | Ciencia de la Computación e Inteligencia Artificial |
Categoría profesional | Investigador Honorario |
Correo electrónico | Solicitar |
Estadísticas
-
Nº publicaciones
412
-
Nº visitas
47477
-
Nº descargas
71041
Publicaciones |
---|
Artículo
Tissue P systems with evolutional communication rules with two objects in the left-hand side
(Springer, 2022)
In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ... |
Artículo
Membrane creation and symport/antiport rules solving QSAT
(Springer, 2022)
In Membrane Computing, diferent variants of devices can be found by changing both syntactical and semantic ingredients. ... |
Artículo
P systems with evolutional symport and membrane creation rules solving QSAT
(Elsevier, 2022)
P systems are computing devices based on sets of rules that dictate how they work. While some of these rules can change ... |
Artículo
P systems with evolutional communication and division rules
(MDPI, 2021)
A widely studied field in the framework of membrane computing is computational complexity theory. While some types of P ... |
Artículo
A Fault Analysis Method for Three-Phase Induction Motors Based on Spiking Neural P Systems
(Hindawi, 2021)
The fault prediction and abductive fault diagnosis of three-phase induction motors are of great importance for improving ... |
Artículo
A complete arithmetic calculator constructed from spiking neural P systems and its application to information fusion
(World Scientific, 2021)
Several variants of spiking neural P systems (SNPS) have been presented in the literature to perform arith- 1 metic ... |
Artículo
Tuning Frontiers of Efficiency in Tissue P Systems with Evolutional Communication Rules
(Hindawi, 2021)
Over the last few years, a new methodology to address the P versus NP problem has been developed, based on searching ... |
Artículo
Dendrite P Systems Toolbox: Representation, Algorithms and Simulators
(World Scientific, 2021)
Dendrite P systems (DeP systems) are a recently introduced neural-like model of computation. They provide an alternative ... |
Artículo
Proof techniques in Membrane Computing
(Elsevier, 2021)
From the creation of the field of Membrane Computing in 1998, several research lines havebeen opened. On the one hand, ... |
Artículo
A Survey of Nature-Inspired Computing: Membrane Computing
(ACM Digital Library, 2021)
Nature-inspired computing is a type of human-designed computing motivated by nature, which is based on the employ of ... |
Artículo
Cell-like P systems with polarizations and minimal rules
(Elsevier, 2020)
P systems with active membranes are a class of computation models in the area ofmembrane computing, which are inspired ... |
Artículo
Adaptative parallel simulators for bioinspired computing models
(Elsevier, 2020)
In the Membrane Computing area, P systems are unconventional devices of computation inspired by the structure and processes ... |
Artículo
Dendrite P systems
(Elsevier, 2020)
It was recently found that dendrites are not just a passive channel. They can perform mixed computation of analog and ... |
Artículo
Spiking neural P systems with inhibitory rules
(Elsevier, 2020)
Motivated by the mechanism of inhibitory synapses, a new kind of spiking neural P (SNP) system rules, called inhibitory ... |
Artículo
An Overview of Hardware Implementation of Membrane Computing Models
(ACM Digital Library, 2020)
The model of membrane computing, also known under the name of P systems, is a bio-inspired large-scale parallel computing ... |
Artículo
Cell-like P systems with evolutional symport/antiport rules and membrane creation
(Elsevier, 2020)
Cell-like P systems with symport/antiport rules are computing models inspired by theconservation law, in the sense that ... |
Artículo
Monodirectional Tissue P Systems With Promoters
(IEEE Computer Society, 2020)
Tissue P systems with promoters provide nondeterministic parallel bioinspired devices that evolve by the interchange of ... |
Artículo
When object production tunes the efficiency of membrane systems
(Elsevier, 2020)
Psystems with active membranes is one of the most studied models within the field ofMembrane Computing. Simulating the ... |
Artículo
A weighted corrective fuzzy reasoning spiking neural P system for fault diagnosis in power systems with variable topologies
(Elsevier, 2020)
This paper focuses on power system fault diagnosis based on Weighted Corrective Fuzzy Reasoning Spiking Neural P Systems ... |
Ponencia
An optimal solution to the SAT problem with tissue P systems
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020)
In the framework of membrane computing, several frontiers of e ciency have been found with respect to the resources that ... |
Artículo
From NP-Completeness to DP-Completeness: A Membrane Computing Perspective
(Hindawi, 2020)
Presumably efficient computing models are characterized by their capability to provide polynomial-time solutions for ... |
Artículo
A Review of Membrane Computing Models for Complex Ecosystems and a Case Study on a Complex Giant Panda System
(Hindawi, 2020)
Ecosystem modelling based on membrane computing is emerging as a powerful way to study the dynamics of (real) ... |
Artículo
Hecatonquiros: Open-source hardware for aerial manipulation applications
(SAGE, 2020)
This article presents Hecatonquiros, a complete open-source ecosystem for low cost and lightweight robotic manip ulators. ... |
Artículo
A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning
(IOS Press, 2020)
In recent years, incremental sampling-based motion planning algorithms have been widely used to solve robot motion planning ... |
Artículo
Preface of the special issue for Gheorghe Pǎun’s 70th anniversary
(Springer, 2020)
|
Tesis Doctoral |
Artículo
Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems
(Springer, 2019)
Cooperation is doubtless a relevant ingredient on rewriting rules based computing models. This paper provides an overview on ... |
Artículo
Cascading Failures Analysis Considering Extreme Virus Propagation of Cyber-Physical Systems in Smart Grids
(Hindawi, 2019)
Communication networks as smart infrastructure systems play an important role in smart girds to monitor, control, and ... |
Artículo
Adjacent Graph Based Vulnerability Assessment for Electrical Networks Considering Fault Adjacent Relationships Among Branches
(IEEE Computer Society, 2019)
Security issues related to vulnerability assessment in electrical networks are necessary for operators to identify the ... |
Artículo
P‑Lingua in two steps: flexibility and efficiency
(Springer, 2019)
Membrane computing is a bio-inspired computing paradigm that lacks in vivo implementation. That is why software or hardware ... |
Artículo
Interval-valued fuzzy spiking neural P systems for fault diagnosis of power transmission networks
(Elsevier, 2019)
It is a challenge problem how to deal with the uncertainty in fault diagnosis of power systems. To solve the challenge ... |
Artículo |
Ponencia
Solving the feasibility problem in robotic motion planning by means of Enzymatic Numerical P systems
(IMCS: International Membrane Computing Society, 2019)
Solving the feasibility problem in robotic motion planning means to find feasible trajectories for specific mobile robots ... |
Ponencia
A new perspective on computational complexity theory in Membrane Computing
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
A single Turing machine can solve decision problems with an in nite number of instances. On the other hand, in the framework ... |
Ponencia
New applications for an old tool
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
First, the dependency graph technique, not so far from its current application, was developed trying to nd the shortest ... |
Artículo
Solving the 0-1 Knapsack Problem by Using Tissue P System With Cell Division
(IEEE Computer Society, 2019)
Membrane computing is a kind of distributed and parallel computing model inspired by a biological cell mechanism. The ... |
Ponencia
11 years of P-Lingua: A backward glance
(Editura BIBLIOSTAR, 2019)
In 2008, P-Lingua was born. The Research Group on Natural Computing worked on the development of simulation tools since ... |
Ponencia
Solving Problems Through a Single Membrane System
(IMCS: International Membrane Computing Society, 2019)
The tape of a deterministic Turing machine contains an unbounded number of cells. Thanks to that, a single machine can ... |
Artículo
A path to computational efficiency through membrane computing
(Elsevier, 2019)
The search for new mechanisms and tools allowing us to tackle the famousPversusNPproblem from new perspectives is an ... |
Ponencia
P Systems: from Anti-Matter to Anti-Rules
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
The concept of a matter object being annihilated when meeting its corresponding anti-matter object is taken over for rule ... |
Ponencia
Computational Complexity Theory in Membrane Computing: Seventeen Years After
(IMCS: International Membrane Computing Society, 2019)
In this work we revisit the basic concepts, definitions of computational complexity theory in membrane computing. The paper ... |
Ponencia
A syntax for semantics in P-Lingua
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
P-Lingua is a software framework for Membrane Computing, it includes a programming language, also called P-Lingua, for ... |
Ponencia
Dependency Graph Technique Revisited
(IMCS: International Membrane Computing Society, 2019)
The dependency graph technique was initially thought as a method to find short paths in the computation tree of a membrane ... |
Ponencia
A review of membrane computing models for ecosystems and a case study on giant pandas
(IMCS: International Membrane Computing Society, 2019)
Ecosystem modeling based on membrane computing is emerging as a powerful way to study the dynamic of (real) ecological ... |
Artículo
Modeling Fault Propagation Paths in Power Systems: A New Framework Based on Event SNP Systems With Neurotransmitter Concentration
(IEEE Computer Society, 2019)
To reveal fault propagation paths is one of the most critical studies for the analysis of power system security; however, ... |
Artículo
Dynamic threshold neural P systems
(Elsevier, 2019)
Pulse coupled neural networks (PCNN, for short) are models abstracting the synchronization behavior observed experimentally ... |
Ponencia
An apparently innocent problem in Membrane Computing
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
The search for effcient solutions of computationally hard problems by means of families of membrane systems has lead to a ... |
Artículo
P systems with symport/antiport rules: When do the surroundings matter?
(Elsevier, 2018)
Cell-like P systems where communication between the regions are carried out by rules of type symport/antiport are considered. ... |
Ponencia
Simulation of Computing P Systems: A GPU Design for the Factorization Problem
(Friedrich-Schiller-Universität Jena, 2018)
|
Artículo
The Unique Satisfiability Problem from a Membrane Computing Perspective
(Romanian Academy, Section for Information Science and Technology, 2018)
Complexity class DP is the class of “differences” of any two languages in NP. It verifies that NP[ co-NP DP PNP, where ... |
Ponencia
Narrowing Frontiers of Efficiency with Evolutional Communication Rules and Cell Separation
(Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ... |
Artículo
From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency
(Elsevier, 2018)
P systems with active membranes use evolution, communication, dissolution and division(or separation) rules. They do not ... |
Artículo
P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification
(IEEE Computer Society, 2018)
Automatic design of mechanical procedures solving abstract problems is a relevant scientific challenge. In particular, ... |
Ponencia
A Semantic Frontier of the Efficiency in Membrane Systems
(Centre for Discrete Mathematics and Theoretical Computer Science, 2018)
The (presumed) efficiency of computing models is expressed by means of their ability to solve (NP-complete) presumably ... |
Ponencia
P-Lingua Compiler: A Tool for Generating Ad-hoc Simulators in Membrane Computing
(Centre for Discrete Mathematics and Theoretical Computer Science, 2018)
|
Ponencia
On GPU-Oriented P Systems
(IEEE Computer Society, 2018)
|
Artículo
Simulation of Rapidly-Exploring Random Trees in Membrane Computing with P-Lingua and Automatic Programming
(Agora University of Oradea, 2018)
Methods based on Rapidly-exploring Random Trees (RRTs) have been widely used in robotics to solve motion planning problems. ... |
Ponencia
Design of Specific P Systems Simulators on GPUs
(Springer, 2018)
In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, ... |
Ponencia
Limits on P Systems with Proteins and Without Division
(Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
In the field of Membrane Computing, computational complexity theory has been widely studied trying to nd frontiers of ... |
Artículo
The role of integral membrane proteins in computational complexity theory
(Springer, 2018)
In the framework of Membrane Computing, several tools to tackle the P versus NP problems by means of frontiers of the ... |
Artículo
Fault Diagnosis of Power Systems Using Intuitionistic Fuzzy Spiking Neural P Systems
(IEEE Computer Society, 2018)
In this paper, intuitionistic fuzzy spiking neural P (IFSNP) systems as a variant are proposed by integrating intuitionistic ... |
Artículo
A Decade of Ecological Membrane Computing Applications
(IMCS: International Membrane Computing Society, 2018)
A short summary of recent ecological modelling applications within mem- brane computing developed by the Research Group ... |
Ponencia
Robot Path Planning using Rapidly-Exploring Random Trees: A Membrane Computing Approach
(IEEE Computer Society, 2018)
Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems for ... |
Ponencia
The Factorization Problem: A New Approach Through Membrane Systems
(University of Paris Est Creteil Val de Marne, 2018)
The factorization problem (given a natural number which is the product of two prime numbers, find its decomposition) is ... |
Artículo
Application of Neural-Like P Systems With State Values for Power Coordination of Photovoltaic/Battery Microgrids
(IEEE Computer Society, 2018)
The power coordination control of a photovoltaic/battery microgrid is performed with a novel bio-computing model within ... |
Artículo
The Computational Complexity of Tissue P Systems with Evolutional Symport/Antiport Rules
(Hindawi, 2018)
Tissue P systems with evolutional communication (symport/antiport) rules are computational models inspired by biochemical systems ... |
Artículo
Laser Dynamics from a Membrane Computing Perspective
(IMCS. International Membrane Computational Society, 2018)
Modelling real systems and processes is a task classically performed through the approach of di erential equation systems, ... |
Artículo
Multiobjective fuzzy clustering approach based on tissue-like membrane systems
(Elsevier, 2017)
Fuzzy clustering problem is usually posed as an optimization problem. However, the existing researchhas shown that clustering ... |
Artículo
From Super-cells to Robotic Swarms: Two Decades of Evolution in the Simulation of P Systems
(IMCS: International Membrane Computing Society, 2017)
Membrane Computing provides machine-oriented models of computation, with types and variants including different elements ... |
Ponencia
Generation of rapidly-exploring random trees by using a new class of membrane systems
(Xihua University, 2017)
Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems for ... |
Ponencia
On Efficiency of P Systems with Symport/Antiport and Membrane Division
(Fenix Editora, 2017)
Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by ... |
Ponencia
Counting Membrane Systems
(University of Bradford, Faculty of Engineering and Informatics, 2017)
A decision problem is one that has a yes/no answer, while a counting problem asks how many possible solutions exist ... |
Artículo
Evolutionary response of a native butterfly to concurrent plantinvasions: Simulation of population dynamics
(Elsevier, 2017)
The habitat of the green-veined white butterfly Pieris oleracea in eastern North America has undergone invasions by the ... |
Ponencia
P Systems based Computing Polynomials with Integer Coefficients: Design and Formal Verification
(Xihua University, 2017)
Automatic design of membrane computing models is an im- portant and useful research topic in the area of membrane ... |
Artículo
A Simulation Software Tool for Cell-like Spiking Neural P Systems
(Romanian Academy, Section for Information Science and Technology, 2017)
Spiking neural P systems (SN P systems, for short) constitute a class of computing models in the research eld of membrane ... |
Ponencia
Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Inwards
(Fenix Editora, 2017)
Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ... |
Artículo
Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation
(Elsevier, 2017)
From a computational complexity point of view, some syntactical ingredients play differentroles depending on the kind of ... |
Artículo
Cooperative P Systems and the P Versus NP Problem
(IMCS: International Membrane Computing Society, 2017)
The P versus NP problem is undoubtedly the most important open question in computer science. Frontiers of tractability or ... |
Artículo
A Survey of Parallel Simulation of P Systems with GPUs
(IMCS: International Membrane Computing Society, 2017)
P system simulators become essential for model verification and validation, since they reproduce the semantics of the ... |
Ponencia
Fault Diagnosis for Multi-energy Flows of Energy Internet: Framework and Prospects
(IEEE Computer Society, 2017)
Energy Internet (EI) is an inevitable development trend of energy systems under the background of technology development, ... |
Artículo
An efficient time-free solution to QSAT problem using P systems with proteins on membranes
(Elsevier, 2017)
P systems are a class of distributed parallel computing devices inspired by some basicbehaviors of biological membranes, ... |
Ponencia
Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Outwards
(Fenix Editora, 2017)
Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ... |
Artículo
Fuzzy reasoning spiking neural P systems revisited: A formalization
(Elsevier, 2017)
Research interest within membrane computing is becoming increasingly interdisciplinary.In particular, one of the latest ... |
Ponencia
Sparse-matrix Representation of Spiking Neural P Systems for GPUs
(Fenix Editora, 2017)
Current parallel simulation algorithms for Spiking Neural P (SNP) systems are based on a matrix representation. This helps ... |
Ponencia
Limits on Efficient Computation in P Systems with Symport/Antiport Rules
(Fenix Editora, 2017)
Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by ... |
Tesis Doctoral
Developing effcient simulators for cell machines
(2016)
Membrane Computing, introduced by Gh. Paun at the end of 1998, is a relatively young branch of Natural Computing providing ... |
Artículo
Cell-Like P Systems With Channel States and Symport/Antiport Rules
(IEEE Computer Society, 2016)
Cell-like P systems with symport/antiport rules are inspired by the structure of a cell and the way of communicating substances ... |
Artículo
Polarizationless P Systems with Active Membranes: Computational Complexity Aspects
(Institut für Informatik, Justus-Liebig-Universität Giessen, 2016)
P systems with active membranes, in their classical definition, make use of noncooperative rules only. However, it is well ... |
Ponencia
Minimal cooperation in polarizationless P systems with active membranes
(Fénix, 2016)
P systems with active membranes is a well developed framework in the eld of Membrane Computing. Using evolution, ... |
Artículo
Tissue P Systems with Protein on Cells
(IOS Press, 2016)
Tissue P systems are a class of distributed parallel computing devices inspired by biochemical interactions between cells ... |
Artículo
Notes on spiking neural P systems and finite automata
(Springer, 2016)
Spiking neural P systems (in short, SN P systems) are membrane computing models inspired by the pulse coding of information ... |
Artículo
A Fault Diagnosis Method of Power Systems Based on an Improved Adaptive Fuzzy Spiking Neural P Systems and PSO Algorithms
(Chinese Institute of Electronics, 2016)
A new fault diagnosis method based on improved Adaptive fuzzy spiking neural P systems (in short, AFSN P systems) and ... |
Artículo
Complexity Perspectives on Minimal Cooperation in Cell-like Membrane Systems
(IMCS: International Membrane Computing Society, 2016)
Cooperation is doubtless a critical ingredient of a computing model. This paper provides an overview on results showing ... |
Artículo
Membrane Fission: A Computational Complexity Perspective
(Wiley, 2016)
Membrane fission is a process by which a biological membrane is split into two new ones in the manner that the content of ... |
Artículo
Tissue P Systems With Channel States Working in the Flat Maximally Parallel Way
(IEEE Computer Society, 2016)
issue P systems with channel states are a class of bio-inspired parallel computational models, where rules are used in a ... |
Artículo
Preface Special Issue: Advances in Membrane Computing
(Springer, 2016)
|
Ponencia
A Software Tool for Computer-Aided Design of Cell-like Spiking Neural P Systems
(IMCS: International Membrane Computing Society, 2016)
Spiking neural P systems (SN P systems, for short) constitute a class of computing models in the research eld of membrane ... |
Artículo
Parallel simulation of Population Dynamics P systems: updates and roadmap
(Springer, 2016)
Population Dynamics P systems are a type of multienvironment P systems that serve as a formal modeling framework for real ... |
Artículo
Sequential Spiking Neural P Systems with Structural Plasticity Based on Max/Min Spike Number
(Springer, 2016)
Spiking neural P systems (in short, SNP systems) are parallel, distributed, and nondeterministic computing devices inspired ... |
Artículo
An efficient time-free solution to SAT problem by P systems with proteins on membranes
(Elsevier, 2016)
P systems with proteins on membranes are a class of bio-inspired computing models,where the execution of each rule completes ... |
Artículo
P systems based computing polynomials: design and formal verification
(Springer, 2016)
Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ... |
Artículo
Computing with viruses
(Elsevier, 2016)
In recent years, different computing models have emerged within the area of Unconven-tional Computation, and more specifically ... |
Artículo
Preface Membrane Computing 2016
(Springer, 2016)
|
Tesis Doctoral
Un entorno para la experimentación virtual con modelos computacionales basados en sistemas P
(2015)
** Introducción Desde el principio de los tiempos, el Hombre se ha visto abocado a resolver problemas. En un principio ... |
Artículo
An unsupervised learning algorithm for membrane computing
(Elsevier, 2015)
This paper focuses on the unsupervised learning problem within membrane computing, and proposes an innovative solution ... |
Artículo
Optimal multi-level thresholding with membrane computing
(Elsevier, 2015)
The conventional methods are not effective and efficient for image multi-level thresholding due to time-consuming and ... |
Ponencia
Computing Partial Recursive Functions by Virus Machines
(Springer, 2015)
Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host ... |
Ponencia
Parallel Simulation of PDP Systems: Updates and Roadmap
(Fénix Editora, 2015)
PDP systems are a type of multienvironment P systems, which serve as a formal modeling framework for Population Dynamics. ... |
Ponencia
Notes on Spiking Neural P Systems and Finite Automata
(Fénix Editora, 2015)
Spiking neural P systems (in short, SNP systems) are membrane computing models inspired by the pulse coding of information ... |
Ponencia
Minimal Cooperation in P Systems with Symport/Antiport: A Complexity Approach
(Fénix Editora, 2015)
Membrane systems with symport/antiport rules compute by just moving objects among membranes, and not by changing the objects ... |
Ponencia
Asynchronous Spiking Neural P Systems with Structural Plasticity
(Fénix Editora, 2015)
Spiking neural P (in short, SNP) systems are computing devices inspired by biological spiking neurons. In this work we ... |
Artículo
A P–Lingua Based Simulator for P Systems with Symport/Antiport Rules
(IOS Press, 2015)
Inspired by mitosis process and membrane fission processes, cell-like P systems with symport/antiport rules and membrane ... |
Artículo
Fuzzy Membrane Computing: Theory and Applications
(Agora University of Oradea, 2015)
Fuzzy membrane computing is a newly developed and promising research direction in the area of membrane computing that aims ... |
Ponencia
Computational Efficiency of P Systems with Symport/Antiport Rules and Membrane Separation
(Fénix Editora, 2015)
Membrane ssion is a process by which a biological membrane is split into two new ones in such a way that the contents of ... |
Artículo
Membrane fission versus cell division: When membrane proliferation is not enough
(Elsevier, 2015)
Cell division is a process that produces two or more cells from one cell by replicating the original chromosomes so that ... |
Ponencia
P Systems based Computing Polynomials: Design and Formal Verification
(IMCS: International Membrane Computing Society, 2015)
Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ... |
Artículo
An automatic clustering algorithm inspired by membrane computing
(Elsevier, 2015)
Membrane computing is a class of distributed parallel computing models. Inspired from the structure and inherent mechanism ... |
Ponencia
Temporal Fuzzy Reasoning Spiking Neural P Systems with Real Numbers for Power System Fault Diagnosis
(IMCS: International Membrane Computing Society, 2015)
This paper proposes a temporal fuzzy reasoning spiking neural P sys- tem with real numbers (rTFRSN P system) and its ... |
Artículo
Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division
(Elsevier, 2015)
P systems are computing models inspired by some basic features of biological membranes. In this work, membrane division, ... |
Artículo
Fault Diagnosis of Electric Power Systems Based on Fuzzy Reasoning Spiking Neural P Systems
(IEEE Computer Society, 2015)
This paper proposes a graphic modeling approach, fault diagnosis method based on fuzzy reasoning spiking neural P systems ... |
Artículo
Computational efficiency and universality of timed P systems with membrane creation
(Springer, 2015)
P systems are a class of distributed parallel computing models inspired by the structure and the functioning of a living ... |
Ponencia
Generating Diophantine Sets by Virus Machines
(Springer, 2015)
Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host ... |
Artículo
Fault Diagnosis of Metro Traction Power Systems Using A Modified Fuzzy Reasoning Spiking Neural P System
(Romanian Academy, Section for Information Science and Technology, 2015)
This paper presents the application of a modified fuzzy reasoning spiking neural P systems (MFRSN P system, for short) to ... |
Capítulo de Libro
Asynchronous Spiking neural P systems with structural plasticity
(Springer, 2015)
Spiking neural P (in short, SNP) systems are computing devices inspired by biological spiking neurons. In this work we ... |
Artículo
Fault Section Estimation of Power Systems with Optimization Spiking Neural P Systems
(Romanian Academy, Section for Information Science and Technology, 2015)
An optimization spiking neural P system (OSNPS) provides a novel way to directly use a P system to solve optimization ... |
Ponencia
Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms
(Springer, 2015)
Fuzzy Reasoning Spiking Neural P systems (FRSN P systems, for short) is a variant of Spiking Neural P systems incorporating fuzzy ... |
Artículo
Decision Tree Models Induced by Membrane Systems
(Romanian Academy, Section for Information Science and Technology, 2015)
This paper focuses on an application of membrane systems to solve classification problems. Decision tree technique has ... |
Artículo
Spiking Neural P Systems with Structural Plasticity
(Springer, 2015)
Spiking neural P (SNP) systems are a class of parallel, distributed, and nondeterministic computing models inspired by the ... |
Ponencia
A bioinspired computing approach to model complex systems
(Springer, 2014)
The use of models is intrinsic to any scientific activity. In particular, formal/mathematical models provide a relevant ... |
Ponencia
Probabilistic Guarded P Systems, A New Formal Modelling Framework
(Springer, 2014)
Multienvironment P systems constitute a general, formal framework for modelling the dynamics of population biology, which ... |
Ponencia
Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems
(Springer, 2014)
This paper discusses the application of fuzzy reasoning spiking neural P systems with real numbers (rFRSN P systems) to ... |
Ponencia
Application of Weighted Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis in Traction Power Supply Systems of High-speed Railways
(Fénix Editora, 2014)
This paper discusses the application of weighted fuzzy reasoning spiking neu- ral P systems (WFRSN P systems) to fault ... |
Artículo
Small universal simple spiking neural P systems with weights
(Springer, 2014)
Spiking neural P systems with weights (WSN P systems, for short) are a new variant of spiking neural P systems, where the ... |
Ponencia
Probabilistic Guarded P Systems, A Formal Definition
(Fénix Editora, 2014)
In this paper, we extend the general framework of Multienvironment P systems, which is a formal framework for modelling ... |
Artículo
The framework of P systems applied to solve optimal watermarking problem
(Elsevier, 2014)
Membrane computing (known as P systems) is a novel class of distributed parallel computing models inspired by the structure ... |
Artículo
Automatic Design of Deterministic and Non-Halting Membrane Systems by Tuning Syntactical Ingredients
(IEEE Computer Society, 2014)
To solve the programmability issue of membrane computing models, the automatic design of membrane systems is a newly ... |
Capítulo de Libro
Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology
(Springer, 2014)
This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel spatial ... |
Ponencia
Accelerated Simulation of P Systems on the GPU: A Survey
(Springer, 2014)
The acceleration of P system simulations is required increasingly, since they are at the core of model verification and ... |
Artículo
A P-Lingua based Simulator for Tissue P Systems with Cell Separation
(Romanian Academy, Section for Information Science and Technology, 2014)
Tissue P systems are one of the currently active research topics within the field of Membrane Computing. In particular, ... |
Artículo
Evolutionary membrane computing: A comprehensive survey and new results
(Elsevier, 2014)
Evolutionary membrane computing is an important research direction of membrane computing that aims to explore the complex ... |
Artículo
Application of Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis
(Agora University of Oradea, Romania, 2014)
This paper discusses the application of fuzzy reasoning spiking neural P systems with trapezoidal fuzzy numbers (tFRSN P ... |
Artículo
The role of the direction in tissue P systems with cell separation
(Institut für Informatik, Justus-Liebig-Universität Giessen, 2014)
Tissue P systems with cell separation where the communication among cells is performed by means of symport and antiport ... |
Ponencia
The Reduction Problem in CUDA and Its Simulation with P Systems
(Fénix Editora, 2014)
We introduce P systems with dynamic communication graphs which simu- late the functioning of the CUDA architecture when solving the parallel reduction prob- lem. |
Artículo
Time-free solution to SAT problem using P systems with active membranes
(Elsevier, 2014)
P systems are a class of distributed and parallel computation models inspired by the structure and the functioning of ... |
Artículo
An optimization Spiking Neural P system for approximately solving combinatorial optimization problems
(World Scientific, 2014)
Membrane systems (also called P systems) refer to the computing models abstracted from the structure and the functioning ... |
Ponencia
Extending SNP Systems Asynchronous Simulation Modes in P-Lingua
(Fénix Editora, 2014)
Spiking neural P systems (SN P systems for short) is a developing field within the P systems world. Inspired by the ... |
Capítulo de Libro
Membrane System-Based Models for Specifying Dynamical Population Systems
(Springer, 2014)
Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modelling framework, which has ... |
Ponencia
Membrane Clustering: A Novel Clustering Algorithm under Membrane Computing
(Fénix Editora, 2014)
Membrane computing (known as P systems) is a class of distributed parallel computing models, this paper presents a novel ... |
Tesis Doctoral
Modeling and simulation of real-life phenomena in membrane computing
(2013)
This document is structured in three parts, whose content is briefly outlined below. Part I: Preliminaries Chapter I ... |
Ponencia
Kernel P Systems: Applications and Implementations
(Springer, 2013)
This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific ... |
Artículo
Foreword. Special Issue: A selection of papers from the 10th Brainstorming Week on Membrane Computing
(Taylor and Francis, 2013)
|
Ponencia
The Relevance of the Environment on the Efficiency of Tissue P Systems
(Springer, 2013)
The efficiency of computational devices is usually expressed in terms of their capability to solve computationally hard ... |
Capítulo de Libro
Implementing Enzymatic Numerical P Systems for AI Applications by Means of Graphic Processing Units
(Springer, 2013)
A P system represents a distributed and parallel computing model in which basic data structures are, for instance, multisets ... |
Artículo
Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems
(Old City Publishing, 2013)
Gene regulatory networks are useful models for biologists to understand the interactions among genes in living organisms. ... |
Artículo
Population Dynamics P System (PDP) Models: A Standardized Protocol for Describing and Applying Novel Bio-Inspired Computing Tools
(2013)
Today, the volume of data and knowledge of processes necessitates more complex models that integrate all available ... |
Artículo
3-Col problem modelling using simple kernel P systems
(Taylor and Francis, 2013)
This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems) and investigates through a ... |
Artículo
A novel image thresholding method based on membrane computing and fuzzy entropy
(IOS Press, 2013)
Multi-level thresholding methods are a class of most popular image segmentation techniques, however, they are not computationally ... |
Artículo
Weighted Fuzzy Spiking Neural P Systems
(IEEE Computer Society, 2013)
Spiking neural P systems (SN P systems) are a new class of computing models inspired by the neurophysiological be-havior ... |
Ponencia
Kernel P Systems - Version 1
(Fénix Editora, 2013)
A basic P system, called kernel P system4 (kP system for short), combining features of di erent P systems introduced and ... |
Artículo
A polynomial alternative to unbounded environment for tissue P systems with cell division
(Taylor and Francis, 2013)
The standard definition of tissue P systems includes a special alphabet whose elements are assumed to appear in the initial ... |
Artículo |
Ponencia
Simulating a Family of Tissue P Systems Solving SAT on the GPU
(Fénix Editora, 2013)
In order to provide e cient software tools to deal with large membrane systems, high-throughput simulators are required. ... |
Artículo |
Ponencia
The P versus NP problem: Unconventional insights from Membrane Computing
(IMCS: International Membrane Computing Society, 2013)
: The P ?=NP question is one of the outstanding open problems in theoretical computer science. The relevance of this ... |
Ponencia
Analysing Gene Networks with PDP Systems. Arabidopsis thaliana, a Case Study
(Fénix Editora, 2013)
Gene Regulatory Networks (GRNs) are a useful tool for biologists to understand the interactions among genes in living ... |
Ponencia
Bridging Membrane and Reaction Systems - Further Results and Research Topics
(Fénix Editora, 2013)
This paper continues an investigation into bridging two research areas con- cerned with natural computing: membrane computing ... |
Artículo
Fuzzy reasoning spiking neural P system for fault diagnosis
(Elsevier, 2013)
Spiking neural P systems (SN P systems) have been well established as a novel class of distributed parallel computing ... |
Tesis Doctoral |
Ponencia
Population Dynamics P Systems on CUDA
(Springer, 2012)
Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modeling framework, which has been ... |
Capítulo de Libro
Spiking Neural P Systems: A Short Introduction and New Normal Forms
(Editorial Academiei, 2012)
Spiking neural P systems are a class of P systems inspired from the way the neurons communicate with each other by means ... |
Ponencia
An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division
(Fénix Editora, 2012)
In the framework of tissue P systems with cell division, the length of communication rules provides a frontier for the ... |
Ponencia
Improving the Efficiency of Tissue P Systems with Cell Separation
(Fénix Editora, 2012)
Cell fission process consists of the division of a cell into two new cells such that the contents of the initial cell is ... |
Artículo
Languages and P systems: Recent developments
(2012)
Languages appeared from the very beginning in membrane computing, by their length sets or directly as sets of strings. We ... |
Ponencia
Computación inteligente con organismos vivos
(Centro de Filosofía das Ciências da Universidade de Lisboa, 2012)
|
Ponencia
Simulating Large-Scale ENPS Models by Means of GPU
(Fénix Editora, 2012)
Enzymatic Numerical P Systems (ENPS), an extension of Numerical P Systems, have been successfully applied to model robot ... |
Ponencia
Parallel Simulation of Probabilistic P Systems on Multicore Platforms
(Fénix Editora, 2012)
Ecologists need to model ecosystems to predict how they will evolve over time. Since ecosystems are non-deterministic ... |
Artículo
P automata revisited
(Elsevier, 2012)
We continue here the investigation of P automata, in their non-extended case, a class of devices which characterize ... |
Ponencia
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
(Fénix Editora, 2012)
This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ... |
Ponencia
Heterotic Computing Examples with Optics, Bacteria, and Chemicals
(Springer, 2012)
Unconventional computers can perform embodied computation that can directly exploit the natural dynamics of the substrate. ... |
Ponencia
Frontiers of Membrane Computing: Open Problems and Research Topics
(Fénix Editora, 2012)
This is a list of open problems and research topics collected after the Twelfth Conference on Membrane Computing, CMC 2012 ... |
Ponencia
Image Thresholding with Cell-like P Systems
(Fénix Editora, 2012)
P systems are a new class of distributed parallel computing models. In this paper, a novel three-level thresholding approach ... |
Ponencia
P Systems as a Modeling Framework for Molecular Systems Biology
(Huazhong University of Science and Technology, 2012)
|
Artículo
Solving Common Algorithmic Problem by Recognizer Tissue P Systems
(Romanian Academy, 2012)
Common Algorithmic Problem is an optimization problem, which has the nice property that several other NP-complete problems ... |
Artículo
Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem
(Springer, 2012)
Membrane Computing has recently proved to be a suitable framework for addressing the modelling of dynamical biological ... |
Ponencia
Spiking Neural P Systems with Functional Astrocytes
(Springer, 2012)
Spiking Neural P Systems (SN P Systems, for short) is a developing field within the universe of P Systems. New variants ... |
Ponencia
The Role of the Environment in Tissue P Systems with Cell Division
(Fénix Editora, 2012)
Classical tissue P systems with cell division have a special alphabet whose elements appear at the initial configuration ... |
Artículo
Improving GPU Simulations of Spiking Neural P Systems
(Romanian Academy, 2012)
In this work we present further extensions and improvements of a Spiking Neural P system (for short, SNP systems) simulator ... |
Ponencia
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution
(Fénix Editora, 2012)
Population Dynamics P systems refer to a formal framework for ecological modelling. The semantics of the model associates ... |
Ponencia
Languages and P Systems: Recent Developments
(Fénix Editora, 2012)
Languages appeared from the very beginning in membrane computing, by their length sets or directly as sets of strings. We ... |
Ponencia
The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment
(Computer and Automation Research Institute Hungarian Academy of Sciences, 2012)
The classical definition of tissue P systems includes a distinguished alphabet with the special assumption that its elements ... |
Artículo
An infinite hierarchy of languages defined by dP systems
(Elsevier, 2012)
Here, we continue the study of the recently introduced dP automata. They are symport/antiport P systems consisting of a ... |
Artículo
The GPU on the simulation of cellular computing models
(Springer, 2012)
Membrane Computing is a discipline aiming to abstract formal computing models, called membrane systems or P systems, from ... |
Ponencia
Using A Kernel P System to Solve The 3-Col Problem
(MTA SZTAKI, the Computer and Automation Research Institute of the Hungarian Academy of Sciences, 2012)
The newly introduced Kernel P systems offer an unitary and elegant way of integrating established features of existing P ... |
Artículo
Programas moleculares y sistemas lógico-formales
(De Gruyter, 2012)
Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación ... |
Artículo
The Spanish Network on Biomolecular and Biocellular Computing: Bio-inspired Natural Computing in Spain
(ERCIM EEIG, 2011)
The Spanish Network on Biomolecular and Biocellular Computing (Redbiocom) is a consortium of seven Spanish research groups ... |
Ponencia
Matrix Representation of Spiking Neural P Systems
(Springer, 2011)
Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from the ... |
Artículo
Computation of Ramsey Numbers by P Systems with Active Membranes
(World Scientific, 2011)
Ramsey numbers deal with conditions when a combinatorial object necessarily contains some smaller given objects. It is ... |
Ponencia
Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by Using P-Systems
(Springer, 2011)
P systems provide a high level computational modeling framework which integrates the structural and dynamic aspects of ... |
Ponencia
Spiking Neural P Systems with Several Types of Spikes
(Fénix Editora, 2011)
With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling ... |
Ponencia
Depth-First Search with P Systems
(Springer, 2011)
The usual way to find a solution for an NP complete problem in Membrane Computing is by brute force algorithms. These ... |
Ponencia
A P–Lingua Based Simulator for Spiking Neural P Systems
(Springer, 2011)
The research within the field of Spiking Neural P systems (SN P systems, for short) is focusing mainly in the study of ... |
Ponencia
A Uniform Solution to Common Algorithmic Problem by Tissue P Systems with Cell Division
(IEEE Computer Society, 2011)
Common algorithmic problem is an optimization problem, which has the nice property that several other NP-complete problems ... |
Ponencia
Implementing Local Search with Membrane Computing
(Fénix Editora, 2011)
Local search is currently one of the most used methods for finding solution in real-life problems. In this paper we present ... |
Ponencia
Membrane Computing (Tutorial)
(Springer, 2011)
The aim of the tutorial is to give a general overview of the Membrane Computing paradigm [2,5]. Membrane Computing is a ... |
Ponencia
Spiking Neural P System Simulations on a High Performance GPU Platform
(Springer, 2011)
In this paper we present our results in adapting a Spiking Neural P system (SNP system) simulator to a high performance ... |
Artículo
Spiking Neural P systems with several types of spikes
(Agora University of Oradea, 2011)
With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling ... |
Artículo
A computational modeling for real ecosystems based on P systems
(Springer, 2011)
In this paper, a P systems based general framework for modeling ecosystems dynamics is presented. Particularly, ecosystems ... |
Artículo
A Tissue P Systems Based Uniform Solution to Tripartite Matching Problem
(IOS Press, 2011)
A tissue P system with cell division is a computing model which has two basic features: intercellular communication and ... |
Ponencia
Implementing ENPS by Means of GPUs for AI Applications
(University of West Bohemia, 2011)
P system represents a distributed and parallel computing model in which basic data structures are, for instance, multisets and ... |
Capítulo de Libro
P and dP Automata: A Survey
(Springer, 2011)
This is a quick survey of basic notions and results related to P automata (P systems with symport/antiport rules working ... |
Ponencia
Towards Bridging Two Cell-Inspired Models: P Systems and R Systems
(Fénix Editora, 2011)
We examine, from the point of view of membrane computing, the two basic assumptions of reaction systems, the "threshold" ... |
Ponencia
dP Automata versus Right-Linear Simple Matrix Grammars
(Fénix Editora, 2011)
We consider dP automata with the input string distributed in an arbitrary (hence not necessary balanced) way, and we ... |
Ponencia
Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division
(Fénix Editora, 2011)
Prime factorization is useful and crucial for public-key cryptography, and its application in public-key cryptography is ... |
Ponencia
Spiking Neural dP Systems
(Fénix Editora, 2011)
We bring together two topics recently introduced in membrane computing, the much investigated spiking neural P systems (in ... |
Artículo
A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study
(Science Direct, 2011)
The models used for ecosystems modeling are generally based on differential equations. However, in recent yearsnewcomputational ... |
Ponencia
Formal Verification of P Systems with Active Membranes through Model Checking
(Springer, 2011)
Formal verification of P systems using model checking has attracted a significant amount of research in recent years. ... |
Artículo
Local Search with P Systems
(IGI GLOBAL, 2011)
Local search is currently one of the most used methods for finding solutions in real-life problems. It is usually considered ... |
Artículo
On a partial affirmative answer for a Paun's Conjecture
(WORLD SCIENTIFIC PUBL CO PTE LTD, 2011)
At the beginning of 2005, Gheorghe Pun formulated a conjecture stating that in the framework of recognizer P systems with ... |
Tesis Doctoral
Desarrollo y aplicaciones de un entorno de programación para computación celular: P-Lingua
(2010)
La presente memoria está estructurada en tres partes que constan de un total de siete capítulos cuyos contenidos se describen ... |
Artículo
Simulating a P system based efficient solution to SAT by using GPUs
(Elsevier, 2010)
P systems are inherently parallel and non-deterministic theoretical computing devices defined inside the field of Membrane ... |
Artículo
Simulation of P systems with active membranes on CUDA
(Oxford University Press, 2010)
P systems or Membrane Systems provide a high-level computational modelling framework that combines the structure and dynamic ... |
Ponencia
Membrane Computing Meets Artificial Intelligence: A Case Study
(Fénix Editora, 2010)
The usual way to find a solution for a NP complete problem with Membrane Computing techniques is by brute force algorithms ... |
Ponencia
A Cellular Sudoku Solver
(Fénix Editora, 2010)
Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple rules. ... |
Ponencia
On Communication Complexity in Evolution-Communication P Systems
(Fénix Editora, 2010)
Looking for a theory of communication complexity for P systems, we consider here so-called evolution-communication (EC for ... |
Ponencia
Simulating Tritrophic Interactions by Means of P Systems
(IEEE, 2010)
P systems provide a high level computational modelling framework that combines the structural and dynamical aspects of ... |
Artículo
On spiking neural P systems
(Springer, 2010)
This work deals with several aspects concerning the formal verification of SN P systems and the computing power of some ... |
Ponencia
Implementing P Systems Parallelism by Means of GPUs
(Springer, 2010)
Software development for Membrane Computing is growing up yielding new applications. Nowadays, the efficiency of P systems ... |
Ponencia
Enhancing the simulation of P systems for the SAT problem on GPUs
(National Center for Supercomputing Applications, 2010)
GPUs constitute nowadays a solid alternative for high performance computing, and the advent of CUDA/OpenCL allow programmers ... |
Ponencia
A Computational Complexity Theory in Membrane Computing
(Springer, 2010)
In this paper, a computational complexity theory within the framework of Membrane Computing is introduced. Polynomial ... |
Ponencia
Solving Problems in a Distributed Way in Membrane Computing: dP Systems
(Fénix Editora, 2010)
Although P systems are distributed parallel computing devices, no explicit way of handling the input in a distributed way ... |
Ponencia
A P System Based Model of an Ecosystem of Some Scavenger Birds
(Springer, 2010)
The Bearded Vulture (Gypaetus Barbatus) is an endangered species in Eu- rope that feeds almost exclusively on bone remains ... |
Ponencia
P systems simulations on massively parallel architectures
(Universidad Complutense de Madrid, 2010)
Membrane Computing is an emergent research area studying the behaviour of living cells to de ne bio-inspired computing devices, ... |
Artículo
Computational complexity of tissue-like P systems
(Elsevier, 2010)
|
Capítulo de Libro
La mitosis celular: una sorprendente frontera de la eficiencia
(Fenix Editora, 2010)
En este trabajo se presenta una frontera entre la eficiencia e ineficiencia de problemas abstractos en un marco computacional ... |
Artículo
Spiking Neural P systems with weights
(MIT Press, 2010)
A variant of spiking neural P systems with positive or negative weights on synapses is introduced, where the rules of a ... |
Artículo
Thresholding 2D Images with Cell-like P Systems
(Romanian Academy, 2010)
Thresholding is the process of splitting a digital image into sets of pixels in order to make it easier to analyze. Pixels ... |
Ponencia
Tissue-like P Systems Without Environment
(Fénix Editora, 2010)
In this paper we present a tissue-like P systems model with cell division the environment has been replaced by an extra ... |
Artículo
A P-Lingua based simulator for Tissue P systems
(Elsevier, 2010)
Investigations within the field of tissue-like P systems are being conducted, on one hand studying their computational ... |
Ponencia
Array Tissue-like P Systems
(Fénix Editora, 2010)
Array grammars have been studied in the framework of Membrane Comput- ing by using rewriting rules from transition P ... |
Ponencia
A uniform framework for modeling based on P Systems
(IEEE Computer Society, 2010)
In this paper, a P systems based general framework for modeling the dynamics of a population biology is presented. Multienvironment ... |
Ponencia
A new simulation algorithm for multienvironment probabilistic P systems
(IEEE Computer Society, 2010)
Multienvironment P systems are the base of a general framework for modeling ecosystems dynamics. On one hand, this modeling ... |
Artículo
A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors
(Springer, 2010)
We consider three complexity classes defined on Accepting Hybrid Networks of Evolutionary Processors (AHNEP) and compare ... |
Ponencia
MeCoSim: A general purpose software tool for simulating biological phenomena by means of P Systems
(IEEE Computer Society, 2010)
In recent years, the increasing importance of the computational systems biology is leading to an impressive growth of the ... |
Artículo
A Linear Time Solution to the Partition Problem in a Cellular Tissue-Like Model
(AMER SCIENTIFIC PUBLISHERS, 2010)
Tissue-like P systems with cell division is a computing model in the framework of membrane computing that is based on the ... |
Ponencia
Descriptional Complexity of Tissue-Like P Systems with Cell Division
(Springer, 2009)
In this paper we address the problem of describing the complexity of the evolution of a tissue-like P system with cell ... |
Ponencia
Computing Backwards with P Systems
(Fénix Editora, 2009)
Searching all the configurations C′ such that produce a given configuration C, or, in other words, computing backwards in ... |
Ponencia
A massively parallel framework using P systems and GPUs
(National Center for Supercomputing Applications at the University of Illinois, 2009)
Since CUDA programing model appeared on the general purpose computations, the developers can extract all the power contained ... |
Ponencia
Simulating Active Membrane Systems Using GPUs
(Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009)
Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator ... |
Ponencia
Membrane dissolution and division in P
(Springer, 2009)
Membrane systems with dividing and dissolving membranes are known to solve PSPACE problems in polynomial time. However, we ... |
Ponencia
Simulation of Recognizer P Systems by Using Manycore GPUs
(Fénix Editora, 2009)
Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator ... |
Ponencia
Characterizing the Aperiodicity of Irreducible Markov Chains by Using P Systems
(Fénix Editora, 2009)
It is well known that any irreducible and aperiodic Markov chain has exactly one stationary distribution, and for any ... |
Artículo
On the efficiency of cell-like and tissue-like recognizing membrane systems
(Wiley, 2009)
Cell-like recognizing membrane systems are computational devices in the framework of membrane computing inspired from the ... |
Ponencia
Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study
(Springer, 2009)
The Bearded Vulture (Gypaetus barbatus) is an endangered species in Europe that feeds almost exclusively on bone remains ... |
Artículo
Complexity aspects of polarizationless membrane systems
(Springer, 2009)
We investigate polarizationless P systems with active membranes working in maximally parallel manner, which do not make ... |
Ponencia
Solving the Independent Set problem by using tissue-like P systems with cell division
(Springer, 2009)
Tissue-like P systems with cell division is a computing model in the framework of Membrane Computing inspired by the ... |
Ponencia
Efficiency of Tissue P Systems with Cell Separation
(Fénix Editora, 2009)
The most investigated variants of P systems in the last years are cell-like models, especially in terms of efficiency. ... |
Capítulo de Libro
Membrane Computing Schema: A New Approach to Computation Using String Insertions
(Springer, 2009)
In this paper, we introduce the notion of a membrane computing schema for string objects. We propose a computing schema ... |
Artículo
Efficient simulation of tissue-like P systems by transition cell-like P systems
(Springer, 2009)
In the framework of P systems, it is known that the construction of exponential number of objects in polynomial time is ... |
Ponencia
A P-Lingua Programming Environment for Membrane Computing
(Springer, 2009)
A new programming language for membrane computing, PLingua, is developed in this paper. This language is not designed for a ... |
Ponencia
Characterizing Tractability by Tissue-Like P Systems
(Fénix Editora, 2009)
In the framework of cell–like membrane systems it is well known that the construction of exponential number of objects in ... |
Ponencia
Hebbian learning from spiking neural P systems view
(Springer, 2009)
Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ... |
Ponencia
Solving the N-Queens Puzzle with P Systems
(Fénix Editora, 2009)
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 ... |
Ponencia
Analysis of P systems simulation on CUDA
(SARTECO: Sociedad de Arquitectura y Tecnología de Computadores, 2009)
GPUs (Graphics Processing Unit) have been con- solidated as a massively data-parallel coprocessor to develop many general ... |
Artículo
Efficient computation in rational-valued P systems
(Cambridge University Press, 2009)
In this paper, we describe a new representation for deterministic rational-valued P systems that allows us to form a bridge ... |
Capítulo de Libro
Spiking Neural P Systems. Recent Results, Research Topics
(Springer, 2009)
After a quick introduction of spiking neural P systems (a class of P systems inspired from the way neurons communicate by ... |
Ponencia
P-Lingua 2.0: New Features and First Applications
(Fénix Editora, 2009)
P-Lingua is a programming language for membrane computing. It was rst presented in Edinburgh, during the Ninth Workshop ... |
Ponencia
Spiking Neural P Systems with Neuron Division and Budding
(Fénix Editora, 2009)
In order to enhance the e±ciency of spiking neural P systems, we introduce the features of neuron division and neuron ... |
Ponencia
Searching Previous Configurations in Membrane Computing
(Springer, 2009)
Searching all the configurations C′ which produce a given configuration C is an extremely hard task. The current approximations ... |
Ponencia
P System Based Model of an Ecosystem of the Scavenger Birds
(Fénix Editora, 2009)
The Bearded Vulture (Gypaetus Barbatus) is an endangered species in Europe that feeds almost exclusively on bone remains ... |
Ponencia
An Overview of P-Lingua 2.0
(Springer, 2009)
P–Lingua is a programming language for membrane computing which aims to be a standard to define P systems. In order to ... |
Artículo
Uniform solutions to SAT and Subset Sum by spiking neural P systems
(Springer, 2009)
We continue the investigations concerning the possibility of using spiking neural P systems as a framework for solving ... |
Ponencia
Cell-like Versus Tissue-like P Systems by Means of Sevilla Carpets
(Fénix Editora, 2009)
Sevilla Carpets are a handy tool for comparing computations performed by different systems solving the same problem. Such ... |
Artículo
An approach to Ballistic deposition based on membrane computing
(Old City Publishing, Inc., 2009)
Ballistic Deposition was proposed by Vold [10] and Sutherland [9] as a model for colloidal aggregation. These early works ... |
Tesis Doctoral
P systems, a computational modelling framework for systems biology
(2008)
LOS PROGRAMAS INFORMÁTICOS QUE MODELIZAN CÉLULAS FACILITARÁN EL TRABAJO DE LOS BIÓLOGOS Se basa en hacer modelos de células, ... |
Ponencia
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution
(Fénix Editora, 2008)
Recognizer P systems with active membranes have proven to be very powerful computing devices, being able to solve NP-complete ... |
Artículo
A uniform family of tissue P systems with cell division solving 3-COL in a linear time
(Elsevier, 2008)
Several examples of the efficiency of cell-like P systems regarding the solution of NPcomplete problems in polynomial time ... |
Ponencia
A P System Modeling an Ecosystem Related to the Bearded Vulture
(Fénix Editora, 2008)
The Bearded Vulture is one of the rarest raptors in Europe and it is an endangered species. In this paper, we present a ... |
Ponencia
Solving the Partition Problem by Using Tissue-like P Systems with Cell Division
(Fénix Editora, 2008)
Tissue-like P systems with cell division is a computing model in the framework of Membrane Computing that shares with the ... |
Artículo
Tissue P systems with cell division
(Agora University of Oradea, 2008)
In tissue P systems several cells (elementary membranes) communicate through symport/antiport rules, thus carrying out a ... |
Ponencia
A Fast Solution to the Partition Problem by Using Tissue-Like P Systems
(IEEE Computer Society, 2008)
Tissue-like P systems with cell division is a computing model in the framework of membrane computing based on the intercellular ... |
Artículo
Hierarchical clustering with Membrane Computing.
(Institute of Informatics Slovak Academy of Sciences, 2008)
In this paper we approach the problem of hierarchical clustering through membrane computing. A specific P system with ... |
Ponencia
Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts
(Österreichische Computer Gesellschaft Komitee für Öffentlichkeitsarbeit, 2008)
The paper introduces some sorting networks and their simulation with P systems, in which each processor/membrane can hold ... |
Ponencia
A First Model for Hebbian Learning with Spiking Neural P Systems
(Fénix Editora, 2008)
Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ... |
Ponencia
P-Lingua: A Programming Language for Membrane Computing
(Fénix Editora, 2008)
Software development for cellular computing has already been addressed, yielding a first generation of applications. In ... |
Ponencia
Graphics and P Systems: Experiments with JPLANT
(Fénix Editora, 2008)
The hand-made graphical representation of the configuration of a P system becomes a hard task when the number of membranes ... |
Artículo
Representations and characterizations of languages in Chomsky hierarchy by means of insertion-deletion systems
(World Scientific, 2008)
Insertion-deletion operations are much investigated in linguistics and in DNA computing and several characterizations of ... |
Artículo
A software tool for verification of Spiking Neural P Systems
(Springer, 2008)
The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is ... |
Artículo
Computational Efficiency of Cellular Division in Tissue-like Membrane Systems
(Romanian Academy, 2008)
Tissue-like P systems with cell division are computing models in the framework of membrane computing. They are inspired ... |
Artículo
Modelling gene expression control using P systems: The Lac Operon, a case study
(Elsevier, 2008)
In this paper P systems are used as a formal framework for the specification and simulation of biological systems. In ... |
Ponencia
Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts
(Fénix Editora, 2008)
The paper introduces some sorting networks and their simulation with P systems, in which each processor/membrane can hold ... |
Artículo
Spiking neural P systems with extended rules: universality and languages
(Springer, 2008)
We consider spiking neural P systems with rules allowed to introduce zero, one, or more spikes at the same time. The ... |
Artículo
A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems
(MIT Press, 2008)
Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to ... |
Tesis Doctoral
Membrane computing, neural inspirations, gene assembly in ciliates
(2007)
La Tesis enmarca dentro de la disciplina de la computación celular con membranas, un modelo de computación orientado a ... |
Ponencia
Simulating the Bitonic Sort on a 2D-mesh with P Systems
(South-East European Research Centre, 2007)
This paper gives a version of the parallel bitonic sorting algorithm of Batcher, which can sort N elements in time O(log2 ... |
Ponencia
Tissue Simulator: A Graphical Tool for Tissue P Systems
(MTA SZTAKI, 2007)
Recently, different new models of tissue-like P systems have received important attention from the scientific community. ... |
Ponencia
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode
(Fénix Editora, 2007)
We investigate the computing power and the efficiency of P systems with active membranes without polarizations, working ... |
Tesis Doctoral
P systems, a computacional modelling framework for systems biology
(2007)
"Los programas informáticos que modelizan células facilitarán el trabajo de los biólogos. Se basa en hacer modelos de ... |
Artículo
On the degree of parallelism in membrane systems
(Elsevier, 2007)
In the literature, several designs of P systems might be found for performing the same task. The use of different techniques ... |
Artículo
P systems with minimal parallelism
(Elsevier, 2007)
A current research topic in membrane computing is to find more realistic P systems from a biological point of view, and ... |
Artículo
Cellular modelling using P systems and process algebra.
(Taylor and Francis Online, 2007)
In this paper various molecular chemical interactions are modelled under different computational paradigms. P systems and ... |
Ponencia
Membrane Computing Schema Based on String Insertions
(Fénix Editora, 2007)
In this note we introduce the notion of a membrane computing schema for string objects. We propose a computing schema for ... |
Artículo
A linear-time tissue P system based solution for the 3-coloring problem
(Elsevier, 2007)
In the literature, several examples of the efficiency of cell-like P systems regarding the solution of NPcomplete problems ... |
Ponencia
Simulating Apoptosis Using Discrete Methods: a Membrane System and a Stochastic Approach
(2007)
Membrane Systems provide an intriguing method for modeling biological systems at a molecular level. The hierarchical ... |
Ponencia
On a Paun’s Conjecture in Membrane Systems
(Springer, 2007)
We study a P˘aun’s conjecture concerning the unsolvability of NP–complete problems by polarizationless P systems with ... |
Ponencia
A Membrane Computing Model for Ballistic Depositions
(Fénix Editora, 2007)
Ballistic Deposition was proposed by Vold and Sutherland as a model for colloidal aggregation. These early works were later ... |
Artículo
A uniform solution to SAT using membrane creation
(Elsevier, 2007)
In living cells, new membranes are produced basically through two processes: mitosis and autopoiesis. These two processes have ... |
Ponencia
A Cellular Solution to Subset Sum Using Division of Non-elementary Membranes and Dissolution, with Time and Initial Resources Bounded by log k
(SEERC, South-East European Research Centre, 2007)
The aim of our paper is twofold. On one hand we prove the ability of polar- izationless P systems with dissolution and ... |
Ponencia
A Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division
(Fénix Editora, 2007)
Tissue P systems are a computing model in the framework of Membrane Computing where the tree-like membrane structure is ... |
Ponencia
Solving Subset Sum in Linear Time by Using Tissue P Systems with Cell Division
(Springer, 2007)
Tissue P systems with cell division is a computing model in the framework of Membrane Computing based on intercellular ... |
Ponencia
A Logarithmic Bound for Solving Subset Sum with P Systems
(Springer, 2007)
The aim of our paper is twofold. On one hand we prove the ability of polarizationless P systems with dissolution and with ... |
Artículo
Simulating FAS-induced apoptosis by using P systems
(Taylor and Francis Online, 2007)
In contrast to differential equations, P systems are an unconven- tional model of computation which takes into consideration ... |
Artículo
How to express tumours using membrane systems
(ELSEVIER SCIENCE INC, 2007)
In this paper we discuss the potential usefulness of membrane systems as tools for modelling tumours. The approach is ... |
Artículo
Computational efficiency of dissolution rules in membrane systems
(Taylor and Francis, 2006)
Trading (in polynomial time) space for time in the framework of membrane systems is not sufficient to efficiently solve ... |
Capítulo de Libro
Graphical Modeling of Higher Plants Using P Systems
(Springer, 2006)
L systems have been widely used to model and graphically represent the growth of higher plants [20]. In this paper we ... |
Ponencia
Fractals and P Systems
(Fénix Editora, 2006)
In this paper we show that the massive parallelism, the synchronous appli- cation of the rules, and the discrete nature ... |
Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
(Springer, 2006)
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. |
Artículo
Spike Trains in Spiking Neural P Systems
(World Scientific, 2006)
We continue here the study of the recently introduced spiking neural P systems, which mimic the way that neurons communicate ... |
Ponencia
Handling Markov Chains with Membrane Computing
(Fénix Editora, 2006)
In this paper we approach the problem of computing the n–th power of the transition matrix of an arbitrary Markov chain ... |
Ponencia
On String Languages Generated by Spiking Neural P Systems
(Fénix Editora, 2006)
We continue the study of spiking neural P systems by considering these computing devices as binary string generators: the ... |
Capítulo de Libro
Modeling Signal Transduction Using P Systems
(Springer, 2006)
Cellular signalling pathways are fundamental to the control and regulation of cell behavior. Understanding of biosignalling ... |
Capítulo de Libro
Computationally Hard Problems Addressed Through P Systems
(Springer, 2006)
In this chapter we present a general framework to provide efficient solutions to decision problems through families of ... |
Ponencia
A Membrane Computing View on Tumours
(2006)
In this paper we discuss about the potential usefulness of P systems as natural tools for modelling tumours. This is done ... |
Capítulo de Libro
Computing with Spiking Neural P Systems: Traces and Small Universal Systems
(Springer, 2006)
Recently, the idea of spiking neurons and thus of computing by spiking was incorporated into membrane computing, and ... |
Ponencia
P systems-based Modelling of Cellular Signalling Pathways
(2006)
Cellular signalling pathways are fundamental to the control and regulation of cell behaviour. Understanding the biosignalling ... |
Capítulo de Libro
Available Membrane Computing Software
(Springer, 2006)
The simulation of a P system with current computers is a quite com-plex task. P systems are intrinsically nondeterministic ... |
Capítulo de Libro
On P Systems as a Modelling Tool for Biological Systems
(Springer, 2006)
We introduce a variant of P systems where rules have associated a real number providing a measure for the “intrinsic ... |
Capítulo de Libro
A Linear Solution for QSAT with Membrane Creation
(Springer, 2006)
The usefulness of P systems with membrane creation for solving NP problems has been previously proved (see [2, 3]), but, ... |
Artículo
Bounding the Indegree of Spiking Neural P Systems
(Turku Center for Computer Science, 2006)
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. |
Capítulo de Libro
Applications of Membrane Computing
(Springer, 2006)
|
Ponencia
Solving 3-COL with Tissue P Systems
(Fénix Editora, 2006)
In the literature, several examples of the efficiency of cell-like P systems in order to solve NP-complete problems in ... |
Capítulo de Libro
On the Power of Dissolution in P Systems with Active Membranes
(Springer, 2006)
In this paper we study membrane dissolution rules in the framework of P systems with active membranes but without using ... |
Ponencia
Uniform Solution to QSAT Using Polarizationless Active Membranes
(Fénix Editora, 2006)
It is known that the satisfiability problem (SAT) can be solved a semi- uniform family of deterministic polarizationless ... |
Capítulo de Libro
A Modeling Approach Based on P Systems with Bounded Parallelism
(Springer, 2006)
This paper presents a general framework for modelling with membrane systems that is based on a computational paradigm ... |
Ponencia
Spiking Neural P Systems with Extended Rules
(Fénix Editora, 2006)
We consider spiking neural P systems with spiking rules allowed to introduce zero, one, or more spikes at the same time. ... |
Ponencia
Cell-like and Tissue-like Membrane Systems as Recognizer Devices
(Rosillo's S.L., 2006)
Most of the variants of membrane systems found in the literature are generally thought as generating devices. In this paper ... |
Capítulo de Libro
Classifying States of a Finite Markov Chain with Membrane Computing
(Springer, 2006)
In this paper we present a method to classify the states of a finite Markov chain through membrane computing. A specific ... |
Artículo
Membrane computing: Brief introduction, recent results and applications
(Elsevier, 2006)
The internal organization and functioning of living cells, as well as their cooperation in tissues and higher order ... |
Artículo
Handling Languages with Spiking Neural P Systems with Extended Rules
(Romanian Academy, Section for Information Science and Technology, 2006)
We consider spiking neural P systems with spiking rules allowed to introduce zero, one, or more spikes at the same time. ... |
Ponencia
An Approach to the Degree of Parallelism in P Systems
(Fénix Editora, 2006)
In the literature, several designs of P systems were used for performing the same task. The use of different techniques ... |
Ponencia
The Growth of Branching Structures with P Systems
(Fénix Editora, 2006)
L-systems have been widely used to model and graphically represent the growth of plants. In, the use of membrane computing ... |
Capítulo de Libro
P Systems, a New Computational Modelling Tool for Systems Biology
(Springer, 2006)
In this paper we present P systems as a reliable computa- tional modelling tool for Systems Biology that takes into account ... |
Capítulo de Libro
Characterizing tractability by cell-like membrane systems
(WORLD SCIENTIFIC PUBL CO PTE LTD, 2006)
In this paper we present a polynomial complexity class in the framework of membrane computing. In this context, and using ... |
Tesis Doctoral |
Artículo
Symport/Antiport P Systems with Three Objects Are Universal
(IOS Press, 2005)
The operations of symport and antiport, directly inspired from biology, are already known to be rather powerful when used ... |
Capítulo de Libro
Attacking the Common Algorithmic Problem by Recognizer P Systems
(Springer, 2005)
Many NP-complete problems can be viewed as special cases of the Common Algorithmic Problem (CAP). In a precise sense, ... |
Tesis Doctoral
Evolution, communication, observation from biology to membrane computing and back
(2005)
La Computación Natural es una disciplina cuyo objetivo fundamental es la simulación e implementación de procesos dinámicos ... |
Artículo
Tissue P systems with channel states
(Elsevier, 2005)
We consider tissue-like P systems with states associated with the links (we call them synapses) between cells, controlling ... |
Ponencia
Modelling Vibrio fischeri’s behaviour Using P Systems
(2005)
Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to ... |
Artículo
Solving the Subset-Sum Problem by P Systems with Active Membranes
(Springer, 2005)
We present the first membrance computing solution to the Subset-Sum problem using a family of deterministic P systems with ... |
Capítulo de Libro
Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes
(Springer, 2005)
In the last time, several efforts have been made in order to remove polarizations of membranes from P systems with active ... |
Capítulo de Libro
On Two-Dimensional Mesh Networks and Their Simulation with P Systems
(Springer, 2005)
We analize in this paper the possibility of simulating the parallel architecture SIMD-MC2, also known as the two-dimensional mesh, ... |
Capítulo de Libro
Exploring Computation Trees Associated with P Systems
(Springer, 2005)
Usually, the evolution of a P system generates a computation tree too large to be efficiently handled with present–day ... |
Capítulo de Libro
Formal Verification of Programs in Molecular Models with Random Access Memory
(Fénix Editorial, 2005)
Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning ... |
Ponencia
Solving SAT with membrane creation
(University of Amsterdam, 2005)
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ... |
Ponencia
Characterizing Tractability with Membrane Creation
(IEEE Computer Society, 2005)
This paper analyzes the role that membrane dissolution rules play in order to characterize (in the framework of recognizer ... |
Capítulo de Libro
Accepting Hybrid Networks of Evolutionary Processors
(Springer, 2005)
We consider time complexity classes defined on accepting hybrid networks of evolutionary processors (AHNEP) similarly to ... |
Ponencia
A Simulator for Confluent P Systems
(Fénix Editora, 2005)
Software simulators for P system are nowadays the main tool to carry out experiments in the field of Membrane Computing. ... |
Ponencia
Editing Configurations of P Systems
(Fénix Editora, 2005)
This paper proposes and preliminarily investigates the possibility of transforming a configuration (membrane structure and ... |
Ponencia
Modelling EGFR signalling cascade using continuous membrane systems
(2005)
The complexity of networks of biological signalling pathways is such that the development of simplifying models is essential ... |
Capítulo de Libro
P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P
(Springer, 2005)
We study the computational efficiency of recognizer P systems with active membranes without polarizations and without ... |
Capítulo de Libro
On Descriptive Complexity of P Systems
(Springer, 2005)
In this paper we address the problem of describing the complexity of the evolution of a P system. This issue is is specially ... |
Capítulo de Libro
A Study of the Robustness of the EGFR Signalling Cascade Using Continuous Membrane Systems
(Springer, 2005)
Many approaches to anticancer treatment have had a limited success. A fundamental hurdle to cancer therapy is the robustness ... |
Capítulo de Libro
Using Automated Reasoning Systems on Molecular Computing
(Springer, 2005)
This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study the ... |
Artículo
A fast P system for finding a balanced 2-partition
(Springer, 2005)
Numerical problems are not very frequently addressed in the P systems literature. In this paper we present an effective ... |
Ponencia
On P Systems with Bounded Parallelism
(IEEE Computer Society, 2005)
A framework that describes the evolution of P systems with bounded parallelism is de ned by introducing basic formal ... |
Capítulo de Libro
A Linear Solution of Subset Sum Problem by Using Membrane Creation
(Springer, 2005)
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ... |
Capítulo de Libro
An Approach to Computational Complexity in Membrane Computing
(Springer, 2005)
In this paper we present a theory of computational complexity in the framework of membrane computing. Polynomial ... |
Ponencia
Simulating Avascular Tumors with Membrane Systems
(Fénix Editora, 2005)
Tumor growth has received a considerable attention by the scientific community. In the earliest stages of development, ... |
Capítulo de Libro
Cellular solutions to some numerical NP-complete problems: A prolog implementation
(Idea Group Inc., 2005)
This chapter is devoted to the study of numerical NP-complete problems in the framework of cellular systems with membranes, ... |
Ponencia
Multidimensional descriptional complexity of P systems
(Univ. degli Studi di Milano, 2005)
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ... |
Ponencia
P Systems with Membrane Creation and Rule Input
(Fénix Editora, 2005)
When a uniform family of recognizer P systems is designed to solve a problem, the data of a concrete instance of the problem ... |
Ponencia
Multidimensional Sevilla carpets Associated with P Systems
(Fénix Editora, 2005)
In this paper we address the problem of describing the complexity of the evolution of a P system. This is especially ... |
Ponencia
P Systems with Tables of Rules
(Fénix Editora, 2004)
In the last time, several e®orts were made in order to remove the polarization of membranes from P systems with active ... |
Ponencia
Looking for P Truth
(Fénix Editora, 2004)
In a general sense, Logic studies how to derive new pieces of in- formation from previous ones. In this paper we explore ... |
Tesis Doctoral
Programación celular resolución eficiente de problemas numéricos NP-completos
(2004)
Esta memoria está estructurada en capítulos cuyos contenidos pasamos a describir sucintamente. En el Capítulo 1 se hace ... |
Ponencia
Tissue P Systems with Cell Division
(Fénix Editora, 2004)
In tissue P systems several cells (elementary membranes) commu- nicate through symport/antiport rules, thus carrying out ... |
Ponencia
A CLIPS Simulator for Recognizer P Systems with Active Membranes
(Fénix Editora, 2004)
In this paper we propose a new way to represent recognizer P systems with active membranes based on Production Systems ... |
Ponencia
Simulating Shuffle-Exchange Networks with P Systems
(Fénix Editora, 2004)
We present in this paper a simulation with P systems of the parallel architecture known as shuffle-exchange network. This ... |
Capítulo de Libro
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem
(Springer, 2004)
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. |
Artículo
Modelos de computación celular con membranas
(SEMA, 2004)
|
Ponencia
Towards a Programming Language in Cellular Computing
(Fénix Editora, 2004)
Several solutions to hard numerical problems using P systems have been presented recently, and strong similarities in their ... |
Ponencia
(Imprecise Topics about) Handling Imprecision in P Systems
(Departament de Matemátiques i Informática, Universitat de les Illes Balears, 2004)
|
Ponencia
Tissue-like P Systems with Channel-States
(Fénix Editora, 2004)
We consider tissue-like P systems with states associated with the links (we call them synapses) between cells, controlling ... |
Artículo
A Prolog Simulator for Deterministic P Systems with Active Membranes
(Springer, 2004)
In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. ... |
Capítulo de Libro
The P Versus NP Problem Through Cellular Computing with Membranes
(Springer, 2004)
We study the P versus NP problem through membrane systems. Language accepting P systems are introduced as a framework ... |
Ponencia
Weak Metrics on Configurations of a P System
(Fénix Editora, 2004)
The evolution of a P system generates a tree of computation po- tentially in¯nite where it is very difficult to set the ... |
Artículo
An Efficient Family of P Systems for Packing Items into Bins
(Graz University of Technology, Institut für Informationssysteme und Computer Medie, 2004)
|
Ponencia
Solving the BINPACKING Problem by Recognizer P Systems with Active Membranes
(Fénix Editora, 2004)
In this paper we present an e®ective solution to the BINPACKING problem using a family of recognizer P systems with active ... |
Capítulo de Libro
A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes
(Springer, 2004)
Up to now, P systems dealing with numerical problems have been rarely considered in the literature. In this paper we present ... |
Ponencia
An Efficient Cellular Solution for the Partition Problem
(Fénix Editora, 2004)
Numerical problems are not very frequently addressed in the P sys- tems literature. In this paper we present an e®ective ... |
Capítulo de Libro
Computing Partial Recursive Functions by Transition P Systems
(Springer, 2004)
In this paper a variant of transition P systems with external output designed to compute partial functions on natural ... |
Tesis Doctoral
Especificación y verificación de programas moleculares en PVS
(2003)
La Computación Molecular y, en concreto, la Computación con ADN, es una disciplina que se enmarca dentro del campo de ... |
Capítulo de Libro
A MzScheme Implementation of Transition P Systems
(Springer, 2003)
The main goal of this paper is to present the design of an MzScheme program that allows us to simulate the behavior of ... |
Ponencia
Complexity Classes in Cellular Computing with Membranes
(2003)
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. |
Tesis Doctoral
Complejidad y universalidad en modelos de computación celular
(2003)
"La Computación Celular es una disciplina que se enmarca dentro del campo de investigación conocido como Computación ... |
Ponencia
An Agent Based Approach of Collective Foraging
(Springer, 2003)
In this paper the behaviour of a bee colony is modeled as a society of communicating agents acting in parallel and ... |
Capítulo de Libro
Hybrid Networks of Evolutionary Processors
(Springer, 2003)
A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph ... |
Artículo
Recent Computability Models Inspired from Biology: DNA and Membrane Computing
(Universidad del País Vasco, 2003)
We briefly present two areas of natural computing, vividly investigated in the recent years: DNA computing and membrane ... |
Capítulo de Libro
Decision P Systems and the P =NP Conjecture
(Springer, 2003)
We introduce decision P systems, which are a class of P systems with symbol-objects and external output. The main result ... |
Tesis Doctoral
Verificación de programas en modelos de computación no convencionales
(2002)
El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de ... |
Ponencia
Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT
(2002)
In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a ... |
Artículo
Verifying a P system generating squares
(Romanian Academy, Section for Information Science and Technology, 2002)
In [1], an example of a P system generating exactly all the squares of natural numbers greater than 1 is given. Nevertheless, ... |
Ponencia |
Capítulo de Libro
Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment
(Springer, 2002)
The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS ... |
Capítulo de Libro
Generation of Diophantine Sets by Computing P Systems with External Output
(Springer, 2002)
In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. ... |
Artículo
A Formalization of Transition P Systems
(IOS Press, 2002)
In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired ... |
Capítulo de Libro
Solving Knapsack Problems in a Sticker Based Model
(Springer, 2002)
Our main goal in this paper is to give molecular solutions for two NP–complete problems, namely Subset-sum and Knapsack, ... |
Libro
Información : tratamiento y representación
(Universidad de Sevilla, 2001)
|
Ponencia
Interpretación reactiva de sistemas basados en conocimiento.
(Universidad de Granada, 1999)
|
Libro
Curso Práctico de Teoría de Conjuntos
(Ediciones La Ñ, 1998)
Todos los que hemos impartido tópicos diversos relativos a la Teoría de Conjuntos, en primer o segundo ciclo universitario, ... |
Tesis Doctoral
Esquemas del máximo en la aritmética
(1992)
El objetivo fundamental de esta memoria es el estudio de unos nuevos esquemas de axiomas, que denominaremos esquemas del ... |
Ponencia
Sobre ciertas expresiones de la función rango, independientes de la teoría de ordinales
(Universitat Autónoma de Barcelona, 1980)
In the present work we obtain several representations of the rank func- tion associated to a well founded relation in terms ... |