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

Quantitative analysis of production through evaluation of inputs consumption quantity is of main principles in agricultural policies, which is followed by increasing in production through optimal use of resources. This study has been conducted to estimate different types of production functions in mechanized farms of broiler chicks located in Gorgan city. Cross-section survey data were gathered...

quantitative analysis of production through evaluation of inputs consumption quantity is of main principles in agricultural policies, which is followed by increasing in production through optimal use of resources. this study has been conducted to estimate different types of production functions in mechanized farms of broiler chicks located in gorgan city. cross-section survey data were gathered...

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

A human operator assembles components using his skill and judgement which is difficult to incorporate in a mechanized device. Though the mechanized system will offer higher speed and reliability, but its inherent inaccuracies will limit the success in assembling. Thus, it is essential that these inaccuracies are determined to establish its ‘Process capability’ , and also provide information for...

I t is indeed an honor to be invited to this platform. One has only to read the names of my distinguished predecessors to realize that, as the saying goes, I have thirty-seven acts that are hard to follow. As a mostly pure mathematician my concern is increased when I note that thirty-two of the lectures have dealt with applications of mathematics to other sciences. The true desperation of my pr...

Stimuli-responsive metal-organic frameworks (MOFs) have gained increasing attention recently for their potential applications in many areas. We report the design and synthesis of a water-stable zirconium MOF (Zr-MOF) that bears photoresponsive azobenzene groups. This particular MOF can be used as a reservoir for storage of cargo in water, and the cargo-loaded MOF can be further capped to constr...

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

nitrogen is one of the most important nutrients in crop production, but it's losses to the environment is harmful. the sundial model (simulation model of n dynamics in the soil) was used to quantify the cycle of n and it's losses in different production systems of sugar beet (beta vulgaris l.) in former khorasan province, east of iran. the data were collected from traditional, semi-me...