Now showing items 1-6 of 6

    • IconGeneralized P Colonies with passive environment  [Presentation]

      Ciencialová, Lucie; Cienciala, Ludek; Sosík, Petr (Fénix, 2016)
      We study two variants of P colonies with initial content of P colony and so called passive environment: P colonies with two objects inside each agent that can only consume or generate objects, and P colonies with one ...
    • IconImproving 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 ...
    • IconNormal Forms for Spiking Neural P Systems  [Presentation]

      Ibarra, Óscar H.; Paun, Andrei; Paun, Gheorghe; Rodríguez Patón, Alfonso; Sosík, Petr; Woodworth, Sara (Fénix Editora, 2006)
      The spiking neural P systems are a class of computing devices recently introduced as a bridge between spiking neural nets and membrane computing. In this paper we prove a series of normal forms for spiking neural P ...
    • IconOn Complexity Classes of Spiking Neural P Systems  [Presentation]

      Rodríguez Patón, Alfonso; Sosík, Petr; Cienciala, Ludec (Fénix Editora, 2010)
      A sequence of papers have been recently published, pointing out various intractable problems which may be solved in certain fashions within the framework of spiking neural (SN) P systems. On the other hand, there are ...
    • IconSpiking Neural P Systems: Stronger Normal Forms  [Presentation]

      García Arnau, Marc; Pérez, David; Rodríguez Patón, Alfonso; Sosík, Petr (Fénix Editora, 2007)
      Spiking neural P systems are computing devices recently introduced as a bridge between spiking neural nets and membrane computing. Thanks to the rapid research in this eld there exists already a series of both theoretical ...
    • IconStandardized Proofs of PSPACE-completeness of P Systems with Active Membranes  [Presentation]

      Sosík, Petr; Rodríguez Patón, Alfonso; Ciencialová, Lucie (Fénix Editora, 2010)
      Two proofs have been shown for P systems with active membranes in previ- ously published papers, demonstrating that these P systems can solve in polynomial time exactly the class of problems PSPACE. Consequently, these ...