• Ponencia
      Icon

      Solving the 3-COL Problem by Using Tissue P Systems without Environment and Proteins on Cells 

      Díaz Pernil, Daniel; Christinal, Hepzibah A.; Gutiérrez Naranjo, Miguel Ángel (Fénix, 2016)
      The 3-COL problem consists on deciding if the regions of a map can be coloured with only three colors bearing in mind ...
    • Ponencia
      Icon

      Stern-Gerlach Experiment 

      Arazo, María; Barroso Mancha, Marc; Torre, Óscar de la; Moreno Valero, Laura; Ribes Metidieri, Ariadna; Ribes Metidieri, Patricia; Ventura, Ana; Orellana Martín, David (Fénix, 2016)
      This work is about modelling an experiment composed by multiple Stern- Gerlach devices using Membrane Computing. We will ...
    • Ponencia
      Icon

      Uranium- decay chain 

      Arazo, María; Barroso Mancha, Marc; Torre, Óscar de la; Moreno Valero, Laura; Ribes Metidieri, Ariadna; Ribes Metidieri, Patricia; Ventura, Ana; Orellana Martín, David (Fénix, 2016)
      The main objective of this article is to modelize the process of decay of Uranium within the framework of Membrane ...
    • Ponencia
      Icon

      Verifying P Systems with Costs by Using Priced-Timed Maude 

      Aman, Bogdan; Ciobanu, Gabriel (Fénix, 2016)
      We consider P systems that assigns storage costs per step to membranes, and execution costs to rules. We present an ...