Buscar
Mostrando ítems 1-10 de 335
Boosting Advanced Computational Applications and Resources in Latin America through Collaboration and Sharing
(IEEE Computer Society, 2018-05)
Although computing research and facilities in Latin America have been developing steadily, a remarkable gap nevertheless remains in the availability of resources and specialized human resources compared to other regions. ...
Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers
(Taylor & Francis, 2014-02)
Argumentation represents a way of reasoning over a knowledge base containing possibly incomplete and/or inconsistent information, to obtain useful conclusions. As a reasoning mechanism, the way an argumentation reasoning ...
Calculation of the aortic arch angles from three-dimensional reconstructions of computed tomography scans: Comparison between an automated program and visual assessment
(Pergamon-Elsevier Science Ltd, 2019-11)
Background: The curvature of the aortic arch is associated with the risk of endoleak formation after thoracic endovascular aortic repair (TEVAR). However, the adequate assessment of the angles of the aorta continues to ...
Simulating Web Search Engines
(IEEE Computer Society, 2017-01)
A simulation methodology is proposed to evaluate the performance of large-scale Web search engines hosted by datacenters. The salient features of the methodology are the use of models of parallel computing to overcome the ...
Modeling issues and implementation of language for disjunctive programming
(Pergamon-Elsevier Science Ltd, 2000-10)
This paper describes a number of key modeling issues for the development of tools for solving nonlinear discrete/continuous problems where logic/disjunctive constraints are included in the formulation. A generalized hybrid ...
LP-VIcode: A program to compute a suite of variational chaos indicators
(Elsevier, 2014-04)
An important point in analyzing the dynamics of a given stellar or planetary system is the reliable identification of the chaotic or regular behavior of its orbits. We introduce here the program LP-VIcode, a fully operational ...
Polite Personal Agents
(IEEE Computer Society, 2006-01)
The approach in which the agents exploit user profiles to provide personalized, context-aware assistance, is described. Existing personal agents have concentrated on obtaining user preferences with respect to a computer ...
SherlockFog: a new tool to support application analysis in Fog and Edge computing
(Springer, 2019-05)
The Fog and Edge Computing paradigms have emerged as a solution to limitations of the Cloud Computing model to serve a huge amount of connected devices efficiently. These devices have unused computing power that could be ...
Effects of binary variables in mixed integer linear programming based unit commitment in large-scale electricity markets
(Elsevier Science SA, 2018-07)
Mixed integer linear programming is one of the main approaches used to solve unit commitment problems. Due to the computational complexity of unit commitment problems, several researches remark the benefits of using less ...
Solving a multicoloring problem with overlaps using integer programming
(Elsevier Science, 2010-02)
This paper presents a new generalization of the graph multicoloring problem. We propose a Branch-and-Cut algorithm based on a new integer programming formulation. The cuts used are valid inequalities that we could identify ...