Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por título
Mostrando ítems 62-65 de 65
-
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.
-
Capítulo de Libro
Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes
(Springer, 2005)In the last time, several efforts have been made in order to remove polarizations of membranes from P systems with active ...
-
Capítulo de Libro
Using Automated Reasoning Systems on Molecular Computing
(Springer, 2005)This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study ...
-
Capítulo de Libro
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies
(Springer, 2008)A logical formalism to support the insertion of uncertain concepts in formal ontologies is presented. It is based on the ...