Now showing items 1-14 of 14

    • Presentation
      Icon

      Membrane Systems with Priority, Dissolution, Promoters and Inhibitors and Time Petri Nets 

      Battyányi, Péter; Vaszil, György (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      We continue the investigations on exploring the connection between membrane systems and time Petri nets already commenced ...
    • Presentation
      Icon

      Playing with Derivation Modes and Halting Conditions 

      Freund, Rudolf (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      In the area of P systems, besides the standard maximally parallel derivation mode, many other derivation modes have been ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      Icon

      Further Results on the Power of Generating APCol Systems 

      Ciencialová, Lucie; Cienciala, Ludek; Csuhaj-Varjú, Erzsébet (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      In this paper we continue our investigations in APCol systems (Automatonlike P colonies), variants of P colonies where ...
    • Presentation
      Icon

      Simulating counting oracles with cooperation 

      Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      We prove that monodirectional shallow chargeless P systems with active membranes and minimal cooperation working in ...
    • Presentation
      Icon

      Beyond Generalized Multiplicities: Register Machines over Groups 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      Register machines are a classic model of computing, often seen as a canonical example of a device manipulating natural ...
    • Presentation
      Icon

      (Tissue) P Systems with Anti-Membranes 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (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 ...
    • Presentation
      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 ...
    • Presentation
      Icon

      Search Based Software Engineering in Membrane Computing 

      Turlea, Ana; Gheorghe, Marian; Ipate, Florentin (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      This paper presents a testing approach for kernel P Systems (kP systems), based on test data generation for a given scenario. This method uses Genetic Algorithms to generate the input sets needed to trigger the given computation steps.
    • Presentation
      Icon

      The DBSCAN Clustering Algorithm on P Systems 

      Vaszil, György (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      We show how to implement the DBSCAN clustering algorithm (Density Based Spatial Clustering of Applications with Noise) on membrane systems using evolution rules with promoters and priorities.
    • Presentation
      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 ...
    • Book
      Icon

      Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5 - 8, 2019 : RGNC REPORT 1/2019 

      Orellana Martín, David; Paun, Gheorghe; Riscos Núñez, Agustín; Andreu Guzmán, José A. (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)