The following outline summarizes some suggestions about ways in which translation may be mechanized that were worked out by the authors in 19481952. The treatment is not exhaustive, and many modifications in detail would certainly be necessary should the ideas here mooted be put into active operation. It is considered, however, that it would be serviceable to describe the techniques here envisa...

In the decade of the 1990s, formal methods have progressed from an academic curiosity at best, and a target of ridicule at worst, to a point where the leading manufacturer of microprocessors has indicated that its next design will be formally veri ed. In this short paper, I sketch a plausible history of the developments that led to this transformation, present a snapshot of the current state of...

We present an extensive review of the literature on remote sensing and land change in Amazonia as part of a call for new methods to study the recent expansion of mechanized annual cropping. Following the review is a presentation of the use of multitemporal Moderate Resolution Imaging Spectroradiometer (MODIS) 250-meter Vegetation Index (VI) data to study processes of intensification of mechaniz...

This study was aimed at assessing how efficient the small scale fishing units in Lagos State, Nigeria use the monetary inputs: costs of gear repairs, craft repairs, fuel, fishing losses, hired labor, and the residual costs of craft and gear. Between January and December, 113 mechanized and 43 non-mechanized fishing units in 21 purposively chosen coastal villages were surveyed bi-monthly through...

Mechanized reasoning uses computers to verify proofs and to help discover new theorems. Computer scientists have applied mechanized reasoning to economic problems but – to date – this work has not yet been properly presented in economics journals. We introduce mechanized reasoning to economists in three ways. First, we introduce mechanized reasoning in general, describing both the techniques an...

Specification and verification in continuous problem domains are key topics for the practical application of formal methods and mechanized reasoning. I discuss one approach to linear continuous control systems and consider the challenges and opportunities raised for mechanized reasoning. These include practical implementation and integration issues, algorithms in computational real algebraic ge...

Specification and verification in continuous problem domains are key topics for the practical application of formal methods and mechanized reasoning. I discuss one approach to linear continuous control systems and consider the challenges and opportunities raised for mechanized reasoning. These include practical implementation and integration issues, algorithms in computational real algebraic ge...

this study examined suitable mechanized methods to seed rice in dry-bed conditions using dried seeds and determined the most suitable varieties for each method. the experimental design was strip-plots in a randomized complete block design with two factors (seeding methods and rice varieties) and three replications. the testing took place during 2003-2004 at the shavour agricultural research sta...