نتایج جستجو برای: using violation and comparative tableau
تعداد نتایج: 17367518 فیلتر نتایج به سال:
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,...
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...
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...
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 ...
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...
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...
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...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید