Civil-military relations are characterized by a fundamental dilemma. To lower coup risk, leaders frequently empower the military, which satisfies armed forces with status quo and enables them to fight against threats challenging civilian leadership. Simultaneously, too powerful military itself constitutes potential threat that is capable of overthrowing government. Our research adds this debate...

the primary purpose of this research study was to determine the major factors affect-ing the implementation of national agricultural mechanization programs in iran. the sec-ondary purpose of this study was to assess the agricultural mechanization level practiced by farmers. this project consisted of two phases. in the first phase of the study, a delphi technique was used to gather experts' poin...

The most powerful tools for analysis of formal speci cations are general-purpose theorem provers and model checkers, but these tools provide scant methodological support. Conversely, those approaches that do provide a well-developed method generally have less powerful automation. It is natural, therefore, to try to combine the better-developed methods with the more powerful general-purpose tool...

A r e f u t a t i o n a l sys tem o f l o g i c f o r a l a n g u a g e o f o r d e r w i a p r e s e n t e d . T h i s langage i s a s l i g h t m o d i f i c a t i o n o f C h u r c h ' s \ c a l c u l u s w i t h t y p e s . The sys tem i s c o m p l e t e , i n the sense t h a t a r e f u t a t i o n o f a s e t o f sen tences e x i s t s i f and o n l y i f t h i s s e t does n o t possess...