in the modern era and through abstraction, art turns to a path in which the beginning and end of an artwork get closer together than in any other era in an attempt to make the minimum space between the subject and the object, or the work and viewer so that the work is created while receiving the minimum influence from the external world and maximum closeness to the very essence of abstraction a...

potato virus y (pvy) and potato leafroll virus (plrv) are two major viruses which reduce 10-90 percent of yield and quality of potato tubers. in the present study, the efficiency of different methods, including meristem culture, thermotherapy followed by meristem culture and electerotherapy followed by meristem culture in two cultivars (agria and marfona) infected by plrv or pvy were evaluated....

conclusions there is a risk for constipation after abdominal surgery. postoperative practices are effective on the risk of constipation. objectives to determine constipation risk before the surgery, bowel elimination during postoperative period, and the factors affecting bowel elimination. patients and methods this is a cross-sectional study. it was conducted in a general surgery ward of a univ...

We generalize the Gauss algorithm for the reduction of two–dimensional lattices from the l2-norm to arbitrary norms and extend Vallée’s analysis [J. Algorithms 12 (1991), 556-572] to the generalized algorithm.

Given the equations of the first and the second order surfaces in Rn, our goal is to construct a univariate polynomial one of the zeros of which coincides with the square of the distance between these surfaces. To achieve this goal we employ Elimination Theory methods. The proposed approach is also extended for the case of parameter dependent surfaces.

Abstract We consider the critical spread-out contact process in Z with d ≥ 1, whose infection range is denoted by L ≥ 1. The two-point function τt(x) is the probability that x ∈ Z is infected at time t by the infected individual located at the origin o ∈ Z at time 0. We prove Gaussian behavior for the two-point function with L ≥ L0 for some finite L0 = L0(d) for d > 4. When d ≤ 4, we also perfo...

This file provide the detailed steps for obtaining the bounds on R1, R2 via the obtained results on (R1c, R1p, R2c, R2p). The rate pair (R1c, R1p, R2c, R2p) is achievable if it satisfies following inequalities. R1c ≤ rank(U 1 H11V21) (1) R1p ≤ m1 − r21 (2) R2c ≤ r12 (3) R1c +R1p ≤ r11 (4) R1c +R2c ≤ r12 + rank(U 10H11V21) (5) R1p +R2c ≤ r12 + rank(U 10H11V20) (6) R1c +R1p +R2c ≤ n1 (7) R2c ≤ ra...

We present modifications of model elimination which do not necessitate the use of contrapositives. These restart model elimination calculi are proven sound and complete. The corresponding proof procedures are evaluated by a number of runtime experiments and they are compared to other well known provers. Finally we relate our results to other calculi, namely the connection method, modified probl...

The generalized Higham matrix is a complex symmetric matrix A = B + iC, where both B ∈ Cn×n and C ∈ Cn×n are Hermitian positive definite, and i = √−1 is the imaginary unit. The growth factor in Gaussian elimination is less than 3 √ 2 for this kind of matrices. In this paper, we give a new brief proof on this result by different techniques, which can be understood very easily, and obtain some ne...