Now showing items 1-20 of 35

    • Icon

      Image Thresholding with Cell-like P Systems  [Presentation]

      Peng, Hong; Shao, Jie; Li, Bing; Wang, Jun; Pérez Jiménez, Mario de Jesús; Jiang, Yang; Yang, Yufan (Fénix Editora, 2012)
      P systems are a new class of distributed parallel computing models. In this paper, a novel three-level thresholding approach for image segmentation based on celllike P systems is proposed in order to improve the computational ...
    • Icon

      Tenth Brainstorming Week on Membrane Computing Sevilla, January 30 – February 3, 2012 Volume I : RGNC REPORT 1/2012  [Book]

      Martínez del Amor, Miguel Ángel; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Romero Campero, Francisco José (Fénix Editora, 2012)
    • Icon

      Inverse Dynamical Problems: An Algebraic Formulation Via MP Grammars  [Presentation]

      Manca, Vincenzo; Marchetti, Luca (Fénix Editora, 2012)
      Metabolic P grammars are a particular class of multiset rewriting grammars introduced in the MP systems' theory for modelling metabolic processes. In this paper, a new algebraic formulation of inverse dynamical problems, ...
    • Icon

      Implementing Obstacle Avoidance and Follower Behaviors on Koala Robots Using Numerical P Systems  [Presentation]

      Vasile, Cristian Ioan; Pavel, Ana Brandusa; Dumitrache, Ioan; Kelemen, Jozef (Fénix Editora, 2012)
      Membrane controllers have been developed using Numerical P Systems and their extension, Enzymatic Numerical P Systems, for controlling mobile robots like e- puck and Khepera III. In this paper we prove that membrane ...
    • Icon

      General Topologies and P Systems  [Presentation]

      Csuhaj Varjú, Erzsébet; Gheorgue, Marian; Stannett, Mike (Fénix Editora, 2012)
      In this paper we investigate the use of general topological spaces as control mechanisms for membrane systems. For simplicity, we illustrate our approach by showing how arbitrary topologies can be used to study the ...
    • Icon

      P Systems with Minimal Left and Right Insertion and Deletion  [Presentation]

      Freund, Rudolf; Rogozhin, Yurii; Verlan, Sergey (Fénix Editora, 2012)
      In this article we investigate the operations of insertion and deletion performed at the ends of a string. We show that using these operations in a P systems framework (which corresponds to using specific variants of ...
    • Icon

      Adaptive Fuzzy Spiking Neural P Systems for Fuzzy Inference and Learning  [Presentation]

      Wang, Jun; Peng, Hong (Fénix Editora, 2012)
      Spiking neural P systems (in short, SN P systems) and their variants, in- cluding fuzzy spiking neural P systems (in short, FSN P systems), generally lack learning ability so far. Aiming at this problem, a class of modi ...
    • Icon

      The Computational Power of Exponential-Space P Systems with Active Membranes  [Presentation]

      Alhazov, Artiom; Leporati, Alberto; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix Editora, 2012)
      We show that exponential-space P systems with active membranes characterize the complexity class EXPSPACE. This result is proved by simulating Turing machines working in exponential space via uniform families of P systems ...
    • Icon

      A Kernel P System  [Presentation]

      Gheorgue, Marian; Ipate, Florentin; Dragomir, Ciprian (Fénix Editora, 2012)
      A basic P system, called kernel P system (kP system for short), covering features of different P systems introduced and studied so far is defined and discussed. It is a relatively low level specification system aiming ...
    • Icon

      A Note on the Probabilistic Evolution for P Systems  [Presentation]

      Verlan, Sergey (Fénix Editora, 2012)
      In this note we propose a method that permits to describe in a uniform man- ner variants of probabilistic/stochastic P systems. We give examples of such a description for existing models of P systems using probabilities.
    • Icon

      Self-Stabilization in Membrane Systems  [Presentation]

      Alhazov, Artiom; Antoniotti, Marco; Freund, Rudolf; Leporati, Alberto; Mauri, Giancarlo (Fénix Editora, 2012)
      In this paper we study a notion of self-stabilization, inspired from biology and engineering. Multiple variants of formalization of this notion are considered, and we discuss how such properties affect the computational ...
    • Icon

      Modelling Intelligent Energy Distribution Systems by Hyperdag P Systems  [Presentation]

      Zafiu, Adrian; Stefan, Cristian (Fénix Editora, 2012)
      The paper introduces a new model in membrane computing, using the hy- perdag P systems to simulate a complex, feedback-driven energy distribution system. The proposed model is tested within an ad-hoc developed simulator, ...
    • Icon

      Languages and P Systems: Recent Developments  [Presentation]

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012)
      Languages appeared from the very beginning in membrane computing, by their length sets or directly as sets of strings. We briefly recall here this relationship, with some details about certain recent developments. In ...
    • Icon

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

      Lefticaru, Raluca; Ipate, Florentin; Valencia Cabrera, Luis; Turcanu, Adrian; Tudose, Cristina; Gheorgue, Marian; Pérez Jiménez, Mario de Jesús; Niculescu, Ionut Mihai; Dragomir, Ciprian (Fénix Editora, 2012)
      This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, illustrated on a tissue P system with active membranes solving the 3-colouring problem. The paper ...
    • Icon

      Characterizing the Computational Power of Energy-Based P Systems  [Presentation]

      Alhazov, Artiom; Antoniotti, Marco; Leporati, Alberto (Fénix Editora, 2012)
      We investigate the computational power of energy-based P systems, a model of membrane systems where a fixed amount of energy is associated with each object and the rules transform single objects by adding or removing ...
    • Icon

      Asynchronous and Maximally Parallel Deterministic Controlled Non-Cooperative P Systems Characterize NFIN coNFIN  [Presentation]

      Alhazov, Artiom; Freund, Rudolf (Fénix Editora, 2012)
      Membrane systems (with symbol objects) are distributed controlled multiset processing systems. Non-cooperative P systems with either promoters or inhibitors (of weight not restricted to one) are known to be computationally ...
    • Icon

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

      Porreca, Antonio E.; Murphy, Niall; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012)
      In the framework of tissue P systems with cell division, the length of communication rules provides a frontier for the tractability of decision problems. On the one hand, the limitation on the efficiency of tissue P ...
    • Icon

      A Formal Framework for P Systems with Dynamic Structure  [Presentation]

      Freund, Rudolf; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Verlan, Sergey (Fénix Editora, 2012)
      This article introduces a formalism/framework able to describe different variants of P systems having a dynamic structure. This framework can be useful for the definition of new variants of P systems with dynamic structure, ...
    • Icon

      Skeletonizing Images by Using Spiking Neural P Systems  [Presentation]

      Díaz Pernil, Daniel; Peña Cantillana, Francisco; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2012)
      Skeletonizing an image is representing a shape with a small amount of information by converting the initial image into a more compact representation and keeping the meaning features. In this paper we use spiking neural ...
    • Icon

      Improving the Efficiency of Tissue P Systems with Cell Separation  [Presentation]

      Pérez Jiménez, Mario de Jesús; Sosík, Petr (Fénix Editora, 2012)
      Cell fission process consists of the division of a cell into two new cells such that the contents of the initial cell is distributed between the newly created cells. This process is modelled by a new kind of cell separation ...