Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Central projections of Drosophila sensory neurons in the transition from embryo to larva

Sensory axons of different sensory modalities project into typical domains within insect ganglia. Tactile and gustatory axons project into a ventral layer of neuropil and proprioceptive afferents, including chordotonal axone, into an intermediate or dorsal layer. Here, we describe the central projections of sensory neurons in the first instar Drosophila larva, relating them to the projection of the same sensory afferents in the embryo and to sensory afferents of similar type in other insects. Several neurons show marked morphologic changes in their axon terminals in the transition between the embryo and larva. During a short morphogenetic period late in embryogenesis, the axon terminals of the dorsal bipolar dendrite stretch receptor change their shape and their distribution within the neuromere. In the larva, external sense organ neurons (es) project their axons into a ventral layer of neuropil. Chordotonal sensory neurons (ch) project into a slightly more dorsal region that is comparable to their projection in adults. The multiple dendrite (md) neurons show two distinctive classes of projection. One group of md neurons projects into the ventral-most neuropil region, the same region into which es neurons project. Members of this group are related by lineage to es neurons or share a requirement for expression of the same proneural gene during development. Other md neurons project into a more dorsal region. Sensory receptors projecting into dorsal neuropil possibly provide proprioceptive feedback from the periphery to central motorneurons and are candidates for future genetic and cellular analysis of simple neural circuitry. J. Comp. Neurol. 425:34-44, 2000. (C) 2000 Wiley-Liss, Inc.

Context-free and context-sensitive dynamics in recurrent neural networks

Continuous-valued recurrent neural networks can learn mechanisms for processing context-free languages. The dynamics of such networks is usually based on damped oscillation around fixed points in state space and requires that the dynamical components are arranged in certain ways. It is shown that qualitatively similar dynamics with similar constraints hold for a(n)b(n)c(n), a context-sensitive language. The additional difficulty with a(n)b(n)c(n), compared with the context-free language a(n)b(n), consists of 'counting up' and 'counting down' letters simultaneously. The network solution is to oscillate in two principal dimensions, one for counting up and one for counting down. This study focuses on the dynamics employed by the sequential cascaded network, in contrast to the simple recurrent network, and the use of backpropagation through time. Found solutions generalize well beyond training data, however, learning is not reliable. The contribution of this study lies in demonstrating how the dynamics in recurrent neural networks that process context-free languages can also be employed in processing some context-sensitive languages (traditionally thought of as requiring additional computation resources). This continuity of mechanism between language classes contributes to our understanding of neural networks in modelling language learning and processing.

Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

ICT AND PRODUCTIVITY IN DEVELOPING COUNTRIES: NEW FIRM-LEVEL EVIDENCE FROM BRAZIL AND INDIA

This paper uses a unique new data set on manufacturing firms in Brazil and India to estimate production functions, augmented by information and communications technology (ICT). We find a strong positive association between ICT capital and productivity in both countries that is robust to several different specification tests. The paper also breaks new ground when using the Indian data to investigate the effect of the institutional and policy environment on ICT capital investment and productivity. We find that poorer infrastructure quality and labor market policy are associated with lower levels of ICT adoption, while poorer infrastructure is also associated with lower returns to investment.

Assessing the ex ante economic impacts of transportation infrastructure policies in Brazil

This paper uses a fully operational inter-regional computable general equilibrium (CGE) model implemented for the Brazilian economy, based on previous work by Haddad and Hewings, in order to assess the likely economic effects of road transportation policy changes in Brazil. Among the features embedded in this framework, modelling of external scale economies and transportation costs provides an innovative way of dealing explicitly with theoretical issues related to integrated regional systems. The model is calibrated for 109 regions. The explicit modelling of transportation costs built into the inter-regional CGE model, based on origin-destination flows, which takes into account the spatial structure of the Brazilian economy, creates the capability of integrating the inter-regional CGE model with a geo-coded transportation network model enhancing the potential of the framework in understanding the role of infrastructure on regional development. The transportation model used is the so-called Highway Development and Management, developed by the World Bank, implemented using the software TransCAD. Further extensions of the current model specification for integrating other features of transport planning in a continental industrialising country like Brazil are discussed, with the goal of building a bridge between conventional transport planning practices and the innovative use of CGE models. In order to illustrate the analytical power of the integrated system, the authors present a set of simulations, which evaluate the ex ante economic impacts of physical/qualitative changes in the Brazilian road network (for example, a highway improvement), in accordance with recent policy developments in Brazil. Rather than providing a critical evaluation of this debate, they intend to emphasise the likely structural impacts of such policies. They expect that the results will reinforce the need to better specifying spatial interactions in inter-regional CGE models.

The Australian Universities Teaching Committee project in 'Learning Outcomes and Curriculum Development in Psychology'

The Australian Universities Teaching Committee (AUTC) funds projects intended to improve the quality of teaching and learning in specific disciplinary areas. The project brief for 'Learning Outcomes and Curriculum Development in Psychology' for 2004/2005 was to 'produce an evaluative overview of courses ... with a focus on the specification and assessment of learning outcomes and ... identify strategic directions for universities to enhance teaching and learning'. This project was awarded to a consortium from The University of Queensland, University of Tasmania, and Southern Cross University. The starting point for this project is an analysis of the scientist-practitioner model and its role in curriculum design, a review of current challenges at a conceptual level, and consideration of the implications of recent changes to universities relating to such things as intemationalisation of programs and technological advances. The project will seek to bring together stakeholders from around the country in order to survey the widest possible range of perspectives on the project brief requirements. It is hoped also to establish mechanisms for fiiture scholarly discussion of these issues, including the establishment of an Australian Society for the Teaching of Psychology and an annual conference.

Language, discourse and politics

After discussing the meaning of the word politics, this paper shows that there are four possible approaches to the issue of the relationships between language, discourse and politics: a) the intrinsic political nature of language; b) the relations of power between discourses and their political dimension; c) the relations of power between languages and the political dimension of their usage and; d) linguistic policies. This paper addresses only the first two of these items. Languages have an intrinsically political nature because they subject their speakers to their order. The acts of silencing operationalized in discourse manifest a relation of power. The spread of discourses in the social space is also subject to the order of power. The use of language may be the space of pertinence, but is also that of exclusion, separation and even the elimination of the other. Therefore, language is not a neutral communication tool, but it is permeated by politics, by power. Because of the dislocations that it produces, literature is a form of swindling language, unveiling the powers that are imprinted on it.

Insights into the organization of dorsal spinal cord pathways from an evolutionarily conserved raldh2 intronic enhancer

Comparative studies of the tetrapod raldh2 (aldh1a2) gene, which encodes a retinoic acid (RA) synthesis enzyme, have led to the identification of a dorsal spinal cord enhancer. Enhancer activity is directed dorsally to the roof plate and dorsal-most (dl1) interneurons through predicted Tcf- and Cdx-homeodomain binding sites and is repressed ventrally via predicted Tgif homeobox and ventral Lim-homeodomain binding sites. Raldh2 and Math1/Cath1 expression in mouse and chicken highlights a novel, transient, endogenous Raldh2 expression domain in dl1 interneurons, which give rise to ascending circuits and intraspinal commissural interneurons, suggesting roles for RA in the ontogeny of spinocerebellar and intraspinal proprioceptive circuits. Consistent with expression of raldh2 in the dorsal interneurons of tetrapods, we also found that raldh2 is expressed in dorsal interneurons throughout the agnathan spinal cord, suggesting ancestral roles for RA signaling in the ontogenesis of intraspinal proprioception.

The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Speech disorder in preschool children exposed to Cantonese and English

Speech disorder in monolingual Cantonese- or English-speaking children has been well described in the literature. There appear to be no reports, however, that describe speech-disordered children who have been exposed to both languages. Here we report on the error patterns of two preschool speech-disordered children who were learning two languages. Both children's first language was Cantonese, but they were also exposed to English through the media and child care. Their disorders were of unknown aetiology. The following questions were asked of the data: (a) Do bilingual children, suspected of having speech problems, make errors in Cantonese and English that reflect delay or disorder when compared with normative data on monolingual speech development in each language? (b) How does the children's speech differ from other bilingual children from the same language learning background? (c) Are the children's speech difficulties apparent in both languages? (d) Is the pattern of errors the same in both languages or do language-specific processes operate? The results bear on theories of acquisition, disorder and bilingualism; they also have clinical implications for speech-language pathologists whose caseloads include bilingual preschool children.