A model of specification-based testing of interactive systems

In this paper we present a model of specification-based testing of interactive systems. This model provides the basis for a framework to guide such testing. Interactive systems are traditionally decomposed into a functionality component and a user interface component; this distinction is termed dialogue separation and is the underlying basis for conceptual and architectural models of such systems. Correctness involves both proper behaviour of the user interface and proper computation by the underlying functionality. Specification-based testing is one method used to increase confidence in correctness, but it has had limited application to interactive system development to date.

Extensive chromosomal variation associated with taxon divergence and host specificity in the gall-inducing scale insect Apiomorpha munita (Schrader) (Hemiptera : Sternorrhyncha : Coccoidea : Eriococcidae)

Apiomorpha Rubsaamen (Hemiptera: Coccoidea: Eriococcidae) is one of the most chromosomally diverse of all animal genera. There is extensive karyotypic variation within many of the morphologically defined species, including A. munita (Schrader) which is here reported to have diploid chromosome counts ranging from 6 to more than 100. Each of the three morphologically defined subspecies of A. munita also displays considerable chromosomal variation: A. m. tereticornuta Gullan (2n =6, 8, 20, 22 or 24), A. m. malleensis Gullan (2n =6, 20, 22, 24 or 26), and A. m. munita (Schrader) (2n=54 or >100). Apiomorpha munita appears to occur only on eucalypts of the informal subgenus Symphyomyrtus, with each of the subspecies of A. munita restricted to discrete symphyomyrt sections. Several different karyotypic forms within each subspecies of A. munita appear to be restricted to only one or a few eucalypt species or series. The association between apparent host specificity and chromosomal rearrangements in A. munita suggests that both may be playing an active role in taxon divergence in Apiomorpha. (C) 2001 The Linnean Society of London.

Identifying rate-limiting nodes in large-scale cortical networks for visuospatial processing: an illustration using fMRI

With the advent of functional neuroimaging techniques, in particular functional magnetic resonance imaging (fMRI), we have gained greater insight into the neural correlates of visuospatial function. However, it may not always be easy to identify the cerebral regions most specifically associated with performance on a given task. One approach is to examine the quantitative relationships between regional activation and behavioral performance measures. In the present study, we investigated the functional neuroanatomy of two different visuospatial processing tasks, judgement of line orientation and mental rotation. Twenty-four normal participants were scanned with fMRI using blocked periodic designs for experimental task presentation. Accuracy and reaction time (RT) to each trial of both activation and baseline conditions in each experiment was recorded. Both experiments activated dorsal and ventral visual cortical areas as well as dorsolateral prefrontal cortex. More regionally specific associations with task performance were identified by estimating the association between (sinusoidal) power of functional response and mean RT to the activation condition; a permutation test based on spatial statistics was used for inference. There was significant behavioral-physiological association in right ventral extrastriate cortex for the line orientation task and in bilateral (predominantly right) superior parietal lobule for the mental rotation task. Comparable associations were not found between power of response and RT to the baseline conditions of the tasks. These data suggest that one region in a neurocognitive network may be most strongly associated with behavioral performance and this may be regarded as the computationally least efficient or rate-limiting node of the network.

The evolution and star formation of dwarf galaxies in the Fornax Cluster

We present the results of a spectroscopic survey of 675 bright (16.5 < b(J) < 18) galaxies in a 6 degrees field centred on the Fornax cluster with the FLAIR-II spectrograph on the UK Schmidt Telescope. Three galaxy samples were observed: compact galaxies to search for new blue compact dwarfs, candidate M 32-like compact dwarf ellipticals, and a subset of the brightest known cluster members in order to study the cluster dynamics. We measured redshifts for 516 galaxies, of which 108 were members of the Fornax Cluster. Defining dwarf galaxies to be those with b(J) greater than or equal to 15 (M-B greater than or equal to - 16.5), there are a total of 62 dwarf cluster galaxies in our sample. Nine of these are new cluster members previously misidentified as background galaxies. The cluster dynamics show that the dwarf galaxies are still falling into the cluster whereas the giants are virialized. We classified the observed galaxies as late-type if we detected H alpha emission at an equivalent width greater than 1 Angstrom. The spectra were obtained through fixed apertures, so they reflect activity in the galaxy cores, but this does not significantly bias the classifications of the compact dwarfs in our sample. The new classifications reveal a higher rate of star formation among the dwarf galaxies than suggested by morphological classification: 35 per cent have significant H alpha emission indicative of star formations but only 19 per cent were morphologically classified as late-types. The star-forming dwarf galaxies span the full range of physical sizes and we find no evidence in our data for a distinct class of star-forming blue compact dwarf (BCD) galaxy. The distribution of scale sizes is consistent with evolutionary processes which transform late-type dwarfs to early-type dwarfs. The fraction of dwarfs with active star formation drops rapidly towards the cluster centre: this is the usual density-morphology relation confirmed here for dwarf galaxies. The star-forming dwarfs are concentrated in the outer regions of the cluster, the most extreme in an infalling subcluster. We estimate gas depletion time-scales for five dwarfs with detected Hi emission: these are long (of order 10(10) yr), indicating that an active gas removal process must be involved if they are transformed into gas-poor dwarfs as they fall further into the cluster. Finally, in agreement with our previous results, we find no compact dwarf elliptical (M 32-like) galaxies in the Fornax Cluster.

A catalog of HI-selected galaxies from the south celestial cap region of sky

The first deep catalog of the H I Parkes All Sky Survey (HIPASS) is presented, covering the south celestial cap (SCC) region. The SCC area is similar to2400 deg(2) and covers delta < -62&DEG;. The average rms noise for the survey is 13 mJy beam(-1). Five hundred thirty-six galaxies have been cataloged according to their neutral hydrogen content, including 114 galaxies that have no previous cataloged optical counterpart. This is the largest sample of galaxies from a blind H I survey to date. Most galaxies in optically unobscured regions of sky have a visible optical counterpart; however, there is a small population of low-velocity H I clouds without visible optical counterparts whose origins and significance are unclear. The rms accuracy of the HIPASS positions is found to be 1.'9. The H I mass range of galaxies detected is from &SIM;10(6) to &SIM;10(11) M-.. There are a large number of late-type spiral galaxies in the SCC sample (66%), compared with 30% for optically selected galaxies from the same region in the NASA Extragalactic Database. The average ratio of H I mass to B luminosity of the sample increases according to optical type, from 1.8 M-./L-. for early types to 3.2 M-./L-. for late-type galaxies. The H I-detected galaxies tend to follow the large-scale structure traced by galaxies found in optical surveys. From the number of galaxies detected in this region of sky, we predict the full HIPASS catalog will contain &SIM;5000 galaxies, to a peak flux density limit of &SIM;39 mJy (3 σ), although this may be a conservative estimate as two large voids are present in the region. The H I mass function for this catalog is presented in a subsequent paper.

A preliminary phylogeny of the scale insects (Hemiptera : Sternorrhyncha : Coccoidea) based on nuclear small-subunit ribosomal DNA

Scale insects (Hemiptera: Sternorrhyncha: Coccoidea) are a speciose and morphologically specialized group of plant-feeding bugs in which evolutionary relationships and thus higher classification are controversial. Sequences derived from nuclear small-subunit ribosomal DNA were used to generate a preliminary molecular phylogeny for the Coccoidea based on 39 species representing 14 putative families. Monophyly of the archaeococcoids (comprising Ortheziidae, Margarodidae sensu lato, and Phenacoleachia) was equivocal, whereas monophyly of the neococcoids was supported. Putoidae, represented by Puto yuccae, was found to be outside the remainder of the neococcoid clade. These data are consistent with a single origin (in the ancestor of the neococcoid clade) of a chromosome system involving paternal genome elimination in males. Pseudococcidae (mealybugs) appear to be sister to the rest of the neococcoids and there are indications that Coccidae (soft scales) and Kerriidae (lac scales) are sister taxa. The Eriococcidae (felt scales) was not recovered as a monophyletic group and the eriococcid genus Eriococcus sensu lato was polyphyletic. (C) 2002 Elsevier Science (USA). All rights reserved.

The large-scale distribution of neutral hydrogen in the Fornax region

Using data from the H I Parkes All Sky Survey (HIPASS), we have searched for neutral hydrogen in galaxies in a region similar to25x25 deg(2) centred on NGC 1399, the nominal centre of the Fornax cluster. Within a velocity search range of 300-3700 km s(-1) and to a 3sigma lower flux limit of similar to40 mJy, 110 galaxies with H I emission were detected, one of which is previously uncatalogued. None of the detections has early-type morphology. Previously unknown velocities for 14 galaxies have been determined, with a further four velocity measurements being significantly dissimilar to published values. Identification of an optical counterpart is relatively unambiguous for more than similar to90 per cent of our H I galaxies. The galaxies appear to be embedded in a sheet at the cluster velocity which extends for more than 30degrees across the search area. At the nominal cluster distance of similar to20 Mpc, this corresponds to an elongated structure more than 10 Mpc in extent. A velocity gradient across the structure is detected, with radial velocities increasing by similar to500 km s(-1) from south-east to north-west. The clustering of galaxies evident in optical surveys is only weakly suggested in the spatial distribution of our H I detections. Of 62 H I detections within a 10degrees projected radius of the cluster centre, only two are within the core region (projected radius

Local-global processing in early-onset schizophrenia: Evidence for an impairment in shifting the spatial scale of attention

In this study we report the results of two experiments on visual attention conducted with patients with early-onset schizophrenia. These experiments investigated the effect of irrelevant spatial-scale information upon the processing of relevant spatial-scale information, and the ability to shift the spatial scale of attention, across consecutive trials, between different levels of the hierarchical stimulus. Twelve patients with early-onset schizophrenia and matched controls performed local-global tasks under: (1) directed attention conditions with a consistency manipulation and (2) divided-attention conditions. In the directed-attention paradigm, the early-onset patients exhibited the normal patterns of global advantage and interference, and were not unduly affected by the consistency manipulation. Under divided-attention conditions, however, the early-onset patients exhibited a local-processing deficit. The source of this local processing deficit lay in the prolonged reaction time to local targets, when these had been preceded by a global target, but not when preceded by a local target. These findings suggest an impaired ability to shift the spatial scale of attention from a global to a local spatial scale in early-onset schizophrenia. (C) 2003 Elsevier Science (USA). All rights reserved.

Impact of on-site testing for maternal syphilis on treatment delays, treatment rates, and perinatal mortality in rural South Africa: a randomised controlled trial

Background: Syphilis remains a significant cause of preventable perinatal death in developing countries with many women remaining untested and thus untreated. Syphilis testing in the clinic (on-site testing) may be a useful strategy to overcome this. We studied the impact of on-site syphilis testing on treatment delays and rates, and perinatal mortality. Methods: We conducted a cluster randomised controlled trial among seven pairs of primary healthcare clinics in rural South Africa, comparing on-site testing complemented by laboratory confirmation versus laboratory testing alone. Intervention clinics used the on-site test conducted by primary care nurses, with results and treatment available within an hour. Control clinics sent blood samples to the provincial laboratory, with results returned 2 weeks later. Results: Of 7134 women seeking antenatal care with available test results, 793 (11.1%) tested positive for syphilis. Women at intervention clinics completed treatment 16 days sooner on average (95% confidence interval: 11 to 21), though there was no significant difference in the proportion receiving adequate treatment at intervention (64%) and control (69%) clinics. There was also no significant difference in the proportion experiencing perinatal loss (3.3% v 5.1%; adjusted risk difference: -0.9%; 95% Cl -4.4 to 2.7). Conclusions: Despite reducing treatment delays, the addition of on-site syphilis testing to existing laboratory testing services did not lead to higher treatment rates or reduce perinatal mortality. However on-site testing for syphilis may remain an important option for improving antenatal care in settings where laboratory facilities are not available.

Cytokine-related genes identified from the RIKEN full-length mouse cDNA data set

To identify novel cytokine-related genes, we searched the set of 60,770 annotated RIKEN mouse cDNA clones (FANTOM2 clones), using keywords such as cytokine itself or cytokine names (such as interferon, interleukin, epidermal growth factor, fibroblast growth factor, and transforming growth factor). This search produced 108 known cytokines and cytokine-related products such as cytokine receptors, cytokine-associated genes, or their products (enhancers, accessory proteins, cytokine-induced genes). We found 15 clusters of FANTOM2 clones that are candidates for novel cytokine-related genes. These encoded products with strong sequence similarity to guanylate-binding protein (GBP-5), interleukin-1 receptor-associated kinase 2 (IRAK-2), interleukin 20 receptor alpha isoform 3, a member of the interferon-inducible proteins of the Ifi 200 cluster, four members of the membrane-associated family 1-8 of interferon-inducible proteins, one p27-like protein, and a hypothetical protein containing a Toll/Interleukin receptor domain. All four clones representing novel candidates of gene products from the family contain a novel highly conserved cross-species domain. Clones similar to growth factor-related products included transforming growth factor beta-inducible early growth response protein 2 (TIEG-2), TGFbeta-induced factor 2, integrin beta-like 1, latent TGF-binding protein 4S, and FGF receptor 4B. We performed a detailed sequence analysis of the candidate novel genes to elucidate their likely functional properties.

Identification of novel "pathologs" (human disease-related gene candidates) from the RIKEN full-length mouse cDNA data set

The majority of common diseases such as cancer, allergy, diabetes, or heart disease are characterized by complex genetic traits, in which genetic and environmental components contribute to disease susceptibility. Our knowledge of the genetic factors underlying most of such diseases is limited. A major goal in the post-genomic era is to identify and characterize disease susceptibility genes and to use this knowledge for disease treatment and prevention. More than 500 genes are conserved across the invertebrate and vertebrate genomes. Because of gene conservation, various organisms including yeast, fruitfly, zebrafish, rat, and mouse have been used as genetic models.

Testing hypotheses about the relationship between cannabis use and psychosis

Aim: To model the impact of rising rates of cannabis use on the incidence and prevalence of psychosis under four hypotheses about the relationship between cannabis use and psychosis. Methods: The study modelled the effects on the prevalence of schizophrenia over the lifespan of cannabis in eight birth cohorts: 1940-1944, 1945-1949, 1950-1954, 1955-1959, 1960-1964, 1965-1969, 1970-1974, 1975-1979. It derived predictions as to the number of cases of schizophrenia that would be observed in these birth cohorts, given the following four hypotheses: (1) that there is a causal relationship between cannabis use and schizophrenia; (2) that cannabis use precipitates schizophrenia in vulnerable persons; (3) that cannabis use exacerbates schizophrenia; and (4) that persons with schizophrenia are more liable to become regular cannabis users. Results: There was a steep rise in the prevalence of cannabis use in Australia over the past 30 years and a corresponding decrease in the age of initiation of cannabis use. There was no evidence of a significant increase in the incidence of schizophrenia over the past 30 years. Data on trends the age of onset of schizophrenia did not show a clear pattern. Cannabis use among persons with schizophrenia has consistently been found to be more common than in the general population. Conclusions: Cannabis use does not appear to be causally related to the incidence of schizophrenia, but its use may precipitate disorders in persons who are vulnerable to developing psychosis and worsen the course of the disorder among those who have already developed it. (C) 2003 Elsevier Science Ireland Ltd. All rights reserved.