We solve the Kato problem for divergence form elliptic operators whose heat kernels satisfy a pointwise Gaussian upper bound. More precisely, given the Gaussian hypothesis, we establish that the domain of the square root of a complex uniformly elliptic operator L = −div(A∇) with bounded measurable coefficients in Rn is the Sobolev space H1(Rn) in any dimension with the estimate ‖ √ Lf‖2 ∼ ‖∇f‖2...

selective harmonic elimination (she) is a powerful modulation scheme aims to find the required switching angles in order to eliminate the number of undesired harmonics. she is a complicated problem which consists of several nonlinear equations which have multiple local minima. in order to eliminate the higher number of undesired harmonics and as a result reducing the total harmonic distortion (...

We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented in terms of types ascribed to expressions and statements, certifiable by type derivations, and the transformation component carries out the optimizations that the type derivations license. We describe dead code elimin...

We apply an extension of the Nelson-Oppen combination method to develop a decision procedure for the non-disjoint union of theories modeling data structures with a counting operator and fragments of arithmetic. We present some data structures and some fragments of arithmetic for which the combination method is complete and effective. To achieve effectiveness, the combination method relies on pa...

abstract Modoc was proposed by Van Gelder as an improvement to model elimination. The main contribution of Modoc is in its new pruning technique based on the concept of autarky, rst introduced by Monien and Speckenmeyer. Compared to programs based on model search, Modoc has since been observed to excel in speed on circuit formulas yet to fall behind on random formulas. This paper reports on a s...

We show that the Sudakov factor from the resummation of double logarithms ln(s/k T ) contained in the distribution functions is responsible for the kT smearing mechanism employed in the next-to-leading-order QCD (αα 2 s) calculations of direct photon production. s is the center-of-mass energy, and kT the transverse momentum carried by a parton in a colliding hadron. This factor exhibits the app...