Gender in agricultural mechanization: Key guiding questions

This tool describes case studies of gender implications in mechanization in RTB crops, illustrating both positive and negative outcomes. GENNOVATE research has shown that the beneficiaries of mechanization tend to be the wealthier rather than the poorer farmers and more often men than women. However, results also reveal that women have strong interest in mechanization as a way to improve their own circumstances

Effects of Agricultural Mechanization on Farm Income Patterns

This article is part of the seminar-workshop on the “Consequences of Small Farm Mechanization on Production, Employment and Incomes in the Philippines” sponsored jointly by the Ministry of Agriculture, the National Economic and Development Authority, the Philippine Institute for Development Studies and the International Rice Research Institute held on December 1-2, 1983 at Tagaytay City. Utilizing cross-section results from a survey conducted, this article measures the importance of mechanization as a source of income variation. Analysis supports the fact that mechanization has effects on income changes. However, this article encourages the use of multivariate analysis for a better assessment of its impact and the inclusion of factor share analysis to account for the distribution of ownership.income changes, agriculture sector, impact analysis, mechanization

Appropriate small scale mechanization

Poster prepared for a share fair, Addis Ababa, May 201

Effects of Agricultural Mechanization on Farm Income Patterns

This article is part of the seminar-workshop on the “Consequences of Small Farm Mechanization on Production, Employment and Incomes in the Philippines” sponsored jointly by the Ministry of Agriculture, the National Economic and Development Authority, the Philippine Institute for Development Studies and the International Rice Research Institute held on December 1-2, 1983 at Tagaytay City. Utilizing cross-section results from a survey conducted, this article measures the importance of mechanization as a source of income variation. Analysis supports the fact that mechanization has effects on income changes. However, this article encourages the use of multivariate analysis for a better assessment of its impact and the inclusion of factor share analysis to account for the distribution of ownership.income changes, agriculture sector, impact analysis, mechanization

A History of Credit Programs Supporting Agricultural Mechanization in the Philippines

This article is part of the seminar-workshop on the “Consequences of Small Farm Mechanization on Production, Employment and Incomes in the Philippines” sponsored jointly by the Ministry of Agriculture, the National Economic and Development Authority, the Philippine Institute for Development Studies and the International Rice Research Institute held on December 1-2, 1983 at Tagaytay City. It provides history of the credit programs related to agricultural mechanization from 1950 to 1980. Analysis indicates that the demand for farm machineries are mostly credit supply-led despite the effects of international and local events.agriculture sector, credit program, credit access, impact analysis, mechanization

A History of Credit Programs Supporting Agricultural Mechanization in the Philippines

This article is part of the seminar-workshop on the “Consequences of Small Farm Mechanization on Production, Employment and Incomes in the Philippines” sponsored jointly by the Ministry of Agriculture, the National Economic and Development Authority, the Philippine Institute for Development Studies and the International Rice Research Institute held on December 1-2, 1983 at Tagaytay City. It provides history of the credit programs related to agricultural mechanization from 1950 to 1980. Analysis indicates that the demand for farm machineries are mostly credit supply-led despite the effects of international and local events.agriculture sector, credit program, credit access, impact analysis, mechanization

A mechanized proof of loop freedom of the (untimed) AODV routing protocol

The Ad hoc On-demand Distance Vector (AODV) routing protocol allows the nodes in a Mobile Ad hoc Network (MANET) or a Wireless Mesh Network (WMN) to know where to forward data packets. Such a protocol is 'loop free' if it never leads to routing decisions that forward packets in circles. This paper describes the mechanization of an existing pen-and-paper proof of loop freedom of AODV in the interactive theorem prover Isabelle/HOL. The mechanization relies on a novel compositional approach for lifting invariants to networks of nodes. We exploit the mechanization to analyse several improvements of AODV and show that Isabelle/HOL can re-establish most proof obligations automatically and identify exactly the steps that are no longer valid.Comment: The Isabelle/HOL source files, and a full proof document, are available in the Archive of Formal Proofs, at http://afp.sourceforge.net/entries/AODV.shtm