A rewrite sequence is said to be outermost-fair if every outer-most redex occurrence is eventually eliminated. Outermost-fair rewriting is known to be (head-)normalising for almost orthogonal rewrite systems. In this paper we study (head-)normalisation for the larger class of weakly orthogonal rewrite systems. Normalisation is established and a counterexample against head-normalisation is provi...

Metacognition refers to 'cognition about cognition' and includes metacognitive knowledge, strategies and experiences (Efklides, 2008; Flavell, 1979). Research on reading has shown that better readers demonstrate more metacognitive knowledge than poor readers (Baker & Beall, 2009), and that reading ability improves through strategy instruction (Gersten, Fuchs, Williams, & Baker, 2001). The curre...

We positively answer the question A.1.6 in [2]: “Is there a recursive normalizing one-step reduction strategy for micro λ-calculus?” Micro λ-calculus refers to an implementation of the λ-calculus due to [1], implementing β-reduction by means of “micro steps” recursively distributing a β-redex (λx.M)N over its body M . 1 Inner spine strategy First, we provide “micro λ-calculus” with a more syste...

Warhammer 40,000 (W40K) is a non-digital strategy war-game involving the tactical manoeuvring of miniature figurines on a 6' by 4' tabletop. These figurines are painstakingly assembled, painted and often modified by players to accord with the game's backstory. Our research explores the ongoing success of W40K in the face of ubiquitous and pervasive computer technologies and presents the results...

Today’s wireless communication products become more complex and more integrated. The low cost prices paid by the consumer for wireless phones and the competitive market imposed a tremendous pressure to have low cost RF ICs. The test cost becomes almost the main factor determining profit margin. To economically test high volumes of integrated RF ICs at a fraction of the cost of the IC we have to...

We have developed a computational method that predicts the positions of active compounds, making it possible to increase activity as a fragment evolution strategy. We refer to the positions of these compounds as the active position. When an active fragment compound is found, the following lead generation process is performed, primarily to increase activity. In the current method, to predict the...

Unlike digitally savvy banking and retail industries, oil and natural gas businesses are latecomers to digitization. With large capital investments in complex industrial operations, firms in latecomer industries are seeking ways to cut costs and become responsive to market demands. Executives in oil and natural gas companies are facing unprecedented pressure to cut costs due to market turbulenc...

We present a design and test strategy for Geometric Primitive Shadersintegrated circuits which perform rasterisation of primitives such as vectors and triangles. The design strategy proceeds through various levels of detail, and we describe the need for testing as the design advances. A suitable set of test are given for a typical shader. Our experiences in applying the strategy to a real devic...