The economical situation at agricultural industry has been changed rapidly in Korea for the last 40 years. The population in farming area decreased sharply and the labor demand increased dramatically. The portion of the old and women has been increased. The farm size, and farm rural wage have been increased. Those were the driving forces of the mechanization in agricultural industry. The Agricu...

Debates over the effects of technological change on work continue to generate a wide and confusing array of findings. One reason for the lack of consensus is that empirical research based on large samples has yet to adequately address the core issue: the relationship, if any, between the level of mechanization and the characteristics of work. This relationship is explored using data from the 19...

the increasing cost of peanut production is a major concern in iran. therefore, developing the mechanization of peanut production is a necessity. in this regard, a three-phase delphi study was conducted to identify the promoting and deterring factors affecting peanut cultivation mechanization in guilan province, the main peanut-producing region in iran. after preliminary studies, 26 experts wer...

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.

agricultural mechanization is a method for transiting from traditional agriculture towards industrial and sustainable one. due to the limitation of natural resources and increasing population we need to have economical production of agricultural crops. for reaching this destination; agricultural mechanization has a remarkable role. so it is necessary to have an extensive view for mechanization,...

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...

the main goal followed in the present study is to investigate the effect of developed plans on mechanization evolution and employment in the agricultural sector. time series approach was applied. according to the results of the vec model, substitution relationship between machine and labor accepted. in general, one unit of mechanization coefficient is substituted for one million employments in ...

This artifact contains the accompanying code for the ECOOP 2015 paper: “A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization”. It contains source files for a full mechanization of the three languages presented in the paper: CAMP (Calculus for Aggregating Matching Patterns), NRA (Nested Relational Algebra) and NNRC (Named Nested Relational Calculus). Translations...