Buscar
Mostrando ítems 11-20 de 45
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
Multi-objective ligand-protein docking with particle swarm optimizers
(Elsevier, 2019)
In the last years, particle swarm optimizers have emerged as prominent search methods to solve the molecular docking problem. A new approach to address this problem consists in a multi-objective formulation, minimizing the ...
Artículo
Agent-mediated shared conceptualizations in tagging services
(Springer, 2013)
Some of the most remarkable innovative technologies from the Web 2.0 are the collaborative tagging systems. They allow the use of folksonomies as a useful structure for a number of tasks in the social web, such as ...
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 ...
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
On the Optimality of Conservation Results for Local Reflection in Arithmetic
(Association for Symbolic Logic, 2013)
Let T be a recursively enumerable theory extending Elementary Arithmetic EA. L. D. Beklemishev proved that the Σ2 local reflection principle for T, (T), is conservative over the Σ1 local reflection principle, (T), with ...
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
Molecular Docking Optimization in the Context of Multi-Drug Resistant and Sensitive EGFR Mutants
(MDPI, 2016)
The human Epidermal Growth Factor (EGFR) plays an important role in signaling pathways, such as cell proliferation and migration. Mutations like G719S, L858R, T790M, G719S/T790M or T790M/L858R can alter its conformation, ...
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 directly affect to the air quality, the economy, and specially the health of citizens. Therefore, ...
Artículo
On the Phenomenological Reconstruction of Complex Systems—The Scale-Free Conceptualization Hypothesis
(Wiley, 2013)
Phenomenological reconstruction of a complex system (CS) from collected and selected data allows us to work with formal models (representations) of the system. The task of building a qualitative model necessitates the ...