Buscar
Mostrando ítems 1-10 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 between two events produced during the computation. Specifically, we first consider the case when the ...
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. This new model accepts a set of trees with symmetries between their internal nodes. We name this ...
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 could also be applied to register machines and other models of computation. This approach will be ...
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 rules. For the class of P systems using inhibitors, generating families of sets of vectors of numbers, ...
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 languages over countably infinite alphabets. We propose to relate the language classes characterized ...
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 biology, where attempts to represent the cell as a huge, complex dynamic system must trade with ...
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 using SBML (Systems Biology Markup Language), a machine-readable format for describing qualitative and ...
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 computational models inspired from the structure and the functioning of living cells. The dynamics (the ...