da is a memory of iraqi war against iran. this narration of war is a representation of young girl life that had a significant role in her own time. this book challenges masculinity of war and passes out gender as a limitation. the important narration of war, mentioned in da, has been associated with 150 republication and these elements confirm research on da. this article tries to attempts to a...

Session types enable fine-grained static control over communication protocols. Gradual typing is a means to safely integrate statically and dynamically typed program fragments. We propose a calculus for synchronous functional two-party session types, augment this calculus with a dynamically typed fragment as well as coercion operations between statically and dynamically typed parts, and establi...

In this paper, the gradual real numbers are considered and the notion of the gradual normed linear space is given. Also some topological properties of such spaces are studied, and it is shown that the gradual normed linear space is a locally convex space, in classical sense. So the results in locally convex spaces can be translated in gradual normed linear spaces. Finally, we give an examp...

What is the impact of surprise and anticipated policy changes when agents form expectations using adaptive learning rather than rational expectations? We examine this issue using the standard stochastic real business cycle model with lump-sum taxes. Agents combine knowledge about future policy with econometric forecasts of future wages and interest rates. Both permanent and temporary policy cha...

this article aims to provide a simple robust method to test the parameters of a normal population by using the new diagnostic tool called the “forward search” (fs) method. the most commonly used procedures to test the mean and variance of a normal distribution are student’s t test and chi-square test, respectively. these tests suffer from the presence of outliers. we introduce the fs version of...

in the use of peer group data to assess individual, typical or best practice performance, the effective detection of outliers is critical for achieving useful results. in these ‘‘deterministic’’ frontier models, statistical theory is now mostly available. this paper deals with the statistical pared sample method and its capability of detecting outliers in data envelopment analysis. in the prese...

in this paper, the gradual real numbers are considered and the notion of the gradual normed linear space is given. also some topological properties of such spaces are studied, and it is shown that the gradual normed linear space is a locally convex space, in classical sense. so the results in locally convex spaces can be translated in gradual normed linear spaces. finally, we give an examp...