نتایج جستجو برای: inductive and experimental formulas
تعداد نتایج: 16918364 فیلتر نتایج به سال:
implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...
abstract poor reading comprehension can result in failure in using references, benefiting from professional gatherings and resources, keeping up with the growing body of knowledge in the virtual world of the internet, and failing to achieve in efl programs. the purpose of the present quasi-experimental study was to explore the effects of background knowledge and previewing narrative and expos...
the present research was conducted to explore the effect of employing two language teaching approaches, i.e. schema-based instruction (sbi) and translation-based instruction (tbi), on vocabulary knowledge, structure and reading comprehension ability of forty one female students learning english in grade one senior high school in rivash, kuhsorkh, iran. while sbi focuses on schemata, i.e. words ...
abstract the present study was an attempt to investigate the effect of critical thinking on writing ability of 60 iranian intermediate efl learners studying at chenar language institute in khuzestan, iran. to this end, the participants of the study were selected based on their performance in an pet test, a cornell critical thinking test form x and a pre-test of writing. the participants un...
abstract although music possesses some kind of power and using it has been welcome by many students in language classrooms, it seems that they take a non-serious image of the lesson while listening to songs and they may think that it is a matter of fun. the main objective of the present study was to investigate whether learning a foreign language through musical texts (songs) can have an impac...
abstract the first purpose of this study was to investigate the effect of consciousness-raising (c-r) activities on learning grammatical structures (simple present tense in this case) by iranian guidance school efl learners. the second one was to investigate the effect of gender on learning the simple present tense through c-r activities and tasks. finally, this study aimed to investigate the ...
monumental changes occurring on a daily basis have altered the world into a global village of expanding technology and shrinking geography in which preparing language learners for intercultural communication seems to be a sine qua non for modern language education. employing a cross-sectional design in its first phase, this study investigated the intercultural sensitivity and language proficien...
The aim is to construct a language for the classical predicate calculus. The language is defined as a subset of the language constructed in [7]. Well-formed formulas of this language are defined and some usual connectives and quantifiers of [7], [1] are accordingly. We prove inductive and definitional schemes for formulas of our language. Substitution for individual variables in formulas of the...
It is well-known that CTL and LTL have incomparable expressive power. In this paper, we give an inductive definition of those ACTL formulas that can be expressed in LTL. In addition, we obtain a procedure to decide whether an ACTL formula lies in LTL, and show that this problem is PSPACE complete. By omitting path quantifiers, we get an inductive definition of the LTL formulas expressible in AC...
Program learning focuses on the automatic generation of programs satisfying the goal of a teacher. One common approach is counter-example guided inductive synthesis, where we generate a sequence of candidate programs and the teacher responds with counter-examples for which the candidate fails. In this paper we focus on a logical approach, where programs are tuples of logical formulas, i.e. logi...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید