We report on our experience with designing, implementing, proving correct, and evaluating a regionbased memory management system.

Given the Finsler structure (M, F) on a manifold M, a Riemannian structure (M, h) and a linear connection on M are defined. They are obtained as the " average " of the Finsler structure and the Chern connection. This linear connection is the Levi-Civita connection of the Riemannian metric h. The relation between parallel transport of the Chern connection and the Levi-Civita connection of h are ...

Today, participating in the organization's staff is one of the most basic ways to improve the efficiency and effectiveness of administrative and managerial countries, organizations and companies. According to increasing importance of human resources in organizations, this study was to investigate the relationship between human resource strategies with the participation of employees in the Natio...

It is well known that no non-trivial Killing vector field exists on a compact Riemannian manifold of negative Ricci curvature; analogously, no non-trivial harmonic one-form exists on a compact manifold of positive Ricci curvature. One can consider the following, more general, problem. By reducing the assumption on the Ricci curvature to one on the scalar curvature, such vanishing theorems canno...

Capturing races or semeai are an important element of Go strategy and tactics. We extend previous work on semeai [1] by introducing a more general framework for analyzing semeai, based on the new concepts of conditional combinatorial games and liberty count games. We show how this framework encompasses earlier concepts such as plain liberty regions and plain eye regions. Furthermore, we discuss...

We present herein a classification of regions from an image which is based on textural measurements. It aims to distinguish groups of regions having the same class among a pre-established set of categories, that may be potential focus areas for an aerial mobile. The presented classifier relies on a neural architecture.

This work use basic image processing technique to automatically recognize two different traffic signs (stop sign and yield sign) in an image. The image is first thresholded on RBG domain to separate out the regions with red color, which is those traffic signs usually have, then region mapping is done on the remaining regions, the regions that are either too small and too large are removed since...

We prove that a Ricci curvature based method of triangulation of compact Riemannian manifolds, due to Grove and Petersen, extends to the context of weighted Riemannian manifolds and more general metric measure spaces. In both cases the role of the lower bound on Ricci curvature is replaced by the curvature-dimension condition CD(K,N). We show also that for weighted Riemannian manifolds the tria...