Procedures and parameters in the real-time program refinement calculus

The real-time refinement calculus is a formal method for the systematic derivation of real-time programs from real-time specifications in a style similar to the non-real-time refinement calculi of Back and Morgan. In this paper we extend the real-time refinement calculus with procedures and provide refinement rules for refining real-time specifications to procedure calls. A real-time specification can include constraints on, not only what outputs are produced, but also when they are produced. The derived programs can also include time constraints oil when certain points in the program must be reached; these are expressed in the form of deadline commands. Such programs are machine independent. An important consequence of the approach taken is that, not only are the specifications machine independent, but the whole refinement process is machine independent. To implement the machine independent code on a target machine one has a separate task of showing that the compiled machine code will reach all its deadlines before they expire. For real-time programs, externally observable input and output variables are essential. These differ from local variables in that their values are observable over the duration of the execution of the program. Hence procedures require input and output parameter mechanisms that are references to the actual parameters so that changes to external inputs are observable within the procedure and changes to output parameters are externally observable. In addition, we allow value and result parameters. These may be auxiliary parameters, which are used for reasoning about the correctness of real-time programs as well as in the expression of timing deadlines, but do not lead to any code being generated for them by a compiler. (c) 2006 Elsevier B.V. All rights reserved.

Contradiction of quantum mechanics with local hidden variables for quadrature phase amplitude measurements

We demonstrate a contradiction of quantum mechanics with local hidden variable theories for continuous quadrature phase amplitude (position and momentum) measurements. For any quantum state, this contradiction is lost for situations where the quadrature phase amplitude results are always macroscopically distinct. We show that for optical realizations of this experiment, where one uses homodyne detection techniques to perform the quadrature phase amplitude measurement, one has an amplification prior to detection, so that macroscopic fields are incident on photodiode detectors. The high efficiencies of such detectors may open a way for a loophole-free test of local hidden variable theories.

The Modified Card Sorting Test: Test-retest stability and relationships with demographic variables in a healthy older adult sample

Objectives. To investigate the test-retest stability of a standardized version of Nelson's (1976) Modified Card Sorting Test (MCST) and its relationships with demographic variables in a sample of healthy older adults. Design. A standard card order and administration were devised for the MCST and administered to participants at an initial assessment, and again at a second session conducted a minimum of six months later in order to examine its test-retest stability. Participants were also administered the WAIS-R at initial assessment in order to provide a measure of psychometric intelligence. Methods. Thirty-six (24 female, 12 male) healthy older adults aged 52 to 77 years with mean education 12.42 years (SD = 3.53) completed the MCST on two occasions approximately 7.5 months (SD = 1.61) apart. Stability coefficients and test-retest differences were calculated for the range of scores. The effect of gender on MCST performance was examined. Correlations between MCST scores and age, education and WAIS-R IQs were also determined. Results. Stability coefficients ranged from .26 for the percent perseverative errors measure to .49 for the failure to maintain set measure. Several measures were significantly correlated with age, education and WAIS-R IQs, although no effect of gender on MCST performance was found. Conclusions. None of the stability coefficients reached the level required for clinical decision making. The results indicate that participants' age, education, and intelligence need to be considered when interpreting MCST performance. Normative studies of MCST performance as well as further studies with patients with executive dysfunction are needed.

Disagreement between correlations of quantum mechanics and stochastic electrodynamics in the damped parametric oscillator

Intracavity and external third order correlations in the damped nondegenerate parametric oscillator are calculated for quantum mechanics and stochastic electrodynamics (SED), a semiclassical theory. The two theories yield greatly different results, with the correlations of quantum mechanics being cubic in the system's nonlinear coupling constant and those of SED being linear in the same constant. In particular, differences between the two theories are present in at least a mesoscopic regime. They also exist when realistic damping is included. Such differences illustrate distinctions between quantum mechanics and a hidden variable theory for continuous variables.

Acute high-intensity interval training improves T-vent and peak power output in highly trained males.

This study examined the effects of four high-intensity interval-training (HIT) sessions performed over 2 weeks on peak volume of oxygen uptake (VO2peak), the first and second ventilatory thresholds (UT VT2) and peak power output (PPO) in highly trained cyclists. Fourteen highly trained male cyclists (VO2peak = 67.5 +/- 3.7 ml . kg(-1) . min(-1)) performed a ramped cycle test to determine VO2peak VT1 VT2, and PPO. Subjects were divided equally into a HIT group and a control group. The HIT group performed four HIT sessions (20 x 60 s at PPO, 120 s recovery); the V-02peak test was repeated <I wk after the HIT program. Control subjects maintained their regular training program and were reassessed under the same timeline. There was no change in V0(2peak) for either group; however, the HIT group showed a significantly greater increase in VT1, (+22% vs. -3%), VT2 (+15% vs. -1%), and PPO (+4.3 vs. -.4%) compared to controls (all P <.05). This study has demonstrated that HIT can improve VT1, VT2,, and PPO, following only four HIT sessions in already highly trained cyclists.

A comparison of lipid variables as predictors of cardiovascular disease in the Asia Pacific Region

PURPOSE: Many guidelines advocate measurement of total or low density lipoprotein cholesterol (LDL), high density lipoprotein cholesterol (HDL), and triglycerides (TG) to determine treatment recommendations for preventing coronary heart disease (CHD) and cardiovascular disease (CVD). This analysis is a comparison of lipid variables as predictors of cardiovascular disease. METHODS: Hazard ratios for coronary and cardiovascular deaths by fourths of total cholesterol (TC), LDL, HDL, TG, non-HDL, TC/HDL, and TG/HDL values, and for a one standard deviation change in these variables, were derived in an individual participant data meta-analysis of 32 cohort studies conducted in the Asia-Pacific region. The predictive value of each lipid variable was assessed using the likelihood ratio statistic. RESULTS: Adjusting for confounders and regression dilution, each lipid variable had a positive (negative for HDL) log-linear association with fatal CHD and CVD. Individuals in the highest fourth of each lipid variable had approximately twice the risk of CHD compared with those with lowest levels. TG and HDL were each better predictors of CHD and CVD risk compared with TC alone, with test statistics similar to TC/HDL and TG/HDL ratios. Calculated LDL was a relatively poor predictor. CONCLUSIONS: While LDL reduction remains the main target of intervention for lipid-lowering, these data support the potential use of TG or lipid ratios for CHD risk prediction. (c) 2005 Elsevier Inc. All rights reserved.

Testing for Market Power in Multiple-Input, Multiple-Output Industries: The Australian Grains and Oilseeds Industries

Recent empirical studies have found significant evidence of departures from competition in the input side of the Australian bread, breakfast cereal and margarine end-product markets. For example, Griffith (2000) found that firms in some parts of the processing and marketing sector exerted market power when purchasing grains and oilseeds from farmers. As noted at the time, this result accorded well with the views of previous regulatory authorities (p.358). In the mid-1990s, the Prices Surveillence Authority (PSA 1994) determined that the markets for products contained in the Breakfast Cereals and Cooking Oils and Fats indexes were "not effectively competitive" (p.14). The PSA consequently maintained price surveillence on the major firms in this product group. The Griffith result is also consistent with the large number of legal judgements against firms in this sector over the past decade for price fixing or other types of non-competitive behaviour. For example, bread manufacturer George Weston was fined twice during 2000 for non-competitive conduct and the ACCC has also recently pursued and won cases against retailer Safeway in grains and oilseeds product lines.

Research output of Australian general practice: A comparison with medicine, surgery and public health

Objectives: To compare the productivity of Australian general practice in terms of research publications with the productivity of other medical disciplines. Design: A survey of Australian general practice, medicine, surgery and public health publications carried out by manual searching of specific journals and an electronic search of the US National Library of Medicine's PubMed database. Main outcome measures: The number of original research publications by Australian general practitioners, physicians, surgeons and public health physicians during 1999; the relative publication rate of Australian general practice, medicine, surgery and public health over the period 1990-1999. Results: Of original research articles published in 1999, GPs authored 65% (17/26) in Australian Family Physician and 3% (3/90) in the Medical Journal of Australia; physicians published 4% and 37%, respectively. The electronic search identified 54 research articles relating to Australian general practice published in 1999 in 21 different journals, only two of which were primary care journals. Over the period 1990-1999, there was a publication rate of one general practice [discipline] article per 1000 GPs in practice per year. Corresponding rates for medicine, surgery and public health were 105/1000, 61/1000 and 148/1000, respectively. Conclusions: There is considerable disparity between the level of research output of general practice and that of the disciplines of medicine, surgery and public health. If we are to have effective general practice research, we urgently need to develop research skills, a supportive infrastructure and a culture that nurtures research.

Reliability of the input-output properties of the cortico-spinal pathway obtained from transcranial magnetic and electrical stimulation

The purpose of this experiment was to assess the test-retest reliability of input-output parameters of the cortico-spinal pathway derived from transcranial magnetic (TMS) and electrical (TES) stimulation at rest and during muscle contraction. Motor evoked potentials (MEPs) were recorded from the first dorsal interosseous muscle of eight individuals on three separate days. The intensity of TMS at rest was varied from 5% below threshold to the maximal output of the stimulator. During trials in which the muscle was active, TMS and TES intensities were selected that elicited MEPs of between 150 and 300 X at rest. MEPs were evoked while the participants exerted torques up to 50% of their maximum capacity. The relationship between MEP size and stimulus intensity at rest was sigmoidal (R-2 = 0.97). Intra-class correlation coefficients (ICC) ranged between 0.47 and 0.81 for the parameters of the sigmoid function. For the active trials, the slope and intercept of regression equations of MEP size on level of background contraction were obtained more reliably for TES (ICC = 0.63 and 0.78, respectively) than for TMS (ICC = 0.50 and 0.53, respectively), These results suggest that input-output parameters of the cortico-spinal pathway may be reliably obtained via transcranial stimulation during longitudinal investigations of cortico-spinal plasticity. (C) 2001 Elsevier Science B.V. All rights reserved.

Steepness and deepness in the Australian macroeconomy

This study uses nonparametric tests - the triples test and the BDS test, to examine whether key Australian macroeconomic aggregates exhibit nonlinearities and important 'steepness' and 'deepness' asymmetries at the business cycle frequency. Evidence is found of nonlinearities but there is little evidence of deepness in the Australian macroeconomy. However, there is evidence of steepness, especially concerning labour market variables, as well as both the CPI and M3. The evidence suggests that unemployment (employment) rises (falls) rapidly in recessions and only recovers slowly over time. Also, positive asymmetries in M3 are reflected in similar asymmetries in the CPI but not in output, consumption or investment.