Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por fecha de publicación
Mostrando ítems 1-20 de 66
-
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 ...
-
Capítulo de Libro
Generation of Diophantine Sets by Computing P Systems with External Output
(Springer, 2002)In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. ...
-
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, ...
-
Capítulo de Libro
A MzScheme Implementation of Transition P Systems
(Springer, 2003)The main goal of this paper is to present the design of an MzScheme program that allows us to simulate the behavior of ...
-
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 ...
-
Capítulo de Libro
Hybrid Networks of Evolutionary Processors
(Springer, 2003)A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph ...
-
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 ...
-
Capítulo de Libro
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem
(Springer, 2004)In this paper we present an implementation in Prolog of an effective solution to the Knapsack problem via a family of deterministic P systems with active membranes using 2-division.
-
Capítulo de Libro
The P Versus NP Problem Through Cellular Computing with Membranes
(Springer, 2004)We study the P versus NP problem through membrane systems. Language accepting P systems are introduced as a framework ...
-
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 ...
-
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 ...
-
Capítulo de Libro
Attacking the Common Algorithmic Problem by Recognizer P Systems
(Springer, 2005)Many NP-complete problems can be viewed as special cases of the Common Algorithmic Problem (CAP). In a precise sense, ...
-
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
On Two-Dimensional Mesh Networks and Their Simulation with P Systems
(Springer, 2005)We analize in this paper the possibility of simulating the parallel architecture SIMD-MC2, also known as the ...
-
Capítulo de Libro
Exploring Computation Trees Associated with P Systems
(Springer, 2005)Usually, the evolution of a P system generates a computation tree too large to be efficiently handled with present–day ...
-
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 ...
-
Capítulo de Libro
Accepting Hybrid Networks of Evolutionary Processors
(Springer, 2005)We consider time complexity classes defined on accepting hybrid networks of evolutionary processors (AHNEP) similarly to ...
-
Capítulo de Libro
P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P
(Springer, 2005)We study the computational efficiency of recognizer P systems with active membranes without polarizations and without ...
-
Capítulo de Libro
On Descriptive Complexity of P Systems
(Springer, 2005)In this paper we address the problem of describing the complexity of the evolution of a P system. This issue is is specially ...
-
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 ...