We propose HRA*, a new randomized path planner for complex 3D environments. The method is a modified A* algorithm that uses a hybrid node expansion technique that combines a random exploration of the action space meeting vehicle kinematic constraints with a cost to goal metric that considers only kinematically feasible paths to the goal. The method includes also a series of heuristics to accele...

An increasing collective trust reduces stress at work in many countries, regardless of national characteristics. The goal this paper was to investigate whether is related occupational among bank employees, where 2,279 employees were surveyed. Exploratory factor analysis used build a index based on: openness, care, appreciation, common values, honesty/fairness, loyalty, dyadic (a direct question...

Suppose M a compact manifold which admits an Einstein metric g which is Kähler with respect to some complex structure J . Is every other Einstein metric h on M also Kähler-Einstein? If the complex dimension of (M,J) is ≥ 3, the answer is generally no; for example, CP3 admits both the FubiniStudy metric, which is Kähler-Einstein, and a non-Kähler Einstein metric [2] obtained by appropriately squ...

Functional speci cations have been used to specify and verify designs of a number of reactive discrete systems In this paper we extend this speci cation style to deal with real time and hybrid systems As mathematical foundation we employ Banach s xed point theory in metric spaces The goal is to show that the theory used for discrete functional speci cations smoothly carries over to real time an...

A Riemannian metric is said to be Einstein if the Ricci curvature is a constant multiple of the metric. Given a manifold M , one can ask whether M carries an Einstein metric, and if so, how many. This fundamental question in Riemannian geometry is for the most part unsolved (cf. [Bes]). As a global PDE or a variational problem, the question is intractible. It becomes more manageable in the homo...

Much is known about the sit-to-stand (STS) and its biomechanics. Currently, however, there is little opportunity for instrumented quantification of the STS as part of screening or diagnosis in clinical practice. The objectives of the present study were to describe the feasibility of using an automated approach for quantifying the STS using one sensor location and to start testing the discrimina...

Purpose Cancer in a country like Mexico is a challenge for the current health system and for public health. However, the statistics about cancer in Mexico are scarce, so epidemiologic surveillance needs to be improved. The objectives of this article were to describe the extent of cancer and to estimate the national burden of cancer through 2020. Materials and Methods To meet this objective, an ...

Functional speciications have been used to specify and verify designs of a number of reactive, discrete systems. In this paper we extend this speciication style to deal with real-time and hybrid systems. As mathematical foundation we employ Banach's xed point theory in metric spaces. The goal is to show that the theory used for discrete functional speciications smoothly carries over to real-tim...