We revisit the problem of extending quadrature formulas for general weight functions, and provide a generalization of Patterson’s method for the constant weight function. The method can be used to compute a nested sequence of quadrature formulas for integration with respect to any continuous probability measure on the real line with finite moments. The advantages of the method include that it w...

We start with a simple proof of Leivant's normal form theorem for 1 1 formulas over nite successor structures. Then we use that normal form to prove the following: (i) over all nite structures, every 1 2 formula is equivalent to a 1 2 formula whose rst-order part is a boolean combination of existential formulas, and (ii) over nite successor structures, the Kolaitis-Thakur hierarchy of minimizat...

A generic lumped-element circuit of dual-band bandstop filter (DBBSF) is proposed based on novel composite shunt resonators, and its design method is developed with closed-form formulas. As an example, a DBBSF with center frequencies of 1.7 and 2.3GHz is designed and fabricated using microstrip lines. The measured frequency response agrees excellently with the theoretical predictions, validatin...

New types of test-instance generators have been developed for generating random CNF (Conjunctive Normal Form) formulas with controlled attributes. In this paper, we use these generators to test the performance of localsearch-based SAT algorithms. For this purpose, the generator which produces formulas having exactly one satisfying truth assignment is especially desirable. It is shown that (i) a...

Let 2N be the class of families of problems solvable by families of two-way nondeterministic finite automata of polynomial size. We characterize 2N in terms of families of formulas of transitive-closure logic. These formulas apply the transitive-closure operator on a quantifier-free disjunctive normal form of first-order logic with successor and constants, where (i) apart from two special varia...

MAXSAT solutions, i.e., near-satisfying assignments for propositional formulas, are sometimes meaningless for real-world problems because such formulas include “mandatory clauses” that must be all satisfied for the solution to be reasonable. In this paper, we introduce Partial MAXSAT and investigate how to solve it using local search algorithms. An instance of Partial MAXSAT consists of two for...

• Welfare effects of taxation and other costs under imperfect competition are analyzed. Formulas for the marginal value public funds incidence provided. Our framework can be readily extended to encompass firm heterogeneity. This paper provides a comprehensive study welfare multiple policy interventions external changes with emphasis on specific ad valorem as leading case. Specifically, in relat...

We develop a new method to automatically prove security statements in the Generic Group Model as they occur in actual papers. We start by defining (i) a general language to describe security definitions, (ii) a class of logical formulas that characterize how an adversary can win, and (iii) a translation from security definitions to such formulas. We prove a Master Theorem that relates the secur...

This is the continuation of the paper which appeared in the January, 1926, number of these Transactions.! Its chief object is to extend to an Mn with a boundary the results already obtained for transformations of manifolds without boundary. To these already treated in full we devote a few pages chiefly to elucidate and simplify certain points of importance for the extension. We have succeeded i...

The purpose of this study was to develop an environmentally friendly detergent formula containing simplicial powder hibiscus leaf (Hisbiscus tiliaceus L.) and lerak fruit (Sapindus rerak DC.) combined with biodegradable surfactants (Decyl Glucoside Lauryl Glucoside) so that they are easy biodegrade. research method includes making liquid using three formulas, namely F I, II, III variations in t...