Listar BWMC2016. Brainstorming Week on Membrane Computing (14th. 2016. Sevilla) por título 

Listar BWMC2016. Brainstorming Week on Membrane Computing (14th. 2016. Sevilla) por título

Mostrando ítems 22-27 de 27

    • Ponencia
      Icon

      Semantics of Deductive Databases in a Membrane Computing Connectionist Model 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel (Fénix, 2016)
      The integration of symbolic reasoning systems based on logic and connectionist systems based on the functioning of living ...
    • Ponencia
      Icon

      Semilinear Sets, Register Machines, and Integer Vector Addition (P) Systems 

      Alhazov, Artiom; Belingheri, Omar; Freund, Rudolf; Ivanov, Sergiu; Porreca, Antonio E.; Zandron, Claudio (Fénix, 2016)
      In this paper we consider P systems working with multisets with integer multiplicities. We focus on a model in which rule ...
    • 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 ...