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

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

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

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

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

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 Membrane Computing area, P systems are unconventional devices of computation inspired by the structure and processes ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 P system represents a distributed and parallel computing model in which basic data structures are, for instance, multisets ...

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

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

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

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

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

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

Spiking neural P systems (SN P systems) have been well established as a novel class of distributed parallel 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 ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Local search is currently one of the most used methods for finding solutions in real-life problems. It is usually considered ...

At the beginning of 2005, Gheorghe Pun formulated a conjecture stating that in the framework of recognizer P systems with ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ballistic Deposition was proposed by Vold [10] and Sutherland [9] as a model for colloidal aggregation. These early works ...

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

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

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

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 based on the intercellular ...

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

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

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

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

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

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 are computing models in the framework of membrane computing. They are inspired ...

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

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

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

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

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

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

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

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

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

In this paper various molecular chemical interactions are modelled under different computational paradigms. P systems 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 ...

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

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

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

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

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

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

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

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

In this paper we discuss the potential usefulness of membrane systems as tools for modelling tumours. The approach is ...

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

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

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 continue here the study of the recently introduced spiking neural P systems, which mimic the way that neurons communicate ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

In this paper we present a polynomial complexity class in the framework of membrane computing. In this context, and using ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

This chapter is devoted to the study of numerical NP-complete problems in the framework of cellular systems with membranes, ...

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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