Buscar
Mostrando ítems 71-80 de 207
Artículo
On axiom schemes for T-provably Δ1 formulas
(Springer, 2014)
This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and least number axiom schemes to formulas which are Δ1 provably in an arithmetic theory T. In ...
Artículo
Local induction and provably total computable functions
(Elsevier, 2014)
Let I¦− 2 denote the fragment of Peano Arithmetic obtained by restricting the induction scheme to parameter free ¦2 formulas. Answering a question of R. Kaye, L. Beklemishev showed that the provably total computable ...
Artículo
InDM2: Interactive Dynamic Multi-Objective Decision Making Using Evolutionary Algorithms
(Elsevier, 2018)
Dynamic optimization problems involving two or more conflicting objectives appear in many real-world scenarios, and more cases are expected to appear in the near future with the increasing interest in the analysis ...
Artículo
An ontology-based data integration approach for web analytics in e-commerce
(Elsevier, 2016)
Web analytics has emerged as one of the most important activities in e-commerce, since it allows com- panies and e-merchants to track the behavior of customers when visiting their web sites. There exist aseries of tools ...
Artículo
Formalization of a normalization theorem in simplicial topology
(Springer, 2012)
In this paper we present a complete formalization of the Normalization Theorem, a result in Algebraic Simplicial Topology stating that there exists a homotopy equivalence between the chain complex of a simplicial set, ...
Artículo
Generalized Graph Pattern Matching
(Cornell University, 2017)
Artículo
Solving the 0-1 Knapsack Problem by Using Tissue P System With Cell Division
(IEEE Computer Society, 2019)
Membrane computing is a kind of distributed and parallel computing model inspired by a biological cell mechanism. The maximum parallelism of membrane computing improves the computational efficiency of its computational ...
Artículo
Propuestas para el Análisis de Colecciones de Arte a través de Metodologías y Herramientas Computacionales
(Instituto de Investigaciones sobre el Patrimonio Cultural, Universidad Nacional de San Martín, 2016)
La metodología presentada en este artículo propone el uso de herramientas que facilitan la identificación, descripción, clasificación, visualización y manipulación de grandes cantidades de información provenientes de ...
Artículo
A membrane computing framework for self-reconfigurable robots
(Springer, 2019)
Self-reconfigurable robots are built by modules which can move in relationship to each other, which allows the robot to change its physical form. Finding a sequence of module moves that reconfigures the robot from the ...
Artículo
M2Align: parallel multiple sequence alignment with a multi-objective metaheuristic
(Oxford University Press, 2017)
Motivation: Multiple sequence alignment (MSA) is an NP-complete optimization problem found in computational biology, where the time complexity of finding an optimal alignment raises exponen-tially along with the number ...