introduction the extended program of immunization (epi) in iran is started in 1984, and it played an important and effective role in controlling many infectious diseases in community. the objective of this study was to determine the time trends of vaccination coverage by the type of vaccine among children, in the age group of 0-24 months, in iran from the beginning of epi (1984) to 2013. materi...

In this paper it is argued that Hintikka’s game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is a formalization of imperfect information. Furthermore it is shown that the logic has several strange properties (e.g. renaming of bound variables is not allowed). An alternative semantics is proposed which formalizes intu...

Several variants of a first-order simplification rule for nonnormal form tableaux using syntactic constraints are presented. These can be used as a framework for porting methods like unit resolution or hyper tableaux to non-normal form free variable tableaux.

An alternative approach to the semantics of definite descriptions was proposed by Heim in her dissertation [1982]. Heim assigns to pragmatics a larger part of the task of specifying the meaning of definite descriptions than the neo-Russellians do. In Heim’s theory, definite and indefinite NPs are semantically equivalent, and both introduce free variables. The truth conditions proposed by Heim f...

A few years ago Westinghouse innovations in PWR technology resulted a proposal for new type of integral fuel burnable absorbers containing Gadolinium. Preliminary designs loading patterns NPP Krško were made 18 month cycles with standard VANTAGE+ Integral Fuel Burnable Absorbers (IFBA) enriched Boron, as well newly proposed Gadolinium based absorbers. In this paper we investigate the possibilit...