• Ponencia
      Icon

      A new perspective on computational complexity theory in Membrane Computing 

      Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      A single Turing machine can solve decision problems with an in nite number of instances. On the other hand, in the framework ...
    • Ponencia
      Icon

      A syntax for semantics in P-Lingua 

      Pérez Hurtado de Mendoza, Ignacio; Orellana Martín, David; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      P-Lingua is a software framework for Membrane Computing, it includes a programming language, also called P-Lingua, for ...
    • Ponencia
      Icon

      An apparently innocent problem in Membrane Computing 

      Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      The search for effcient solutions of computationally hard problems by means of families of membrane systems has lead to ...
    • Ponencia
      Icon

      New applications for an old tool 

      Valencia Cabrera, Luis; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      First, the dependency graph technique, not so far from its current application, was developed trying to nd the shortest ...
    • 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 ...