Refinement of higher-order logic programs

A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we extend the refinement calculus for logic programs to include higher-order programming capabilities in specifications and programs, such as procedures as terms and lambda abstraction. We use a higher-order type and term system to describe programs, and provide a semantics for the higher-order language and refinement. The calculus is illustrated by refinement examples.

Altered blood vessel responses in the eye and finger in coronary artery disease

Cardiac function, such as heart rate variability, is abnormal in coronary artery disease, but its relation with the function of ocular and nail-fold blood vessels is unknown. The hypothesis was that there is abnormal retinal and peripheral microvascular endothelial function compared with large blood vessel and cardiac function. Twenty-four patients with coronary artery disease (CAD) and 30 healthy, age- and sex-matched control subjects were enrolled in the study.

Higher-order co-occurrences for exploratory point pattern analysis and decision tree clustering on spatial data

Analyzing geographical patterns by collocating events, objects or their attributes has a long history in surveillance and monitoring, and is particularly applied in environmental contexts, such as ecology or epidemiology. The identification of patterns or structures at some scales can be addressed using spatial statistics, particularly marked point processes methodologies. Classification and regression trees are also related to this goal of finding "patterns" by deducing the hierarchy of influence of variables on a dependent outcome. Such variable selection methods have been applied to spatial data, but, often without explicitly acknowledging the spatial dependence. Many methods routinely used in exploratory point pattern analysis are2nd-order statistics, used in a univariate context, though there is also a wide literature on modelling methods for multivariate point pattern processes. This paper proposes an exploratory approach for multivariate spatial data using higher-order statistics built from co-occurrences of events or marks given by the point processes. A spatial entropy measure, derived from these multinomial distributions of co-occurrences at a given order, constitutes the basis of the proposed exploratory methods. © 2010 Elsevier Ltd.

Higher-order co-occurrences for exploratory point pattern analysis and decision tree clustering on spatial data

Analyzing geographical patterns by collocating events, objects or their attributes has a long history in surveillance and monitoring, and is particularly applied in environmental contexts, such as ecology or epidemiology. The identification of patterns or structures at some scales can be addressed using spatial statistics, particularly marked point processes methodologies. Classification and regression trees are also related to this goal of finding "patterns" by deducing the hierarchy of influence of variables on a dependent outcome. Such variable selection methods have been applied to spatial data, but, often without explicitly acknowledging the spatial dependence. Many methods routinely used in exploratory point pattern analysis are2nd-order statistics, used in a univariate context, though there is also a wide literature on modelling methods for multivariate point pattern processes. This paper proposes an exploratory approach for multivariate spatial data using higher-order statistics built from co-occurrences of events or marks given by the point processes. A spatial entropy measure, derived from these multinomial distributions of co-occurrences at a given order, constitutes the basis of the proposed exploratory methods. © 2010 Elsevier Ltd.

Higher-order factor structures and intercorrelations of the 16PF5 and FIRO-B

This study investigated the intercorrelations and the independent and combined factor structures of the Sixteen Personality Factor Questionnaire Fifth Edition (16PF5) and the Fundamental Interpersonal Orientation-Behaviour Scale (FIRO-B). Four thousand four hundred and fourteen U.S. participants completed these measures as part of executive assessments between 1994 and 2003. Exploratory factor analyses supported the five-factor higher-order structure of the 16PF5; however, the three-component structure for the FIRO-B was not supported. A six-factor structure was found to underlie the variance in the measures in combination. Five of these were close to the 16PF5 higher-order structure, but a sixth factor labelled Social Independence also emerged. This new factor consisted of the 16PF5 primaries of Liveliness and Social Boldness, and the FIRO-B Wanted Control scale.

Behavioural correlates of ocular accomodation and the autonomic nervous system

The binding issue of th is thesis was the examination of workload, induced by relinotopic and spatiotopic stimuli, on both the ocu lomotor and cardiovascular systems together with investigating the covariation between the two systems - the 'eye-heart' link. Further, the influence of refractive error on ocular accommodation and cardiovascular function was assessed. A clinical evaluation was undertaken to assess the newly available open-view infrared Shin-Nippon NVision-K 5001 optometer, its benefit being the capability to measure through pupils = 2.3 mm. Measurements of refractive error taken with the NVision-K were found to be both accurate (Difference in Mean Spherical Equivalent: 0.14 ± 0.35 D; p = 0.67) and repeatable when compared to non-cycloplegic subjective refraction. Due to technical difficulties, however, the NVision-K could not be used for the purpose of the thesis, as such, measures of accommodation were taken using the continuously recording Shin-Nippon SRW-5000 openview infrared optometer, coupled with a piezo-electric finger pulse transducer to measure pulse. Heart rate variability (HRV) was spectrally analysed to determine the systemic sympathetic and parasympathetic components of the autonomic nervous system (ANS). A large sample (n = 60), cross-sectional study showed late-onset myopes (LOMs) display less accurate responses when compared to other refractive groups at high accommodative demand levels (3 .0 0 and 4.0D). Tonic accommodation (TA) was highest in the hypermetropes, fo llowed by emmetropes and early-onset myopes while the LOM subjects demonstrated statistically significant lower levels of TA. The root-meansquare (RMS) value of the accommodative response was shown to amplify with increased levels of accommodative demand. Changes in refractive error only became significant between groups at higher demand levels (3.0 D and 4.0 D) with the LOMs showing the largest magnification in oscilIations. Examination of the stimulus-response cross-over point with the unit ratio line and TA showed a correlation between the two (r = 0.45, p = 0.001), where TA is approximately twice the dioptric value of the stimulus-response cross-over point. Investigation of the relationship between ocular accommodation and systemic ANS function demonstrated covariation between the systems. Subjects with a faster heart rate (lower heart period) tended to have a higher TA value (r = -0.27, p < 0.05). Further, an increase in accommodative demand accompanies a faster heart rate. The influence of refractive error on the cardiovascular response to changes in accommodative demand, however, was equivocal. Examination of the microfluctuations ofacconunodation demonstrated a correlation between the temporal frequency location of the accommodative high Frequency component (HFC) and the arterial pulse frequency. The correlation was present at a range of accommodative demands from 0.0 D to 4.0 D and in all four refractive groups, suggesting that the HFC was augmented by physiological factors. Examination of the effect of visual cognition on ocular accommodation and the ANS confirmed that increasing levels of cognition affect the accommodative mechanism. The accommodative response shifted away from the subject at both near and far. This shift in accommodative response accompanied a decay in the systemic parasympathetic innervation to the heart. Differences between refractive groups also existed with LOMs showing less accurate responses compared to emmetropes. This disparity, however, appeared to be augmented by the systemic sympathetic nervous system. The investigations discussed explored Ihe role of oculomotor and cardiovascular fu nction in workload enviromnents, providing evidence for a behavioural link between the cardiovascular and oculomotor systems.

Problems with formative and higher-order reflective variables

Cadogan and Lee (this issue) discuss the problems inherent in modeling formative latent variables as endogenous. In response to the commentaries by Rigdon (this issue) and Finn and Wang (this issue), the present article extends the discussion on formative measures. First, the article shows that regardless of whether statistical identification is achieved, researchers are unable to illuminate the nature of a formative latent variable. Second, the study clarifies issues regarding formative indicator weighting, highlighting that the weightings of formative components should be specified as part of the construct definition. Finally, the study shows that higher-order reflective constructs are invalid, highlights the damage their use can inflict on theory development and knowledge accumulation, and provides recommendations on a number of alternative models which should be used in their place (including the formative model). © 2012 Elsevier Inc.

The higher-order factor structures of five personality inventories

This study examined the internal higher-order structures of five personality inventories (the Hogan Personality Inventory, the Occupational Personality Questionnaire, the Sixteen Personality Factor Questionnaire, the Personality and Preferences Inventory, Profile Match). A sample of 356 individuals from the UK working population completed various combinations of the five inventories. Overall, the results indicated sensible and interpretable factor structures for the inventories. Cross-inventory factor analyses of the extracted factors revealed a variant of the Big Five model underpinning them, enabling examination of inventory convergence and divergence. Our study also examined and compared representations of the General Factor of Personality in each of the inventories. © 2011 Elsevier Ltd.