In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ...

In Membrane Computing, diferent variants of devices can be found by changing both syntactical and semantic ingredients. ...

P systems are computing devices based on sets of rules that dictate how they work. While some of these rules can change ...

From the creation of the field of Membrane Computing in 1998, several research lines havebeen opened. On the one hand, ...

Dendrite P systems (DeP systems) are a recently introduced neural-like model of computation. They provide an alternative ...

The fault prediction and abductive fault diagnosis of three-phase induction motors are of great importance for improving ...

Several variants of spiking neural P systems (SNPS) have been presented in the literature to perform arith- 1 metic ...

Over the last few years, a new methodology to address the P versus NP problem has been developed, based on searching ...

A widely studied field in the framework of membrane computing is computational complexity theory. While some types of P ...

Nature-inspired computing is a type of human-designed computing motivated by nature, which is based on the employ of ...

P systems with active membranes are a class of computation models in the area ofmembrane computing, which are inspired ...

In the framework of membrane computing, several frontiers of e ciency have been found with respect to the resources that ...

This paper focuses on power system fault diagnosis based on Weighted Corrective Fuzzy Reasoning Spiking Neural P Systems ...

Presumably efficient computing models are characterized by their capability to provide polynomial-time solutions for ...

Psystems with active membranes is one of the most studied models within the field ofMembrane Computing. Simulating the ...

In the Membrane Computing area, P systems are unconventional devices of computation inspired by the structure and processes ...

Tissue P systems with promoters provide nondeterministic parallel bioinspired devices that evolve by the interchange of ...

Motivated by the mechanism of inhibitory synapses, a new kind of spiking neural P (SNP) system rules, called inhibitory ...

It was recently found that dendrites are not just a passive channel. They can perform mixed computation of analog and ...

Cell-like P systems with symport/antiport rules are computing models inspired by theconservation law, in the sense that ...

The model of membrane computing, also known under the name of P systems, is a bio-inspired large-scale parallel computing ...

Ecosystem modelling based on membrane computing is emerging as a powerful way to study the dynamics of (real) ...

This article presents Hecatonquiros, a complete open-source ecosystem for low cost and lightweight robotic manip ulators. ...

In recent years, incremental sampling-based motion planning algorithms have been widely used to solve robot motion planning ...

Cooperation is doubtless a relevant ingredient on rewriting rules based computing models. This paper provides an overview on ...

The search for effcient solutions of computationally hard problems by means of families of membrane systems has lead to a ...

Security issues related to vulnerability assessment in electrical networks are necessary for operators to identify the ...

Communication networks as smart infrastructure systems play an important role in smart girds to monitor, control, and ...

Solving the feasibility problem in robotic motion planning means to find feasible trajectories for specific mobile robots ...

Membrane computing is a bio-inspired computing paradigm that lacks in vivo implementation. That is why software or hardware ...

It is a challenge problem how to deal with the uncertainty in fault diagnosis of power systems. To solve the challenge ...

In 2008, P-Lingua was born. The Research Group on Natural Computing worked on the development of simulation tools since ...

The tape of a deterministic Turing machine contains an unbounded number of cells. Thanks to that, a single machine can ...

A single Turing machine can solve decision problems with an in nite number of instances. On the other hand, in the framework ...

First, the dependency graph technique, not so far from its current application, was developed trying to nd the shortest ...

Membrane computing is a kind of distributed and parallel computing model inspired by a biological cell mechanism. The ...

The concept of a matter object being annihilated when meeting its corresponding anti-matter object is taken over for rule ...

The search for new mechanisms and tools allowing us to tackle the famousPversusNPproblem from new perspectives is an ...

In this work we revisit the basic concepts, definitions of computational complexity theory in membrane computing. The paper ...

P-Lingua is a software framework for Membrane Computing, it includes a programming language, also called P-Lingua, for ...

The dependency graph technique was initially thought as a method to find short paths in the computation tree of a membrane ...

To reveal fault propagation paths is one of the most critical studies for the analysis of power system security; however, ...

Ecosystem modeling based on membrane computing is emerging as a powerful way to study the dynamic of (real) ecological ...

Pulse coupled neural networks (PCNN, for short) are models abstracting the synchronization behavior observed experimentally ...

Cell-like P systems where communication between the regions are carried out by rules of type symport/antiport are considered. ...

Complexity class DP is the class of “differences” of any two languages in NP. It verifies that NP[ co-NP DP PNP, where ...

In the framework of Membrane Computing, several efficient solutions to computationally hard problems have been given. To ...

The (presumed) efficiency of computing models is expressed by means of their ability to solve (NP-complete) presumably ...

Tissue P systems with evolutional communication (symport/antiport) rules are computational models inspired by biochemical systems ...

In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, ...

P systems with active membranes use evolution, communication, dissolution and division(or separation) rules. They do not ...

Automatic design of mechanical procedures solving abstract problems is a relevant scientific challenge. In particular, ...

Methods based on Rapidly-exploring Random Trees (RRTs) have been widely used in robotics to solve motion planning problems. ...

In the framework of Membrane Computing, several tools to tackle the P versus NP problems by means of frontiers of the ...

In the field of Membrane Computing, computational complexity theory has been widely studied trying to nd frontiers of ...

In this paper, intuitionistic fuzzy spiking neural P (IFSNP) systems as a variant are proposed by integrating intuitionistic ...

The factorization problem (given a natural number which is the product of two prime numbers, find its decomposition) is ...

A short summary of recent ecological modelling applications within mem- brane computing developed by the Research Group ...

Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems for ...

The power coordination control of a photovoltaic/battery microgrid is performed with a novel bio-computing model within ...

Modelling real systems and processes is a task classically performed through the approach of di erential equation systems, ...

Fuzzy clustering problem is usually posed as an optimization problem. However, the existing researchhas shown that clustering ...

Membrane Computing provides machine-oriented models of computation, with types and variants including different elements ...

Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems for ...

Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by ...

The habitat of the green-veined white butterfly Pieris oleracea in eastern North America has undergone invasions by the ...

A decision problem is one that has a yes/no answer, while a counting problem asks how many possible solutions exist ...

Spiking neural P systems (SN P systems, for short) constitute a class of computing models in the research eld of membrane ...

Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ...

From a computational complexity point of view, some syntactical ingredients play differentroles depending on the kind of ...

Automatic design of membrane computing models is an im- portant and useful research topic in the area of membrane ...

P system simulators become essential for model verification and validation, since they reproduce the semantics of the ...

The P versus NP problem is undoubtedly the most important open question in computer science. Frontiers of tractability or ...

Energy Internet (EI) is an inevitable development trend of energy systems under the background of technology development, ...

Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical ...

P systems are a class of distributed parallel computing devices inspired by some basicbehaviors of biological membranes, ...

Research interest within membrane computing is becoming increasingly interdisciplinary.In particular, one of the latest ...

Current parallel simulation algorithms for Spiking Neural P (SNP) systems are based on a matrix representation. This helps ...

Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by ...

Membrane Computing, introduced by Gh. Paun at the end of 1998, is a relatively young branch of Natural Computing providing ...

Cooperation is doubtless a critical ingredient of a computing model. This paper provides an overview on results showing ...

P systems with active membranes, in their classical definition, make use of noncooperative rules only. However, it is well ...

P systems with active membranes is a well developed framework in the eld of Membrane Computing. Using evolution, ...

A new fault diagnosis method based on improved Adaptive fuzzy spiking neural P systems (in short, AFSN P systems) and ...

Tissue P systems are a class of distributed parallel computing devices inspired by biochemical interactions between cells ...

Cell-like P systems with symport/antiport rules are inspired by the structure of a cell and the way of communicating substances ...

Spiking neural P systems (SN P systems, for short) constitute a class of computing models in the research eld of membrane ...

Spiking neural P systems (in short, SN P systems) are membrane computing models inspired by the pulse coding of information ...

Membrane fission is a process by which a biological membrane is split into two new ones in the manner that the content of ...

issue P systems with channel states are a class of bio-inspired parallel computational models, where rules are used in a ...

P systems with proteins on membranes are a class of bio-inspired computing models,where the execution of each rule completes ...

Population Dynamics P systems are a type of multienvironment P systems that serve as a formal modeling framework for real ...

Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ...

In recent years, different computing models have emerged within the area of Unconven-tional Computation, and more specifically ...

Spiking neural P systems (in short, SNP systems) are parallel, distributed, and nondeterministic computing devices inspired ...

** Introducción Desde el principio de los tiempos, el Hombre se ha visto abocado a resolver problemas. En un principio ...

Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ...

This paper focuses on the unsupervised learning problem within membrane computing, and proposes an innovative solution ...

The conventional methods are not effective and efficient for image multi-level thresholding due to time-consuming and ...

Spiking neural P systems (in short, SNP systems) are membrane computing models inspired by the pulse coding of information ...

PDP systems are a type of multienvironment P systems, which serve as a formal modeling framework for Population Dynamics. ...

P systems are a class of distributed parallel computing models inspired by the structure and the functioning of a living ...

Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host ...

Cell division is a process that produces two or more cells from one cell by replicating the original chromosomes so that ...

Membrane ssion is a process by which a biological membrane is split into two new ones in such a way that the contents of ...

Inspired by mitosis process and membrane fission processes, cell-like P systems with symport/antiport rules and membrane ...

Spiking neural P (in short, SNP) systems are computing devices inspired by biological spiking neurons. In this work we ...

Fuzzy membrane computing is a newly developed and promising research direction in the area of membrane computing that aims ...

This paper proposes a temporal fuzzy reasoning spiking neural P sys- tem with real numbers (rTFRSN P system) and its ...

Membrane computing is a class of distributed parallel computing models. Inspired from the structure and inherent mechanism ...

P systems are computing models inspired by some basic features of biological membranes. In this work, membrane division, ...

This paper proposes a graphic modeling approach, fault diagnosis method based on fuzzy reasoning spiking neural P systems ...

Membrane systems with symport/antiport rules compute by just moving objects among membranes, and not by changing the objects ...

An optimization spiking neural P system (OSNPS) provides a novel way to directly use a P system to solve optimization ...

Spiking neural P (in short, SNP) systems are computing devices inspired by biological spiking neurons. In this work we ...

Fuzzy Reasoning Spiking Neural P systems (FRSN P systems, for short) is a variant of Spiking Neural P systems incorporating fuzzy ...

This paper presents the application of a modified fuzzy reasoning spiking neural P systems (MFRSN P system, for short) to ...

Virus Machines are a computational paradigm inspired by the manner in which viruses replicate and transmit from one host ...

This paper focuses on an application of membrane systems to solve classification problems. Decision tree technique has ...

Spiking neural P (SNP) systems are a class of parallel, distributed, and nondeterministic computing models inspired by the ...

Tissue P systems with cell separation where the communication among cells is performed by means of symport and antiport ...

The use of models is intrinsic to any scientific activity. In particular, formal/mathematical models provide a relevant ...

This paper discusses the application of weighted fuzzy reasoning spiking neu- ral P systems (WFRSN P systems) to fault ...

Multienvironment P systems constitute a general, formal framework for modelling the dynamics of population biology, which ...

This paper discusses the application of fuzzy reasoning spiking neural P systems with real numbers (rFRSN P systems) to ...

In this paper, we extend the general framework of Multienvironment P systems, which is a formal framework for modelling ...

Spiking neural P systems with weights (WSN P systems, for short) are a new variant of spiking neural P systems, where the ...

Spiking neural P systems (SN P systems for short) is a developing field within the P systems world. Inspired by the ...

Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modelling framework, which has ...

P systems are a class of distributed and parallel computation models inspired by the structure and the functioning of ...

Membrane computing (known as P systems) is a novel class of distributed parallel computing models inspired by the structure ...

Evolutionary membrane computing is an important research direction of membrane computing that aims to explore the complex ...

This paper discusses the application of fuzzy reasoning spiking neural P systems with trapezoidal fuzzy numbers (tFRSN P ...

We introduce P systems with dynamic communication graphs which simu- late the functioning of the CUDA architecture when solving the parallel reduction prob- lem.

This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel spatial ...

To solve the programmability issue of membrane computing models, the automatic design of membrane systems is a newly ...

Tissue P systems are one of the currently active research topics within the field of Membrane Computing. In particular, ...

The acceleration of P system simulations is required increasingly, since they are at the core of model verification and ...

Membrane systems (also called P systems) refer to the computing models abstracted from the structure and the functioning ...

Membrane computing (known as P systems) is a class of distributed parallel computing models, this paper presents a novel ...

This document is structured in three parts, whose content is briefly outlined below. Part I: Preliminaries Chapter I ...

This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific ...

The efficiency of computational devices is usually expressed in terms of their capability to solve computationally hard ...

A basic P system, called kernel P system4 (kP system for short), combining features of di erent P systems introduced and ...

The standard definition of tissue P systems includes a special alphabet whose elements are assumed to appear in the initial ...

Gene regulatory networks are useful models for biologists to understand the interactions among genes in living organisms. ...

Today, the volume of data and knowledge of processes necessitates more complex models that integrate all available ...

This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems) and investigates through a ...

A P system represents a distributed and parallel computing model in which basic data structures are, for instance, multisets ...

Multi-level thresholding methods are a class of most popular image segmentation techniques, however, they are not computationally ...

Spiking neural P systems (SN P systems) are a new class of computing models inspired by the neurophysiological be-havior ...

: The P ?=NP question is one of the outstanding open problems in theoretical computer science. The relevance of this ...

Gene Regulatory Networks (GRNs) are a useful tool for biologists to understand the interactions among genes in living ...

Spiking neural P systems (SN P systems) have been well established as a novel class of distributed parallel computing ...

In order to provide e cient software tools to deal with large membrane systems, high-throughput simulators are required. ...

This paper continues an investigation into bridging two research areas con- cerned with natural computing: membrane computing ...

Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modeling framework, which has been ...

Spiking neural P systems are a class of P systems inspired from the way the neurons communicate with each other by means ...

In the framework of tissue P systems with cell division, the length of communication rules provides a frontier for the ...

Membrane Computing has recently proved to be a suitable framework for addressing the modelling of dynamical biological ...

Languages appeared from the very beginning in membrane computing, by their length sets or directly as sets of strings. We ...

Enzymatic Numerical P Systems (ENPS), an extension of Numerical P Systems, have been successfully applied to model robot ...

Ecologists need to model ecosystems to predict how they will evolve over time. Since ecosystems are non-deterministic ...

Cell fission process consists of the division of a cell into two new cells such that the contents of the initial cell is ...

We continue here the investigation of P automata, in their non-extended case, a class of devices which characterize ...

Common Algorithmic Problem is an optimization problem, which has the nice property that several other NP-complete problems ...

P systems are a new class of distributed parallel computing models. In this paper, a novel three-level thresholding approach ...

Classical tissue P systems with cell division have a special alphabet whose elements appear at the initial configuration ...

This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ...

Unconventional computers can perform embodied computation that can directly exploit the natural dynamics of the substrate. ...

This is a list of open problems and research topics collected after the Twelfth Conference on Membrane Computing, CMC 2012 ...

Spiking Neural P Systems (SN P Systems, for short) is a developing field within the universe of P Systems. New variants ...

In this work we present further extensions and improvements of a Spiking Neural P system (for short, SNP systems) simulator ...

Population Dynamics P systems refer to a formal framework for ecological modelling. The semantics of the model associates ...

Here, we continue the study of the recently introduced dP automata. They are symport/antiport P systems consisting of a ...

Membrane Computing is a discipline aiming to abstract formal computing models, called membrane systems or P systems, from ...

Languages appeared from the very beginning in membrane computing, by their length sets or directly as sets of strings. We ...

The classical definition of tissue P systems includes a distinguished alphabet with the special assumption that its elements ...

Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación ...

The newly introduced Kernel P systems offer an unitary and elegant way of integrating established features of existing P ...

The Spanish Network on Biomolecular and Biocellular Computing (Redbiocom) is a consortium of seven Spanish research groups ...

This is a quick survey of basic notions and results related to P automata (P systems with symport/antiport rules working ...

Ramsey numbers deal with conditions when a combinatorial object necessarily contains some smaller given objects. It is ...

Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from the ...

P system represents a distributed and parallel computing model in which basic data structures are, for instance, multisets and ...

With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling ...

The usual way to find a solution for an NP complete problem in Membrane Computing is by brute force algorithms. These ...

The research within the field of Spiking Neural P systems (SN P systems, for short) is focusing mainly in the study of ...

With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling ...

P systems provide a high level computational modeling framework which integrates the structural and dynamic aspects of ...

We examine, from the point of view of membrane computing, the two basic assumptions of reaction systems, the "threshold" ...

A tissue P system with cell division is a computing model which has two basic features: intercellular communication and ...

In this paper, a P systems based general framework for modeling ecosystems dynamics is presented. Particularly, ecosystems ...

The aim of the tutorial is to give a general overview of the Membrane Computing paradigm [2,5]. Membrane Computing is a ...

In this paper we present our results in adapting a Spiking Neural P system (SNP system) simulator to a high performance ...

Common algorithmic problem is an optimization problem, which has the nice property that several other NP-complete problems ...

Local search is currently one of the most used methods for finding solution in real-life problems. In this paper we present ...

The models used for ecosystems modeling are generally based on differential equations. However, in recent yearsnewcomputational ...

We consider dP automata with the input string distributed in an arbitrary (hence not necessary balanced) way, and we ...

We bring together two topics recently introduced in membrane computing, the much investigated spiking neural P systems (in ...

Prime factorization is useful and crucial for public-key cryptography, and its application in public-key cryptography is ...

Formal verification of P systems using model checking has attracted a significant amount of research in recent years. ...

La presente memoria está estructurada en tres partes que constan de un total de siete capítulos cuyos contenidos se describen ...

P systems are inherently parallel and non-deterministic theoretical computing devices defined inside the field of Membrane ...

P systems or Membrane Systems provide a high-level computational modelling framework that combines the structure and dynamic ...

Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple rules. ...

P systems provide a high level computational modelling framework that combines the structural and dynamical aspects of ...

Investigations within the field of tissue-like P systems are being conducted, on one hand studying their computational ...

GPUs constitute nowadays a solid alternative for high performance computing, and the advent of CUDA/OpenCL allow programmers ...

In this paper, a computational complexity theory within the framework of Membrane Computing is introduced. Polynomial ...

The usual way to find a solution for a NP complete problem with Membrane Computing techniques is by brute force algorithms ...

This work deals with several aspects concerning the formal verification of SN P systems and the computing power of some ...

Looking for a theory of communication complexity for P systems, we consider here so-called evolution-communication (EC for ...

Membrane Computing is an emergent research area studying the behaviour of living cells to de ne bio-inspired computing devices, ...

The Bearded Vulture (Gypaetus Barbatus) is an endangered species in Eu- rope that feeds almost exclusively on bone remains ...

Software development for Membrane Computing is growing up yielding new applications. Nowadays, the efficiency of P systems ...

Thresholding is the process of splitting a digital image into sets of pixels in order to make it easier to analyze. Pixels ...

Although P systems are distributed parallel computing devices, no explicit way of handling the input in a distributed way ...

En este trabajo se presenta una frontera entre la eficiencia e ineficiencia de problemas abstractos en un marco computacional ...

In this paper we present a tissue-like P systems model with cell division the environment has been replaced by an extra ...

A variant of spiking neural P systems with positive or negative weights on synapses is introduced, where the rules of a ...

In this paper, a P systems based general framework for modeling the dynamics of a population biology is presented. Multienvironment ...

Multienvironment P systems are the base of a general framework for modeling ecosystems dynamics. On one hand, this modeling ...

Array grammars have been studied in the framework of Membrane Comput- ing by using rewriting rules from transition P ...

In recent years, the increasing importance of the computational systems biology is leading to an impressive growth of the ...

We consider three complexity classes defined on Accepting Hybrid Networks of Evolutionary Processors (AHNEP) and compare ...

In the framework of cell–like membrane systems it is well known that the construction of exponential number of objects in ...

In this paper we address the problem of describing the complexity of the evolution of a tissue-like P system with cell ...

Since CUDA programing model appeared on the general purpose computations, the developers can extract all the power contained ...

In the framework of P systems, it is known that the construction of exponential number of objects in polynomial time is ...

A new programming language for membrane computing, PLingua, is developed in this paper. This language is not designed for a ...

Searching all the configurations C′ such that produce a given configuration C, or, in other words, computing backwards in ...

Membrane systems with dividing and dissolving membranes are known to solve PSPACE problems in polynomial time. However, we ...

Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator ...

In this paper, we describe a new representation for deterministic rational-valued P systems that allows us to form a bridge ...

After a quick introduction of spiking neural P systems (a class of P systems inspired from the way neurons communicate by ...

GPUs (Graphics Processing Unit) have been con- solidated as a massively data-parallel coprocessor to develop many general ...

The most investigated variants of P systems in the last years are cell-like models, especially in terms of efficiency. ...

Tissue-like P systems with cell division is a computing model in the framework of Membrane Computing inspired by the ...

In this paper, we introduce the notion of a membrane computing schema for string objects. We propose a computing schema ...

Cell-like recognizing membrane systems are computational devices in the framework of membrane computing inspired from the ...

The Bearded Vulture (Gypaetus barbatus) is an endangered species in Europe that feeds almost exclusively on bone remains ...

We investigate polarizationless P systems with active membranes working in maximally parallel manner, which do not make ...

Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator ...

It is well known that any irreducible and aperiodic Markov chain has exactly one stationary distribution, and for any ...

Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ...

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 ...

P-Lingua is a programming language for membrane computing. It was rst presented in Edinburgh, during the Ninth Workshop ...

P–Lingua is a programming language for membrane computing which aims to be a standard to define P systems. In order to ...

The Bearded Vulture (Gypaetus Barbatus) is an endangered species in Europe that feeds almost exclusively on bone remains ...

In order to enhance the e±ciency of spiking neural P systems, we introduce the features of neuron division and neuron ...

Sevilla Carpets are a handy tool for comparing computations performed by different systems solving the same problem. Such ...

Searching all the configurations C′ which produce a given configuration C is an extremely hard task. The current approximations ...

We continue the investigations concerning the possibility of using spiking neural P systems as a framework for solving ...

LOS PROGRAMAS INFORMÁTICOS QUE MODELIZAN CÉLULAS FACILITARÁN EL TRABAJO DE LOS BIÓLOGOS Se basa en hacer modelos de células, ...

The hand-made graphical representation of the configuration of a P system becomes a hard task when the number of membranes ...

Recognizer P systems with active membranes have proven to be very powerful computing devices, being able to solve NP-complete ...

Several examples of the efficiency of cell-like P systems regarding the solution of NPcomplete problems in polynomial time ...

The Bearded Vulture is one of the rarest raptors in Europe and it is an endangered species. In this paper, we present a ...

In tissue P systems several cells (elementary membranes) communicate through symport/antiport rules, thus carrying out a ...

Tissue-like P systems with cell division is a computing model in the framework of Membrane Computing that shares with the ...

The paper introduces some sorting networks and their simulation with P systems, in which each processor/membrane can hold ...

Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ...

Tissue-like P systems with cell division are computing models in the framework of membrane computing. They are inspired ...

Software development for cellular computing has already been addressed, yielding a first generation of applications. In ...

In this paper we approach the problem of hierarchical clustering through membrane computing. A specific P system with ...

The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is ...

Tissue-like P systems with cell division is a computing model in the framework of membrane computing based on the intercellular ...

Insertion-deletion operations are much investigated in linguistics and in DNA computing and several characterizations of ...

In this paper P systems are used as a formal framework for the specification and simulation of biological systems. In ...

We consider spiking neural P systems with rules allowed to introduce zero, one, or more spikes at the same time. The ...

Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to ...

The paper introduces some sorting networks and their simulation with P systems, in which each processor/membrane can hold ...

La Tesis enmarca dentro de la disciplina de la computación celular con membranas, un modelo de computación orientado a ...

We study a P˘aun’s conjecture concerning the unsolvability of NP–complete problems by polarizationless P systems with ...

This paper gives a version of the parallel bitonic sorting algorithm of Batcher, which can sort N elements in time O(log2 ...

We investigate the computing power and the efficiency of P systems with active membranes without polarizations, working ...

"Los programas informáticos que modelizan células facilitarán el trabajo de los biólogos. Se basa en hacer modelos de ...

The aim of our paper is twofold. On one hand we prove the ability of polar- izationless P systems with dissolution and ...

In this note we introduce the notion of a membrane computing schema for string objects. We propose a computing schema for ...

In the literature, several examples of the efficiency of cell-like P systems regarding the solution of NPcomplete problems ...

Recently, different new models of tissue-like P systems have received important attention from the scientific community. ...

Membrane Systems provide an intriguing method for modeling biological systems at a molecular level. The hierarchical ...

In this paper various molecular chemical interactions are modelled under different computational paradigms. P systems and ...

In living cells, new membranes are produced basically through two processes: mitosis and autopoiesis. These two processes have ...

A current research topic in membrane computing is to find more realistic P systems from a biological point of view, and ...

In the literature, several designs of P systems might be found for performing the same task. The use of different techniques ...

Ballistic Deposition was proposed by Vold and Sutherland as a model for colloidal aggregation. These early works were later ...

Tissue P systems with cell division is a computing model in the framework of Membrane Computing based on intercellular ...

Tissue P systems are a computing model in the framework of Membrane Computing where the tree-like membrane structure is ...

The aim of our paper is twofold. On one hand we prove the ability of polarizationless P systems with dissolution and with ...

In contrast to differential equations, P systems are an unconven- tional model of computation which takes into consideration ...

Trading (in polynomial time) space for time in the framework of membrane systems is not sufficient to efficiently solve ...

L systems have been widely used to model and graphically represent the growth of higher plants [20]. In this paper we ...

It is known that the satisfiability problem (SAT) can be solved a semi- uniform family of deterministic polarizationless ...

In this paper we approach the problem of computing the n–th power of the transition matrix of an arbitrary Markov chain ...

In this paper we study membrane dissolution rules in the framework of P systems with active membranes but without using ...

Cellular signalling pathways are fundamental to the control and regulation of cell behavior. Understanding of biosignalling ...

In this chapter we present a general framework to provide efficient solutions to decision problems through families of ...

We continue the study of spiking neural P systems by considering these computing devices as binary string generators: the ...

In this paper we show that the massive parallelism, the synchronous appli- cation of the rules, and the discrete nature ...

The internal organization and functioning of living cells, as well as their cooperation in tissues and higher order ...

In this paper we present a method to classify the states of a finite Markov chain through membrane computing. A specific ...

Cellular signalling pathways are fundamental to the control and regulation of cell behaviour. Understanding the biosignalling ...

The simulation of a P system with current computers is a quite com-plex task. P systems are intrinsically nondeterministic ...

We introduce a variant of P systems where rules have associated a real number providing a measure for the “intrinsic ...

We continue here the study of the recently introduced spiking neural P systems, which mimic the way that neurons communicate ...

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.

We consider spiking neural P systems with spiking rules allowed to introduce zero, one, or more spikes at the same time. ...

The usefulness of P systems with membrane creation for solving NP problems has been previously proved (see [2, 3]), but, ...

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.

In the literature, several examples of the efficiency of cell-like P systems in order to solve NP-complete problems in ...

Recently, the idea of spiking neurons and thus of computing by spiking was incorporated into membrane computing, and ...

Most of the variants of membrane systems found in the literature are generally thought as generating devices. In this paper ...

In this paper we discuss about the potential usefulness of P systems as natural tools for modelling tumours. This is done ...

This paper presents a general framework for modelling with membrane systems that is based on a computational paradigm ...

We consider spiking neural P systems with spiking rules allowed to introduce zero, one, or more spikes at the same time. ...

In the literature, several designs of P systems were used for performing the same task. The use of different techniques ...

L-systems have been widely used to model and graphically represent the growth of plants. In, the use of membrane computing ...

In this paper we present P systems as a reliable computa- tional modelling tool for Systems Biology that takes into account ...

This paper analyzes the role that membrane dissolution rules play in order to characterize (in the framework of recognizer ...

La Computación Natural es una disciplina cuyo objetivo fundamental es la simulación e implementación de procesos dinámicos ...

Many NP-complete problems can be viewed as special cases of the Common Algorithmic Problem (CAP). In a precise sense, ...

The operations of symport and antiport, directly inspired from biology, are already known to be rather powerful when used ...

Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to ...

Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ...

We consider tissue-like P systems with states associated with the links (we call them synapses) between cells, controlling ...

The complexity of networks of biological signalling pathways is such that the development of simplifying models is essential ...

Usually, the evolution of a P system generates a computation tree too large to be efficiently handled with present–day ...

Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning ...

We present the first membrance computing solution to the Subset-Sum problem using a family of deterministic P systems with ...

We consider time complexity classes defined on accepting hybrid networks of evolutionary processors (AHNEP) similarly to ...

We analize in this paper the possibility of simulating the parallel architecture SIMD-MC2, also known as the two-dimensional mesh, ...

In the last time, several efforts have been made in order to remove polarizations of membranes from P systems with active ...

This paper proposes and preliminarily investigates the possibility of transforming a configuration (membrane structure and ...

In this paper we address the problem of describing the complexity of the evolution of a P system. This issue is is specially ...

Software simulators for P system are nowadays the main tool to carry out experiments in the field of Membrane Computing. ...

This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study the ...

We study the computational efficiency of recognizer P systems with active membranes without polarizations and without ...

A framework that describes the evolution of P systems with bounded parallelism is de ned by introducing basic formal ...

Many approaches to anticancer treatment have had a limited success. A fundamental hurdle to cancer therapy is the robustness ...

Numerical problems are not very frequently addressed in the P systems literature. In this paper we present an effective ...

Tumor growth has received a considerable attention by the scientific community. In the earliest stages of development, ...

In this paper we present a theory of computational complexity in the framework of membrane computing. Polynomial ...

Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ...

Several solutions to hard numerical problems using P systems have been presented recently, and strong similarities in their ...

In the last time, several e®orts were made in order to remove the polarization of membranes from P systems with active ...

Esta memoria está estructurada en capítulos cuyos contenidos pasamos a describir sucintamente. En el Capítulo 1 se hace ...

In this paper we propose a new way to represent recognizer P systems with active membranes based on Production Systems ...

In tissue P systems several cells (elementary membranes) commu- nicate through symport/antiport rules, thus carrying out ...

We present in this paper a simulation with P systems of the parallel architecture known as shuffle-exchange network. This ...

In a general sense, Logic studies how to derive new pieces of in- formation from previous ones. In this paper we explore ...

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.

We study the P versus NP problem through membrane systems. Language accepting P systems are introduced as a framework ...

The evolution of a P system generates a tree of computation po- tentially in¯nite where it is very difficult to set the ...

We consider tissue-like P systems with states associated with the links (we call them synapses) between cells, controlling ...

In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. ...

Numerical problems are not very frequently addressed in the P sys- tems literature. In this paper we present an e®ective ...

In this paper a variant of transition P systems with external output designed to compute partial functions on natural ...

In this paper we present an e®ective solution to the BINPACKING problem using a family of recognizer P systems with active ...

Up to now, P systems dealing with numerical problems have been rarely considered in the literature. In this paper we present ...

La Computación Molecular y, en concreto, la Computación con ADN, es una disciplina que se enmarca dentro del campo de ...

A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph ...

The main goal of this paper is to present the design of an MzScheme program that allows us to simulate the behavior of ...

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.

"La Computación Celular es una disciplina que se enmarca dentro del campo de investigación conocido como Computación ...

In this paper the behaviour of a bee colony is modeled as a society of communicating agents acting in parallel and ...

We introduce decision P systems, which are a class of P systems with symbol-objects and external output. The main result ...

We briefly present two areas of natural computing, vividly investigated in the recent years: DNA computing and membrane ...

The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS ...

El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de ...

In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a ...

In [1], an example of a P system generating exactly all the squares of natural numbers greater than 1 is given. Nevertheless, ...

In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. ...

In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired ...

Our main goal in this paper is to give molecular solutions for two NP–complete problems, namely Subset-sum and Knapsack, ...

Todos los que hemos impartido tópicos diversos relativos a la Teoría de Conjuntos, en primer o segundo ciclo universitario, ...

El objetivo fundamental de esta memoria es el estudio de unos nuevos esquemas de axiomas, que denominaremos esquemas del ...

In the present work we obtain several representations of the rank func- tion associated to a well founded relation in terms ...