A propositionalization of a theory in First-Order Logic (FOL) is a set of propositional sentences that is satisfiable iff the original theory is satisfiable. We cannot translate arbitrary FOL theories to propositional logic because FOL is only semi-decidable. However, when possible, it is often advantageous to do so because we can use optimized, efficient SAT solvers (e.g. [Moskewicz et al., 20...

In this work we present a general approach for developing high-order compact differencing schemes by utilizing the governing differential equation to help approximate truncation error terms. As an illustrative application we consider the stream-function vorticity form of the Navier Stokes equations, and provide driven cavity results. Some extensions to treat non-constant metric coefficients res...

By introducing the concepts of order almost Dunford-Pettis and almost weakly limited operators in Banach lattices, we give some properties of them related to some well known classes of operators, such as, order weakly compact, order Dunford-Pettis, weak and almost Dunford- Pettis and weakly limited operators. Then, we characterize Banach lat- tices E and F on which each operator from E into F t...

because of its widespread needs in different scientific fields, statistics and probability theory have gained great importance and medical students as well as students of other medically related disciplines including nursing need to use them especially in their research projects in undergraduate, graduate and postgraduate schools. this article deals with the question of finding the most effecti...

Compact finite difference scheme is applied for a partial integro-differential equation with a weakly singular kernel. The product trapezoidal method is applied for discretization of the integral term. The order of accuracy in space and time is , where . Stability and convergence in  norm are discussed through energy method. Numerical examples are provided to confirm the theoretical prediction ...

In this paper, we introduce and study new concepts of order L-weakly M-weakly compact operators. As consequences, obtain some characterizations Banach lattices with continuous norms or whose topological duals have norms. It is proved that if $$T:E \longrightarrow F$$ an operator between two lattices, then T only its adjoint $$T'$$ compact. Also, show compact, Some related results are also obtai...

BACKGROUND Application of user-centred design principles to Computerized provider order entry (CPOE) systems may improve task efficiency, usability or safety, but there is limited evaluative research of its impact on CPOE systems. OBJECTIVE We evaluated the task efficiency, usability, and safety of three order set formats: our hospital's planned CPOE order sets (CPOE Test), computer order set...