Agriculture and its development is the foundation of development in Iran as a developing country. So, it can be regarded as the foundation for economical and social development.The capabilities of agriculture sector are limited and its efficiency is trivial because of neglecting agricultural development and keeping its support just as a slogan. The transformation of agriculture to a developed, ...

Restructuring of specialized agricultural production systems is a widespread phenomenon in all developed economies. As such, fluecured tobacco production in southern Ontario is both typical in terms of its restructuring in response to capital intensification, but atypical in that restructuring has also occurred as a result of official pressures to reduce domestic cigarette consumption. This pap...

The mechanization of mathematics refers to the use of computers to find, or to help find, mathematical proofs. Turing showed that a complete reduction of mathematics to computation is not possible, but nevertheless the art and science of automated deduction has made progress. This paper describes some of the history and surveys the state of the art.

Increasing the production rate and minimizing the related costs, while optimizing the safety measures, are nowadays’ most important tasks in the mining industry. To these ends, mechanization of mines could be applied, which can result in significant cost reductions and higher levels of profitability for underground mines. The potential of a coal mine mechanization depends on some important fact...