Two methods for a first order hardware gradiometer using two HTS SQUIDs

Deficit irrigation for corn: a comparison of two methods

Hardware-Veri cation using First Order BDDsy

Binary decision diagrams (BDDs) are a well known method for representing and comparing boolean functions. Although BDDs are known to be very compact, in all known approaches for hardware veriication, BDD-based calculi are restricted to propositional logic. This logic is insuucient for the veriication of abstract data types, time abstraction and also for hierarchical veriication. In this paper, ...

New family of Two-Parameters Iterative Methods for Non-Linear Equations with Fourth-Order Convergence

Two modified Jacobi methods for M-matrices

TWO LOW-ORDER METHODS FOR THE NUMERICAL EVALUATION OF CAUCHY PRINCIPAL VSlLUE INTEGRALS OF OSCILLATORY KIND

In this paper, we develop two piecewise polynomial methods for the numerical evaluation of Cauchy Principal Value integrals of oscillatory kind. The two piecewisepolynomial quadratures are compact, easy to implement, and are numerically stable. Two numerical examples are presented to illustrate the two rules developed, The convergence of the two schemes is proved and some error bounds obtai...