CONSUMER DEMAND ANALYSIS ACCORDING TO GARP

The nonparametric approach to consumer-demand analysis-based on revealed-preference axioms-is reviewed. Particular attention is paid to questions of size and power of tests for consistency of data with the existence of a stable, well-behaved utility function that could have generated the data. An application to Australian meat demand is used to show how these notions can be quantified and how prior information about elasticities, following Sakong and Hayes, may be used to increase the power of the approach.

The AutoProof Verifier: Usability by Non-Experts and on Standard Code

Formal verification tools are often developed by experts for experts; as a result, their usability by programmers with little formal methods experience may be severely limited. In this paper, we discuss this general phenomenon with reference to AutoProof: a tool that can verify the full functional correctness of object-oriented software. In particular, we present our experiences of using AutoProof in two contrasting contexts representative of non-expert usage. First, we discuss its usability by students in a graduate course on software verification, who were tasked with verifying implementations of various sorting algorithms. Second, we evaluate its usability in verifying code developed for programming assignments of an undergraduate course. The first scenario represents usability by serious non-experts; the second represents usability on "standard code", developed without full functional verification in mind. We report our experiences and lessons learnt, from which we derive some general suggestions for furthering the development of verification tools with respect to improving their usability.Comment: In Proceedings F-IDE 2015, arXiv:1508.0338

CAN WE TAKE THE CON OUT OF MEAT DEMAND STUDIES?

Whimsy in specification choices leads to fragility of inference in econometric studies of structural change in meat demand. The literature contains a variety of results, with many contradictions, attributable largely to differences in specifications. This article reviews that literature, uses synthetic data to demonstrate the sensitivity of results to specification choices and to evaluate the power of nonparametric tests, and uses Canadian data to demonstrate a preferred approach to testing the hypothesis of structural change.Demand and Price Analysis,

A COMPARISON OF CAPITAL MEASURES IN U.S. AGRICULTURE

This study compares two panel data sets that measure capital input at the state-level in U.S. agriculture. Despite a number of similarities between the data sets, such as the composition of assets, aggregation procedures, and time frame, an examination of the final estimates of capital service flows reveals that they are drastically different for all 48 contiguous states. We examine the methods used to construct the capital series for each data set, consider some important differences in data sources and the types of data used to construct the capital measures, and outline the main assumptions concerning depreciation, service lives, interest rates, aggregation, and the scope of goods included in each of the data sets. The analysis indicates that an important statistic in the index of capital services in U.S. agriculture is the stock of buildings on farms. We conclude that the primary difference between the measures of capital input in the data sets relates to differences in estimates of the stock of buildings on farms. Given the apparent importance of the measure of the stock of buildings in the aggregate index of capital services in U.S. agriculture, more research is needed to ensure that the measure of the stock of buildings is accurate and meaningful. Once this has been accomplished there should be more agreement on an accurate measure of capital services in U.S. agriculture.Agricultural and Food Policy,

The Effects of Agricultural Research and Farm Subsidy Policies on Human Nutrition and Obesity

Agricultural policies including farm programs and R&D are said to have contributed to obesity by making food commodities cheaper and thereby encouraging consumption. This paper explores the links from agricultural policy to food prices and consumption and suggests that contribution of agricultural policy to obesity is not so clear.Agricultural and Food Policy,

Are Agricultural Policies Making Us Fat? Likely Links Between Agricultural Policies and Human Nutrition and Obesity, and their Policy Implications

Rates of obesity among adults and children in the U.S. are soaring, with potentially huge private and social costs. Increasing attention is being paid to agricultural policies as both the culprits through their perceived roles in reducing the relative prices of energy-dense foods, and as the potential saviors through their perceived ability to do the opposite. However, the effects of agricultural policies on human nutrition and obesity are not well understood. This paper considers (1) trends in agricultural commodity prices, and the contributions of commodity policies and agricultural R&D policies to those trends, (2) the links between changes in commodity prices and changes in food prices; and (3) the implications of price-induced changes in food characteristics for human nutrition outcomes. Preliminary results suggest that agricultural R&D has led to dramatic decreases in costs of production and to consequent long-term declines in commodity prices, but the links between commodity price declines and food prices are less clear and are conditioned by the changing structure of food markets. Commodity-specific trade policy has clearly put upward pressure on the domestic prices of several major food commodities, but the consumer prices for most of these foods have fallen nonetheless. Changes in relative prices of 'healthy' versus 'unhealthy' foods are difficult to establish empirically, but even if 'healthy' foods are becoming relatively more expensive, food prices in general play only a small role in determining food consumption; hence, policies aiming to reduce obesity through changes in relative food prices may prove ineffective or inefficient.H5, Agricultural and Food Policy, Food Consumption/Nutrition/Food Safety, Q18, Q16, I0,

Shocks in asymmetric simple exclusion processes of interacting particles

In this paper, we study shocks and related transitions in asymmetric simple exclusion processes of particles with nearest neighbor interactions. We consider two kinds of inter-particle interactions. In one case, the particle-hole symmetry is broken due to the interaction. In the other case, particles have an effective repulsion due to which the particle-current-density drops down near the half filling. These interacting particles move on a one dimensional lattice which is open at both the ends with injection of particles at one end and withdrawal of particles at the other. In addition to this, there are possibilities of attachments or detachments of particles to or from the lattice with certain rates. The hydrodynamic equation that involves the exact particle current-density of the particle conserving system and additional terms taking care of the attachment-detachment kinetics is studied using the techniques of boundary layer analysis.Comment: 10 pages, 8 figure

STRUCTURAL ADJUSTMENT IN OECD AGRICULTURE: GOVERNMENT POLICIES AND TECHNICAL CHANGE

Agricultural and Food Policy, Research and Development/Tech Change/Emerging Technologies,