نتایج جستجو برای: method of separating variables

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

پایان نامه :دانشگاه تربیت معلم - تهران - دانشکده علوم انسانی 1390

abstract al- muntazam by ibn al -jawzi is one of the greatest the book ancient book of texts on history of islam in the 6th century.it is very important one;because of including rare reports which are not found any where.in addition to historical reports,his outlook , in which embodies information on mythologies, milal wa nihal (sects and creeds), geography, and political, social and religiou...

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

seismic retrofit strategies have been developed in the past few decades following the introduction of new seismic provisions and the availability of advanced materials and methods. it can be observed that new approaches to deal with more lateral forces are more innovative and more energy absorbent. in line with this, there is a growing trend toward the use of steel shear walls as a system with ...

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

with the introduction of communicative language teaching, a large number of studies have concerned with students’ oral participation in language classrooms. although the importance of classroom participation is evident, some language learners are unwilling to engage in oral activities. this passivity and unwillingness to participate in language classroom discussions is known as “reticence”. rev...

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

چکیده هدف اصلی این پژوهش شناسایی الزامات نظام مدیریت کیفیت فراگیر در حوزه پژوهشی دانشگاه اصفهان بود. سوالهای پژوهش با توجه به مولفه های مدیریت کیفیت (تعهد مدیران، بهبود مستمر فرایندها ، مشتری محوری ، منابع انسانی ، مدیریت اطلاعات ، زیرساختهای کیفیت ، استفاده از نتایج ، انعطاف پذیری، مشارکت در فعالیتهای پژوهشی، ایجاد فرهنگ کیفیت و تناسب ساختارهای سازمانی) که بر اساس مطالعه استانداردهای بین المل...

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

in this thesis protic and aprotic ammonium-based ionic liquids were synthesized and their surface tensions were measured in the range of 298-373k. the protics are alkyl ammonium-based ils with the carboxylate (formate, acetate, propionate) anion and aprotics are quaternary ammonium-based ils with bis(trifluoromethylsulfonyl)imide anion. capillary rise method was used for surface tension measure...

2016
Zhilin Wu

In a recent work by Demri and Deters (CSL-LICS 2014), first-order separation logic restricted to two variables and separating implication was shown undecidable, where it was shown that even with only two variables, if the use of negations is unrestricted, then they can be nested with separating implication in a complex way to get the undecidability result. In this paper, we revisit the decidabi...

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

the present study is paid to the evaluation of the welfare program of the unemployment insurance in iran. the main purpose which was the main reason for performing this thesis, was the unemployment insurance plan’s challenges in iran such as financial problems of this plan, prolongation of the credit receipt for some insured people, unemployment slow exiting from the unemployment insurance fund...

پایان نامه :دانشگاه تربیت معلم - سبزوار - دانشکده علوم انسانی و پایه 1393

burnout is a response to the chronic work stress which is prevalent mostly among the people who do people job, like teaching. the purpose of this study was to develop a valid and reliable instrument that can measure burnout in foreign language teachers. although some widely used instruments were developed before which measured burnout in teachers, a specific instrument which include specific sy...

1997
Jens Otten

We present a Prolog program that implements a sound and complete theorem prover for first-order intuitionistic logic. It is based on free-variable semantic tableaux extended by an additional string unification to ensure the particular restrictions in intuitionistic logic. Due to the modular treatment of the different logical connectives the implementation can easily be adapted to deal with othe...

2012
Philipp Rümmer

E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers, which are matched during proof search on ground terms to discover relevant instantiations of the quantified formula. E-matching has proven to be an efficient and practical approach to handle quantifiers, in particular ...

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

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