The mathematical basis motivating the “implication operator” of the polySAT algorithm and its function is examined. Such is not undertaken with onerous rigor of symbolic mathematics; a more intuitive visual appeal being employed to present some of the mathematical premises underlying function of the implication operator. KEY TERMS — Algorithms, complexity, computation theory, satisfiability, gr...

With help of direct calculation, it is revealed that an essential concept in deriving the Boltzmann collisional operator, the scattering cross section in the laboratory frame, cannot be well defined. Along this line, it is suggested that the collisional operator, as well as the entire Boltzmann equation, should be reconsidered.

In the following we discuss how the theory of operator algebras, also called operator theory, can be applied in quantum computer science. From a computer scientist point of view, we will discuss some fundamental results of operator theory and their relevance in the context of domain theory. The theory of operator algebras originated in functional analysis in the 1930s and was extensively applie...

In this paper, we propose an efficient method for license plate localization in the images with various situations and complex background. At the first, in order to reduce problems such as low quality and low contrast in the vehicle images, image contrast is enhanced by the two different methods and the best for following is selected. At the second part, vertical edges of the enhanced image are...

We define a class of probabilistic models in terms of an operator algebra of stochastic processes, and a representation for this class in terms of stochastic parameterized grammars. A syntactic specification of a grammar is mapped to semantics given in terms of a ring of operators, so that grammatical composition corresponds to operator addition or multiplication. The operators are generators f...

We describe the construction of the genus-zero parts of conformal field theories in the sense of G. Segal from representations of vertex operator algebras satisfying certain conditions. The construction is divided into four steps and each step gives a mathematical structure of independent interest. These mathematical structures are intertwining operator algebras, genus-zero modular functors, ge...