Now showing items 1-20 of 24

    • Icon

      A Simulator for Confluent P Systems  [Presentation]

      Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Fénix Editora, 2005)
      Software simulators for P system are nowadays the main tool to carry out experiments in the field of Membrane Computing. Although the simulation of a P system is a quite complex task, current simulators have been ...
    • 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

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

      Editing Configurations of P Systems  [Presentation]

      Csuhaj Varjú, Erzsébet; Nola, Antonio di; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Vaszil, György (Fénix Editora, 2005)
      This paper proposes and preliminarily investigates the possibility of transforming a configuration (membrane structure and multisets of symbol-objects present in the compartments of this membrane structure) of a P system ...
    • 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

      Event-Related Outputs of Computations in P Systems  [Presentation]

      Cavaliere, Matteo; Freund, Rudolf; Leitsch, Alexander; Paun, Gheorghe (Fénix Editora, 2005)
      We briefly investigate the idea to consider as the result of a computation in a P system the number of steps elapsed between two events produced during the computation. Specifically, we first consider the case when the ...
    • 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

      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

      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

      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

      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

      Maximally Parallel Multiset-Rewriting Systems: Browsing the Configurations  [Presentation]

      Alhazov, Artiom (Fénix Editora, 2005)
      The aim of this research is to produce an algorithm for the software that would let a researcher to observe the evolution of maximally parallel multiset-rewriting systems with permitting and forbidding contexts, browsing ...
    • 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

      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

      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

      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

      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

      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 ...