Lazy multi-label learning algorithms have become an important research topic within the multi-label community. These algorithms usually consider the set of standard k-Nearest Neighbors of a new instance to predict its ...

The greater decentralization introduced by the Political Constitution of 1991, increased intergovernmental transfers for municipalities and departments to finance their own expenses. Through a model of double differences ...

Objective: Sleepiness and naps occur in classrooms everywhere in the world. Poor seating posture is also common in classrooms. Even though poor posture causes students to be at risk for developing problems in the vertebral ...

We propose a new approach to computer-assisted verification of lazy functional programs where functions can be defined by general recursion. We work in first-order theories of functional programs which are obtained by ...

A detecção precoce de atrasos no desenvolvimento motor devido a ambliopia em crianças e adolescentes é essencial para reverter ou minimizar as perdas de competências motoras, devido à alteração da acuidade visual. Entre ...

This thesis focused on the computational content of classical proofs, and specifically on proofs with side-effects and Krivine classical realizability. The manuscript is divided in three parts, the first of which consists ...

The amount of information stored in text databases is steadily increasing. As such, demand for automated techniques to organize this data also continues to grow. In this context, academic and industry research has been ...