Now showing items 1-5 of 5

    • Icon

      Membrane Computing Schema Based on String Insertions  [Presentation]

      Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Fénix Editora, 2007)
      In this note we introduce the notion of a membrane computing schema for string objects. We propose a computing schema for a membrane network (i.e., tissue-like membrane system) where each membrane performs unique type ...
    • Icon

      Membrane Computing Schema: A New Approach to Computation Using String Insertions  [Chapter of Book]

      Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Springer, 2009)
      In this paper, we introduce the notion of a membrane computing schema for string objects. We propose a computing schema for a membrane network (i.e., tissue-like membrane system) where each membrane performs unique type ...
    • Icon

      On spiking neural P systems  [Article]

      Ibarra, Óscar H.; Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Springer, 2010)
      This work deals with several aspects concerning the formal verification of SN P systems and the computing power of some variants. A methodology based on the information given by the transition diagram associated with an ...
    • Icon

      Representations and characterizations of languages in Chomsky hierarchy by means of insertion-deletion systems  [Article]

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (World Scientific, 2008)
      Insertion-deletion operations are much investigated in linguistics and in DNA computing and several characterizations of Turing computability were obtained in this framework. In this note we contribute to this research ...
    • Icon

      Spiking Neural dP Systems  [Presentation]

      Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Fénix Editora, 2011)
      We bring together two topics recently introduced in membrane computing, the much investigated spiking neural P systems (in short, SN P systems), inspired from the way the neurons communicate through spikes, and the dP ...