rabies is widespread in all provinces of iran. this study presents an investigation by a polymerase chain reaction (pcr) technique for the purpose of rabies diagnosis and also restriction fragment length polymorphism (rflp) for determination of the type of the rabies virus. in addition, pcr proves to be a powerful tool for molecular epidemiology studies allowing analysis of the infecting strain...

My research focuses on the design of statically-typed programming languages. Static type systems are a popular, cost-effective form of lightweight program verification. They provide a tractable and modular way for programmers to express properties that can be mechanically checked by the compiler. As a result, the compiler can rule out a wide variety of errors and provide more information to ref...

An efficient numerical method for the design and synthesis of compensator for a relay type control system is developed and discussed. Previous works based on the interactive graphic method are reviewed and it is shown that the combination of the trequency and time domain numerical techniques provide a powerful tool in design of a wide class of relay control systems. An example is presented to d...