Zinacantec Maya weaving tools and apprenticeship practices contain an implicit theory of cognitive development that corresponds to Piaget and Inhelder’s explicit theory of cognitive development [The Child’s Conception of Space, London, Routledge and Kegan Paul, 1956]. A set of preoperational and concrete operational spatial problems from the weaving domain provided empirical support for the eth...

Mulhern Automated proof assistants provide few facilities for incremental development. Generally, if the underlying structures on which a proof is based are modified, the developer must redo much of the proof. Yet incremental development is really the most natural approach for proofs of programming language properties [5, 12]. We propose " proof weaving " , a technique that allows a proof devel...

In this paper, the equation of motion for an incompressible transversely isotropic fibre-reinforced elastic solid is derived in terms of a scalar function.   The general solution of the equation of motion is obtained, which satisfies the required radiation condition.  The appropriate traction free boundary conditions are also satisfied by the solution to obtain the required secular equation for...

The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a useful approach to handling the difficulties of integrating non-functional requirements such as security into complex software systems. Doing so correctly and securely, however, still remains a non-trivial task. For ...

We consider the following variant of the speed scaling problem introduced by Yao, Demers, and Shenker. We are given a set of jobs and we have a variable-speed processor to process them. The higher the processor speed, the higher the energy consumption. Each job is associated with its own release time, deadline, and processing volume. The objective is to find a feasible schedule that minimizes t...

On-ramp merging areas are essential parts of freeways. The behavior vehicles is the main factor affecting continuity freeway traffic flow, which determines capacity line. With development innovative car technology, ACC technology has been widely used in actual vehicles. At same time, public’s demand for freeway-speed improvement increasing. However, evaluative research on freeway-speed-improvem...