Now showing items 1-17 of 17

    • Presentation
      Icon

      A Formal Framework for P Systems with Dynamic Structure 

      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. ...
    • Article
      Icon

      A formalization of membrane systems with dynamically evolving structures 

      Freund, Rudolf; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín; Verlan, Sergey (Taylor and Francis, 2013)
      This article introduces a general formalism/framework flexible enough to cover descriptions of different variants of P ...
    • Presentation
      Icon

      A Note on the Probabilistic Evolution for P Systems 

      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.
    • Article
      Icon

      An Overview of Hardware Implementation of Membrane Computing Models 

      Zhang, Gexiang; Shang, Zeyi; Verlan, Sergey; Martínez del Amor, Miguel Ángel; Yuan, Chengxun; Valencia Cabrera, Luis; Pérez Jiménez, Mario de Jesús (ACM Digital Library, 2020)
      The model of membrane computing, also known under the name of P systems, is a bio-inspired large-scale parallel computing ...
    • Article
      Icon

      An Overview of Hardware Implementations of P Systems 

      Shang, Zeyi; Verlan, Sergey; Zhang, Gexiang; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis (ACM Digital Library, 2020)
      Implementing the P systems on parallel hardware is a research highlight in bio-inspired computing since the membrane ...
    • Presentation
      Icon

      An Overview of Hardware Implementations of P Systems 

      Shang, Zeyi; Verlan, Sergey; Zhang, Gexiang; Martínez del Amor, Miguel Ángel; Valencia Cabrera, Luis (Xihua University, 2017)
      Implementing the P systems on parallel hardware is a re- search highlight in bio-inspired computing since the membrane ...
    • Presentation
      Icon

      Computational Completeness of P Systems Using Maximal Variants of the Set Derivation Mode 

      Alhazov, Artiom; Freund, Rudolf; Verlan, Sergey (Fénix, 2016)
      We consider P systems only allowing rules to be used in at most one copy in each derivation step, especially the variant ...
    • Presentation
      Icon

      Extended Spiking Neural P Systems with White Hole Rules 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Oswald, Marion; Verlan, Sergey (Fénix Editora, 2015)
      We consider extended spiking neural P systems with the additional possibility of so-called \white hole rules", which send ...
    • Article
      Icon

      Fast Hardware Implementations of Static P Systems 

      Quirós Carmona, Juan; Verlan, Sergey; Viejo Cortés, Julián; Millán Calderón, Alejandro; Bellido Díaz, Manuel Jesús (2016)
      In this article we present a simulator of non-deterministic static P systems using Field Programmable Gate Array (FPGA) ...
    • Presentation
      Icon

      FPGA Implementation of Robot Obstacle Avoidance Controller based on Enzymatic Numerical P Systems 

      Shang, Zeyi; Verlan, Sergey; Zhang, Gexiang; Pérez Hurtado de Mendoza, Ignacio (IMCS: International Membrane Computing Society, 2019)
      It is a long-cherished wish to implement numerical P systems (NPS) on a parallel architecture so that its large scale ...
    • Presentation
      Icon

      Input-Driven Tissue P Automata 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Oswald, Marion; Verlan, Sergey (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      We introduce several variants of input-driven tissue P automata where the rules to be applied only depend on the input ...
    • Presentation
      Icon

      Networks of Cells and Petri Nets 

      Bernardini, Francesco; Gheorgue, Marian; Margenstern, Maurice; Verlan, Sergey (Fénix Editora, 2007)
      We introduce a new class of P systems, called networks of cells, with rules allowing several cells to simultaneously ...
    • Presentation
      Icon

      On P Systems with Bounded Parallelism 

      Bernardini, Francesco; Romero Campero, Francisco José; Gheorghe, Marian; Pérez Jiménez, Mario de Jesús; Margenstern, Maurice; Verlan, Sergey; Krasnogor, Natalio (IEEE Computer Society, 2005)
      A framework that describes the evolution of P systems with bounded parallelism is de ned by introducing basic formal ...
    • Presentation
      Icon

      P Systems with Minimal Insertion and Deletion 

      Alhazov, Artiom; Krassovitskiy, Alexander; Rogozhin, Yurii; Verlan, Sergey (Fénix Editora, 2009)
      In this paper we consider insertion-deletion P systems with priority of deletion over the insertion.We show that such ...
    • Presentation
      Icon

      P Systems with Minimal Left and Right Insertion and Deletion 

      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 ...
    • Presentation
      Icon

      Partial Versus Total Halting in P Systems 

      Alhazov, Artiom; Freund, Rudolf; Oswald, Marion; Verlan, Sergey (Fénix Editora, 2007)
      We consider a new variant of the halting condition in P systems, i.e., a computation in a P system is already called ...
    • Presentation
      Icon

      Small Computationally Complete Symport/Antiport P Systems 

      Csuhaj Varjú, Erzsébet; Margenstern, Maurice; Vaszil, György; Verlan, Sergey (Fénix Editora, 2006)
      It is known that P systems with symport/antiport rules simulate the register machines, i.e., they are computationally ...