• Ponencia
      Icon

      A Cellular Sudoku Solver 

      Díaz Pernil, Daniel; Fernández Márquez, Carlos M.; García Quismondo, Manuel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010)
      Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple ...
    • Ponencia
      Icon

      A Cellular Way to Obtain Homology Groups in Binary 2D Images 

      Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Real Jurado, Pedro; Sánchez Canales, Vanesa (Fénix Editora, 2010)
      In this paper we present a P systems-based solution for the Homology Groups of Binary 2D Image (HGB2I) Problem, a classical ...
    • Ponencia
      Icon

      An Application of Genetic Algorithms to Membrane Computing 

      Escuela, Gabi; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2010)
      The process of designing a P system in order to perform a task is a hard job. The researcher has often only an approximate ...
    • Ponencia
      Icon

      An Approximate Algorithm Combining P Systems and Ant Colony Optimization for Traveling Salesman Problems 

      Zhang, Gexiang; Cheng, Jixiang; Gheorghe, Marian (Fénix Editora, 2010)
      This paper proposes an approximate optimization algorithm combining P systems with ant colony optimization, called ACOPS, ...
    • Ponencia
      Icon

      Applying Membrane Systems in Food Engineering 

      Escuela, Gabi; Hinze, Thomas; Dittrich, Peter; Schuster, Stefan; Moreno Álvarez, Mario (Fénix Editora, 2010)
      Food engineering deals with manufacturing, packaging and distributing systems for drug and food products. In this work, ...
    • Ponencia
      Icon

      Array Tissue-like P Systems 

      Christinal, Hepzibah A.; Díaz Pernil, Daniel; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010)
      Array grammars have been studied in the framework of Membrane Comput- ing by using rewriting rules from transition P ...
    • Ponencia
      Icon

      Complete Problems for a Variant of P Systems with Active Membranes 

      Porreca, Antonio E.; Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio (Fénix Editora, 2010)
      We identify a family of decision problems that are hard for some complexity classes defined in terms of P systems with ...
    • Ponencia
      Icon

      "Dogmatic" P Systems 

      Sempere, José M. (Fénix Editora, 2010)
      In this work we propose a variant of P systems based on the Central Dogma of Molecular Biology which establishes the ...
    • Ponencia
      Icon

      Dynamics of Randomly Constructed Computational Systems 

      Peña, Miguel A.; Frisco, Pierluigi (Fénix Editora, 2010)
      We studied Petri nets with five places constructed in a pseudo-random way: their underlying net is composed of join and ...
    • Libro
      Icon

      Eighth Brainstorming Week on Membrane Computing, Sevilla, February 1-5, 2010 : RGNC REPORT 1/2010 

      Martínez del Amor, Miguel Ángel; Paun, Gheorghe; Pérez Hurtado de Mendoza, Ignacio; Riscos Núñez, Agustín (Fénix Editora, 2010)
    • Ponencia
      Icon

      First Steps Towards Linking Membrane Depth and the Polynomial Hierarchy 

      Porreca, Antonio E.; Murphy, Niall (Fénix Editora, 2010)
      In this paper we take the first steps in studying possible connections between non-elementary division with limited ...
    • Ponencia
      Icon

      Gandy-Paun-Rozenberg Machines 

      Obtulowicz, Adam (Fénix Editora, 2010)
      Gandy-Paun-Rozenberg machines are introduced as certain graph rewriting systems. A representation of Gandy-Paun-Rozenberg ...
    • Ponencia
      Icon

      How Does a P System Sound? 

      García Quismondo, Manuel; Gutiérrez Naranjo, Miguel Ángel; Ramírez Martínez, Daniel (Fénix Editora, 2010)
      P systems are computational devices versatile enough to represent many real-life scenarios. In this paper, we present a ...
    • Ponencia
      Icon

      Linking Bistable Dynamics to Metabolic P Systems 

      Pagliarini, Roberto; Bianco, Luca; Manca, Vincenzo; Bessant, Conrad (Fénix Editora, 2010)
      Bistability, or more generally multistability, is an important recurring theme in biological systems. In particular, the ...
    • Ponencia
      Icon

      Membrane Computing Meets Artificial Intelligence: A Case Study 

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010)
      The usual way to find a solution for a NP complete problem with Membrane Computing techniques is by brute force algorithms ...
    • Ponencia
      Icon

      Model Checking Based Test Generation from P Systems Using P-Lingua 

      Lefticaru, Raluca; Ipate, Florentin; Gheorgue, Marian (Fénix Editora, 2010)
      This paper presents an approach for P system testing, that uses model- checking for automatic test generation and P-Lingua ...
    • Ponencia
      Icon

      Modeling and Analysis of Firewalls by (Tissue-like) P Systems 

      Leporati, Alberto; Ferretti, Claudio (Fénix Editora, 2010)
      We propose to use tissue-like P systems as a tool to model and analyse the security properties of ¯rewall systems. The ...
    • Ponencia
      Icon

      On Catalytic P Systems with One Catalyst 

      Sburlan, Dragos (Fénix Editora, 2010)
      In this paper we address the possibility of studying the computational capabilities of catalytic P systems with one catalyst by the means of iterated finite state transducers. We also give a normal form for catalytic P systems.
    • Ponencia
      Icon

      On Communication Complexity in Evolution-Communication P Systems 

      Adorna, Henry N.; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2010)
      Looking for a theory of communication complexity for P systems, we consider here so-called evolution-communication (EC ...
    • Ponencia
      Icon

      On Complexity Classes of Spiking Neural P Systems 

      Rodríguez Patón, Alfonso; Sosík, Petr; Cienciala, Ludek (Fénix Editora, 2010)
      A sequence of papers have been recently published, pointing out various intractable problems which may be solved in certain ...