Now showing items 8-27 of 39

    • 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, ...
    • Icon

      P Systems with Active Membranes and Separation Rules  [Presentation]

      Pan, Linqiang; Ishdorj, Tseren-Onolt (Fénix Editora, 2004)
      The P systems are a class of distributed parallel computing devices of a biochemical type. In this paper, a new de¯nition of separation rules in P systems with active membranes is given. Under the new de¯nition, the e±ciency ...
    • Icon

      P Systems with Active Membranes and Two Polarizations  [Presentation]

      Alhazov, Artiom; Freund, Rudolf; Paun, Gheorghe (Fénix Editora, 2004)
      P systems with active membranes using only two electrical charges and only rules of types (a) and (c) assigned to at most two membranes are shown to be computationally complete { thus improving the previous result of ...
    • Icon

      P Systems with Active Membranes and Without Polarizations  [Presentation]

      Freund, Rudolf; Paun, Andrei (Fénix Editora, 2004)
      P systems with active membranes but without using electrical charges (polarizations) are shown to be complete for generating recursively enumerable string languages when working on string objects and using only rules ...
    • Icon

      P Systems with Antiport Rules for Evolution Rules  [Presentation]

      Freund, Rudolf; Oswald, Marion (Fénix Editora, 2004)
      We investigate a variant of evolution-communication P systems where the computation is performed in two substeps. First, all possible an- tiport rules are applied in a non-deterministic, maximally parallel way, ...
    • Icon

      P Systems with Symport/Antiport of Rules  [Presentation]

      Cavaliere, Matteo; Genova, Daniela (Fénix Editora, 2004)
      Moving \instructions" instead of \data", using transport mecha- nisms inspired by biology { this could represent, shortly, the basic idea of the computing device presented in this paper. Speci¯cally, we propose a new ...
    • Icon

      P Systems with Tables of Rules  [Presentation]

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2004)
      In the last time, several e®orts were made in order to remove the polarization of membranes from P systems with active membranes; the present paper is a contribution in this respect. In order to compensate the loss of ...
    • Icon

      Pumps Systems of Membranes  [Presentation]

      Ciobanu, Gabriel (Fénix Editora, 2004)
      The reactivity of the living cells provides the real complexity of biological systems. This paper presents a reactive P system where the rules are triggered by certain conditions, and pumps are the parallel processors ...