Spatial bias and temporal lag in tactile space perception

Constructing a veridical spatial map by touch poses at least two problems for a perceptual system. First, as the hand is moved through space, the locations of features may be displaced if there is an uncorrected lag between the moment the hand encounters a feature and the time that feature is encoded on a spatial map. Second, due to the sequential nature of the process, some form of memory, which itself may be subject to spatial distortions, is required for integration of spatial samples. We investigated these issues using a task involving active haptic exploration with a stylus swept back and forth in the horizontal plane at the wrist. Remembered locations of tactile targets were shifted towards the medial axis of the forearm, suggesting a central tendency in haptic spatial memory, while evidence for a displacement of perceived locations in the direction of sweep motion was consistent with processing delays.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Commercialisation of agriculture in Kenya: Case study of urban bias on food availability in farm households

This study investigates the effect of cash cropping on food availability and examines the determinants of the proportion of income allocated for food expenditures in the Nyeri district in Kenya. Using a Tobit model, the results suggest that in general food expenditure allocations suffer due to cash cropping in Kenya as the lump-sum income flows from this may be used for purchases other than food. Food expenditure also suffers when remittances are irregular. On the other hand, earnings from outside employment for married women living with husbands are positively associated with food expenditure allocations. Amounts of non-cash food output as well as ownership of livestock are negatively associated with food expenditure allocations. These findings indicate that lump sum income may not lead to improved welfare of women and children. Thus, there may be social reasons for increasing non-cash food production especially by women, instead of over emphasizing cash cropping as now seems to be so in public policy.

Status, legitimacy and ingroup bias in the context of an organizational merger

Adopting an intergroup perspective, the research was designed to examine predictors of employee responses to an organizational merger. Data were collected from 120 employees of a newly merged scientific organization. As predicted from social identity theory, the most negative responses to the merger were apparent among the employees of the low status premerger organization. There was also evidence of ingroup bias among both groups of employees involved in the merger—as expected, the bias was most marked on the status-irrelevant dimensions for the employees of the lower status organization, but most marked on the status-relevant dimensions for the employees of the high status organization. Also, in support of social identity theory, the perceived legitimacy of the basis for the status differentiation between the groups was associated with more positive responses to the merger among employees of the low status premerger organization, but with poorer responses among employees of the high status premerger organization. There was consistent evidence that the status by legitimacy interaction was mediated through the extent to which employees of the newly merged organization perceived a common ingroup identity

Postmenopausal Hormone Use, Screening, and Breast Cancer: Characterization and Control of a Bias

Previous investigators have suggested that screening-related biases may explain associations between postmenopausal hormone use and breast cancer. To investigate these biases, we studied postmenopausal women in the Nurses' Health Study from 1988 to 1994. Hormone use is associated with increased subsequent screening. Among women not screened in the previous 2 years, the probability difference, comparing current hormone users with others, for having mammography in the following 2 years is 19.5%; among women previously screened, the difference is 4.9%. These differences persist after control for other factors. If the increase in screening is causal, screening by mammogram could be intermediate in the causal pathway to breast cancer diagnosis. To deal with this problem, we restrict attention to a subset of the cohort in which the effect of postmenopausal hormone use on screening is small (women previously screened). In this subset, the rate ratio comparing breast cancer rates among current postmenopausal hormone users with others is 1.28. In a sensitivity analysis, the bias could not by itself plausibly account for the associations in our data. Our data provide evidence of an association between postmenopausal hormone use and breast cancer that is not solely the product of a detection bias.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Comparison of measured sleeping metabolic rate and predicted basal metabolic rate during the first year of life: evidence of a bias changing with increasing metabolic rate

Objective: To compare measurements of sleeping metabolic rate (SMR) in infancy with predicted basal metabolic rate (BMR) estimated by the equations of Schofield. Methods: Some 104 serial measurements of SMR by indirect calorimetry were performed in 43 healthy infants at 1.5, 3, 6, 9 and 12 months of age. Predicted BMR was calculated using the weight only (BMR-wo) and weight and height (BMR-wh) equations of Schofield for 0-3-y-olds. Measured SMR values were compared with both predictive values by means of the Bland-Altman statistical test. Results: The mean measured SMR was 1.48 MJ/day. The mean predicted BMR values were 1.66 and 1.47 MJ/day for the weight only and weight and height equations, respectively. The Bland-Altman analysis showed that BMR-wo equation on average overestimated SMR by 0.18 MJ/day (11%) and the BMR-wh equation underestimated SMR by 0.01 MJ/day (1%). However the 95% limits of agreement were wide: - 0.64 to - 0.28MJ/day (28%) for the former equation and - 0.39 to +0.41 MJ/day (27%) for the latter equation. Moreover there was a significant correlation between the mean of the measured and predicted metabolic rate and the difference between them. Conclusions: The wide variation seen in the difference between measured and predicted metabolic rate and the bias probably with age indicates there is a need to measure actual metabolic rate for individual clinical care in this age group.