Traditional abduction imposes as a precondition the restriction that the background information may not derive the goal data. In first-order logic such precondition is, in general, undecidable. To avoid such problem, we ...

In this paper we find lower bounds for the first Steklov eigenvalue in Riemannian n-manifolds, n = 2, 3, with non-positive sectional curvature.

We examined the status of the first metacarpal bone whose shape, fetal and post-natal development correspond to those of the thumb proximal phalanx. Galen already described this, circa 170 CE. Our radiographic data confirm ...

In order to contribute to the genetic breeding programs of buffaloes, this study aimed to determine the influence of environmental effects on the stayability (ST) of dairy female Murrah buffalo in the herd. Data from 1016 ...

In order to contribute to the genetic breeding programs of buffaloes, this study aimed to determine the influence of environmental effects on the stayability (ST) of dairy female Murrah buffalo in the herd. Data from 1016 ...

This paper presents a research that approached the intuitive use starting from the first use of a product. Being like this, the objective was of evaluating the intuitive use starting from the first use, as well as in a new ...

This article aims to reconsider Origen's theological system in the light of his treatise On First Principles. Was Origen a systematic thinker? If so, what kind of systematicity characterised his theology? Since the reception ...