Buscar
Mostrando ítems 21-30 de 65
Capítulo de Libro
Available Membrane Computing Software
(Springer, 2006)
The simulation of a P system with current computers is a quite com-plex task. P systems are intrinsically nondeterministic computational devices and therefore their computation trees are di±cult to store and handle with ...
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
Formal Verification of Programs in Molecular Models with Random Access Memory
(Fénix Editorial, 2005)
Formal verification of molecular programs is a first step towards their automatic processing by means of reasoning systems (ACL2, PVS, etc). In this paper a systematic method to establish verifications of these programs ...
Capítulo de Libro
A Linear Solution for QSAT with Membrane Creation
(Springer, 2006)
The usefulness of P systems with membrane creation for solving NP problems has been previously proved (see [2, 3]), but, up to now, it was an open problem whether such P systems were able to solve PSPACE-complete problems ...
Capítulo de Libro
Applications of Membrane Computing
(Springer, 2006)
Ponencia
An Agent Based Approach of Collective Foraging
(Springer, 2003)
In this paper the behaviour of a bee colony is modeled as a society of communicating agents acting in parallel and synchroniz-ing their behaviour. Two computational models for defining the agents behaviour are introduced ...
Capítulo de Libro
Membrane Computing Schema: A New Approach to Computation Using String Insertions
(Springer, 2009)
In this paper, we introduce the notion of a membrane computing schema for string objects. We propose a computing schema for a membrane network (i.e., tissue-like membrane system) where each membrane performs unique type ...
Capítulo de Libro
On the Power of Dissolution in P Systems with Active Membranes
(Springer, 2006)
In this paper we study membrane dissolution rules in the framework of P systems with active membranes but without using electrical charges. More precisely, we prove that the polynomial computational complexity class ...
Capítulo de Libro
On the Velocity Update in Multi-Objective Particle Swarm Optimizers
(Springer, 2010)
Since its appearance, Particle Swarm Optimization (PSO) has become a very popular technique for solving optimization problems because of both its simplicity and its fast convergence properties. In the last few years there ...
Capítulo de Libro
Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment
(Springer, 2002)
The aim ofthis paper is to develop an executable prototype ofan unconventional model ofcomputation. Using the PVS verification system (an interactive environment for writing formal specifications and checking formal ...