Formal program design methods are most useful when supported with suitable mechanization. This need for mechanization has long been apparent, but there have been doubts whether veriication technology could cope with the problems of scale and complexity. Though there is very little compelling evidence either way at this point, several powerful mechanical veriication systems are now available for...

Due to the increase of production costs in manual harvesting, strategies must be developed in order to overcome these effects, such as the attempts in implementing agricultural machines in harvest activities, whether being totally or partially mechanized. This study brings a qualitative and quantitative comparison on the impacts in work conditions and productivity in Brazilian orchards caused b...

Resolution reasoners, when applied to set theory problems, typically suffer from “lack of focus.” MARS is a program that attempts to rectify this difficulty by exploiting the definition-like character of the set theory axioms. As in the case of its predecessor, SLIM, it employs a tableau proof procedure based on binary resolution, but MARS IS enhanced by an equality substitution rule and a devi...

The systematic evaluation of Web design guidelines poses a series of challenges, including the ability to accurately interpret them and to transform them into a mechanized way that is machine processable. Systematic or automatic evaluation is particularly useful when the web site to evaluate across the designated guidelines is a large-scale, information-rich, potentially distributed web site (v...

Any language has as part of its structure patterns according to which items are arranged on each of its strata. The term tactics is widely used for the analysis and description of arrangements, and the term syntax is traditionally used with reference to arrangements on the morphemic straturn. It is in connection with that stratum that the study of tactics of greatest interest in linguistics. Th...

Socio-Technical Systems (STS) theory is rooted in principles that have their origin in action research field projects undertaken by the Tavistock Institute of Human Relations in British coal mines during postwar reconstruction of industry (Trist, 1950). This was a time when mine productivity was failing to increase despite major investments in increased mechanization, while labor turnover and a...

This paper is aimed at making the diffusion of the technological innovation and their role in affecting the agricultural sector in the three-sided (social, economic and environmental), a hand, it can participate to resolve problems of the agricultural sector: the effects of the climatic changes, the farming exodus and the migration and the problems of poverty. The theoretically and empirically ...

This article examines the importance of path dependence effects in impeding the diffusion of high throughput mechanized mining systems in the British coal industry. It demonstrates that the industry had become ‘locked in’ to low throughput underground haulage technology, on account of institutional interrelatedness between Britain’s traditional practice of extensive in-seam mining and its uniqu...

Draft animal power (DAP) has been identified as an environmentally friendly technology that is based on renewable energy and encompasses integration of livestock and crop production systems. Draft animal technology provides farmers with a possibility to cheaply access and use manure from the draft animals and farm power needed to apply renewable practices for land intensification. Compared to m...