نتایج جستجو برای: eclectic method based on existential approach

تعداد نتایج: 10092746  

Journal: :CoRR 2017
Long H. Pham Quang Loc Le Quoc-Sang Phan Jun Sun Shengchao Qin

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 ...

Journal: :CoRR 2012
Eugene Goldberg Panagiotis Manolios

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...

Journal: :The Korean Association of General Education 2020

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده زبانهای خارجی 1391

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...

Journal: :iranian journal of nursing and midwifery research 0
maryam allahbakhshian mahshid jafarpour soroor parvizi

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 ...

ژورنال: پژوهش های مشاوره 2013
حسن آبادی, حسین, غفوریان نوروزی, پریسا, قنبری هاشم آبادی, بهرامعلی,

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...

Journal: :Computer Aided Geometric Design 1997
Michael S. Floater

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...

2001
Mary A. Meyer Ray C. Paton

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...

2008
A. M. VERSHIK

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...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه رازی - دانشکده ادبیات و علوم انسانی 1389

هویت, شکل دادن و بازنمایی آن در گفتمان, توجه بسیاری از محققان این رشته را به خود جلب کرده است. تحقیق حاضر بر شکل دادن به هویت جنسیتی هشت تن از دانشجویان ایرانی مشغول به تحصیل در دوره کارشناسی ارشد از طریق بررسی روایات آنان از تجربیات شخصی, متمرکز شده است. تحلیل داده ها در این تحقیق مشتمل بر سه بخش است: بخش اول شامل کدگذاری موضوعی روایات است که بر اساس آن هویت جنسیتی شرکت کنندگان در تحقیق بر اسا...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید