Crossbred cow adoption and its correlates: countable adoption specification search in Sri Lanka's small holder dairy sector

Considerable specification choice confronts countable adoption investigations and there is need to measure, formally, the evidence in favor of competing formulations. This article presents alternative countable adoption specifications—hitherto neglected in the agricultural-economics literature—and assesses formally their usefulness to practitioners. Reference to the left side of de Finetti's (1937) famous representation theorem motivates Bayesian unification of agricultural adoption studies and facilitates comparisons with conventional binary-choice specifications. Such comparisons have not previously been considered. The various formulations and the specific techniques are highlighted in an application to crossbred cow adoption in Sri Lanka's small-holder dairy sector.

Multinational companies and productivity spillovers: is there a specification error?

Recent empirical works on the within-sector impact of inward investments on domestic firms’ productivity have found rather robust evidence of no (or even negative) effects. We suggest that, among other reasons, a specification error might explain some of these results. A more general specification, which includes the usual one as a special case, is proposed. Using data on Italian manufacturing firms in 1992–2000, we find positive externalities only once we allow for the more flexible specification.

Perspectives on the specification of Building Integrated Photovoltaic (BIPV) technology in construction projects

Innovative, low carbon technologies are already available for use in the construction of buildings, but the impact of their specification on construction projects is unclear. This exploratory research identifies issues which arise following the specification of BIPV in non-residential construction projects. Rather than treating the inclusion of a new technology as a technical problem, the research explores the issue from a socio-technical perspective to understand the accommodations which the project team makes and their effect on the building and the technology. The paper is part of a larger research project which uses a Social Construction of Technology Approach (SCOT) to explore the accommodations made to working practices and design when Building Integrated PhotoVoltaic (BIPV) technology is introduced. The approach explores how the requirements of the technology from different groups of actors (Relevant Social Groups or RSG's) give rise to problems and create solutions. As such it rejects the notion of a rational linear view of innovation diffusion; instead it suggests that the variety and composition of the Relevant Social Groups set the agenda for problem solving and solutions as the project progresses. The research explores the experiences of three people who have extensive histories of involvement with BIPV in construction, looks at how SCOT can inform our understanding of the issues involved and identifies themes and issues in the specification of BIPV on construction projects. A key finding concerns the alignment of inflection points at which interviewees have found themselves changing from one RSG to another as new problems and solutions are identified. The points at which they change RSG often occurred at points which mirror conventional construction categories (in terms of project specification, tender, design and construction).

Extraction of structured programs from specification proofs

We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.

The Open Provenance Model Core Specification (v1.1)

The Open Provenance Model is a model of provenance that is designed to meet the following requirements: (1) To allow provenance information to be exchanged between systems, by means of a compatibility layer based on a shared provenance model. (2) To allow developers to build and share tools that operate on such a provenance model. (3) To define provenance in a precise, technology-agnostic manner. (4) To support a digital representation of provenance for any 'thing', whether produced by computer systems or not. (5) To allow multiple levels of description to coexist. (6) To define a core set of rules that identify the valid inferences that can be made on provenance representation. This document contains the specification of the Open Provenance Model (v1.1) resulting from a community-effort to achieve inter-operability in the Provenance Challenge series.