Buscar
Mostrando ítems 11-20 de 44
Artículo
Simulation of Spiking Neural P Systems with Sparse Matrix-Vector Operations
(MDPI, 2021)
To date, parallel simulation algorithms for spiking neural P (SNP) systems are based on a matrix representation. This way, the simulation is implemented with linear algebra operations, which can be easily parallelized ...
Artículo
Solving Common Algorithmic Problem by Recognizer Tissue P Systems
(Romanian Academy, 2012)
Common Algorithmic Problem is an optimization problem, which has the nice property that several other NP-complete problems can be reduced to it in linear time. In this work, we deal with its decision version in the ...
Artículo
P systems with evolutional communication and division rules
(MDPI, 2021)
A widely studied field in the framework of membrane computing is computational complexity theory. While some types of P systems are only capable of efficiently solving problems from the class P, adding one or more syntactic ...
Artículo
Computation of Ramsey Numbers by P Systems with Active Membranes
(World Scientific, 2011)
Ramsey numbers deal with conditions when a combinatorial object necessarily contains some smaller given objects. It is well known that it is very difficult to obtain the values of Ramsey numbers. In this work, a theoretical ...
Artículo
Inference of gene regulatory networks with multi-objective cellular genetic algorithm
(Elsevier, 2019)
Reverse engineering of biochemical networks remains an important open challenge in computational systems biology. The goal of model inference is to, based on time-series gene expression data, obtain the sparse ...
Artículo
A Study of Multiobjective Metaheuristics When Solving Parameter Scalable Problems
(IEEE Computer Society, 2010)
To evaluate the search capabilities of a multiobjective algorithm, the usual approach is to choose a benchmark of known problems, to perform a fixed number of function evaluations, and to apply a set of quality indicators. ...
Artículo
The Spanish Network on Biomolecular and Biocellular Computing: Bio-inspired Natural Computing in Spain
(ERCIM EEIG, 2011-04)
The Spanish Network on Biomolecular and Biocellular Computing (Redbiocom) is a consortium of seven Spanish research groups whose research activities focus on the bio-inspired approach to Natural Computing. The Network was ...
Artículo
Formally Verified Tableau-Based Reasoners for a Description Logic
(Springer, 2014)
Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One of the most basic description logics is ALC , used as a basis from which to obtain others. Description ...
Artículo
Intelligent Testing of Traffic Light Programs: Validation in Smart Mobility Scenarios
(Hindawi, 2016)
In smart cities, the use of intelligent automatic techniques to find efficient cycle programs of traffic lights is becoming an innovative front for traffic flow management. However, this automatic programming of traffic ...
Artículo
Hybrid PSO6 for Hard Continuous Optimization
(Springer, 2015)
In our previous works, we empirically showed that a number of 6±2 informants may endow particle swarm optimization (PSO) with an optimized learning procedure in comparison with other combinations of informants. In this ...