Buscar
Mostrando ítems 51-60 de 65
Capítulo de Libro
Asynchronous Spiking neural P systems with structural plasticity
(Springer, 2015)
Spiking neural P (in short, SNP) systems are computing devices inspired by biological spiking neurons. In this work we consider SNP systems with structural plasticity (in short, SNPSP systems) working in the asynchronous ...
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
Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing
(Springer, 2018)
Many variants of P systems have the ability to generate an exponential number of membranes in linear time. This feature has been exploited to elaborate (theoretical) efficient solutions to NP-complete, or even harder, ...
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
A Simulation Workflow for Membrane Computing: From MeCoSim to PMCGPU Through P-Lingua
(Springer, 2018)
P system simulators are of high importance in Membrane Computing, since they provide tools to assist on model validation and verification. Keeping a balance between generality and flexibility, on the one side, and ...
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 ...
Ponencia
Formal Verification of P Systems with Active Membranes through Model Checking
(Springer, 2011)
Formal verification of P systems using model checking has attracted a significant amount of research in recent years. However, up to now only P systems with static structure have been considered. This paper makes ...
Capítulo de Libro
Evolution of the Flowering Pathways
(Springer, 2016)
Flowering plants are some of the most successful organisms on Earth, particularly those used in agriculture due to the widespread distribution produced by farming activities. The correct moment of the year to flower is a ...
Capítulo de Libro
Skeletonizing Digital Images with Cellular Automata
(Springer, 2014)
The skeletonization of an image consists of converting the initial image into a more compact representation. In general, the skeleton preserves the basic struc-ture and, in some sense, keeps the meaning. The most important ...