نتایج جستجو برای: inductive and experimental formulas
تعداد نتایج: 16918364 فیلتر نتایج به سال:
We propose a novel framework of program and invariant synthesis called neural network-guided synthesis. first show that, by suitably designing training networks, we can extract logical formulas over integers from the weights biases trained networks. Based on idea, have implemented tool to synthesize positive/negative examples implication constraints, obtained promising experimental results. als...
within communicative, interactive, and learner-centered framework of language teaching and learning, students need to learn four skills of listening, speaking, reading, and writing for their educational success. but of all the language skills, reading enjoys a paramount significance in so many second or foreign language academic contexts. in spite of its importance, language learners still have...
this study examines the effetivenss of task-based activities in helping students learn english language structures for a better communication. initially, a michigan test was administered to the two groups of 52 students majoring in english at the allameh ghotb -e- ravandi university to ensure their homogeneity. the students scores on the grammar part of this test were also regarded as their pre...
My IRIS system contains a set of forumulas that consist of actions that the Drama Manager can perform in certain sequences to create suspense. I plan on evaluating these formula experimentally. I hope to show that these formula are sufficient to create suspense, in that they are comparable to a human author's mental formula for creating suspense and better than a logically consistent baseline. ...
this study investigated the effects of three kinds of gloss conditions, that is traditional non-call marginal gloss, audio gloss, and extended audio gloss, on reading comprehension and vocabulary gain of iranian upper- intermediate efl learners. to this end, three experimental and one control groups, each comprising 15 participants, took part in the current study. in order to ensure that the pa...
A seaweed subalgebra of a semisimple Lie algebra g is a generalization of the notion of parabolic subalgebra. In the case g = sl(V ), seaweed subalgebras were recently introduced by Dergachev and Kirillov. We give an inductive procedure for computing the index of seaweed subalgebras of classical Lie algebras. This allows us to prove that the index of any seaweed in sl(V ) or sp(V ) is at most t...
a large number of single research studies on the effects of strategy-based instruction (sbi) in teaching english as a foreign or second language has been conducted so far. however, the lack of a comprehensive meta-analysis targeting the effectiveness of english language sbi is observed. moreover, the findings of experimental studies regarding the context of the english language, proficiency lev...
The debate in equilibrium selection appears to have culminated in the formation of two schools of thought: those that favor equilibrium selection based on rational coordination and those that favor zero-rationality adaptation. We examine four deductive selection principles and find that each fails to explain experimental data. We propose an inductive selection principle based on simple learning...
abstractof two mcall programs introducing 100 vocabulary items through two im the researcher of the present study was intrigued to compare the effects age modalities (pictures and streaming video) with those of a conventional method (teacher instruction) in an efl context. she set out to investigate whether such multimedia environments could provide a more effective environment for vocabulary...
hydrochlorothiazide (hct) is a diuretic agent which is shown to be effective in the treatment of hypertension. literature reports have demonstrated that urinary excretion data may be used to assess the bioavailability of various formulations containing this thiazide. also hct consumption by the athletes is one of the drugs which should be regulated by world anti-doping agency (wada), because of...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید