The goal of this paper is to investigate the enduring problem of data semantics recurred in the context of data integration and the semantic web. The investigation is based on two principles, correspondence continuum and semantic encapsulation. The correspondence continuum postulates that data semantics amounts to a continuum of correspondences. The continuum starts from linguistic structures, ...

Consider real reductive group G, as defined in [Wal88]. Let Π be an irreducible admissible representation of G with the distribution character ΘΠ, [Har51]. Denote by uΠ the lowest term in the asymptotic expansion of ΘΠ, [BV80]. This is a finite linear combination of Fourier transforms of nilpotent coadjoint orbits, uΠ = ∑ O cOμ̂O. As shown by Rossmann, [Ros95], the closure of the union of the ni...

"Territorial" theories argue that spatial design can only play an important role in society by virtue of there being a "correspondence" between spatial zones and social identities. In this paper it is argued that "structured non-correspondence" can also play a positive social role, with quite different consequences for spatial design. To the extent that a system works on non-correspondences it ...

This is the classical version of pseudodifferential operators that is used in the investigation of partial differential operators, cf. [21]. In the language of physics, the Kohn–Nirenberg correspondence and its relatives such as the Weyl correspondence are methods of quantization. In the language of engineering, they are time-varying filters. The Kohn–Nirenberg correspondence is usually analyze...

This book investigates the linguistic and formal aspects of more than a thousand requests for justice protection preserved in Egyptian papyri Roman Principate, mainly written Greek. For many centuries Egypt, from Ptolemaic period to late Empire, petitions addressed judicial authorities shared same textual structure made use recurring lexical formulas. Such uniformity was result adherence by scr...

This work provides a comprehensive approach to analyze the entanglement between subsystems generated by identical particles, based on symmetric/exterior algebra (SEA) and microcausality. Our method amends no-labeling (NLA) quantify any type of particles' entanglement, especially fermions with parity superselection rule. We can non-local properties states in fundamentally equivalent way those fo...

Abstract. Explicit enforcement of strictness is used by functional programmers for many different purposes. Few functional programmers, however, are aware that explicitly enforcing strictness has serious consequences for (formal) reasoning about their programs. Some vague “folklore” knowledge has emerged concerning the correspondence between lazy and strict evaluation but this is based on exper...