We introduce palmprint verification, one of the most reliable personal identification methods in the biometric technology. In this paper, a new approach to the palmprint verification based on nearest neighbor vector (NNV) is presented. Initially we find the datum point of palmprint, which have a remarkable advantage about their spatial location. We find all possible line pairs using NNV, follow...

Cartesian differential categories are equipped with a combinator which axiomatizes the directional derivative. Important models of include classical calculus smooth functions and categorical $\lambda$-calculus. However, cannot account for other interesting notions differentiation more discrete nature such as finite differences. On hand, change action have been shown to capture these examples we...