A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a formal semantics of the source language and a high-level operational semantics of the target, i.e. a subset of Haskell. The main correctness theorem is expressed in terms of a simulation relation between the operational semantics of actor programs and their translation. This allows us to then prove that the resource consumption is preserved over this translation, as we establish an equivalence of the cost of the original and Haskell-translated execution traces.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

An Inter-Sector Impact of Hurricanes Katrina and Rita On The Agribusiness Industry In Mississippi

This study evaluates the impact of hurricanes Katrina and Rita on the agribusiness industry and related sectors in Mississippi. Input-output analysis was used to determine the economic impact of these disasters on the Mississippi agribusiness sector and related sectors in the state's economy.agribusiness, economic impact, input-output analysis, temporal effects, agribusiness sector, related sectors, Agribusiness,

The Economic impact of Repealing Mississippi's Grocery Tax

Results from the analyses indicate that repealing the 7 percent grocery tax would produce modest gains in grocery sales but major increases in the purchases of other goods and services. Revenues from the sale of additional groceries would be exempt from taxes, thus producing only employment and labor income. With the state loosing almost $202 million in tax revenues, it is not clear if the gains in employment would be enough to offset the revenue losses.Agribusiness, Public Economics,

Rotational correlation and dynamic heterogeneity in a kinetically constrained lattice gas

We study dynamical heterogeneity and glassy dynamics in a kinetically constrained lattice gas model which has both translational and rotational degrees of freedom. We find that the rotational diffusion constant tracks the structural relaxation time as density is increased whereas the translational diffusion constant exhibits a strong decoupling. We investigate distributions of exchange and persistence times for both the rotational and translational degrees of freedom and compare our results on the distributions of rotational exchange times to recent single molecule studies.Comment: 7 pages, 5 figure

The Structure Performance Hypothesis and The Efficient Structure Performance Hypothesis-Revisited: The Case of Agribusiness Commodity and Food Products Truck Carriers in the South

Two competing hypotheses on market structure and performance of firms are the traditional structure-conduct-performance (SCP) paradigm and the efficiency structure hypothesis. This paper reveals the profits made by firms in the trucking industry were because of greater efficiencies than their competitors and not because of collusive activities.Public Economics,

An Analysis of Trends in Food Import Refusals in the United States

Millions of pounds of fresh fruits, vegetables, cut flowers, herbs, and other agricultural and food products enter the United States via commercial shipments from other countries every year. Although these items appear harmless, there could be hidden threats in that baggage and in those truckloads, trainloads, and containers of fresh and processed food items that could seriously threaten U.S. agriculture, its natural resources, and its economy (U.S. Customs and Border Protection 2007). Food imports play a major role in the success and competitiveness of various agribusiness firms in the United States. For example, food imports generate income, employment, output, and taxes and provide consumers with lower-priced products than those produced or purchased in the domestic markets. Food imports also provide consumers with a larger variety of products that normally would not be available to them, or that would be available in limited quantities and at higher than normal prices. Consequently, without food imports many U.S. food processing and manufacturing firms would be forced to reduce plant capacity, re-locate food processing and manufacturing facilities, or close plants altogether (Rosson 2000). Thus it is important that food imports that do not comply with U.S. standards be targeted, detected, and intercepted, thereby preventing the entry of those potential threats before they have the chance to do any harm to the U.S food system and its infrastructure.Agribusiness, International Relations/Trade,

AGRICULTURAL TERRORISM: POTENTIAL ECONOMIC EFFECTS ON THE POULTRY INDUSTRY IN MISSISSIPPI

An input/output model was developed to estimate the potential economic impact of intentional attacks by agricultural terrorists using Exotic Newcastle Disease (END) on the poultry industry in Mississippi. The model measured impacts in terms of income, employment, output, and tax changes in the poultry industry.Risk and Uncertainty,

Healthy Kids Program and the Safety Net: Perceptions of Community Clinic Administrators

Based on interviews with clinic CEOs, assesses the impact of the program to provide comprehensive health insurance to children not eligible for Medi-Cal or Healthy Families, including enrollment, services extended, and clinic operations and finances

Impact of thermal energy storage properties on solar dynamic space power conversion system mass

A 16 parameter solar concentrator/heat receiver mass model is used in conjunction with Stirling and Brayton Power Conversion System (PCS) performance and mass computer codes to determine the effect of thermal energy storage (TES) material property changes on overall PCS mass as a function of steady state electrical power output. Included in the PCS mass model are component masses as a function of thermal power for: concentrator, heat receiver, heat exchangers (source unless integral with heat receiver, heat sink, regenerator), heat engine units with optional parallel redundancy, power conditioning and control (PC and C), PC and C radiator, main radiator, and structure. Critical TES properties are: melting temperature, heat of fusion, density of the liquid phase, and the ratio of solid-to-liquid density. Preliminary results indicate that even though overalll system efficiency increases with TES melting temperature up to 1400 K for concentrator surface accuracies of 1 mrad or better, reductions in the overall system mass beyond that achievable with lithium fluoride (LiF) can be accomplished only if the heat of fusion is at least 800 kJ/kg and the liquid density is comparable to that of LiF (1880 kg/cu m