On six days rats were exposed to each of two contexts. They received an electric shock in one context and nothing in the other. Rats were tested later in each environment without shock. The rats froze and defecated more often in the shock-paired environment; they also exhibited a significantly larger elevation in rectal temperature in that environment. The rats discriminated between each contex...

In previous work, we have proposed a compositional framework for stating and automatically verifying complex conditional information flow policies using a relational Hoare logic. The framework allows developers and verifiers to work directly with the source code using source-level code contracts. In this work, we extend that approach so that the algorithm for verifying code compliance to an inf...

this paper employs a multivariate dynamic conditional correlation garch model, which is developed by engle (2001, 2002), to detect the timing and nature of changes in the comovement between iranian output and prices for the periods after iran–iraq war , known as imposed war . the results showed that there is a weak correlation between output and prices after imposed war and  varies periodically...

avicenna has divided the conditionals to the real cogent (i.e. with possible antecedent) and the verbal cogent (i.e. with the impossible antecedent). denying the truth of the latter, he caused controversies among moslem logicians. at the paper, we report the controversies, analyze the real and verbal cogent conditionals, formalize them in modern modal and relevant logics, and finally, defend id...

the purpose of the present study was to determine whether noticing through input enhancement had any impact on the acquisition of english conditional sentences in iranian efl learners. two intact classes with 26 female students in each were chosen. a proficiency test administered at the commencement of the study showed that the two groups were homogeneous in terms of their language proficiency....

in this paper, we show that the chapman-kolmogorov formula could be used as a recursive formula for computing the m-step-ahead conditional density of a markov bilinear model. the stationary marginal probability density function of the model may be approximated by the m-step-ahead conditional density for sufficiently large m.

in this paper, we show that the conditional transform with respect to the gaussian process involving the first variation can be expressed in terms of the conditional transform without the first variation. we then use this result to obtain various integration formulas involving the conditional $diamond$-product and the first variation.