Now showing items 1-20 of 39

    • Icon

      A CLIPS Simulator for Recognizer P Systems with Active Membranes  [Presentation]

      Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Fénix Editora, 2004)
      In this paper we propose a new way to represent recognizer P systems with active membranes based on Production Systems techniques. This representation allows us to express the set of rules and the configurations in each ...
    • Icon

      A Java Simulator for Basic Transition P Systems  [Presentation]

      Nepomuceno Chamorro, Isabel de los Ángeles (Fénix Editora, 2004)
      In this paper, a software tool (called SimCM, from Spanish Sim- ulador de Computaci¶on con Membranas) for handling P systems is presented. The program can simulate basic transition P Systems where dissolution of membranes ...
    • Icon

      A Note on Complexity Measures for Probabilistic P Systems  [Presentation]

      Sancho Caparrini, Fernando (Fénix Editora, 2004)
      In this paper we present a first approach to the definition of different entropy measures for probabilistic P systems in order to obtain some quantitative parameters showing how complex the evolution of a P system is. To ...
    • Icon

      A Note on P Systems with Activators  [Presentation]

      Alhazov, Artiom (Fénix Editora, 2004)
      The usual assumption in P systems behavior is that of maximal parallelism, however in living cells it is not the case because they have a limited number of enzymes. The aim of this paper is to try to merge these ideas ...
    • Icon

      A Tissue P System and a DNA Microfluidic Device for Solving the Shortest Common Superstring Problem  [Presentation]

      Ledesma, Lucas; Manrique, Daniel; Rodríguez Patón, Alfonso; Silva, Andrés (Fénix Editora, 2004)
      This paper describes a tissue P system for solving the Shortest Common Superstring Problem in linear time. This tissue P system is well suited for parallel and distributed implementation using a micro°uidic device working ...
    • Icon

      About P Systems with Symport/Antiport  [Presentation]

      Frisco, Pierluigi (Fénix Editora, 2004)
      It is proved that four membranes su±ce to P systems with minimal symport/antiport to generate all recursively enumerable sets of numbers. It is also proved that P systems with symport/antiport without maximal par- allelism ...
    • Icon

      An Efficient Cellular Solution for the Partition Problem  [Presentation]

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004)
      Numerical problems are not very frequently addressed in the P sys- tems literature. In this paper we present an e®ective solution to the Partition problem via a family of deterministic P systems with active membranes ...
    • Icon

      Cell Communication in Tissue P Systems and Cell Division in Population P Systems  [Presentation]

      Bernardini, Francesco; Gheorgue, Marian (Fénix Editora, 2004)
      Two classes of tissue P systems based on evolution communication rules are introduced, some results are proved, but many more are listed as further research problems. A framework to develop population P systems is de¯ned ...
    • Icon

      Computing Using Signals: From Cells to P Systems  [Presentation]

      Ardelean, Ioan I.; Cavaliere, Matteo; Sburlan, Dragos (Fénix Editora, 2004)
      In cell biology one of the fundamental topic is the study of how biological signals are managed by cells. Signals can arise from inside the cell or from the external environment and the correct answer to certain signals ...
    • Icon

      Covering Rules in P Systems: Some Preliminary Ideas  [Presentation]

      Sempere, José M. (Fénix Editora, 2004)
      In this paper we propose a new kind of rules inside the regions of a P system. We have called them covering rules due to the fact that, if selected, they can manage all the objects of the region in an exhaustive manner ...
    • Icon

      Deductive Databases and P Systems  [Presentation]

      Gutiérrez Naranjo, Miguel Ángel; Rogozhin, Vladimir (Fénix Editora, 2004)
      In computational processes based on backwards chaining, a rule of the type A Ã B1; : : : ;Bn is seen as a procedure which points that the problem A can be split into the problems B1; : : : ;Bn. In classical devices, the ...
    • Icon

      Further Open Problems in Membrane Computing  [Presentation]

      Paun, Gheorghe (Fénix Editora, 2004)
      A series of open problems and research topics in membrane com- puting are pointed out, most of them suggested by recent developments in this area. Many of these problems have several facets and branchings, and further facets ...
    • Icon

      Further Remarks on P Systems with Active Membranes, Separation, Merging, and Release Rules  [Presentation]

      Pan, Linqiang; Alhazov, Artiom; Ishdorj, Tseren-Onolt (Fénix Editora, 2004)
      The P systems are a class of distributed parallel computing devices of a biochemical type. In this note, we show that by using membrane separation to obtain exponential workspace, SAT problem can be solved in linear ...
    • Icon

      Looking for P Truth  [Presentation]

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2004)
      In a general sense, Logic studies how to derive new pieces of in- formation from previous ones. In this paper we explore the analogies between P systems, where new configurations can be obtained from previous ones by using ...
    • Icon

      Maximum Search Using P Systems  [Presentation]

      Fontana, Federico; Franco, Giuditta (Fénix Editora, 2004)
      Several algorithms of maximum search are investigated and eval- uated in different types of P systems, namely using priorities, multiple nested membranes and linked transport. The proposed solutions are expected to ...
    • Icon

      Membrane Kauffman Networks  [Presentation]

      Franco, Giuditta (Fénix Editora, 2004)
      A formalization of Kauffman Boolean Networks in terms of P systems is suggested along two lines: by means of register machines and directly by means of membranes with receptors.
    • Icon

      Membrane Operations in P Systems with Active Membranes  [Presentation]

      Alhazov, Artiom; Ishdorj, Tseren-Onolt (Fénix Editora, 2004)
      In this paper we de¯ne a general class of P systems covering some biological operations with membranes, including evolution, communication, modifying the membrane structure, and we describe and formally specify some of ...
    • Icon

      New Proposals for the Formalization of Membrane Proteins  [Presentation]

      Ardelean, Ioan I.; Besozzi, Daniela (Fénix Editora, 2004)
      This paper presents three new proposals to take advantage, in the framework of P systems, from proteins acting in bacteria. One attempt aims to focus on the transport protein that act as a logic AND gate at the cell membrane. ...
    • Icon

      On P Systems with Promoters/Inhibitors  [Presentation]

      Ionescu, Mihai; Sburlan, Dragos (Fénix Editora, 2004)
      This article shows how the computational universality can be reached by using P systems with object rewriting context-free rules, promot- ers/inhibitors and one catalyst. Both generative and accepting cases are stud- ied. ...
    • Icon

      On the Power of Deterministic EC P Systems  [Presentation]

      Alhazov, Artiom (Fénix Editora, 2004)
      It is commonly believed that a signi¯cant part of the computational power of membrane systems comes from their inherent non-determinism. Re- cently, R. Freund and Gh. P¸aun have considered deterministic P systems, ...