We present a new fast motion estimation method useful for high speed video encoding. Most of the motion estimation methods for video coding can be classified as Block Matching (BM) methods or Pel Recursive (PR) methods . Majority of the current fast motion estimation methods belong to block matching category. These methods try to reduce the number of search locations. Our proposed method is bas...

A recently developed spatial operator algebra for manipulator modeling, control and trajectory design is discussed. The elements of this algebra are linear operators whose domain and range spaces consist of forces, moments, velocities, and accelerations. The e ect of these operators is equivalent to a spatial recursion along the span of a manipulator. Inversion of operators can be e ciently obt...

The structure of the analysis increments in a variational data assimilation scheme is strongly driven by the formulation of the background error covariance matrix, especially in data-sparse areas such as the Antarctic region. The grid-point modeling in this study makes use of regression-based balance operators between variables, empirical orthogonal function decomposition to define the vertical...

Packing rings into a minimum number of rectangles is an optimization problem which appears naturally in the logistics operations of the tube industry. It encompasses two major difficulties, namely the positioning of rings in rectangles and the recursive packing of rings into other rings. This problem is known as the Recursive Circle Packing Problem (RCPP). We present the first exact method for ...

We present new algorithms for computing the linear least squares solution to overdetermined linear systems and the minimum norm solution to underdetermined linear systems. For both problems, we consider the standard formulation min ‖AX−B‖F and the transposed formulation min ‖AX−B‖F , i.e, four different problems in all. The functionality of our implementation corresponds to that of the LAPACK r...

We present new algorithms for computing the linear least squares solution to overde-termined linear systems and the minimum norm solution to underdetermined linear systems. For both problems, we consider the standard formulation min kAX ? BkF and the transposed formulation min kA T X ? BkF , i.e, four diierent problems in all. The functionality of our implementation corresponds to that of the L...

The studies of Church’s thesis (further denoted as CT) are slowly gaining their intensity. Since different formulations of the thesis are being proposed, it is necessary to state how it should be understood. The following is the formulation given by Church: [CT] The concept of the effectively calculable function is identical with the concept of the recursive function. The conviction that the ab...

Induction-recursion is a powerful definition method in intuitionistic type theory. It extends (generalized) inductive definitions and allows us to define all standard sets of Martin-Löf type theory as well as a large collection of commonly occurring inductive data structures. It also includes a variety of universes which are constructive analogues of inaccessibles and other large cardinals belo...

I present an explicitly solved equilibrium model for the distribution of wealth and income in an incomplete-markets economy. I first propose a self-insurance model with an inter-temporally dependent preference [Uzawa, H. 1968. Time preference, the consumption function, and optimal asset holdings. In: Wolfe, J.N. (Ed.), Value, Capital, and Growth: Papers in Honour of Sir John Hicks. Edinburgh Un...