Equality and information

Traditional outcome-orientated egalitarian principles require access to information about the size of individual holdings. Recent egalitarian political theory has sought to accommodate considerations of responsibility. Such a move may seem problematic, in that a new informational burden is thereby introduced, with no apparent decrease in the existing burden. This article uses a simple model with simulated data to examine the extent to which outcome egalitarianism and responsibility-sensitive egalitarianism (‘luck egalitarianism’) can be accurately applied where information is incomplete or erroneous. It is found that, while outcome egalitarianism tends to be more accurately applied, its advantage is not overwhelming, and in many prima facie plausible circumstances luck egalitarianism would be more accurately applied. This suggests that luck egalitarianism cannot be rejected as utopian. Furthermore, while some argue that, in practice, luck egalitarianism is best realized indirectly, by securing equality of outcome, our evidence suggests that a luck egalitarian rule of regulation offers a far more accurate implementation of the luck egalitarian ideal than does an outcome egalitarian rule of regulation

HACCP based quality assurance systems for organic food production systems

HACCP provides an effective, logical and structured means of assuring food safety. Although first used in food manufacturing operations, HACCP can be – and, increasingly is – applied to food production and handling operations at all stages in the food chain. This includes the primary production sector. The purpose of this paper is to illustrate how the principles of HACCP can be applied to organic production with special reference to the primary sector

PASCAL/48 reference manual

PASCAL/48 is a programming language for the Intel MCS-48 series of microcomputers. In particular, it can be used with the Intel 8748. It is designed to allow the programmer to control most of the instructions being generated and the allocation of storage. The language can be used instead of ASSEMBLY language in most applications while allowing the user the necessary degree of control over hardware resources. Although it is called PASCAL/48, the language differs in many ways from PASCAL. The program structure and statements of the two languages are similar, but the expression mechanism and data types are different. The PASCAL/48 cross-compiler is written in PASCAL and runs on the CDC CYBER NOS system. It generates object code in Intel hexadecimal format that can be used to program the MCS-48 series of microcomputers. This reference manual defines the language, describes the predeclared procedures, lists error messages, illustrates use, and includes language syntax diagrams

Production of Reliable Flight Crucial Software: Validation Methods Research for Fault Tolerant Avionics and Control Systems Sub-Working Group Meeting

The state of the art in the production of crucial software for flight control applications was addressed. The association between reliability metrics and software is considered. Thirteen software development projects are discussed. A short term need for research in the areas of tool development and software fault tolerance was indicated. For the long term, research in format verification or proof methods was recommended. Formal specification and software reliability modeling, were recommended as topics for both short and long term research

A translator writing system for microcomputer high-level languages and assemblers

In order to implement high level languages whenever possible, a translator writing system of advanced design was developed. It is intended for routine production use by many programmers working on different projects. As well as a fairly conventional parser generator, it includes a system for the rapid generation of table driven code generators. The parser generator was developed from a prototype version. The translator writing system includes various tools for the management of the source text of a compiler under construction. In addition, it supplies various default source code sections so that its output is always compilable and executable. The system thereby encourages iterative enhancement as a development methodology by ensuring an executable program from the earliest stages of a compiler development project. The translator writing system includes PASCAL/48 compiler, three assemblers, and two compilers for a subset of HAL/S

Repair Expenses, Selling Contracts, and House Prices

This paper examines the impact of repair expenses on the selling price of a house. Using data from settlement statements, we investigate the frequency and extent to which performance of major repairs is part of the sales contract. We find that most homes are restored to a "normally maintained" state each time the home changes hands, and that the cost of bringing the home to this condition is included as part of house selling price. This implies it may be unnecessary to measure maintenance levels when using transaction data to study components of house price or to construct house price indexes.

List Price Information in Residential Appraisal and Underwriting

This article examines the usefulness of listing prices as leading indicators of house values and as predictors of the direction of housing markets. With Multiple Listing Service data from a large metropolitan area, we create two price indexes, using first listing price and then selling price as the dependent variable in the hedonic regressions. The market is then geographically and categorically segmented, and Granger causality tests are performed to analyze the leading aspect of list prices in the list price-sales price relationship. We find that different segments of the market perform quite differently over the time period of our study, suggesting that for data-based appraisal purposes care is needed in determining the manner and level of aggregation. We also find, however, that market list prices continue to convey important information about subsequent selling prices in most market segments.

System balance analysis for vector computers

The availability of vector processors capable of sustaining computing rates of 10 to the 8th power arithmetic results pers second raised the question of whether peripheral storage devices representing current technology can keep such processors supplied with data. By examining the solution of a large banded linear system on these computers, it was found that even under ideal conditions, the processors will frequently be waiting for problem data

Renosterveld Conservation in South Africa: A Case Study for Handling Uncertainty in Knowledge-Based Neural Networks for Environmental Management

This work presents an artificial intelligence method for the development of decision support systems for environmental management and demonstrates its strengths using an example from the domain of biodiversity and conservation biology. The approach takes into account local expert knowledge together with collected field data about plant habitats in order to identify areas which show potential for conserving thriving areas of Renosterveld vegetation and areas that are best suited for agriculture. The available data is limited and cannot be adequately explained by expert knowledge alone. The paradigm combines expert knowledge about the local conditions with the collected ground truth in a knowledge-based neural network. The integration of symbolic knowledge with artificial neural networks is becoming an. increasingly popular paradigm for solving real-world applications. The paradigm provides means for using prior knowledge to determine the network architecture, to program a subset of weights to induce a learning bias which guides network training, and to extract knowledge from trained networks; it thus provides a methodology for dealing with uncertainty in the prior knowledge. The role of neural networks then becomes that of knowledge refinement. The open question on how to determine the strength of the inductive bias of programmed weights is addressed by presenting a heuristic which takes the network architecture and training algorithm, the prior knowledge, and the training data into consideration