Updating a model framed as a real symmetric quadratic eigenvalue problem to match observed spectral information has been a powerful tool for practitioners in different discipline areas. It is often desirable in updating to match only the part of newly measured data without tampering with the other part of unmeasured and often unknown eigenstructure inhering in the original model. Such an updati...

The particular symmetry of the random-phase-approximation (RPA) matrix has been utilized in the past to reduce the RPA eigenvalue problem into a symmetric-matrix problem of half the dimension. The condition of positive definiteness of at least one of the matrices A ± B has been imposed (where A and B are the submatrices of the RPA matrix) so that, e.g., its square root can be found by Cholesky ...

This paper investigates the notion of definiteness from a psycholinguistic perspective and addresses Löbner’s (1987) distinction between semantic and pragmatic definites. To this end inherently definite noun phrases, proper names, and indexicals are investigated as instances of (relatively) rigid designators (i.e. semantic definites) and contrasted with definite noun phrases and third person pr...

We present a type system for linear constraints over reals and its use in mode analysis of CLP programs. The type system is designed to reason about the properties of definiteness, lower and upper bounds of variables of a linear constraint. Two proof procedures are presented for checking validity of type assertions. The first one considers lower and upper bound types, and it relies on solving h...

In their article, How Courts Adjudicate Patent Definiteness and Disclosure, John R. Allison and Lisa Larrimore Ouellette present a comprehensive study—thirty years’ worth of cases—of federal courts’ application of patent law’s written-description, definiteness, and enablement requirements. Using their own hand-coded dataset, Allison and Ouellette measure a number of interesting disparities in c...

Many authors have argued that there exists a relation between case morphology, on the one hand, and semantic interpretation, on the other. A recurrent pattern is that the presence of overt case corresponds with a strong interpretation, i.e., definite, specific, whereas the absence of case corresponds with a weak interpretation, i.e., indefinite, non-specific. In this paper we argue on the basis...

In some Norwegian dialects, such as older Oslo dialect, the noun mamma ‘mother’ unexpectedly appears to be masculine. The Nordreisa dialect (Northern Norwegian) goes one step further. The word looks like it is masculine, but only in the definite form. This is an unusual “split” because gender mixture is normally based on number, not definiteness (but we find some few corroborative examples in o...