نتایج جستجو برای: inductive and experimental formulas

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

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

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

2015

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

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

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

Bahareh Nikooyeh, Majid Hassan-Ghomi, Soudabeh Motamed, Tirang R. Neyestani,

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

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

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

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

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

Journal: :Formal Methods in System Design 2014
Constantin Enea Ondrej Lengál Mihaela Sighireanu Tomás Vojnar

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

2012
Tao Li Nanfeng Xiao

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

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

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