• Ponencia
      Icon

      The Growth of Branching Structures with P Systems 

      Romero Jiménez, Álvaro; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006)
      L-systems have been widely used to model and graphically represent the growth of plants. In, the use of membrane computing ...
    • Ponencia
      Icon

      Three Quantum Algorithms to Solve 3-SAT 

      Leporati, Alberto; Felloni, Sara (Fénix Editora, 2006)
      We propose three quantum algorithms to solve the 3-SAT NP-complete decision problem. The first algorithm builds, for any ...
    • Ponencia
      Icon

      Time-Driven Computations in P Systems 

      Cavaliere, Matteo; Zandron, Claudio (Fénix Editora, 2006)
      It is a well-known fact that the time of execution of a (biochemical) reaction depends on many factors, and, in particular, ...
    • Ponencia
      Icon

      Topics and Problems in Metabolic P Systems 

      Manca, Vincenzo (Fénix Editora, 2006)
      P metabolic systems are a special class of P systems which seem to be adequate for expressing biological phenomena related ...
    • Ponencia
      Icon

      Two Universality Results for (Mem)Brane Systems 

      Besozzi, Daniela; Busi, Nadia; Franco, Giuditta; Freund, Rudolf; Paun, Gheorghe (Fénix Editora, 2006)
      We prove that P systems with mate and drip operations and using at most five membranes during any step of a computation ...
    • 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 ...