Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources

Authors:
Alberto Leporati;Miguel A. Gutiérrez-Naranjo
Affiliations:
(Correspd.) Dipartimento di Informatica, Sistemistica e Comunicazione Università, degli Studi di Milano - Bicocca, Viale Sarca 336/14, 20126 Milano, Italy. alberto.leporati@unimib.it;Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain. magutier@us.es
Venue:
Fundamenta Informaticae
Year:
2008

Citing 18
Cited 4

Structural complexity 2

Structural complexity 2
Introduction to algorithms

Introduction to algorithms
Pulsed neural networks

Pulsed neural networks
Computing with membranes

Journal of Computer and System Sciences
P systems with active membranes: attacking NP-complete problems

Journal of Automata, Languages and Combinatorics
Introduction to Circuit Complexity: A Uniform Approach

Introduction to Circuit Complexity: A Uniform Approach
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Membrane Computing: An Introduction

Membrane Computing: An Introduction
Spiking Neuron Models: An Introduction

Spiking Neuron Models: An Introduction
A guide to membrane computing

Theoretical Computer Science - Natural computing
A New Class of Symbolic Abstract Neural Nets: Tissue P Systems

COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Solving NP-Complete Problems Using P Systems with Active Membranes

UMC '00 Proceedings of the Second International Conference on Unconventional Models of Computation
Tissue P systems

Theoretical Computer Science
A fast P system for finding a balanced 2-partition

Soft Computing - A Fusion of Foundations, Methodologies and Applications
Spiking Neural P Systems

Fundamenta Informaticae
Normal forms for spiking neural P systems

Theoretical Computer Science
Solving numerical NP-complete problems with spiking neural P systems

WMC'07 Proceedings of the 8th international conference on Membrane computing
Computing with spiking neural p systems: traces and small universal systems

DNA'06 Proceedings of the 12th international conference on DNA Computing

Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources

Theoretical Computer Science
Spiking neural P systems with neuron division

CMC'10 Proceedings of the 11th international conference on Membrane computing
Solving NP-Complete problems by spiking neural p systems with budding rules

WMC'09 Proceedings of the 10th international conference on Membrane Computing
A p---lingua based simulator for spiking neural p systems

CMC'11 Proceedings of the 12th international conference on Membrane Computing

Quantified Score

Hi-index	0.01

Visualization

Abstract

Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and complete with respect to some behavioural equivalence. To achieve this goal, ...