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

Five common tetracycline resistance genes tet(A), tet(B), tet(M), tet(O) and tet(S) were studied by polymerase chain reaction in 100 bacteria isolated from Iranian fish farms. In the antibiogram test most of the bacteria were either intermediately or completely resistant to tetracycline. Nine isolates out of 46 Aeromonas spp. contained either tet(A/M/S) resistant genes as follows: tet(A) in A. ...

The northern Gulf of Aqaba is an oligotrophic water body hosting valuable coral reefs. In the Gulf, phytoplankton dynamics are driven by an annual cycle of stratification and mixing. Superimposed on that fairly regular pattern was the establishment of a shallow-water fish-farm initiative that increased gradually until its activity was terminated in June 2008. Nutrient, water temperature, irradi...

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

Developing countries grew close to 50% (49.9%) of global biotech crops in 2011 and may exceed industrialized countries in total hectarage this year (International Service for the Acquisition of Agri-Biotech Applications [ISAAA], 2012). In order of total hectarage, the four largest biotech crop growers among developing countries are Brazil, Argentina, India, and China. Each is also known as a gl...

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