Integer carrier phase ambiguity resolution is the process of resolving unknown cycle ambiguities of doubledifferenced carrier phase data as integers, and it is a prerequisite for rapid and high-precision global navigation satellite system positioning and navigation. Besides integer estimation, integer ambiguity resolution also involves validation of the integer estimates. In this contribution a...

We consider the problem of maintaining a dynamic ordered set of n integers in the range 0 : :2 w ?1, under the operations of insertion, deletion and predecessor queries, on a unit-cost RAM with a word length of w bits. We show that all the operations above can be performed in O(minflogw; 1 + logn= logwg) expected time, assuming the updates are oblivious, i.e., independent of the random choices ...

This paper proposes a novel data hiding algorithm having large data hiding rate based on integer wavelet transform, which can recover original image without any distortion from the marked image after the hidden data have been extracted. This algorithm hides the data and the overhead data representing the bookkeeping information into a middle bit-plane of the integer wavelet coefficients in high...

This paper proposes a three-dimensional (3D) integer wavelet transform with reduced amount of rounding noise. Non-separable multi-dimensional lifting structures are introduced to decrease the total number of lifting steps. Since the lifting step contains a rounding operation, variance of the rounding noise generated due to the rounding operation inside the transform is reduced. This paper also ...

We present an approach to integrating the refinement relation between infinite integer types (used in specification languages) and finite integer types (used in programming languages) into software verification calculi. Since integer types in programming languages have finite ranges, in general they are not a correct data refinement of the mathematical integers usually used in specification lan...