in this paper we study properties of symbols such that these belong to class of symbols sitting insidesm ρ,φ that we shall introduce as the following. so for because hypoelliptic pseudodifferential operatorsplays a key role in quantum mechanics we will investigate some properties of m−hypoelliptic pseudodifferential operators for which define base on this class of symbols. also we consider maxi...

In this paper we present a new fixpoint-based approach to bottom-up state generation for stratifiable disjunctive deductive databases. To this end, a new consequence operator based on hyperresolution is introduced which extends Minker’s operator for positive disjunctive Datalog rules. In contrast to already existing model generation methods our approach for efficiently computing perfect models ...

This paper demonstrates design and fabrication o f a mechatronic system for human drowsiness detection. This system can be used in multiple places. For example, in factories, it is used on some dangerous machinery and in cars in order t o prevent the operator o r driver from falling asleep. This system is composed of three parts: (1) mechanical, (2) electrical and (3) image processing system. A...

The four-nucleon bound state and scattering below three-body breakup threshold are described based on the realistic coupledchannel potential CD Bonn + ∆ which allows the excitation of a single nucleon to a ∆ isobar. The Coulomb repulsion between protons is included. In the four-nucleon system the two-baryon coupled-channel potential yields effective two-, threeand fournucleon forces, mediated b...

Let M be a compact spin manifold with a smooth action of the ntorus. Connes and Landi constructed θ-deformations Mθ of M , parameterized by n × n skew-symmetric matrices θ. The Mθ’s together with the canonical Dirac operator (D,H) on M are an isospectral deformation of M . The Dirac operator D defines a Lipschitz seminorm on C(Mθ), which defines a metric on the state space of C(Mθ). We show tha...

In this paper we study the one-sided shift operator on a state space defined by a finite alphabet. Using a scheme developed by Walters [13], we prove that the sequence of iterates of the transfer operator converges under square summability of variations of the g-function, a condition which gave uniqueness of a g-measure in [7]. We also prove uniqueness of so-called G-measures, introduced by Bro...