Search
Now showing items 1-10 of 292

Characterizing Tractability by Tissue-Like P Systems [Presentation]
(Fénix Editora, 2009)
In the framework of cell–like membrane systems it is well known that the construction of exponential number of objects in polynomial time is not enough to efficiently solve NP–complete problems. Nonetheless, it may be ...

Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT [Presentation]
(2002)
In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a first step to formalize unconventional models of computation in ACL2. As an application of this ...

Generation of Diophantine Sets by Computing P Systems with External Output [Chapter of Book]
(Springer, 2002)
In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. These P systems are stable under composition and iteration of functions. We prove that every ...

Extending SNP Systems Asynchronous Simulation Modes in P-Lingua [Presentation]
(Fénix Editora, 2014)
Spiking neural P systems (SN P systems for short) is a developing field within the P systems world. Inspired by the neurophysiological structure of the brain, these systems have been subjected to many extensions in recent ...

Implementing Local Search with Membrane Computing [Presentation]
(Fénix Editora, 2011)
Local search is currently one of the most used methods for finding solution in real-life problems. In this paper we present an implementation of local search with Membrane Computing techniques applied to the N-queens ...

Spiking Neural P Systems with Several Types of Spikes [Presentation]
(Fénix Editora, 2011)
With a motivation related to gene expression, where enzymes act in series, somewhat similar to the train spikes traveling along the axons of neurons, we consider an extension of spiking neural P systems, where several ...

Spiking Neural dP Systems [Presentation]
(Fénix Editora, 2011)
We bring together two topics recently introduced in membrane computing, the much investigated spiking neural P systems (in short, SN P systems), inspired from the way the neurons communicate through spikes, and the dP ...

Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment [Chapter of Book]
(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 ...

Solving Knapsack Problems in a Sticker Based Model [Chapter of Book]
(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 ...