Search academic resources

At any time humans need accurate information to solve different problems. For example, how to perform a task, what happens in the news, what the hundreds of tweets say, etc. On the other hand, electronic information has ...

Argumentation systems have substantially evolved in the past few years, resulting in adequate tools to model some forms of common sense reasoning. This has sprung a new set of argument-based applications in diverse are...

This paper presents an encoding technique that is common for many different logic synthesis problems. It enables us to construct a system of Boolean functions, and then to decompose this system into sub-systems in such a...

El presente trabajo propone un nuevo método para el cálculo de la rotación de una pelota en situaciones de entrenamiento deportivo, cuando la misma se encuentra en la zona cercana al arco. El método propuesto reduce...

We investigate the problem of nding a total order of a nite set that satis es various local ordering constraints. Depending on the admitted constraints, we provide an e cient algorithm or prove NP-completeness. We disc...

El problema inverso al resuelto por la suma de Minkowski se refiere a la descomposición de polígonos en suma de Minkowski. Este problema, que denominamos SMINK-1, puede resolverse con un algoritmo de complejidad expone...

A new density functional (DF) of the generalized gradient approximation (GGA) type for general chemistry applications termed B97-D is proposed. It is based on Becke's power-series ansatz from 1997 and is explicitly param...