نتایج جستجو برای: inductive and experimental formulas
تعداد نتایج: 16918364 فیلتر نتایج به سال:
vocabulary as a major component of language learning has been the object of numerous studies each of which has its own contribution to the field. finding the best way of learning the words deeply and extensively is the common objective of most of those studies. however, one effective way for achieving this goal is somehow neglected in the field. using a variety of activities such as games can r...
In the present study the effect of Inductive Thinking Model on achievement in Scientific Creativity of class IX students was investigated. Non-randomised pre-test-post-test control group experimental design was followed. Sample of 201 students was picked up for the study comprising of two groups viz. Control and experimental group. Tools used were: Scientific creativity test developed by S.K. M...
this study investigated how group formation method, namely student-selected vs. teacher-assigned, influences the results of the community model of teaching creative writing; i.e., group dynamics and group outcome (the quality of performance). the study adopted an experimental comparison group and microgenetic research design to observe the change process over a relatively short period of time. ...
Background: In several disease conditions, patients must inevitably be nourished by enteral feeding (EF). Though in many countries, commercial formulas are routinely used for EF, in Iran still home-made formulas are commonly employed as commercial formulas are not covered by insurance. This may pose patients to malnutrition and bring about further costs. The aim of this study was to evalu...
in this thesis, phosphorus ylides [phbppy], [no2bppy] and [brbppy] have been synthesized through the formation of phosphonium salt and dihydrogenation, followed by the reaction of pd(oac)2 and the orthopalladated dinuclear complexes [pd(?-cl)(phbppy)]2, [pd(?-cl)(no2bppy)]2 and [pd(?-cl)(brbppy)]2 have been produced. the reaction of dinuclear complexes and bidentate ligands [l = bipy (2,2-bipyr...
a one dimensional dynamic model for a riser reactor in a fluidized bed catalytic cracking unit (fccu) for gasoil feed has been developed in two distinct conditions, one for industrial fccu and another for fccu using various frequencies of microwave energy spaced at the height of the riser reactor (fccu-mw). in addition, in order to increase the accuracy of component and bulk diffusion, instanta...
We present a (semi-)decision procedure for checking entailment between separation logic formulas with inductive predicates specifying complex data structures corresponding to finite nesting of various kinds of linked lists: acyclic or cyclic, singly or doubly linked, skip lists, etc. The decision procedure is compositional in the sense that it reduces the problem of checking entailment between ...
In this paper, a new SVM classification algorithm is proposed, this algorithm is applied in Quantified Boolean Formulas (QBF) hybrid solving and a new QBF hybrid solver is designed. This solver apply SVM algorithm to construct inductive models and classify the formulae. At the same time, the reinforcement learning technology is applied to realize the dynamic algorithm selection. The relationshi...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید