• Ponencia
      Icon

      Forward and Backward Chaining with P Systems 

      Ivanov, Sergiu; Alhazov, Artiom; Rogozhin, Vladimir; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2011)
      On the one hand, one of the concepts which lies at the basis of membrane computing is the multiset rewriting rule. On the ...
    • Ponencia
      Icon

      One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems 

      Alhazov, Artiom; Freund, Rudolf; Riscos Núñez, Agustín (IEEE Computer Society, 2005)
      We improve, by using register machines, some existing universality results for specific models of P systems. P systems ...
    • Ponencia
      Icon

      P Systems: from Anti-Matter to Anti-Rules 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      The concept of a matter object being annihilated when meeting its corresponding anti-matter object is taken over for rule ...
    • Ponencia
      Icon

      Solving SAT with Antimatter in Membrane Computing 

      Díaz Pernil, Daniel; Alhazov, Artiom; Freund, Rudolf; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2015)
      The set of NP-complete problems is split into weakly and strongly NP- complete ones. The di erence consists in the in uence ...
    • Ponencia
      Icon

      Uniform Solution to QSAT Using Polarizationless Active Membranes 

      Alhazov, Artiom; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006)
      It is known that the satisfiability problem (SAT) can be solved a semi- uniform family of deterministic polarizationless ...