Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por agencia financiadora "Ministerio de Ciencia, Innovación y Universidades (MICINN). España"
Mostrando ítems 1-10 de 10
-
Artículo
Algebraic combinatorics in bounded induction
(Elsevier, 2021)In this paper, new methods for analyzing models of weak subsystems of Peano Arithmetic are proposed. The focus will be on ...
-
Artículo
An Ontology-Based Framework for Publishing and Exploiting Linked Open Data: A Use Case on Water Resources Management
(MDPI, 2020)Nowadays, the increasing demand of water for electricity production, agricultural and industrial uses are directly affecting ...
-
Artículo
Automatic tuning of communication protocols for vehicular ad hoc networks using metaheuristics
(Elsevier, 2010)The emerging field of vehicular ad hoc networks (VANETs) deals with a set of communicating vehicles which are able to ...
-
Artículo
Logic Negation with Spiking Neural P Systems
(Springer, 2020)Nowadays, the success of neural networks as reasoning systems is doubtless. Nonetheless, one of the drawbacks of such ...
-
Artículo
Parallel multi-swarm optimizer for gene selection in DNA microarrays
(Springer, 2012)The execution of many computational steps per time unit typical of parallel computers offers an important benefit in ...
-
Artículo
Reducing Vehicle Emissions and Fuel Consumption in the City by Using Particle Swarm Optimization
(Springer, 2015)Nowadays in current cities the increasing levels of pollution emissions and fuel consumption derived from the road traffic ...
-
Artículo
Restart particle swarm optimization with velocity modulation: a scalability test
(Springer, 2011)Large scale continuous optimization problems are more relevant in current benchmarks since they are more representative ...
-
Artículo
Role of a cryptic tRNA gene operon in survival under translational stress
(Oxford Academic, 2021-08-11)As compared to eukaryotes, bacteria have a reduced tRNA gene set encoding between 30 and 220 tR-NAs. Although in most ...
-
Artículo
Sparse Spiking Neural-Like Membrane Systems on Graphics Processing Units
(World Scientific, 2024)The parallel simulation of Spiking Neural P systems is mainly based on a matrix representation, where the graph inherent ...
-
Artículo
Swarm intelligence for traffic light scheduling: Application to real urban areas
(Elsevier, 2012)Congestion, pollution, security, parking, noise, and many other problems derived from vehicular traffic are present every ...