Chunking models offer a parsimonious explanation of how people acquire knowledge and have been validated in domains such as expert behaviour and the acquisition of language. In this paper, we review two computational theories based on chunking mechanisms (the chunking theory and the template theory) and show what insight they offer for instruction and training. The suggested implications includ...

We report on experiments to measure the temporal and spatial evolution of packing arrangements of anisotropic, cylindrical granular material, using high-resolution capacitive monitoring. In these experiments, the particle configurations start from an initially disordered, low-packing-fraction state and under vertical vibrations evolve to a dense, highly ordered, nematic state in which the long ...

LOTOS is a speciication language, but it is not very useful without a design methodology that describes the process from initial speciication construction to implementation. In this paper we discuss the tools to support such a design process. The language, method and tools are beginning to be used in realistic applications, but the research on them continues. This paper concentrates on the curr...

Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program’s transition relation and then show that the relational abstraction is wellfounded. The focus of current tools has been on developing sophisticated techniques for constructing the abstractions while relying on known decidable logics (such as linear a...

This paper is an attempt to examine the main theorems of social choice theory from the viewpoint of constructive mathematics. We examine the Gibbard–Satterthwaite theorem [A.F. Gibbard, Manipulation of voting schemes: a general result, Econometrica 41 (1973) 587–601; M.A. Satterthwaite, Strategyproofness and Arrow’s conditions: existence and correspondence theorems for voting procedures and soc...

This qualitative research examines propinquity across two grocery shopping situations – real (in-store) and virtual (online). Examining how the same consumers shop for the same or similar commodities provides quasi-experimental conditions to examine differences in shopping behaviour. Convergent interviews with 15 respondents identified that consumer reasons – expectations of convenience, trust ...

The special issue Educational Settings as Interwoven Socio-Material Orderings contributes to the advancement of context-oriented approaches to education, learning and development by combining thick descriptions and theory-dense analyses of concrete and eventually interrelated socio-material arrangements in and across a variety of educational and developmental contexts. We explore below two issu...

Abstract—Concurrent planning of project scheduling and material ordering can provide more flexibility to the project scheduling problem, as the project execution costs can be enhanced. Hence, the issue has been taken into account in this paper. To do so, a mixed-integer mathematical model is developed which considers the aforementioned flexibility, in addition to the materials quantity discount...