Pinch my wig or winch my pig: Spelling, spoonerisms and other language skills

Phonological processing skills have often been assumed to play a minimal role in skilled adult spelling despite evidence showing their importance in the development of spelling skills. The present study investigated the relationship between phonological awareness and spelling in adults. It was hypothesised that subjects demonstrating higher levels of spelling proficiency would also show superior phonological processing skills. This relationship was expected to be mediated by sound-spelling mapping knowledge. Given the irregularities of sound-spelling correspondences in English, it was also predicted that knowledge of orthographic conventions would be related to spelling competency. Two measures of each component skill were used on seventy three university students. As predicted, the importance of spelling-sound mapping skills in spelling were demonstrated, as was a relationship between phonological awareness and spelling-sound correspondences. In addition a moderate correlation was found between orthographic tasks and spelling performance. It was concluded that, among university students at least, phonological ability makes an important contribution to skilled adult spelling.

Phylogenetic relationships among members of the Comamonadaceae, and description of Delftia acidovorans (den Dooren de Jong 1926 and Tamaoka et al. 1987) gen. nov., comb. nov.

The phylogenetic relationships among members of the family Comamonadaceae and several unclassified strains were studied by direct sequencing of their PCR-amplified 16S rRNA genes. Based on the 16S rRNA gene sequence analysis, members of the family formed a coherent group. The closest relatives are species of the Rubrivivax sub-group: Leptothrix discophora, Ideonella dechloratans and Rubrivivax gelatinosus. The genus Hydrogenophaga formed two subclusters, as did the species of Acidovorax, whereas the five species of the genus [Aquaspirillum] were polyphyletic. Comamonas acidovorans was phylogenetically distant from the type species of Comamonas, Comamonas terrigena. On the basis of this work and previous studies, Comamonas acidovorans is removed from the genus Comamonas and renamed as Delftia acidovorans gen. nov., comb, nov. Descriptions of the new genus Delftia and of the type species Delftia acidovorans, for which the type strain is ATCC 15668(T), are presented.

A review of the Apocreadiidae Skrjabin, 1942 (Trematoda : Digenea) and description of Australian species

The Apocreadiidae is reviewed and is considered to include genera recognised previously within the families Apocreadiidae, Homalometridae, Schistorchiidae, Sphincterostomatidae and Trematobrienidae. Key features of the family are extensive vitelline follicles, eye-spot pigment dispersed in forebody, I-shaped excretory vesicle, no cirrus-sac and genital pore opening immediately anterior to the ventral sucker (usually) or immediately posterior to it (Postporus Manter, 1949). Three subfamilies and 18 genera are recognised within the Apocreadiidae. The Apocreadiinae comprises Homalometron Stafford, 1904 (new syn. Barbulostomum Ramsey, 1965), Callohelmis n. g., Choanodera Manter, 1940, Crassicutis Manter, 1936, Dactylotrema Bravo-Hollis & Manter, 1957, Marsupioacetabulum Yamaguti, 1952, Microcreadium Simer, 1929, Myzotus Manter, 1940, Neoapocreadium Siddiqi & Cable, 1960, Neomegasolena Siddiqi & Cable, 1960, Pancreadium Manter, 1954, Procaudotestis Szidat, 1954 and Trematobrien Dollfus, 1950. The Schistorchiinae comprises Schistorchis Luhe, 1906, Sphincterostoma Yamaguti, 1937, Sphincteristomum Oshmarin, Mamaev & Parukhin, 1961 and Megacreadium Nagaty, 1956. The Postporinae comprises only Postporus. A key to subfamilies and genera of the Apocreadiidae is provided. It is argued that there is no convincing basis for the recognition of the genus Apocreadium Manter, 1937 and all its constituent species are combined with Homalometron. The following new combinations are proposed for species previously recognised within Apocreadium: Homalometron balistis (Manter, 1947), H. caballeroi (Bravo-Hollis, 1953), H. cryptum (Overstreet, 1969), H. longisinosum (Manter, 1937), H. manteri (Overstreet, 1970), H. mexicanum (Manter, 1937) and H. vinodae (Ahmad, 1985). Apocreadium uroproctoferum Sogandares-Bernal, 1959 is found to lack a uroproct and is made a synonym of H. mexicanum. Homalometron verrunculi nom. nov. is proposed to replace the secondarily pre-occupied H. caballeroi Lamothe-Argumedo, 1965. Barbulostomum is made a synonym of Homalometron and H. cupuloris (Ramsey, 1965) n. comb. is proposed. Neochoanodera is made a synonym of Choanodera and Choanodera ghanensis (Fischthal & Thomas, 1970) n. comb. is proposed. Species within the Apocreadiinae and Postporinae are reviewed and the following are recorded or described from Australian fishes: Homalometron wrightae n. sp. from Achlyopa nigra (Macleay), H. synagris (Yamaguti, 1953) n. comb. from Scolopsis monogramma (Cuvier), H. stradbrokensis n. sp. from Gerres subfasciatus Cuvier, Marsupioacetabulum opallioderma n. sp. from G. subfasciatus, Neoapocreadium karwarensis (Hafeezullah, 1970) n. comb. from G. subfasciatus, N. splendens n. sp. from S. monogramma and Callohelmis pichelinae n. g., n. sp. from Hemigymnus melapterus (Bloch), H. fasciatus (Bloch), Stethojulis bandanensis (Bleeker) andChoerodon venustus (De Vis). Callohelmis is recognised by the combination of absence of tegumental spines, caeca terminating midway between the testes and posterior end of body, ventral sucker enclosed in a tegumental pouch, prominent muscles radiating through the body from the ventral sucker, vitelline follicles not extending into the forebody, and a very short excretory vesicle that opens ventrally. New combinations for species previously recognised within Crassicutis are proposed as follows: Neoapocreadium caranxi (Bilqees, 1976) n. comb., N. gerridis (Nahhas & Cable, 1964) n. comb., N. imtiazi (Ahmad, 1984) n. comb. and N. marina (Manter, 1947) n. comb. The host-specificity and zoogeography of the Apocreadiinae are considered.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Detection and description of non-linear interdependence in normal multichannel human EEG data

Objectives: This study examines human scalp electroencephalographic (EEG) data for evidence of non-linear interdependence between posterior channels. The spectral and phase properties of those epochs of EEG exhibiting non-linear interdependence are studied. Methods: Scalp EEG data was collected from 40 healthy subjects. A technique for the detection of non-linear interdependence was applied to 2.048 s segments of posterior bipolar electrode data. Amplitude-adjusted phase-randomized surrogate data was used to statistically determine which EEG epochs exhibited non-linear interdependence. Results: Statistically significant evidence of non-linear interactions were evident in 2.9% (eyes open) to 4.8% (eyes closed) of the epochs. In the eyes-open recordings, these epochs exhibited a peak in the spectral and cross-spectral density functions at about 10 Hz. Two types of EEG epochs are evident in the eyes-closed recordings; one type exhibits a peak in the spectral density and cross-spectrum at 8 Hz. The other type has increased spectral and cross-spectral power across faster frequencies. Epochs identified as exhibiting non-linear interdependence display a tendency towards phase interdependencies across and between a broad range of frequencies. Conclusions: Non-linear interdependence is detectable in a small number of multichannel EEG epochs, and makes a contribution to the alpha rhythm. Non-linear interdependence produces spatially distributed activity that exhibits phase synchronization between oscillations present at different frequencies. The possible physiological significance of these findings are discussed with reference to the dynamical properties of neural systems and the role of synchronous activity in the neocortex. (C) 2002 Elsevier Science Ireland Ltd. All rights reserved.

Virtual learning communities beyond the classroom: perceptions of tertiary Chinese language and non-language learners

As class contact times are reduced as a result of fiscal restraints in the modern tertiary sector, language instructors are placed in the position of having to find new ways to provide experience and continuity in language learning. Extending 'learning communities'—sites of learner knowledge exchange, exposure to diverse learning styles and strategies, and mutual support—beyond the classroom is one solution to maintaining successful linguistic competencies amongst learners. This, however, can conflict with the diverse extra-curricular commitments faced by tertiary students. The flexibility of web-based learning platforms provides one means of overcoming these obstacles. This study investigates learner perceptions of the use of the WebCT platform's computer medicated communication (CMC) tools as a means of extending the community of learning in tertiary Chinese language and non-language courses. Learner responses to Likert and open-ended questionnaires show that flexibility and reduction of negative affect are seen as significant benefits to 'virtual' interaction and communication, although responses are notably stronger in the non-language compared with the language cohort. While both learner cohorts acknowledge positive learning outcomes, CMC is not seen to consistently further interpersonal rapport beyond that established in the classroom. Maintaining a balance between web-based and classroom learning emerges as a concern, especially amongst language learners. [Author abstract, ed]

A funny thing happened on the way to the forum: Electronic discussion and foreign language learning

Amongst the opportunities for cross-cultural contact created by the burgeoning use of the Internet are those provided by electronic discussion lists. This study looks at what happens when language students venture out of the classroom (virtual or otherwise) to participate in on-line discussion groups with native speakers. Responses to messages and commentary by moderators and other participants on the (in) appropriateness of contributions allow us to determine what constitutes successful participation and to make suggestions regarding effective teaching strategies for this medium. A case study examines the threads started by four anglophone students of French when they post messages to a forum on the Web site of the French newspaper Le Monde. Investigation of these examples points to the ways in which electronic discussion inflects and is inflected by cultural and generic expectations. We suggest that successful participation on Internet fora depends on awareness of such cultural and generic mores and an ability to work within and/or with them. Teachers therefore need to find ways in which students can be sensitized to such issues so that their participation in such electronic discussion is no longer seen as linguistic training, but as engagement with a cultural practice.

Rice morphogenesis and plant architecture: Measurement, specification and the reconstruction of structural development by 3D architectural modelling

Background and Aims The morphogenesis and architecture of a rice plant, Oryza sativa, are critical factors in the yield equation, but they are not well studied because of the lack of appropriate tools for 3D measurement. The architecture of rice plants is characterized by a large number of tillers and leaves. The aims of this study were to specify rice plant architecture and to find appropriate functions to represent the 3D growth across all growth stages. Methods A japonica type rice, 'Namaga', was grown in pots under outdoor conditions. A 3D digitizer was used to measure the rice plant structure at intervals from the young seedling stage to maturity. The L-system formalism was applied to create '3D virtual rice' plants, incorporating models of phenological development and leaf emergence period as a function of temperature and photoperiod, which were used to determine the timing of tiller emergence. Key Results The relationships between the nodal positions and leaf lengths, leaf angles and tiller angles were analysed and used to determine growth functions for the models. The '3D virtual rice' reproduces the structural development of isolated plants and provides a good estimation of the fillering process, and of the accumulation of leaves. Conclusions The results indicated that the '3D virtual rice' has a possibility to demonstrate the differences in the structure and development between cultivars and under different environmental conditions. Future work, necessary to reflect both cultivar and environmental effects on the model performance, and to link with physiological models, is proposed in the discussion.

Specification and validation of process constraints for flexible workflows

Workflow systems have traditionally focused on the so-called production processes which are characterized by pre-definition, high volume, and repetitiveness. Recently, the deployment of workflow systems in non-traditional domains such as collaborative applications, e-learning and cross-organizational process integration, have put forth new requirements for flexible and dynamic specification. However, this flexibility cannot be offered at the expense of control, a critical requirement of business processes. In this paper, we will present a foundation set of constraints for flexible workflow specification. These constraints are intended to provide an appropriate balance between flexibility and control. The constraint specification framework is based on the concept of pockets of flexibility which allows ad hoc changes and/or building of workflows for highly flexible processes. Basically, our approach is to provide the ability to execute on the basis of a partially specified model, where the full specification of the model is made at runtime, and may be unique to each instance. The verification of dynamically built models is essential. Where as ensuring that the model conforms to specified constraints does not pose great difficulty, ensuring that the constraint set itself does not carry conflicts and redundancy is an interesting and challenging problem. In this paper, we will provide a discussion on both the static and dynamic verification aspects. We will also briefly present Chameleon, a prototype workflow engine that implements these concepts. (c) 2004 Elsevier Ltd. All rights reserved.

Integrating formal specification and software verification and validation

It is not surprising that students are unconvinced about the benefits of formal methods if we do not show them how these methods can be integrated with other activities in the software lifecycle. In this paper, we describe an approach to integrating formal specification with more traditional verification and validation techniques in a course that teaches formal specification and specification-based testing. This is accomplished through a series of assignments on a single software component that involves specifying the component in Object-Z, validating that specification using inspection and a specification animation tool, and then testing an implementation of the specification using test cases derived from the formal specification.

A case study in specification and implementation testing

Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved.