Browsing Capítulos (Ciencias de la Computación e Inteligencia Artificial) by Issue Date
Now showing items 1-20 of 65
-
Chapter of Book
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 ...
-
Chapter of Book
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. ...
-
Chapter of Book
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, ...
-
Chapter of Book
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 ...
-
Presentation
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 ...
-
Chapter of Book
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 ...
-
Chapter of Book
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 ...
-
Chapter of Book
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.
-
Chapter of Book
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 ...
-
Chapter of Book
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 ...
-
Chapter of Book
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 ...
-
Chapter of Book
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, ...
-
Chapter of Book
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 ...
-
Chapter of Book
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 ...
-
Chapter of Book
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 ...
-
Chapter of Book
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 ...
-
Chapter of Book
Accepting Hybrid Networks of Evolutionary Processors
(Springer, 2005)We consider time complexity classes defined on accepting hybrid networks of evolutionary processors (AHNEP) similarly to ...
-
Chapter of Book
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 ...
-
Chapter of Book
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 ...
-
Chapter of Book
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 ...