Listar BWMC2005. Brainstorming Week On Membrane Computing (3rd. 2005. Sevilla) por fecha de publicación
Mostrando ítems 1-20 de 24
-
Ponencia
Event-Related Outputs of Computations in P Systems
(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 ...
-
Ponencia
WebPS: A Web-based P System Simulator with Query Facilities
(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.
-
Ponencia
Further Twenty Six Open Problems in Membrane Computing
(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.
-
Ponencia
Recognizing Membrane Structures with Tree Automata
(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. ...
-
Ponencia
First Steps Towards a Geometry of Computation
(Fénix Editora, 2005)We introduce a geometrical setting which seems promising for the study of computation in multiset rewriting systems, but ...
-
Ponencia
Further Results on P Systems with Promoters/Inhibitors
(Fénix Editora, 2005)The paper gives several results regarding P systems with non-cooperative rules and promoters/inhibitors at the level of ...
-
Ponencia
On a Class of P Automata as a Machine Model for Languages over Infinite Alphabets
(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 ...
-
Ponencia
Metabolic Algorithm with Time-varying Reaction Maps
(Fénix Editora, 2005)A symbolic-based approach to modelling biochemical processes and cellular dynamics is likely to turn useful in computational ...
-
Ponencia
A Tool for Using the SBML Format to Represent P Systems which Model Biological Reaction Networks
(Fénix Editora, 2005)In this paper we present a software tool to represent P systems modelling signalling networks of biochemical reactions ...
-
Ponencia
Specifying Dynamic Software Architectures by Using Membrane Systems
(Fénix Editora, 2005)We present a formalism for the definition of dynamic software architectures in terms of membrane systems, distributed ...
-
Ponencia
Dynamical Probabilistic P Systems: Definitions and Applications
(Fénix Editora, 2005)We introduce dynamical probabilistic P systems, a variant where probabilities associated to the rules change during the ...
-
Ponencia
Maximally Parallel Multiset-Rewriting Systems: Browsing the Configurations
(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 ...
-
Ponencia
Matrix Languages, Register Machines, Vector Addition Systems
(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 ...
-
Ponencia
Evolution-Communication P Systems: Time-Freeness
(Fénix Editora, 2005)Membrane computing is a (biologically motivated) theoretical framework of distributed parallel computing. If symbol-objects ...
-
Ponencia
EP-colonies: Micro-Organisms in a Cell-like Environment
(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 ...
-
Ponencia
On Modelling Ion Fluxes Across Biological Membranes with P Systems
(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 ...
-
Ponencia
A Simulator for Confluent P Systems
(Fénix Editora, 2005)Software simulators for P system are nowadays the main tool to carry out experiments in the field of Membrane Computing. ...
-
Ponencia
Editing Configurations of P Systems
(Fénix Editora, 2005)This paper proposes and preliminarily investigates the possibility of transforming a configuration (membrane structure and ...
-
Ponencia
Abstract Machines of Systems Biology (Extended Abstract)
(Fénix Editora, 2005)Living cells are extremely well-organized autonomous systems, consisting of discrete interacting components. Key to ...
-
Ponencia
P Systems with One Membrane and Symport/Antiport Rules of Five Symbols Are Computationally Complete
(Fénix Editora, 2005)We consider P systems with only one membrane using symport/antiport rules and prove that any recursively enumerable set ...