نتایج جستجو برای: using violation and comparative tableau

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

پایان نامه :دانشگاه بین المللی امام خمینی (ره) - قزوین - دانشکده علوم پایه 1390

abstract: the present study is about prophet ishmael, some parts of his life; his personality in the quran and the bible; and the comparison of the content of these two religious books. compilation of the study has been done with a new perspective and new presentation approach. since prophets have been human beings’ role model and their life has been a perfect example for humanity in all ages,...

2006
Vineet Padmanabhan Guido Governatori Matteo Baldoni

In [12,16] we showed how to combine propositional BDI logics using Gabbay’s fibring methodology. In this paper we extend the above mentioned works by providing a tableau-based decision procedure for the combined/fibred logics. To achieve this end we first outline with an example two types of tableau systems, (graph & path), and discuss why both are inadequate in the case of fibring. Having done...

Journal: :International Business & Economics Research Journal (IBER) 2011

پایان نامه :دانشگاه تربیت معلم - سبزوار - دانشکده علوم انسانی و پایه 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...

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

this study considers the level of increase in customer satisfaction by supplying the variant customer requirements with respect to organizational restrictions. in this regard, anp, qfd and bgp techniques are used in a fuzzy set and a model is proposed in order to help the organization optimize the multi-objective decision-making process. the prioritization of technical attributes is the result ...

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

this study attempted to explore if teaching english collocations through two different modes of awareness-raising and input flooding has any possible differential effect on immediate retention as well as retention in a delayed assessment. it also compared the possible differential effect of teaching english collocations implicitly and explicitly on actively using the items in writing. m...

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

this thesis is presented 10 ghz voltage controlled ring oscillator for high speed application. the voltage controlled ring oscillator was designed and fabricated in 0.13یm cmos technology. the oscillator is 7-stages ring oscillator with one inverter replaced by nand-gate for shutting down in the ring oscillator during idle mode. tri-state inverter was used to control of 126 bit vector in ri...

1999
Heiko Mantel Jens Otten

linTAP is a tableau prover for the multiplicative and exponential fragment M?LL of Girards linear logic. It proves the validity of a given formula by constructing an analytic tableau and ensures the linear validity using prefix unification. We present the tableau calculus used by linTAP, an algorithm for prefix unification in linear logic, the linTAP implementation, and some experimental result...

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

some new water-soluble schiff base complexes of na2[m(5-so3-1,2-salophen)].nh2o; (5-so3-1,2-salophen = n,n’-bis(5-sulphosalicyliden)-1,2-phenylendiamine); na2[m(5-so3-2,3-salpyr)(h2o)n].2h2o; (5-so3-2,3-salpyr = n,n’-bis(5-sulphosalicyliden)-2,3-diaminopyridine); and na2[m(5-so3-3,4-salbenz)(h2o)n].nh2o; (5-so3-3,4-salbenz = n,n’-bis(5-sulphosalicyliden)-3,4-diaminobenzophenon); where m = cu, n...

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

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