Growing interest in visual languages has triggered new extended research into the specification and parsing of multi-dimensional structures. The paper discusses the need for a visual specification formalism and introduces such a technique by augmenting logic programming with picture terms which can be considered as partially specified pictures. We define how to match picture terms and how to in...

The problem we are interested in is the best approximation of a given matrix by a positive semi–definite symmetric Toeplitz matrix. Toeplitz matrices appear naturally in a variety of problems in engineering. Since positive semi–definite Toeplitz matrices can be viewed as shift invariant autocorrelation matrices, considerable attention has been paid to them, especially in the areas of stochastic...

INTRODUCTION Charcot foot is a relatively uncommon complication of diabetes but one which can lead to chronic ulceration, marked deformity and amputation. Although its aetiology is not fully understood, several advances have occurred in its management. Surgery has a definite role to play but the mainstay of initial treatment is non-operative. Correct diagnosis can prevent progressive deformity....

We construct an RG potential for N = 2 supersymmetric SU(2) Yang-Mills theory, and extract a positive definite metric by comparing its gradient with the recently discovered beta-function for this system, thus proving that the RG flow is gradient in this four-dimensional field theory. We also discuss how this flow might change after supersymmetry breaking, provided the quantum symmetry group doe...

We investigate Dirac's bra-ket formalism based on a rigged Hilbert space for non-Hermite quantum system with positive-definite metric. First, the space, characterized by metric, is established. With aid of nuclear spectral theorem obtained expansions are shown bra-kets generalized eigenvectors quasi-Hermite operator. The utilized to endow complete bi-orthogonal and transformation theory between...

We consider the maximum entropy extention of a partially specified autocovariance sequence of a periodically correlated process. The sequence may be specified on a non-contiguous set. We give a method which solves the problem completely—it gives the positive definite solution when it exists and reports that it does not exist otherwise. The method is numerically reliable even when the solution i...