Recently, many people have found polarisation features in the SCIAMACHY Level-1c spectrum, in the form of jumps. The jumps are found to be caused by the polarisation correction algorithm, which is evidenced by the fact that the jumps occur only when the polarisation correction is switched on, and only at cluster transitions where the integration time changes. We explain the origin of the jumps,...

An s-workspace algorithm is an algorithm that has read-only access to the values of the input, write-only access to the output, and only uses O(s) additional words of space. We present a randomized s-workspace algorithm for triangulating a simple polygon P of n vertices that runs in O(n/s+ n logn log(n/s)) expected time using O(s) variables, for any s ≤ n. In particular, when s ≤ n logn log5 lo...

As Betz observed in 1979, Paul never says that Christians are supposed to ‘do’ the Torah. This article seeks to develop the argument of omission in relation to Paul and the law. What else does he not say? According to Rom. 2.17-29, Jews ‘rely on’ the law, ‘boast’ in the law, know God’s will through the law, are educated in the law, have light, knowledge and truth because of the law, are to ‘do’...

-In this paper, a Catmull-Rom spline based lane model which described the perspective effect of parallel lines was proposed for generic lane boundary. As Catmull-Rom spline can form arbitrary shapes by control points, it can describe a wider range of lane structures than other lane models such as straight and parabolic model. It formulates the lane detection problem in the form of determining t...

A two-port memory contains two duplicated sets of address decoders, which operate independently. Testing such memories requires the use of single-port tests as well as special two-port tests; the test strategy determines which tests have to be used. Many two-port memories have ports which are read-only or write-only; this impacts the possible tests for single-port and two-port memories, as well...

A new opacity correction approach for oversampled volume ray casting is introduced. While the only existing opacity correction method in the literature is based on the assumption of dataset homogeneity, the new opacity correction method introduced in this paper is a faster, generalized voxel-by-voxel approach which does not assume dataset homogeneity. The new opacity correction avoids the datas...

In this paper, a type of multi-level correction scheme is proposed to solve eigenvalue problems by the finite element method. This type of multilevel correction method includes multi correction steps in a sequence of finite element spaces. In each correction step, we only need to solve a source problem on a finer finite element space and an eigenvalue problem on the coarsest finite element spac...