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.

Employee reactions to behavioural control under conditions of stress: the moderating role of self-efficacy

Extensive research conducted in the occupational stress literature has failed to provide convincing support for the stress-buffering effects of work control on employee adjustment. Drawing on research conducted in the laboratory context, it was proposed that the stress-buffering effects of work control on employee adjustment would be more marked at high, rather than low, levels of self-efficacy. In a sample of 100 customer service representatives, a significant three-way interaction among role conflict, work control and self-efficacy (measured at Time 1) was observed on (low) depersonalization (measured at Time 2). Consistent with expectations, work control reduced the negative effects of work stress on this outcome measure only for employees who perceived high levels of self-efficacy at work. In addition, there was evidence to suggest that self-efficacy moderated the main effects of work control on job satisfaction and somatic health. These findings are discussed hi terms of their theoretical contribution to the job strain model, and also in relation to workplace interventions designed to improve levels of employee adjustment.

CD40 ligation conditions dendritic cell antigen-presenting function through sustained activation of NF-kappa B

An understanding of the biochemical control of dendritic cell (DC) differentiation/activation is essential for improving T cell immunity by various immunotherapeutic approaches, including DC immunization. Ligation of CD40 enhances DC function, including conditioning for CTL priming. NF-kappaB, and particularly RelB, is an essential control pathway for myeloid DC differentiation. Furthermore, RelB regulates B cell Ag-presenting function. We hypothesized that CD40 ligand (CD40L) and TNF-alpha, which differ in their capacity to condition DC, would also differ in their capacity to activate NF-kappaB. DC differentiated for 2 days from monocytes in the presence of GM-CSF and IL-4 were used as a model, as NF-kappaB activity was constitutively low. The capacity of DC to activate T cells following CD40L treatment was enhanced compared with TNF-alpha treatment, and this was NF-kappaB dependent. Whereas RelB/p50 translocation induced by TNF-alpha was attenuated after 6 h, RelB/p50 nuclear translocation induced by CD40L was sustained for at least 24 h. The mechanism of this difference related to enhanced degradation of IkappaBalpha following CD40L stimulation. However, NF-kappaB activation induced by TNF-alpha could be sustained by blocking autocrine IL-10. These data indicate that NF-kappaB activation is essential for T cell activation by DC, and that this function is enhanced if DC NF-kappaB activation is prolonged. Because IL-10 moderates DC NF-kappaB activation by TNF-alpha, sustained NF-kappaB activation can be achieved by blocking IL-10 in the presence of stimuli that induce TNF-alpha.

Effect of storage time and conditions on the hardness and cooking quality of adzuki (Vigna angularis)

A storage trial of two varieties of adzuki (Vigna angularis), Bloodwood and Erimo, produced in Australia, was conducted to determine the effect of various combinations of temperature, humidity and length of storage on bean quality. The beans were stored for up to 6 mo under the following conditions: temperature (10, 20 and 30degreesC), relative humidity (RH) (40 and 65%). Storage of adzuki at elevated temperature (30degreesC) and low relative humidity (40%) resulted in the greatest loss of bean moisture, increase in hydration times and decrease in bean cooking quality, i.e. increased hardness of cooked beans. The best storage conditions for the preservation of adzuki quality were 10degreesC and 65% RH.

Algebraic Bethe ansatz for integrable one-dimensional extended Hubbard models with open boundary conditions

Nine classes of integrable open boundary conditions, further extending the one-dimensional U-q (gl (212)) extended Hubbard model, have been constructed previously by means of the boundary Z(2)-graded quantum inverse scattering method. The boundary systems are now solved by using the algebraic Bethe ansatz method, and the Bethe ansatz equations are obtained for all nine cases.

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.

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.

Environmental influence on the stress corrosion cracking of rock bolts

In order to understand rock bolt Stress Corrosion Cracking (SCC), a series of experiments have been performed in Linearly Increasing Stress Test (LIST) apparatus. One series of experiments determined the threshold stress of various bolt metallurgies (900 MPa for Steel A, and 800 MPa for Steel B and C). The high values of threshold stress suggest that SCC begins in rock bolts when they are sheared by moving rock strata. Typical crack velocity values have been measured to be 2.5 x 10(-8) m s(-1), indicating that there is not much benefit for rock bolt steel of higher fracture toughness. Another series of experiments were performed to understand the environmental conditions causing SCC of steel A and galvanised Steel A rock bolt steel. SCC only occurred for environmental conditions for which produce hydrogen on the sample surface, leading to hydrogen embrittlement and SCC. Fracture surfaces of LIST samples failed by SCC were found to display the same fracture regions as fracture surfaces of rock bolts failed in service by SCC: Tearing Topography Surface (TTS), Corrugated Irregular Surface (CIS), quasi Micro Void Coalescence (qMVC) and Fast Fracture Surface (FFS). Water chemistry analysis were carried out on samples collected from various Australian mines in order to compare laboratory electrolyte conditions to those found in underground mines.

Micromorphological study of slumping in a hardsetting seedbed under various wetting conditions

Slumping of hardsetting seedbeds upon wetting has not been extensively studied despite the likelihood that it determines the physical properties after drying. Slumping results from processes similar to those involved in crusting except that overburden pressure can dominate rather than rainfall kinetic energy. Only a few studies have dealt with the morphological description of slumping. To simulate different climatic and management conditions, repacked seedbeds of a hardsetting sandy-loam soil were subjected to a range of wetting conditions, e.g. capillary rise, immersion, and rainfall simulation. Slumping processes were characterized using qualitative and quantitative micromorphological observations of polished blocks and thin sections from resin-impregnated samples. A morphogenetical framework was proposed to help description of the complex associations of processes which can lead to structural collapse (crusting and slumping) on wetting. Three main stages were considered, i.e. aggregate disruption or abrasion, relocation of the released material, and compaction. In the hardsetting material studied here, structural collapse under slow wetting occurred at the bottom of cores due to aggregate coalescence under overburden pressure. Coalescence required aggregate cohesion being reduced by microcracking; therefore, it differed from the coalescence previously described in unstable silty loam soils where microcracking was not necessary for aggregates to coalesce. Macroporosity decreased most strongly under fast wetting due to physical dispersion and aggregate breakdown. Under simulated rainfall, compaction by raindrops could not be distinguish from aggregate breakdown. The role of overburden pressure and of rainfall kinetic energy remains to be stated; new data are required including measurement of total porosity in the initial, wet, and dry states. (C) 2003 Elsevier B.V. All rights reserved.

Assessing cost-effectiveness in mental health: family interventions for schizophrenia and related conditions

Objective: Existing evidence suggests that family interventions can be effective in reducing relapse rates in schizophrenia and related conditions. Despite this, such interventions are not routinely delivered in Australian mental health services. The objective of the current study is to investigate the incremental cost-effectiveness ratios (ICERs) of introducing three types of family interventions, namely: behavioural family management (BFM); behavioural intervention for families (BIF); and multiple family groups (MFG) into current mental health services in Australia. Method: The ICER of each of the family interventions is assessed from a health sector perspective, including the government, persons with schizophrenia and their families/carers using a standardized methodology. A two-stage approach is taken to the assessment of benefit. The first stage involves a quantitative analysis based on disability-adjusted life years (DALYs) averted. The second stage involves application of 'second filter' criteria (including equity, strength of evidence, feasibility and acceptability to stakeholders) to results. The robustness of results is tested using multivariate probabilistic sensitivity analysis. Results: The most cost-effective intervention, in order of magnitude, is BIF (A$8000 per DALY averted), followed by MFG (A$21 000 per DALY averted) and lastly BFM (A$28 000 per DALY averted). The inclusion of time costs makes BFM more cost-effective than MFG. Variation of discount rate has no effect on conclusions. Conclusions: All three interventions are considered 'value-for-money' within an Australian context. This conclusion needs to be tempered against the methodological challenge of converting clinical outcomes into a generic economic outcome measure (DALY). Issues surrounding the feasibility of routinely implementing such interventions need to be addressed.

A non-invasive method for silencing gene transcription in honeybees maintained under natural conditions

in the Apis mellifera post-genomic era, RNAi protocols have been used in functional approaches. However, sample manipulation and invasive methods such as injection of double-stranded RNA (dsRNA) can compromise physiology and survival. To circumvent these problems, we developed a non-invasive method for honeybee gene knockdown, using a well-established vitellogenin RNAi system as a model. Second instar larvae received dsRNA for vitellogenin (dsVg-RNA) in their natural diet. For exogenous control, larvae received dsRNA for GFP (dsGFP-RNA). Untreated larvae formed another control group. Around 60% of the treated larvae naturally developed until adult emergence when 0.5 mu g of dsVg-RNA or dsGFP-RNA was offered while no larvae that received 3.0 mu g of dsRNA reached pupal stages. Diet dilution did not affect the removal rates. Viability depends not only on the delivered doses but also on the internal conditions of colonies. The weight of treated and untreated groups showed no statistical differences. This showed that RNAi ingestion did not elicit drastic collateral effects. Approximately 90% of vitellogenin transcripts from 7-day-old workers were silenced compared to controls. A large number of samples are handled in a relatively short time and smaller quantities of RNAi molecules are used compared to invasive methods. These advantages culminate in a versatile and a cost-effective approach. (c) 2008 Elsevier Ltd. All rights reserved.