Buscar
Mostrando ítems 1-8 de 8
Tesis Doctoral
P systems, a computational modelling framework for systems biology
(2008-02-06)
LOS PROGRAMAS INFORMÁTICOS QUE MODELIZAN CÉLULAS FACILITARÁN EL TRABAJO DE LOS BIÓLOGOS Se basa en hacer modelos de células, por lo que llevo tres años en los que estoy realizando modelos de sistemas biológicos en bacterias. ...
Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
(Springer, 2006)
This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.
Tesis Doctoral
P systems, a computacional modelling framework for systems biology
(2007)
"Los programas informáticos que modelizan células facilitarán el trabajo de los biólogos. Se basa en hacer modelos de células, por lo que llevo tres años en los que estoy realizando modelos de sistemas biológicos en ...
Capítulo de Libro
Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology
(Springer, 2014)
This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel spatial discrete-stochastic P systems modelling framework. The Workbench incorporates three important ...
Artículo
Cellular modelling using P systems and process algebra.
(Taylor and Francis Online, 2007)
In this paper various molecular chemical interactions are modelled under different computational paradigms. P systems and -calculus are used to describe intra-cellular reactions like protein-protein interactions and ...
Capítulo de Libro
On P Systems as a Modelling Tool for Biological Systems
(Springer, 2006)
We introduce a variant of P systems where rules have associated a real number providing a measure for the “intrinsic reactivity”of the rule and roughly corresponding to the kinetic coefficient which, in bio-chemistry, ...
Capítulo de Libro
A Modeling Approach Based on P Systems with Bounded Parallelism
(Springer, 2006)
This paper presents a general framework for modelling with membrane systems that is based on a computational paradigm where rules have associated a finite set of attributes and a corresponding function. Attributes and ...
Ponencia
On P Systems with Bounded Parallelism
(IEEE Computer Society, 2005)
A framework that describes the evolution of P systems with bounded parallelism is de ned by introducing basic formal features that can be then integrated into a structural operational semantics. This approach investigates ...