Two common approaches to constructive and effective topology are connected by showing that formal topologies have canonical representation in terms of Scott domains. Moreover a map lifting theorem for the representation is proved. MSC 2000 classification: 54A05, 03D45, 03F65.

We investigate hypergraphs as mathematical model for representation of nonclassical molecular structures with polycentric delocalized bonds. The questions of identi0cation and canonical coding of molecular hypergraphs are considered. In order to recognize isomorphic hypergraphs, the canonical forms of incidence matrices are to be found. The algorithm for construction of canonical incidence matr...

Capturing and analyzing the correlations among facial parts are important for interpreting facial behaviors precisely. In this paper, we exploit Canonical Correlation Analysis (CCA) to model the correlations of facial parts for facial expression analysis. We propose a Matrix-based Canonical Correlation Analysis (MCCA) for better correlation analysis on 2D image or matrix data in general. Extens...

Abstract. Semantic keypoints provide concise abstractions for a variety of visual understanding tasks. Existing methods define semantic keypoints separately for each category with a fixed number of semantic labels. As a result, these representation is not suitable when objects have a varying number of parts, e.g. chairs with varying number of legs. We propose a category-agnostic keypoint repres...

In this paper, we describe a hybrid bitand word-level representation called Linear Taylor Expansion Diagram (LTED) [1]. This representation not only has a compact and canonical form, but also is close to hardware-software descriptions so that it can be utilized as a formal model for formal verification and synthesis. The power of abstraction of LTED allows us to represent system level of hardwa...

Contrary to the usual belief, by carefully examining the operation of parity transformation on the (1, 0)⊕(0, 1) mesons in the generalized canonical representation, we establish that the (j, 0) ⊕ (0, j) meson-antimeson pair have opposite intrinsic parity. This opens up the possibility that while the particles without an internal structure may utilize one representation of the Lorentz group, phe...

This paper first introduces a canonical representation for cylinders. The canonical representation introduced here is closely related to the Plücker line respresentation. It then drives the general equation of a cylinder using this representation. In this paper, we also show that this representation is an appropriate one for computer vision applications. In particular, it allows us to easily de...

In spite of the fact that discrete phase type (DPH) distributions are used almost as often as their continuous phase type (CPH) distributions canonical representations are not available for general (cyclic) DPH distributions. In this paper we investigate the canonical representation of DPH distributions of order 2 and 3. During the course of this investigation we nd DPH properties which essenti...