Now showing items 9-10 of 10

    • Icon

      Spiking Neural P Systems with Addition/Subtraction Computing on Synapses  [Presentation]

      Jiang, Yun; Chen, Zhiqiang (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      Spiking neural P systems (SN P systems, for short) are a class of distributed and parallel computing models inspired from biological spiking neurons. In this paper, we introduce a variant called SN P systems with ...
    • Icon

      Testing Identifiable Kernel P Systems Using an X-machine Approach  [Presentation]

      Gheorghe, Marian; Ipate, Florentin; Lefticaru, Raluca; Turlea, Ana (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing framework and the concept of cover automaton. The testing methodology ensures that the implementation conforms the ...