The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Analysis of small signal stability margins using genetic optimization

Power system small signal stability analysis aims to explore different small signal stability conditions and controls, namely: (1) exploring the power system security domains and boundaries in the space of power system parameters of interest, including load flow feasibility, saddle node and Hopf bifurcation ones; (2) finding the maximum and minimum damping conditions; and (3) determining control actions to provide and increase small signal stability. These problems are presented in this paper as different modifications of a general optimization to a minimum/maximum, depending on the initial guesses of variables and numerical methods used. In the considered problems, all the extreme points are of interest. Additionally, there are difficulties with finding the derivatives of the objective functions with respect to parameters. Numerical computations of derivatives in traditional optimization procedures are time consuming. In this paper, we propose a new black-box genetic optimization technique for comprehensive small signal stability analysis, which can effectively cope with highly nonlinear objective functions with multiple minima and maxima, and derivatives that can not be expressed analytically. The optimization result can then be used to provide such important information such as system optimal control decision making, assessment of the maximum network's transmission capacity, etc. (C) 1998 Elsevier Science S.A. All rights reserved.

Gender-related symptoms and correlates of alcohol dependence among men and women with a lifetime diagnosis of alcohol use disorders

This study explored gender-related symptoms and correlates of alcohol dependence in a cross-sectional study of 150 men and 150 women with a lifetime diagnosis of alcohol use disorders (AUD). Participants were recruited in equal numbers from treatment settings, correctional centres and the general community. Standardized measures were used to determine participants' use of substances, history of psychiatric disorders and psychosocial stress, their sensation seeking and family history of substance use and mental health disorders. Multivariate analyses were used to detect patterns of variables associated with gender and the lifetime severity of AUD. Men had a longer history of severe AUD than women. Women had similar levels of alcohol dependence and medical and psychological sequelae as men, despite 6 fewer years of AUD. More women than men had a history of severe psychosocial stress, severe dependence on other substances and antecedent mental health problems, especially mood and anxiety disorders. There were differences in family history of alcohol-related problems approximating same-gender aggregation. The severity of a lifetime AUD was predicted by its earlier age at onset and the occurrence of other disorders, especially anxiety, among both men and women. The limitations in the generalizability of these findings due to sample idiosyncrasies are discussed.

A comparison between three and five factor models of Pakistani personality data

The Eysenck Personality Questionnaire-Revised (EPQ-R), the Eysenck Personality Profiler Short Version (EPP-S), and the Big Five Inventory (BFI-V4a) were administered to 135 postgraduate students of business in Pakistan. Whilst Extraversion and Neuroticism scales from the three questionnaires were highly correlated, it was found that Agreeableness was most highly correlated with Psychoticism in the EPQ-R and Conscientiousness was most highly correlated with Psychoticism in the EPP-S. Principal component analyses with varimax rotation were carried out. The analyses generally suggested that the five factor model rather than the three-factor model was more robust and better for interpretation of all the higher order scales of the EPQ-R, EPP-S, and BFI-V4a in the Pakistani data. Results show that the superiority of the five factor solution results from the inclusion of a broader variety of personality scales in the input data, whereas Eysenck's three factor solution seems to be best when a less complete but possibly more important set of variables are input. (C) 2001 Elsevier Science Ltd. All rights reserved.

Checklist of health promotion environments at worksites (CHEW): Development and measurement characteristics

Purpose. Health promotion policy frameworks, recent theorizing, and research all emphasize understanding and mobilizing environmental influences to change particular health-related behaviors in specific settings. The workplace is a key environmental setting. The Checklist of Health Promotion Environments at Worksites (CHEW) was designed as a direct observation instrument to assess characteristics of worksite environments that are known to influence health-related behaviors. Methods. The CHEW is a 112-item checklist of workplace environment features hypothesized to be associated, both positively and negatively, with physical activity, healthy eating, alcohol consumption, and smoking. The three environmental domains assessed are (1) physical characteristics of the worksite, (2) features of the information environment, and (3) characteristics of the immediate neighborhood around the workplace. The conceptual rationale and development studies for the CHEW are described, and data from observational studies of 20 worksites are reported. Results. The data on CHEW-derived environmental attributes showed generally good reliability and identified meaningful sets of variables that plausibly may influence health-related behaviors. With the exception of one information environment attribute, intraclass correlation coefficients ranged from 0.80 to 1.00. Descriptive statistics on selected physical and information environment characteristics indicated that vending machines, showers, bulletin boards, and signs prohibiting smoking were common across worksites. Bicycle racks, visible stairways, and signs related to alcohol consumption, nutrition, and health. promotion were relatively uncommon. Conclusions. These findings illustrate the types of data on environmental attributes that can be derived, their relevance for program planning, and how they can characterize variability across worksites. The CHEW is a promising observational measure that has the potential to assess environmental influences on health behaviors and to evaluate workplace health promotion programs.

An Analytic Simplification for the Reconstruction Problem of Electrical Impedance Tomography

This paper introduces a new reconstruction algorithm for electrical impedance tomography. The algorithm assumes that there are two separate regions of conductivity. These regions are represented as eccentric circles. This new algorithm then solves for the location of the eccentric circles. Due to the simple geometry of the forward problem, an analytic technique using conformal mapping and separation of variables has been employed. (C) 2002 John Wiley Sons, Inc.

Investigation of factors related to employment outcome following traumatic brain injury: a critical review and conceptual model

Purpose : The purpose of this article is to critically review the literature to examine factors that are most consistently related to employment outcome following traumatic brain injury (TBI), with a particular focus on metacognitive skills. It also aims to develop a conceptual model of factors related to employment outcome. Method : The first stage of the review considered 85 studies published between 1980 and December 2003 which investigated factors associated with employment outcome following TBI. English-language studies were identified through searches of Medline and PsycINFO, as well as manual searches of journals and reference lists. The studies were evaluated and rated by two independent raters (Kappa = 0.835) according to the quality of their methodology based upon nine criteria. Fifty studies met the criteria for inclusion in the second stage of the review, which examined the relationship between a broad range of variables and employment outcome. Results : The factors most consistently associated with employment outcome included pre-injury occupational status, functional status at discharge, global cognitive functioning, perceptual ability, executive functioning, involvement in vocational rehabilitation services and emotional status. Conclusions : A conceptual model is presented which emphasises the importance of metacognitive, emotional and social environment factors for improving employment outcome.

The late effects of poliomyelitis in Queensland

This paper reports an investigation of new health problems reported by Queensland residents with a prior history of poliomyelitis. 126 people with a past history of paralytic poliomyelitis were recruited from the waiting list for the trial Post Polio Clinic at Queen Elizabeth II Hospital, Brisbane. A self-administered postal questionnaire was used to examine a number of variables including acute poliomyelitis histories; presence, duration and severity of new symptoms consistent with the late effects of poliomyelitis; changes in functional status between the maximal recovery period and the time of the survey and the impact of post-polio symptoms on lifestyle and employment. The most frequent new symptoms reported were muscle weakness (87 per cent), unusual tiredness (79 per cent), joint pain (79 per cent), muscle pain (61 per cent) and muscle cramps (71 per cent). Subjects reported an increased reliance on assistive devices and a decreased level of independence with activities of daily living, particularly with mobility-related tasks. Eight three per cent of subjects had made lifestyle changes as a result of post-polio symptoms and 67 per cent of those subjects in the workforce reported making changes to their employment, such as reduced hours of work. (author abstract)

The relationship of adult attachment to emotion, catastrophizing, control, threshold and tolerance, in experimentally-induced pain

Although insecure attachment has been associated with a range of variables linked with problematic adjustment to chronic pain, the causal direction of these relationships remains unclear. Adult attachment style is, theoretically, developmentally antecedent to cognitions, emotions and behaviours (and might therefore be expected to contribute to maladjustment). It can also be argued, however, that the experience of chronic pain increases attachment insecurity. This project examined this issue by determining associations between adult attachment characteristics, collected prior to an acute (coldpressor) pain experience, and a range of emotional, cognitive, pain tolerance, intensity and threshold variables collected during and after the coldpressor task. A convenience sample of 58 participants with no history of chronic pain was recruited. Results demonstrated that attachment anxiety was associated with lower pain thresholds; more stress, depression, and catastrophizing; diminished perceptions of control over pain; and diminished ability to decrease pain. Conversely, secure attachment was linked with lower levels of depression and catastrophizing, and more control over pain. Of particular interest were findings that attachment style moderated the effects of pain intensity on the tendency to catastrophize, such that insecurely attached individuals were more likely to catastrophize when reporting high pain intensity. This is the first study to link attachment with perceptions of pain in a pain-free sample. These findings cast anxious attachment as a vulnerability factor for chronic pain following acute episodes of pain, while secure attachment may provide more resilience. (c) 2006 International Association for the Study of Pain. Published by Elsevier B.V. All rights reserved.

Fear of crime in Brisbane - Individual, social and neighbourhood factors in perspective

Numerous theories apply to fear of crime and each are associated with different kinds of variables. Most studies use only one theory, though this study examines the relative importance of different kinds of variables across a number of theories. The study uses data from a survey of residents in Brisbane, Australia to examine the relative importance of individual attributes, neighbourhood disorder, social processes and neighbourhood structure in predicting fear of crime. Individual attributes and neighbourhood disorder were found to be important predictors of fear of crime, while social processes and neighbourhood structure were found to be far less important. The theoretical implications are that the vulnerability hypothesis and the incivilities thesis are most appropriate for investigating fear of crime, though social disorganization theory does provide conceptual support for the incivilities thesis. Although social processes are less important in predicting fear of crime than neighbourhood incivilities, they are still integrally related to fear of crime: they explain how incivilities arise, they buffer against fear of crime, and they are affected by fear of crime.

How many variables can humans process?

The conceptual complexity of problems was manipulated to probe the limits of human information processing capacity. Participants were asked to interpret graphically displayed statistical interactions. In such problems, all independent variables need to be considered together, so that decomposition into smaller subtasks is constrained, and thus the order of the interaction. directly determines conceptual complexity. As the order of the interaction increases, the number of variables increases. Results showed a significant decline in accuracy and speed of solution from three-way to four-way interactions. Furthermore, performance on a five-way interaction was at chance level. These findings suggest that a structure defined on four variables is at the limit of human processing capacity.

Emergency department assessment of mild traumatic brain injury and prediction of post-concussion symptoms at one month post injury

Mild traumatic brain injury (mTBI) is a common injury and a significant proportion of those affected report chronic symptoms. This study investigated prediction of post-concussion symptoms using an Emergency Department (ED) assessment that examined neuropsychological and balance deficits and pain severity of 29 concussed individuals. Thirty participants with minor orthopedic injuries and 30 ED visitors were recruited as control subjects. Concussed and orthopedically injured participants were followed up by telephone at one month to assess symptom severity. In the ED, concussed subjects performed worse on some neuropsychological tests and had impaired balance compared to controls. They also reported significantly more post-concussive symptoms at follow-up. Neurocognitive impairment, pain and balance deficits were all significantly correlated with severity of post-concussion symptoms. The findings suggest that a combination of variables assessable in the ED may be useful in predicting which individuals will suffer persistent post-concussion problems.

Tradeoffs of different types of species occurrence data for use in systematic conservation planning

Data on the occurrence of species are widely used to inform the design of reserve networks. These data contain commission errors (when a species is mistakenly thought to be present) and omission errors (when a species is mistakenly thought to be absent), and the rates of the two types of error are inversely related. Point locality data can minimize commission errors, but those obtained from museum collections are generally sparse, suffer from substantial spatial bias and contain large omission errors. Geographic ranges generate large commission errors because they assume homogenous species distributions. Predicted distribution data make explicit inferences on species occurrence and their commission and omission errors depend on model structure, on the omission of variables that determine species distribution and on data resolution. Omission errors lead to identifying networks of areas for conservation action that are smaller than required and centred on known species occurrences, thus affecting the comprehensiveness, representativeness and efficiency of selected areas. Commission errors lead to selecting areas not relevant to conservation, thus affecting the representativeness and adequacy of reserve networks. Conservation plans should include an estimation of commission and omission errors in underlying species data and explicitly use this information to influence conservation planning outcomes.