نتایج جستجو برای: eclectic method based on existential approach
تعداد نتایج: 10092746 فیلتر نتایج به سال:
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...
since its introduction in 1959, translation quality assessment (tqa) has been among the most addressed research topics in translation studies. during recent years, there has been a crucial increase on the study of tqa. various methods have come on scene. although these methods are based on scientific theories, most of them have remained at the level of theory. juliane house’s model is among tho...
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 ...
Background: This study was carried out in order to compare the effectiveness of two group therapies: ‘existential and spiritual approach’ on trust, self- esteem and anxiety of divorced women in Mashhad city. Methods: 45 divorced women, who referred to counseling centers and social work clinics (Aria & Bahar) in Mashhad, were selected with in access sampling. They filled the three questionnaires...
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...
هویت, شکل دادن و بازنمایی آن در گفتمان, توجه بسیاری از محققان این رشته را به خود جلب کرده است. تحقیق حاضر بر شکل دادن به هویت جنسیتی هشت تن از دانشجویان ایرانی مشغول به تحصیل در دوره کارشناسی ارشد از طریق بررسی روایات آنان از تجربیات شخصی, متمرکز شده است. تحلیل داده ها در این تحقیق مشتمل بر سه بخش است: بخش اول شامل کدگذاری موضوعی روایات است که بر اساس آن هویت جنسیتی شرکت کنندگان در تحقیق بر اسا...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید