When first encountering data structures such as arrays, records and pointers programmers are often presented with pictorial representations. The use of pictures to describe data structures and their manipulation can help establish basic programming intuitions. The same is true of program proving where pictures are frequently used within the literature to describe program properties such as loop...

This paper presents a generalization of incremental condition estimation, a technique for tracking the extremal singular values of a triangular matrix. While the original approach allowed for the estimation of the largest or smallest singular value, the generalized scheme allows for the estimation of any number of extremal singular values. For example, we can derive estimates for the three smal...

In this dissertation, we explore the problem of fault detection and fault diagnosis for systems modeled as condition systems. A condition system is a Petri net based framework of components which interact with each other and the external environment through the use of condition signals. First, a system FAULT is defined as an observed behavior which does not correspond to any expected behavior, ...

Strong local minimizers with surfaces of gradient discontinuity appear in variational problems when the energy density function is not rank-one convex. In this paper we show that stability of such surfaces is related to stability outside the surface via a single jump relation that can be regarded as interchange stability condition. Although this relation appears in the setting of equilibrium el...

We study Nevai’s condition that for orthogonal polynomials on the real line, Kn(x, x0)Kn(x0, x0)−1 dρ(x) → δx0 , where Kn is the Christoffel–Darboux kernel. We prove that it holds for the Nevai class of a finite gap set uniformly on the spectrum, and we provide an example of a regular measure on [−2,2] where it fails on an interval.

Diagnostics of faults in gears requires development of reliable condition indicators. A large number of condition indicators, which are based on statistical moments of the synchronous average and its derivatives (difference and residual signals) were previously suggested. This study evaluates the efficiency of different gear condition indicators that are based on statistical moments and compare...

While eye tracking is gaining popularity in IS research, pupillometry is relatively less explored in IS eye tracking studies. Research however suggests that pupillometry may serve as an excellent unobtrusive measure to study user information processing behavior. The Adaptive decision making theory asserts that task demand affects information processing behavior. Grounded in this theory, we argu...

Instruments based on airborne/structure borne ultrasound technology offer many opportunities for reducing energy waste and improving asset availability in plants. They expand the concept of ”Condition Monitoring” to include much more than basic mechanical fault inspections. Since these instruments detect friction, ionization and turbulence, their inspection capabilities range from trending bear...

The primary focus of this article is the provision of tests for additional conditional moment constraints in cross-section or short panel data contexts. The principal contribution is the explicit incorporation of conditional moment restrictions defining the maintained hypothesis in the formulation of the test statistics thus mirroring that of the classical parametric likelihood setting by defin...