Browsing BWMC2005. Brainstorming Week On Membrane Computing (3rd. 2005. Sevilla) by Title
Now showing items 120 of 24

A Simulator for Confluent P Systems [Presentation]
(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 ...

A Tool for Using the SBML Format to Represent P Systems which Model Biological Reaction Networks [Presentation]
(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 machinereadable format for describing qualitative and ...

Abstract Machines of Systems Biology (Extended Abstract) [Presentation]
(Fénix Editora, 2005)Living cells are extremely wellorganized autonomous systems, consisting of discrete interacting components. Key to understanding and modelling their behavior is modelling their system organization, which can be described ...

Christiansen Grammar for Some P Systems [Presentation]
(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 ...

Dynamical Probabilistic P Systems: Definitions and Applications [Presentation]
(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 ...

Editing Configurations of P Systems [Presentation]
(Fénix Editora, 2005)This paper proposes and preliminarily investigates the possibility of transforming a configuration (membrane structure and multisets of symbolobjects present in the compartments of this membrane structure) of a P system ...

EPcolonies: MicroOrganisms in a Celllike Environment [Presentation]
(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 celllike environment. In addition to the definition of the ...

EventRelated Outputs of Computations in P Systems [Presentation]
(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 ...

EvolutionCommunication P Systems: TimeFreeness [Presentation]
(Fénix Editora, 2005)Membrane computing is a (biologically motivated) theoretical framework of distributed parallel computing. If symbolobjects are considered, then membrane sys tems (also called P systems) are distributed multiset processing ...

First Steps Towards a Geometry of Computation [Presentation]
(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 ...

Further Results on P Systems with Promoters/Inhibitors [Presentation]
(Fénix Editora, 2005)The paper gives several results regarding P systems with noncooperative 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, ...

Further Twenty Six Open Problems in Membrane Computing [Presentation]
(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.

Matrix Languages, Register Machines, Vector Addition Systems [Presentation]
(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 ...

Maximally Parallel MultisetRewriting Systems: Browsing the Configurations [Presentation]
(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 multisetrewriting systems with permitting and forbidding contexts, browsing ...

Metabolic Algorithm with Timevarying Reaction Maps [Presentation]
(Fénix Editora, 2005)A symbolicbased 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 ...

Minimal Cooperation in Symport/Antiport P Systems with One Membrane [Presentation]
(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) (onemembrane systems ...

On a Class of P Automata as a Machine Model for Languages over Infinite Alphabets [Presentation]
(Fénix Editora, 2005)We show how P automata having a finite description and working with a finite objectalphabet can be used to describe languages over countably infinite alphabets. We propose to relate the language classes characterized ...

On Modelling Ion Fluxes Across Biological Membranes with P Systems [Presentation]
(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 ...

One More Universality Result for P Systems with Objects on Membranes [Presentation]
(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 ...

P Systems with One Membrane and Symport/Antiport Rules of Five Symbols Are Computationally Complete [Presentation]
(Fénix Editora, 2005)We consider P systems with only one membrane using symport/antiport rules and prove that any recursively enumerable set of kdimensional vectors of natural numbers can be generated (accepted) by using at most k + 4 ...