the nutritional value of cereal straw can be increased using urea treatments as a source of ammonia. the conventional urea treatment process for cereal straw is a laborious and time-consuming task. it is essential to facilitate or eliminate part of the procedure with the use of machinery. this study examines the mechanical urea treatment of wheat straw and compares chemical components and diges...

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

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 paper examines the political economy of coordination in a simple two-sector model in which individuals’ choice of agricultural technology affects industrialization. We show that multiple equilibria exist such that the economy is either characterized by the use of a traditional agricultural technology and low industrialization or the use of a mechanized technology and high industrialization...

This article presents the analysis of the effect of two different types of work organization (the traditional and a new mechanized, more segmented one) in the packing sector of a luminary manufacturing company in Curitiba, Brazil. A macroergonomic analysis was conducted to evaluate the workers satisfaction with the job; the possible associated postural risk, the level of body pain/discomfort an...

ion-Based Information Technology: A Framework for Open Mechanized Reasoning.

From 1946 to 1953 ten conferences—the first nine held at the Beekman Hotel at 575 Park Avenue in New York, the last at the Nassau Inn in Princeton, New Jersey—brought together at regular intervals some of the greatest minds of the twentieth century. Sponsored by the Josiah Macy, Jr. Foundation, these meetings have since come to be known as the Macy Conferences. The mathematicians, logicians, en...

In my view, the “verification problem” is the theorem proving problem, restricted to a computational logic. My approach is: adopt a functional programming language, build a general purpose formal reasoning engine around it, integrate it into a program and proof development environment, and apply it to model and verify a wide variety of computing artifacts, usually modeled operationally within t...