Author profile: Pérez Jiménez, Mario de Jesús
Institutional data
Name | Pérez Jiménez, Mario de Jesús |
Department | Ciencias de la Computación e Inteligencia Artificial |
Knowledge area | Ciencia de la Computación e Inteligencia Artificial |
Professional category | Investigador Honorario |
Request | |
Statistics
-
No. publications
414
-
No. visits
47953
-
No. downloads
71639
Publications |
---|
Article
Bridges Between Spiking Neural Membrane Systems and Virus Machines
(2024)
Spiking Neural P Systems (SNP) are well-established computing models that take inspiration from spikes between biological ... |
Article
Reservoir computing models based on spiking neural P systems for time series classification
(PERGAMON-ELSEVIER SCIENCE LTD, 2024)
Nonlinear spiking neural P (NSNP) systems are neural-like membrane computing models with nonlinear spiking mechanisms. ... |
Article
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 ... |
Article
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. ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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, ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Article
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) ... |
Article
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. ... |
Article
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 ... |
Article
Preface of the special issue for Gheorghe Pǎun’s 70th anniversary
(Springer, 2020)
|
PhD Thesis |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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, ... |
Article
Dynamic threshold neural P systems
(Elsevier, 2019)
Pulse coupled neural networks (PCNN, for short) are models abstracting the synchronization behavior observed experimentally ... |
Presentation
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 ... |
Article
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. ... |
Presentation
Simulation of Computing P Systems: A GPU Design for the Factorization Problem
(Friedrich-Schiller-Universität Jena, 2018)
|
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Article
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, ... |
Presentation
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 ... |
Presentation
P-Lingua Compiler: A Tool for Generating Ad-hoc Simulators in Membrane Computing
(Centre for Discrete Mathematics and Theoretical Computer Science, 2018)
|
Presentation
On GPU-Oriented P Systems
(IEEE Computer Society, 2018)
|
Article
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. ... |
Presentation
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, ... |
Presentation
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Article
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, ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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, ... |
Article
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, ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
PhD Thesis
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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, ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
Preface Special Issue: Advances in Membrane Computing
(Springer, 2016)
|
Presentation
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
Computing with viruses
(Elsevier, 2016)
In recent years, different computing models have emerged within the area of Unconven-tional Computation, and more specifically ... |
Article
Preface Membrane Computing 2016
(Springer, 2016)
|
PhD Thesis
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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. ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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, ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Chapter of Book
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Article
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 ... |
Chapter of Book
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 ... |
Presentation
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 ... |
Article
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, ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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. |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Chapter of Book
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 ... |
Presentation
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 ... |
PhD Thesis
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 ... |
Presentation
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 ... |
Article
Foreword. Special Issue: A selection of papers from the 10th Brainstorming Week on Membrane Computing
(Taylor and Francis, 2013)
|
Presentation
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 ... |
Chapter of Book
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 ... |
Article
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. ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Article |
Presentation
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. ... |
Article |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
PhD Thesis |
Presentation
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 ... |
Chapter of Book
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
Computación inteligente con organismos vivos
(Centro de Filosofía das Ciências da Universidade de Lisboa, 2012)
|
Presentation
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 ... |
Presentation
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 ... |
Article
P automata revisited
(Elsevier, 2012)
We continue here the investigation of P automata, in their non-extended case, a class of devices which characterize ... |
Presentation
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, ... |
Presentation
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. ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
P Systems as a Modeling Framework for Molecular Systems Biology
(Huazhong University of Science and Technology, 2012)
|
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Chapter of Book
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 ... |
Presentation
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" ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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. ... |
Article
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 ... |
Article
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 ... |
PhD Thesis
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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. ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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, ... |
Article
Computational complexity of tissue-like P systems
(Elsevier, 2010)
|
Chapter of Book
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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. ... |
Chapter of Book
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Chapter of Book
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
PhD Thesis
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, ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Article
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 ... |
PhD Thesis
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 ... |
Presentation
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 ... |
Presentation
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. ... |
Presentation
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 ... |
PhD Thesis
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Article
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 ... |
Article
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 ... |
Article
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 ... |
Chapter of Book
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 ... |
Presentation
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 ... |
Chapter of Book
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. |
Article
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Chapter of Book
Modeling Signal Transduction Using P Systems
(Springer, 2006)
Cellular signalling pathways are fundamental to the control and regulation of cell behavior. Understanding of biosignalling ... |
Chapter of Book
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 ... |
Presentation
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 ... |
Chapter of Book
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 ... |
Presentation
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 ... |
Chapter of Book
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 ... |
Chapter of Book
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 ... |
Chapter of Book
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, ... |
Article
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. |
Chapter of Book
Applications of Membrane Computing
(Springer, 2006)
|
Presentation
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 ... |
Chapter of Book
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 ... |
Presentation
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 ... |
Chapter of Book
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 ... |
Presentation
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. ... |
Presentation
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 ... |
Chapter of Book
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 ... |
Article
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 ... |
Article
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. ... |
Presentation
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 ... |
Presentation
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 ... |
Chapter of Book
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 ... |
Chapter of Book
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 ... |
PhD Thesis |
Article
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 ... |
Chapter of Book
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, ... |
PhD Thesis
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 ... |
Article
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 ... |
Presentation
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 ... |
Article
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 ... |
Chapter of Book
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 ... |
Chapter of Book
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, ... |
Chapter of Book
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 ... |
Chapter of Book
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Chapter of Book
Accepting Hybrid Networks of Evolutionary Processors
(Springer, 2005)
We consider time complexity classes defined on accepting hybrid networks of evolutionary processors (AHNEP) similarly to ... |
Presentation
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. ... |
Presentation
Editing Configurations of P Systems
(Fénix Editora, 2005)
This paper proposes and preliminarily investigates the possibility of transforming a configuration (membrane structure and ... |
Presentation
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 ... |
Chapter of Book
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 ... |
Chapter of Book
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 ... |
Chapter of Book
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 ... |
Chapter of Book
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 ... |
Article
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 ... |
Presentation
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 ... |
Chapter of Book
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 ... |
Chapter of Book
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 ... |
Presentation
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, ... |
Chapter of Book
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, ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
PhD Thesis
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Presentation
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 ... |
Chapter of Book
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. |
Article
Modelos de computación celular con membranas
(SEMA, 2004)
|
Presentation
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 ... |
Presentation
(Imprecise Topics about) Handling Imprecision in P Systems
(Departament de Matemátiques i Informática, Universitat de les Illes Balears, 2004)
|
Presentation
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 ... |
Article
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. ... |
Chapter of Book
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 ... |
Presentation
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 ... |
Article
An Efficient Family of P Systems for Packing Items into Bins
(Graz University of Technology, Institut für Informationssysteme und Computer Medie, 2004)
|
Presentation
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 ... |
Chapter of Book
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 ... |
Presentation
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 ... |
Chapter of Book
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 ... |
PhD Thesis
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 ... |
Chapter of Book
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 ... |
Presentation
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. |
PhD Thesis
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 ... |
Presentation
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 ... |
Chapter of Book
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 ... |
Article
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 ... |
Chapter of Book
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 ... |
PhD Thesis
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 ... |
Presentation
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 ... |
Article
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, ... |
Presentation |
Chapter of Book
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 ... |
Chapter of Book
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. ... |
Article
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 ... |
Chapter of Book
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, ... |
Book
Información : tratamiento y representación
(Universidad de Sevilla, 2001)
|
Presentation
Interpretación reactiva de sistemas basados en conocimiento.
(Universidad de Granada, 1999)
|
Book
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, ... |
PhD Thesis
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 ... |
Presentation
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 ... |