Listar BWMC2005. Brainstorming Week On Membrane Computing (3rd. 2005. Sevilla) por título
Mostrando ítems 10-24 de 24
-
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
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
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
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
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
Minimal Cooperation in Symport/Antiport P Systems with One Membrane
(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 ...
-
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
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
One More Universality Result for P Systems with Objects on Membranes
(Fénix Editora, 2005)We continue here the attempt to bridge brane calculi with membrane com- puting, following the investigation started in. ...
-
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 ...
-
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
Simulating Avascular Tumors with Membrane Systems
(Fénix Editora, 2005)Tumor growth has received a considerable attention by the scientific community. In the earliest stages of development, ...
-
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
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.