|This paper describes how model checking has been integrated into an industrial hardware design process. We present an application oriented speci cation language for assumption/commitment style properties and an abstraction algorithm that generates an intuitive and e cient representation of synchronous circuits. These approaches are embedded in our Circuit Veri cation Environment CVE. They are ...

Avian influenza (AI) H9N2 is a low pathogenic virus subtype belonging to Orthomyxoviridae family. Given the prevalence of this subtype as an infectious agent in poultry industry, special attention has been always directed toward the development of vaccine production against this infection. The vaccine of this infection is produced by killing the virus and using a mixture of inactivated antigen ...

Two studies examined how the relevance of group identity influences two psychological mechanisms of collective action: Emotion- and problem-focused coping with collective disadvantage. Extending Van Zomeren, Spears, Fischer, and Leach's (2004) integrative theoretical model of coping with collective disadvantage, we predicted that when group identity is more relevant to disadvantaged group membe...

The study is devoted to mathematical models of mass transfer during diffusion combustion gaseous fuel. A numerical approach presented that makes it possible estimate the effect conditions on length a direct-flow flame. simplified method for calculating heat release in flame applied, taking into account fact chemical reactions are concentrated at front. Some results simulation processes and comp...

Managing an industrial production facility requires carefully allocating limited resources, and gives rise to large, potentially complicated scheduling problems. In this paper we consider a specific instance of such a problem: planning efficient utilization of the facilities and technicians that maintain the United States nuclear stockpile. A detailed study of this problem yields a complicated ...

  Blackleg in cattle has been recognized since 1938 in Iran that mostly affects cattle in enzootic farm. Main object of this study was to prepare and formulate a concentrated potent vaccine for immunization of cattle against blackleg in Iran. Experimental concentrated blackleg vaccine was prepared according to the method described by FAO. The medium (Modified medium for production of experiment...