We present a unified framework for interpolation and regularisation of scalarand tensor-valued images. This framework is based on elliptic partial differential equations (PDEs) and allows rotationally invariant models. Since it does not require a regular grid, it can also be used for tensor-valued scattered data interpolation and for tensor field inpainting. By choosing suitable differential op...

In this note we intend to present basic ergodic theory. We begin with the notion of a measure preserving transformation. We then define ergodicity and provide examples. Finally we sketch Birkhoff’s Ergodic Theorem and elucidate it with some examples.

Existing techniques for Craig interpolation for the quantifier-free fragment of the theory of arrays require a special solver. The solver needs to know in advance the partitioning (A,B) of the interpolation problem and needs to avoid creating AB-mixed terms to be suitable for interpolation. This limits the efficiency of these solvers especially when computing sequence and tree interpolants. We ...