Symbolic execution is a well established method for test input generation. By taking inputs as symbolic values and solving constraints encoding path conditions, it helps achieve a better test coverage. Despite of having achieved tremendous success over numeric domains, existing symbolic execution techniques for heap-based programs (e.g., linked lists and trees) are limited due to the lack of a ...

We consider the problem of elimination of existential quantifiers from a Boolean CNF formula. Our approach is based on the following observation. One can get rid of dependency on a set of variables of a quantified CNF formula F by adding resolvent clauses of F eliminating boundary points. This approach is similar to the method of quantifier elimination described in [9]. The difference of the me...

background : spiritual well-being is one of the fundamental concepts in chronic diseases which create meaning and purpose in life and is an important approach in promoting general health and quality of life. this study performed to determine the level of spiritual health and its dimensions in patients with multiple sclerosis (ms). methods : 236 members of iranian ms society were volunteered to ...

The function F has three semi-infinite lines of tangent discontinuity: l1 = {(x, 0) : x ≥ 0}, l2 = {(x,−x) : x ≤ 0}, and l3 = {(x, x) : x ≤ 0} which meet at the origin. These lines, when restricted to the triangle △, divide △ into three quadrilaterals. If we further divide these quadrilaterals by the three line segments [0,x1], [0,x2], [0,x3] joining the origin to the three vertices of △ we obt...

We describe a coherent, eclectic approach to interpreting, representing, and integrating knowledge from different scientific disciplines or communities of practice. The approach, called ECLECTIC, draws from a complementary blend of ethnological methods, the hermeneutic analysis of domains, and ecology. Our description focuses on the conceptual bases of this approach, its value, and uses, partic...

We consider the sequence of the hyperspheres Mn,r i.e. the homogeneous transitive spaces of the Cartan subgroup SDiag(n, R) of the group SL(n, R), n = 1 . . . , and studied the normalized limit of the corresponding sequence of the invariant measures mn on those spaces. In the case of compact groups and homogeneous spaces, as example for classical pairs (SO(n), Sn−1), n = 1 . . . the limit of co...