ModGen (Model Generation) is a complete theorem prover for rst order logic with nite Herbrand domains. ModGen takes rst order formulas as input, and generates models of the input formulas. ModGen consists of two major modules: a module for transforming the input formulas into propositional clauses, and a module to nd models of the propositional clauses. The rst module can be used by other resea...

This article extends Coombs and Holladay’s (2018) social issues management model to provide new perspectives on activism public relations. It also fills a gap in the literature internal by analyzing case of The Ogilvy Group their employees, many whom pushed for agency resign its work U.S. Customs Border Protection. Through textual analysis leaked transcript documenting meeting between activist ...

In this thesis, general formulas for the scalar modes ai and a i D in the Seiberg– Witten SU(N) setting are derived in the cases with and without massive hypermultiplets. These formulas are applied in two cases: (i) the asymptotic behavior of the scalar modes in the asymptotically free region of moduli space is derived in the SU(2) case, (ii) the SU(3) Argyres–Douglas point is studied. In the l...

PURPOSE To evaluate the visual and refractive outcomes, lens power calculation accuracy, and safety of negative power intraocular lenses (IOLs) implanted in highly myopic eyes at the time of cataract surgery. DESIGN Interventional case series. METHODS Sixteen consecutive highly myopic eyes implanted with IOLs from -1 D to -6 D were identified. IOL power; preoperative and postoperative best-...

We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...

We consider a Gaussian type quadrature rule for some classes of integrands involving highly oscillatory functions of the form f (x) = f 1 (x) sin ζ x + f 2 (x) cos ζ x, where f 1 (x) and f 2 (x) are smooth, ζ ∈ R. We find weights σ ν and nodes x ν , ν = 1, 2,. .. , n, in a quadrature formula of the form 1 −1 f (x) dx ≈ n ν=1 σ ν f (x ν) such that it is exact for all polynomials f 1 (x) and f 2 ...

We study homomorphisms of propositional formulas in CNF generalizing symmetries considered by Krishnamurthy. If φ : H → F is a homomorphism, then unsatisfiability of H implies unsatisfiability of F . Homomorphisms from F to a subset F ′ of F (endomorphisms) are of special interest, since in such case F and F ′ are satisfiability-equivalent. We show that smallest subsets F ′ of a formula F for w...