Formal verification of ASM designs using the MDG tool

In this paper, we present a formal hardware verification framework linking ASM with MDG. ASM (Abstract State Machine) is a state based language for describing transition systems. MDG (Multiway Decision Graphs) provides symbolic representation of transition systems with support of abstract sorts and functions. We implemented a transformation tool that automatically generates MDG models from ASM specifications, then formal verification techniques provided by the MDG tool, such as model checking or equivalence checking, can be applied on the generated models. We support this work with a case study of an Island Tunnel Controller, which behavior and structure were specified in ASM then using our ASM-MDG tool successfully verified within the MDG tool.

Bernstein's theory of pedagogic discourse: linguistics, educational policy and practice in the UK English/literacy classroom

In “The English Patient: English Grammar and teaching in the Twentieth Century”, Hudson and Walmsley (2005) contens that the decline of grammar in schools was linked to a similar decline in English universities, where no serious research or teaching on English grammar took place. This article argues that such a decline was due not only to a lack of research, but also because it suited educational policies of the time. It applies Bernstein’s theory of pedagogic discourse (1990 & 1996) to the case study of the debate surrounding the introduction of a national curriculum in English in England in the late 1980s and the National Literacy Strategy in the 1990s, to demonstrate the links between academic theory and educational policy.

The theory of on-line learning: a statistical physics approach

In this paper we review recent theoretical approaches for analysing the dynamics of on-line learning in multilayer neural networks using methods adopted from statistical physics. The analysis is based on monitoring a set of macroscopic variables from which the generalisation error can be calculated. A closed set of dynamical equations for the macroscopic variables is derived analytically and solved numerically. The theoretical framework is then employed for defining optimal learning parameters and for analysing the incorporation of second order information into the learning process using natural gradient descent and matrix-momentum based methods. We will also briefly explain an extension of the original framework for analysing the case where training examples are sampled with repetition.

An application of strategic group theory to the UK pharmaceuticals industry

Conducts a strategic group mapping exercise by analysing R&D investment, sales/marketing cost and leadership information pertaining to the pharmaceuticals industry. Explains that strategic group mapping assists companies in identifying their principal competitors, and hence supports strategic decision-making, and shows that, in the pharmaceutical industry, R&D spending, the cost of sales and marketing, i.e. detailing, and technological leadership are mobility barriers to companies moving between sectors. Illustrates, in bubble-chart format, strategic groups in the pharmaceutical industry, plotting detailing-costs against the scale of activity in therapeutic areas. Places companies into 12 groups, and profiles the strategy and market-position similarities of the companies in each group. Concludes with three questions for companies to ask when evaluating their own, and their competitors, strategies and returns, and suggests that strategy mapping can be carried out in other industries, provided mobility barriers are identified.

On the opportunism-independent theory of the firm

Previous developments in the opportunism-independent theory of the firm are either restricted to special cases or are derived from the capabilities or resource-based perspective. However, a more general opportunism-independent approach can be developed, based on the work of Demsetz and Coase, which is nevertheless contractual in nature. This depends on 'direction', that is, deriving economic value by permitting one set of actors to direct the activities of another, and of non-human factors of production. Direction helps to explain not only firm boundaries and organisation, but also the existence of firms, without appealing to opportunism or moral hazard. The paper also considers the extent to which it is meaningful to speak of 'contractual' theories in the absence of opportunism, and whether this analysis can be extended beyond the employment contract to encompass ownership of assets by the firm. © The Author 2005. Published by Oxford University Press on behalf of the Cambridge Political Economy Society. All rights reserved.