Now showing items 1-20 of 24

    • Icon

      P Systems with One Membrane and Symport/Antiport Rules of Five Symbols Are Computationally Complete  [Presentation]

      Alhazov, Artiom; Freund, Rudolf (Fénix Editora, 2005)
      We consider P systems with only one membrane using symport/antiport rules and prove that any recursively enumerable set of k-dimensional vectors of natural numbers can be generated (accepted) by using at most k + 4 ...
    • Icon

      Matrix Languages, Register Machines, Vector Addition Systems  [Presentation]

      Freund, Rudolf; Ibarra, Óscar H.; Paun, Gheorghe; Yen, Hsu-Chen (Fénix Editora, 2005)
      We give a direct and simple proof of the equality of Parikh images of lan- guages generated by matrix grammars with appearance checking with the sets of vectors generated by register machines. As a particular case, we ...
    • Icon

      One More Universality Result for P Systems with Objects on Membranes  [Presentation]

      Paun, Gheorghe (Fénix Editora, 2005)
      We continue here the attempt to bridge brane calculi with membrane com- puting, following the investigation started in. Specifically, we consider P systems with objects placed on the membranes, and processed by membrane ...
    • Icon

      Further Twenty Six Open Problems in Membrane Computing  [Presentation]

      Paun, Gheorghe (Fénix Editora, 2005)
      This is a sort of personal list of problems and research topics, compiled with the occasion of the Third Brainstorming Week on Membrane Computing, Sevilla, 2005.
    • Icon

      Minimal Cooperation in Symport/Antiport P Systems with One Membrane  [Presentation]

      Alhazov, Artiom; Rogozhin, Yurii (Fénix Editora, 2005)
      In this paper we consider symport/antiport P systems with one membrane and rules having at most two objects. Although it has been proved that only finite number sets can be generated by both OP1(sym2) (one-membrane systems ...
    • Icon

      Specifying Dynamic Software Architectures by Using Membrane Systems  [Presentation]

      Cavaliere, Matteo; Deufemia, Vincenzo (Fénix Editora, 2005)
      We present a formalism for the definition of dynamic software architectures in terms of membrane systems, distributed computational models inspired from the structure and the functioning of living cells. The dynamics (the ...
    • Icon

      WebPS: A Web-based P System Simulator with Query Facilities  [Presentation]

      Bonchis, Cosmin; Izbasa, Cornel; Petcu, Dana; Ciobanu, Gabriel (Fénix Editora, 2005)
      In this paper we present an open-source web-enabled simulator for P sys- tems. We use CLIPS embedded in C, and make the simulator available as a web application, complemented by a query language to specify the results.
    • Icon

      Simulating Avascular Tumors with Membrane Systems  [Presentation]

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Romero Campero, Francisco José (Fénix Editora, 2005)
      Tumor growth has received a considerable attention by the scientific community. In the earliest stages of development, tumor growth seems to be regulated by direct diffusion of nutrients and wastes from and to surrounding ...
    • Icon

      A Tool for Using the SBML Format to Represent P Systems which Model Biological Reaction Networks  [Presentation]

      Nepomuceno Chamorro, Isabel de los Ángeles; Nepomuceno Chamorro, Juan Antonio; Romero Campero, Francisco José (Fénix Editora, 2005)
      In this paper we present a software tool to represent P systems modelling signalling networks of biochemical reactions using SBML (Systems Biology Markup Language), a machine-readable format for describing qualitative and ...
    • Icon

      On Modelling Ion Fluxes Across Biological Membranes with P Systems  [Presentation]

      Ardelean, Ioan I.; Besozzi, Daniela (Fénix Editora, 2005)
      In this report we address the challenge of using P systems to integrate at the whole cell level both active and passive transport of different ions, done by different types of membrane transport proteins which work ...
    • Icon

      First Steps Towards a Geometry of Computation  [Presentation]

      Muskulus, Michael; Brijder, Robert (Fénix Editora, 2005)
      We introduce a geometrical setting which seems promising for the study of computation in multiset rewriting systems, but could also be applied to register machines and other models of computation. This approach will be ...
    • Icon

      EP-colonies: Micro-Organisms in a Cell-like Environment  [Presentation]

      Csuhaj Varjú, Erzsébet (Fénix Editora, 2005)
      The aim of this note is to introduce a model for describing populations of extremely simple organisms which live in and interact with a dynamically changing cell-like environment. In addition to the definition of the ...
    • Icon

      Metabolic Algorithm with Time-varying Reaction Maps  [Presentation]

      Bianco, Luca; Fontana, Federico; Manca, Vincenzo (Fénix Editora, 2005)
      A symbolic-based approach to modelling biochemical processes and cellular dynamics is likely to turn useful in computational biology, where attempts to represent the cell as a huge, complex dynamic system must trade with ...
    • Icon

      Christiansen Grammar for Some P Systems  [Presentation]

      Ortega de la Puente, Alfonso; Núñez Hervás, Rafael; Cruz Echeandía, Marina de la; Alfonseca, Manuel (Fénix Editora, 2005)
      The main goal of this work is to formally describe P systems. This is a necessary step to subsequently apply Christiansen grammar evolution (an evolutionary tool developed by the authors) for automatic designing of P ...
    • Icon

      Dynamical Probabilistic P Systems: Definitions and Applications  [Presentation]

      Pescini, Dario; Besozzi, Daniela; Zandron, Claudio; Mauri, Giancarlo (Fénix Editora, 2005)
      We introduce dynamical probabilistic P systems, a variant where probabilities associated to the rules change during the evolution of the system, as a new approach to the analysis and simulation of the behavior of complex ...
    • Icon

      Further Results on P Systems with Promoters/Inhibitors  [Presentation]

      Sburlan, Dragos (Fénix Editora, 2005)
      The paper gives several results regarding P systems with non-cooperative rules and promoters/inhibitors at the level of rules. For the class of P systems using inhibitors, generating families of sets of vectors of numbers, ...
    • Icon

      On a Class of P Automata as a Machine Model for Languages over Infinite Alphabets  [Presentation]

      Vaszil, György (Fénix Editora, 2005)
      We show how P automata having a finite description and working with a finite object-alphabet can be used to describe languages over countably infinite alphabets. We propose to relate the language classes characterized ...
    • Icon

      Recognizing Membrane Structures with Tree Automata  [Presentation]

      Sempere, José M.; López, Damián (Fénix Editora, 2005)
      In this work we propose a new model of tree automata based on multisets of states and symbols linked to the finite control. This new model accepts a set of trees with symmetries between their internal nodes. We name this ...
    • Icon

      Evolution-Communication P Systems: Time-Freeness  [Presentation]

      Alhazov, Artiom; Cavaliere, Matteo (Fénix Editora, 2005)
      Membrane computing is a (biologically motivated) theoretical framework of distributed parallel computing. If symbol-objects are considered, then membrane sys- tems (also called P systems) are distributed multiset processing ...
    • Icon

      Abstract Machines of Systems Biology (Extended Abstract)  [Presentation]

      Cardelli, Luca (Fénix Editora, 2005)
      Living cells are extremely well-organized autonomous systems, consisting of discrete interacting components. Key to understanding and modelling their behavior is modelling their system organization, which can be described ...