Interpretation is an implicit part of today’s programming; it has great power but is overused and has significant costs. For example, interpreters are typically significantly hard to understand and hard to reason about. The methodology of “Totally Functional Programming” (TFP) is a reasoned attempt to redress the problem of interpretation. It incorporates an awareness of the undesirability of i...

Article history: Received 1 February 2013 Accepted 4 February 2013 Available online xxxx This paper compares two alternative theoretical foundations upon which the study of sociomateriality can be built: agential realism and critical realism. It begins by providing a brief overview of the sociomaterial perspective on organizational practices and considers why this perspective holds great appeal...

Data quality is crucial in all information systems. As a key step in obtaining clean data, record linkage or entity resolution (ER) groups database records by the underlying real world entities. In this paper we give practical motivating examples and review the available ER formal models. The formal model for matching and merging records determines not just the power and quality, but also the a...

In this paper a novel technique is presented to solve tolerance design problems. To achieve the desired performance tolerance the technique uses a subtle, but significant, change in the design rather than increasing component precision. This change is the addition of a tuning parameter. Statistical models are used to developed framework for the tuning parameter design method. Also developed is ...

Received: 15 April 2005 Accepted: 31 March 2006 Abstract Knowledge management has emerged as an important field for practice and research in information systems. This field is building on theoretical foundations from information economics, strategic management, organizational culture, organizational behavior, organizational structure, artificial intelligence, quality management, and organizatio...

THE THEORY OF evolution by natural selection has revolutionary implications for understanding the design of the humanmind and brain, as Darwin himself was the first to recognize (Darwin, 1859). Indeed, a principled understanding of the network of causation that built the functional architecture of the human species offers the possibility of transforming the study of humanity into a natural scie...

Clustering is a central unsupervised learning task with a wide variety of applications. However, in spite of its popularity, it lacks a unified theoretical foundation. Recently, there has been work aimed at developing such a theory. We discuss recent advances in clustering theory, including axiomatizing clustering and providing formal guidance for clustering algorithm selection. This paper pres...

In Schiebinger et al. (2017), the authors use optimal transport of measures on empirical distributions arising from biological experiments to relate the single cell RNA sequencing profiles for induced pluripotent stem cells differentiating. But such algorithms could be arbitrarily applied to any datasets from any collection of experiments. We consider here a natural question that arises: in a m...

The success of the electronic governance (EGOV) benchmarking has been limited so far. Lacking a theory to integrate existing conceptualizations has made the acquisition and sharing of knowledge produced by different benchmarking exercises difficult. In order to address this problem, this paper: 1) explains the nature of the EGOV benchmarking activity though a wellestablished theoretical framewo...

(v) interaction of program transformation with related methodologies for assisting software development, (vi) languages and systems for specifying and applying program transformations; and (vii) case studies, that is, derivation of non-trivial algorithms from specifications and automated generation of software systems. Among all papers we have received, twelve papers were selected for publicati...