This study aimed to identify the portions of teaching materials for English classes in Iran’s high schools. The efficiency of these materials was evaluated by (a) eliciting the teachers’ perception of the materials to identify their distribution portions and (b) studying the teachers’ satisfaction to identify whether the materials were successful to develop the EFL teachers’ knowledge and skill...

Unlike sequential programs, concurrent programs have to account for interference on shared variables. Static verification of a desired property for such programs crucially depends on precisely asserting the conditions for interference. In a static proof system, in addition to program variables, auxiliary (history) variables summarizing the past of the program execution are used in these asserti...

BACKGROUND Getting incapacity benefit (IB) claimants into work has become a focus for policy makers. Strategies to help this group depend on an understanding of the reasons for claiming benefit at a local level where variations from a national strategy may be needed. METHODS Data supplied by the Department for Work and Pensions (DWP) was analysed to establish reasons for claiming benefit in S...

Logically, group members cannot be responsible for more than 100% of the group's output, yet claims of responsibility routinely sum to more than 100%. This "over-claiming" occurs partly because of egocentrism: People focus on their own contributions, as focal members of the group, more than on others' contributions. Therefore, we predicted that over-claiming would increase with group size becau...

this study aimed to identify the portions of teaching materials for english classes in iran’s high schools. the efficiency of these materials was evaluated by (a) eliciting the teachers’ perception of the materials to identify their distribution portions and (b) studying the teachers’ satisfaction to identify whether the materials were successful to develop the efl teachers’ knowledge and skill...