Structuring real-time Object-Z specifications

This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.

Determination of T1pH relaxation rates in charred and uncharred wood and consequences for NMR quantitation

The performance of three different techniques for determining proton rotating frame relaxation rates (T1pH) in charred and uncharred woods is compared. The variable contact time (VCT) experiment is shown to over-estimate T1pH, particularly for the charred samples, due to the presence of slowly cross-polarizing C-13 nuclei. The variable spin (VSL) or delayed contact experiment is shown to overcome these problems; however, care is needed in the analysis to ensure rapidly relaxing components are not overlooked. T1pH is shown to be non-uniform for both charred and uncharred wood samples; a rapidly relaxing component (T1pH = 0.46-1.07 ms) and a slowly relaxing component (T1pH = 3.58-7.49) is detected in each sample. T1pH for each component generally decreases with heating temperature (degree of charring) and the proportion of rapidly relaxing component increases. Direct T1pH determination (via H-1 detection) shows that all samples contain an even faster relaxing component (0.09-0.24 ms) that is virtually undetectable by the indirect (VCT and VSL) techniques. A new method for correcting for T1pH signal losses in spin counting experiments is developed to deal with the rapidly relaxing component detected in the VSL experiment. Implementation of this correction increased the proportion of potential C-13 CPMAS NMR signal that can be accounted for by up to 50% for the charred samples. An even greater proportion of potential signal can be accounted for if the very rapidly relaxing component detected in the direct T1pH determination is included; however, it must be kept in mind that this experiment also detects H-1 pools which may not be involved in H-1-C-13 cross-polarization. (C) 2002 Elsevier Science (USA).

An agent-based approach to modelling driver route choice behaviour under the influence of real-time information

This paper presents an agent-based approach to modelling individual driver behaviour under the influence of real-time traffic information. The driver behaviour models developed in this study are based on a behavioural survey of drivers which was conducted on a congested commuting corridor in Brisbane, Australia. Commuters' responses to travel information were analysed and a number of discrete choice models were developed to determine the factors influencing drivers' behaviour and their propensity to change route and adjust travel patterns. Based on the results obtained from the behavioural survey, the agent behaviour parameters which define driver characteristics, knowledge and preferences were identified and their values determined. A case study implementing a simple agent-based route choice decision model within a microscopic traffic simulation tool is also presented. Driver-vehicle units (DVUs) were modelled as autonomous software components that can each be assigned a set of goals to achieve and a database of knowledge comprising certain beliefs, intentions and preferences concerning the driving task. Each DVU provided route choice decision-making capabilities, based on perception of its environment, that were similar to the described intentions of the driver it represented. The case study clearly demonstrated the feasibility of the approach and the potential to develop more complex driver behavioural dynamics based on the belief-desire-intention agent architecture. (C) 2002 Elsevier Science Ltd. 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.

Real exchange rate and elasticity of labour supply in a balance-of-payments-constrained macrodynamics

A macrodynamic model is proposed in which the real exchange rate and the elasticity of labour supply interact defining different trajectories of growth and income distribution in a developing economy. Growth depends on imports of capital goods which are paid with exports (there are no capital flows) and hence is constrained by equilibrium in current account. The role of the elasticity of labour supply is to prevent the real exchange rate from appreciating as the economy grows, thereby sustaining international competitiveness. The model allows for endogenous technological change and considers the impact of migration from the subsistence to the modern sector on the cumulative (Kaldor-Verdoorn) process of learning.

The economic determinants of the Brazilian nominal term structure of interest rates

The purpose of this study is to identify the effects of monetary policy and macroeconomic shocks on the dynamics of the Brazilian term structure of interest rates. We estimate a near-VAR model under the identification scheme proposed by Christiano et al. (1996, 1999). The results resemble those of the US economy: monetary policy shocks that flatten the term structure of interest rates. We find that monetary policy shocks in Brazil explain a significantly larger share of the dynamics of the term structure than in the USA. Finally, we analyse the importance of standard macroeconomic variables (e. g. GDP, inflation and measure of country risk) to the dynamics of the term structure in Brazil.

Price dispersion and price indexes

The traditional theory of price index numbers is based on the law of one price. But in the real world, we frequently observe the existence of an equilibrium price dispersion instead of one price of equilibrium. This article discusses the effects of price dispersion on two price indexes: the cost of living index and the consumer price index. With price dispersion and consumer searching for the lowest price, these indexes cannot be interpreted as deterministic indicators, but as stochastic indicators, and they can be biased if price dispersion is not taken into account. A measure for the bias of the consumer price index is proposed and the article ends with an estimation of the bias based on data obtained from the consumer price index calculated for the city of Sao Paulo, Brazil, from January 1988 through December 2004. The period analysed is very interesting, because it exhibits different inflationary environments: high levels and high volatility of the rates of inflation with great price dispersion until July 1994 and low and relatively stable rates of inflation with prices less dispersed after August 1994.

Increased rates of ENT surgery among young children: Have clinical guidelines made a difference?

Objectives: To examine the association between introduction of paediatric ear, nose and throat (ENT) surgery guidelines and population procedure rates. To determine changes in children's risk of undergoing ENT surgery. Methods: Trend analysis of incidence of myringotomy, tonsillectomy and adenoidectomy among New South Wales (NSW) children aged 0-14 between 1981 and mid 1999. Poisson regression models were used to estimate annual rates of change pre and postguidelines introduction and age/gender specific rates, and lifetable methods to determine risk of undergoing an ENT procedure by age 15. Results: ENT surgery rates increased by 21% over the study period. Children's risk of surgery increased from 17.9% in 1981 to 20.2% in 1998/99. Guideline introduction was associated with moderate short-term decreases in rates. For tonsillectomy, rates decreased between 1981 and 1983, but then rose continually until the introduction of myringotomy guidelines in 1993, when they fell, only to recommence rising until the end of the study period. For myringotomy, rates rose annually from 1981 to 1992/93 and fell in the 3 years following guideline introduction, after which they rose again. Increases were almost exclusively restricted to children aged 0-4 and correspond with increased use of formal childcare. The prevalence of myringotomy by the age of 5 years rose from 5.6% of children born in 1988/89 to 6.4% of those born in 1994/95, and the prevalence of tonsillectomy from 2.4% to 2.7%. Conclusions: The risk of young Australian children undergoing ENT surgery increased significantly over the last two decades despite the introduction of guidelines and no evidence of an increase in otitis media, one condition prompting surgery. Surgery increased most among the very young. We hypothesize this is related to increasing use of childcare.

Electronic medical records may be inadequate for improving population health status through general practice: cervical smears as a case study

Objective: To determine whether routine electronic records are an accurate source of population health data in general practice through reviewing cervical smears rates in four South Australian practices. Methods: The cervical screening rate in a purposive sample of four general practices (three rural and one urban) was obtained using an audit of medical records and a telephone follow-up. Results: The cervical screening rate using only immediately available electronic medical records indicated an overall low rate for the participating practices (44.9%). However, telephone follow-up and adjustments to the denominator indicated the real rate to be 85.7%. The offer of appointments during the telephone follow-up further improved this rate for eligible women (93.8%). Conclusions and implications: Electronic medical records may be inadequate in preventive screening in general practice, without ensuring their accuracy. Updating records by telephone or personal follow-up produces a much more accurate denominator.

Exponential Rates of Convergence in the Ergodic Theorem: A Constructive Approach

We prove that, once an algorithm of perfect simulation for a stationary and ergodic random field F taking values in S(Zd), S a bounded subset of R(n), is provided, the speed of convergence in the mean ergodic theorem occurs exponentially fast for F. Applications from (non-equilibrium) statistical mechanics and interacting particle systems are presented.

Decline in homicide rates in Sao Paulo, Brasil: a descriptive analysis

Objective. To describe homicide mortality in the municipality of Sao Paulo according to type of weapon, sex, race or skin color, age, and areas of socioeconomic inequalities, between 1996 and 2008. Method. For this ecological time-series study, data about deaths in the municipality of Sao Paulo were collected from the municipal program for improvement of mortality information, using International Classification of Diseases, 10th revision (ICD-10) codes. Homicide mortality rates (HMR) were calculated for the overall population and specifically for each sex, race or skin color, age range, type of weapon, and occurrence in social deprivation/affluence areas. HMR were adjusted for age using the direct method. The percentage age of variation in HMR was calculated for the study period. For areas of socioeconomic inequalities, the relative risk of death from homicide was calculated. Results. HMR fell 73.7% between 2001 and 2008. A reduction in HMR was observed in all groups, especially males (-74.5%), young men between 15 and 24 years of age (-78.0%), and residents in areas of extreme socioeconomic deprivation (-79.3%). The reduction occurred mostly in firearm homicide rates (-74.1%). The relative risk of death from homicide in areas of extreme socioeconomic deprivation, as compared to areas with some degree of socioeconomic deprivation, was 2.77 in 1996, 3.9 in 2001, and 2.13 in 2008. In areas of high socioeconomic deprivation, the relative risk was 2.07 in 1996 and 1.96 in 2008. Conclusions. To understand the reduction in homicide rates in the municipality of Sao Paulo, it is important to take into consideration macrodeterminants that affect the entire municipality and all population subgroups, as well as micro/local determinants that have special impact on homicides committed with firearms and on subgroups such as the young, males, and residents of areas of high socioeconomic deprivation.