In this paper, we propose a variant of stable model semantics for disjunctive logic programming and deductive databases. The semantics, called minimal founded, generalizes stable model semantics for normal (i.e. non disjunctive) programs but differs from disjunctive stable model semantics (the extension of stable model semantics for disjunctive programs). Compared with disjunctive stable model ...

Abstract Background Ketamine is an anesthetic drug that is importantly analgesic without respiratory depression. Ketamine increases blood pressure and heart rate. Propofol is an anesthetic drug with good sedation, rapid recovery, but it causes respiratory depression, low heart rate and low blood pressure. Combination of Ketamine and Propofol provides sedation, analgesia and rapid recovery wit...

The main goal of this note is to introduce another second-order differenceequation where every nontrivial solution is of minimal period 5, namelythe difference equation:xn+1 =1 + xn−1xnxn−1 − 1, n = 1, 2, 3, . . .with initial conditions x0 and x1 any real numbers such that x0x1 6= 1.

This study develops and analyzes preconditioned Krylov subspace methods to solve linear systems arising from discretization of the time-independent space-fractional models. First, we apply shifted Grunwald formulas to obtain a stable finite difference approximation to fractional advection-diffusion equations. Then, we employee two preconditioned iterative methods, namely, the preconditioned gen...

Stereo rectification is the determination of two image transformations (or homographies) that map corresponding points on images, projections same point in 3D space, onto horizontal line transformed images. Rectification used to simplify subsequent stereo correspondence problem and speeding up matching process. Rectifying transformations, general, introduce perspective distortion obtained which...

in this paper, we introduce the new class of implicit l-stable generalized hybrid methods forthe numerical solution of first order initial value problems. we generalize the hybrid methodswith utilize ynv directly in the right hand side of classical hybrid methods. the numericalexperimentation showed that our method is considerably more efficient compared to wellknown methods used for the numer...