Now showing items 1-4 of 4

    • Presentation
      Icon

      A Software Tool for Dealing with Spiking Neural P Systems 

      Ramírez Martínez, Daniel; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2007)
      Software simulators for P system are nowadays the main tool to carry out experiments in the eld of Membrane Computing. ...
    • Article
      Icon

      A software tool for verification of Spiking Neural P Systems 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Ramírez Martínez, Daniel (Springer, 2008)
      The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is ...
    • Presentation
      Icon

      How Does a P System Sound? 

      García Quismondo, Manuel; Gutiérrez Naranjo, Miguel Ángel; Ramírez Martínez, Daniel (Fénix Editora, 2010)
      P systems are computational devices versatile enough to represent many real-life scenarios. In this paper, we present a ...
    • Presentation
      Icon

      Testing Einstein’s Formula on Brownian Motion Using Membrane Computing 

      Gálvez Santisteban, Manuel A.; Gutiérrez Naranjo, Miguel Ángel; Ramírez Martínez, Daniel; Rivero Gil, Elena (Fénix Editora, 2008)
      Brownian motion refers to erratic movements of small particles of solid matter suspended in a fluid and it is the basis ...