Buscar
Mostrando ítems 31-40 de 41
Capítulo de Libro
Decision P Systems and the P =NP Conjecture
(Springer, 2003)
We introduce decision P systems, which are a class of P systems with symbol-objects and external output. The main result of the paper is the following: if there exists an NP–complete problem that cannot be solved in ...
Capítulo de Libro
A Study of the Robustness of the EGFR Signalling Cascade Using Continuous Membrane Systems
(Springer, 2005)
Many approaches to anticancer treatment have had a limited success. A fundamental hurdle to cancer therapy is the robustness of the signalling networks involved in tumourgenesis. The complexity of net- works of biological ...
Capítulo de Libro
Solving Knapsack Problems in a Sticker Based Model
(Springer, 2002)
Our main goal in this paper is to give molecular solutions for two NP–complete problems, namely Subset-sum and Knapsack, in a sticker based model for DNA computations. In order to achieve this, we have used a finite set ...
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 the correctness of a program) and DNA computing (as practical devices to handle DNA strands to solve ...
Capítulo de Libro
A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes
(Springer, 2004)
Up to now, P systems dealing with numerical problems have been rarely considered in the literature. In this paper we present an effective solution to the Knapsack problem using a family of deterministic P systems with ...
Capítulo de Libro
Computing Partial Recursive Functions by Transition P Systems
(Springer, 2004)
In this paper a variant of transition P systems with external output designed to compute partial functions on natural numbers is presented. These P systems are stable under composition, iteration and unbounded minimization ...
Capítulo de Libro
P Systems, a New Computational Modelling Tool for Systems Biology
(Springer, 2006)
In this paper we present P systems as a reliable computa- tional modelling tool for Systems Biology that takes into account the discrete character of the quantity of components of biological systems, the inherently ...
Capítulo de Libro
A Linear Solution of Subset Sum Problem by Using Membrane Creation
(Springer, 2005)
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in the compartmental structure of a living cell can be interpreted as computations. In this framework, ...
Capítulo de Libro
An Approach to Computational Complexity in Membrane Computing
(Springer, 2005)
In this paper we present a theory of computational complexity in the framework of membrane computing. Polynomial complexity classes in recognizer membrane systems and capturing the classical deterministic and non-deterministic ...
Capítulo de Libro
Cellular solutions to some numerical NP-complete problems: A prolog implementation
(Idea Group Inc., 2005)
This chapter is devoted to the study of numerical NP-complete problems in the framework of cellular systems with membranes, also called P systems (Pǎun, 1998). The chapter presents efficient solutions to the subset sum and ...