This paper describes an extended and improved theory of the displacement of the objective speckle pattern resulting from displacement and/or deformation of a coherently illuminated diffuse object. Using the theory developed by Yamaguchi [Opt. Acta 28, 1359 (1981)], extended expressions are derived that include the influence of surface shape/gradients via the first order approximation of the sha...

In this paper we present an extended type system for an object-oriented database language, based uniquely on the set interpretation of object classes. We show that this system has the same expressive power as more complex approaches and is well suited to type inference for programming or querying database languages.

transactions. Depending on the semantics of operations actions can be serialized independent from the calling transactions. The techniques already used in multi-layer transaction systems are extended to object-oriented systems. Object-oriented serializability includes multi-layer ser-ializability but allows a non-layered, more general structure of the database system.

A method of link analysis employed for retrieving information from the Web is extended in order to evaluate one aspect of quality in an object-oriented model. The principal eigenvectors of matrices derived from the adjacency matrix of a modified class diagram are used to identify and quantify heavily loaded portions of an object-oriented design that deviate from the principle of distributed

An Object-Z formal speciication of the ODP Trader is presented which concisely captures the hierarchical context structure, the distribution of information and the communication aspects of the Trader. Particular use is made of generic classes, class inheritance and object aggregation (i.e. the instantiation of collections of similar objects) to give a structured speciication that can be readily...

Maneuvering extended object tracking is a new research field due to the rapid development of modern sensor technology. Multiple measurements may be resolved from different unknown sources on an by using high-resolution radar. In this case, should regarded as one with extension, e.g., its shape described star-convex random hypersurface model. This model usually specified one-dimensional radial f...

There are three dative constructions in Chinese. A verb may be present in just one, in two, or in all three constructions. A pattern can be captured in the constructional approach. While the constructions all carry a sense of transfer, they differ in terms of range of transfer and argument role of the dative object or the gei object. The constructional view also provides an account of the patte...