Now showing items 1-5 of 5

    • Icon

      Matrix Languages, Register Machines, Vector Addition Systems  [Presentation]

      Freund, Rudolf; Ibarra, Óscar H.; Paun, Gheorghe; Yen, Hsu-Chen (Fénix Editora, 2005)
      We give a direct and simple proof of the equality of Parikh images of lan- guages generated by matrix grammars with appearance checking with the sets of vectors generated by register machines. As a particular case, we ...
    • Icon

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

      Simulating Apoptosis Using Discrete Methods: a Membrane System and a Stochastic Approach  [Presentation]

      Jack, John; Romero Campero, Francisco José; Pérez Jiménez, Mario de Jesús; Ibarra, Óscar H.; Paun, Andrei (2007)
      Membrane Systems provide an intriguing method for modeling biological systems at a molecular level. The hierarchical structure of Membrane Systems lends itself readily to mimic the nature and behavior of cells.We have ...
    • Icon

      Simulating FAS-induced apoptosis by using P systems  [Article]

      Cheruku, Smitha; Paun, Andrei; Romero Campero, Francisco José; Pérez Jiménez, Mario de Jesús; Ibarra, Óscar H. (Taylor and Francis Online, 2007)
      In contrast to differential equations, P systems are an unconven- tional model of computation which takes into consideration the discrete character of the quantity of components and the inherent randomness that exists ...