Verification of floating point programs

In this thesis we present an approach to automated verification of floating point programs. Existing techniques for automated generation of correctness theorems are extended to produce proof obligations for accuracy guarantees and absence of floating point exceptions. A prototype automated real number theorem prover is presented, demonstrating a novel application of function interval arithmetic in the context of subdivision-based numerical theorem proving. The prototype is tested on correctness theorems for two simple yet nontrivial programs, proving exception freedom and tight accuracy guarantees automatically. The prover demonstrates a novel application of function interval arithmetic in the context of subdivision-based numerical theorem proving. The experiments show how function intervals can be used to combat the information loss problems that limit the applicability of traditional interval arithmetic in the context of hard real number theorem proving.

Absence of corporate social reporting (CSR) in Bangladesh: a research note

This paper aims to broaden the present CSR literature by extending its focus to the absence of CSR within a developing country, an area which, to date, is relatively under researched in comparison to the more widely studied presence of CSR within developed Western countries. In particular this paper concentrates upon the lack of disclosure on three particular eco-justice issues: child labour, equal opportunities and poverty alleviation. We critically examine why this is the case and thereby illuminate underlying motives behind corporate unwillingness to address these issues. For this purpose, 23 semi-structured interviews were undertaken with senior corporate managers in Bangladesh. The findings suggest that the main reasons for non-disclosure include lack of legal requirements, lack of knowledge/awareness, poor performance and fear of bad publicity. Given these findings the paper raises some serious concerns as to why corporations would ever be expected to voluntarily report on eco-justice issues where performance is poor and negative publicity would be generated. These significant issues require careful consideration by policy makers at the national, regional and international levels.

Nations and organizations:a comparative study of English and Indian work-related attitudes and values in matched manufacturing firms

This thesis reports a cross-national study carried out in England and India in an attempt to clarify the association of certain cultural and non-cultural characteristics with people's work-related attitudes and values, and with the structure of their work organizations. Three perspectives are considered to be relevant to the objectives of the study. The contingency perspective suggests that a 'fit' between an organization's context and its structural arrangements will be fundamentally necessary for achieving success and survival. The political economy perspective argues for the determining role of the social and economic structures within which the organization operates. The culturalist perspective looks to cultural attitudes and values of organizational members for an explanation for their organization's structure. The empirical investigation was carried out in three stages in each of the two countries involved by means of surveys of cultural attitudes, work-related attitudes and organizational structures and systems. The cultural surveys suggested that Indian and English people were different from one another with regard to fear of, and respect and obedience to, their seniors, ability to cope with ambiguity, honesty, independence, expression of emotions, fatalism, reserve, and care for others; they were similar with regard to tolerance, friendliness, attitude to change, attitude to law, self-control and self-confidence, and attitude to social differentiation. The second stage of the study, involving the employees of fourteen organizations, found that the English ones perceived themselves to have more power at work, expressed more tolerance for ambiguity, and had different expectations from their job than did the Indian equivalents. The two samples were similar with respect to commitment to their company and trust in their colleagues. The findings also suggested that employees' occupations, education and age had some influences on their work-related attitudes. The final stage of the research was a study of structures, control systems, and reward and punishment policies of the same fourteen organizations which were matched almost completely on their contextual factors across the two countries. English and Indian organizations were found to be similar in terms of centralization, specialization, chief executive's span of control, height and management control strategies. English organizations, however, were far more formalized, spent more time on consultation and their managers delegated authority lower down the hierarchy than Indian organizations. The major finding of the study was the multiple association that cultural, national and contingency factors had with the structural characteristics of the organizations and with the work-related attitudes of their members. On the basis of this finding, a multi-perspective model for understanding organizational structures and systems is proposed in which the contributions made by contingency, political economy and cultural perspectives are recognized and incorporated.

Uptake of dental services

Previous research has indicated that the majority of the UK dentate population suffers from dental disease. This problem was examined in terms of the supply of, and demand for, dental treatment: how might the uptake of dental services be increased and dental health improved? The target population for the main survey was adolescents among whom demand for dental treatment has decreased. In 524 adolescents surveyed, fear of pain was the major deterrent to regular dental visits. The theoretical literature was explored for illuminating and practical approaches to the problem. The theory of reasoned action developed by Fishbein seemed the most promising. This theory was tested and validated on the adolescent sample identifying clear differences between regular and irregular dental attenders which could be usefully exploited by dental health education. A repertory grid analysis study further illuminated perceptions of dental treatment. A survey of a random sample of 716 dentists revealed that most dentists were in favour of delegating work to auxiliary help but few could do so. Auxiliary help would increase supply of services: data revealed an encouraging trend for younger dentists to be more in favour of delegation than older dentists. A survey was carried out of computer systems available for dentists suggesting that this might reduce the need for clerical assistance but would not ususally affect the supply of treatment. However in some dental practices computerisation might increase demand. For example a personalised reminder was developed and evaluated in a controlled study of 938 appointments demonstrating an uptake in dental services. Conclusions are that demand for treatment can be increased in various ways especially by teaching dentists' behavioural strategies to deal with fear and pain. Various recommendations on this are made. If demand were to outstrip supply increased delegation to auxiliary help could provide a viable way of increasing supply.

The absence of corporate social responsibility reporting in Bangladesh

This paper aims to broaden the present corporate social responsibility (CSR) reporting literature by extending its focus to the absence of CSR reporting within a developing country, an area which, to date, is relatively under researched in comparison to the more widely studied presence of CSR reporting within developed Western countries. In particular this paper concentrates upon the lack of disclosure on three particular eco-justice issues: child labour, equal opportunities and poverty alleviation. We examine why this is the case and thereby illuminate underlying motives behind corporate unwillingness to address these issues. For this purpose, 23 semi-structured interviews were undertaken with senior corporate managers in Bangladesh. The findings suggest that the main reasons for non-disclosure include lack of resources, the profit imperative, lack of legal requirements, lack of knowledge/awareness, poor performance and the fear of bad publicity. Given these findings the paper raises some serious concerns as to why corporations would ever be expected to voluntarily report on eco-justice issues where performance is poor and negative publicity would be generated and profit impaired. Further research is still required to uncover current injustices and to imagine what changes can be made.

An exploration of the absence of corporate social reporting (CSR) in Bangladesh

This paper aims to broaden the present CSR literature by examining the absence of CSR within the context of a developing country. This is an area which to date is relatively under researched in comparison to the more widely studied presence of CSR within developed Western countries. For this purpose, 23 semi-structured interviews were undertaken with senior corporate managers in Bangladesh. The findings suggest that the main reasons for non-disclosure include lack of legal requirements and lack of knowledge/awareness. The other reasons mentioned are lack of resources, poor performance and fear of bad publicity and inherent dangers in additional disclosures. The paper has raised some serious public policy concerns by exploring the underlying motives for absence of CSR in general and some eco-justice issues in particular (e.g. child labour, equal opportunities and poverty alleviation). These significant issues require careful consideration by the policy makers at the national, regional and international levels.

Cyberstalking:the technology of hate

This article discusses the emergence of cyberstalking as a means of victimising individuals and minority groups. However, rather than focusing on the activities of far-right groups, we discuss how technology can encourage individuals to harass others. The central argument made is that technology both enables and invites participation in criminal or antisocial behaviour from individuals who would not normally take part in such activities. One way in which this can be explained is by suggesting that some of the social and technological characteristics of the Internet act together in order to lower inhibitions and establish new norms. For instance, the anonymity offered by the Internet enables people to participate in activities such as encouraging violence against others with little fear of retaliation. In addition, by allowing a cyberstalker to harm another person at a distance, the victim is effectively depersonalised. In this way it can be argued that some of those who sympathise with the goals of far-right organisations may be reluctant to act in the offline world but more willing to act in the online world.

Evaluation of vulnerability factors for cyclones : the case of Patuakhali, Bangladesh

Tropical cyclones are considered as the most severe natural disasters in Bangladesh; they cause extensive damage, create losses in the country׳s economy, and affect social settings. The impact of natural disasters has been further intensified due to various vulnerability factors within the Bangladeshi community such as low income; shortages of food; lack of assets such as land and permanent housing; dense population, illiteracy. This study evaluates the vulnerability factors for cyclones in the community based in the Patuakhali region of south western Bangladesh. The bottom-up research approach was adopted for the study, whereby the local community was consulted for their viewpoints by using focus group interviews and semi-structured interviews. Different community groups and social categories including both men and women, from different age groups and livelihoods, participated in the study. The study revealed how the community׳s vulnerability to cyclones has been further aggravated by socio-economic factors such as social status, political influences and economic conditions. The majority of the community in Patuakhali has been “knowingly” vulnerable to cyclone disaster as a result of the lack of alternatives especially in terms of their livelihood patterns. The vulnerability of women, due to their lack of authority, domestic work, and fear of exposure within the society was also highlighted. The study revealed how vulnerability factors are interlinked with each other making them further difficult to manage. This calls for multi-faceted disaster risk reduction strategies that targets vulnerability factors deriving from different origins and root causes.

Evaluation of vulnerability factors for cyclones:the case of Patuakhali, Bangladesh

Tropical cyclones are considered as the most severe natural disasters in Bangladesh; they cause extensive damage, create losses in the country[U+05F3]s economy, and affect social settings. The impact of natural disasters has been further intensified due to various vulnerability factors within the Bangladeshi community such as low income; shortages of food; lack of assets such as land and permanent housing; dense population, illiteracy. This study evaluates the vulnerability factors for cyclones in the community based in the Patuakhali region of south western Bangladesh. The bottom-up research approach was adopted for the study, whereby the local community was consulted for their viewpoints by using focus group interviews and semi-structured interviews. Different community groups and social categories including both men and women, from different age groups and livelihoods, participated in the study. The study revealed how the community[U+05F3]s vulnerability to cyclones has been further aggravated by socio-economic factors such as social status, political influences and economic conditions. The majority of the community in Patuakhali has been "knowingly" vulnerable to cyclone disaster as a result of the lack of alternatives especially in terms of their livelihood patterns. The vulnerability of women, due to their lack of authority, domestic work, and fear of exposure within the society was also highlighted. The study revealed how vulnerability factors are interlinked with each other making them further difficult to manage. This calls for multi-faceted disaster risk reduction strategies that targets vulnerability factors deriving from different origins and root causes. © 2014 Elsevier Ltd.

Neurophysiological evaluation of convergent afferents innervating the human esophagus and area of referred pain on the anterior chest wall

Noxious stimuli in the esophagus cause pain that is referred to the anterior chest wall because of convergence of visceral and somatic afferents within the spinal cord. We sought to characterize the neurophysiological responses of these convergent spinal pain pathways in humans by studying 12 healthy subjects over three visits (V1, V2, and V3). Esophageal pain thresholds (Eso-PT) were assessed by electrical stimulation and anterior chest wall pain thresholds (ACW-PT) by use of a contact heat thermode. Esophageal evoked potentials (EEP) were recorded from the vertex following 200 electrical stimuli, and anterior chest wall evoked potentials (ACWEP) were recorded following 40 heat pulses. The fear of pain questionnaire (FPQ) was administered on V1. Statistical data are shown as point estimates of difference +/- 95% confidence interval. Pain thresholds increased between V1 and V3 [Eso-PT: V1-V3 = -17.9 mA (-27.9, -7.9) P < 0.001; ACW-PT: V1-V3 = -3.38 degrees C (-5.33, -1.42) P = 0.001]. The morphology of cortical responses from both sites was consistent and equivalent [P1, N1, P2, N2 complex, where P1 and P2 are is the first and second positive (downward) components of the CEP waveform, respectively, and N1 and N2 are the first and second negative (upward) components, respectively], indicating activation of similar cortical networks. For EEP, N1 and P2 latencies decreased between V1 and V3 [N1: V1-V3 = 13.7 (1.8, 25.4) P = 0.02; P2: V1-V3 = 32.5 (11.7, 53.2) P = 0.003], whereas amplitudes did not differ. For ACWEP, P2 latency increased between V1 and V3 [-35.9 (-60, -11.8) P = 0.005] and amplitudes decreased [P1-N1: V1-V3 = 5.4 (2.4, 8.4) P = 0.01; P2-N2: 6.8 (3.4, 10.3) P < 0.001]. The mean P1 latency of EEP over three visits was 126.6 ms and that of ACWEP was 101.6 ms, reflecting afferent transmission via Adelta fibers. There was a significant negative correlation between FPQ scores and Eso-PT on V1 (r = -0.57, P = 0.05). These data provide the first neurophysiological evidence of convergent esophageal and somatic pain pathways in humans.

Medical students' personal experience of high-stakes failure:case studies using interpretative phenomenological analysis

Abstract (provisional): Background Failing a high-stakes assessment at medical school is a major event for those who go through the experience. Students who fail at medical school may be more likely to struggle in professional practice, therefore helping individuals overcome problems and respond appropriately is important. There is little understanding about what factors influence how individuals experience failure or make sense of the failing experience in remediation. The aim of this study was to investigate the complexity surrounding the failure experience from the student’s perspective using interpretative phenomenological analysis (IPA). Methods The accounts of 3 medical students who had failed final re-sit exams, were subjected to in-depth analysis using IPA methodology. IPA was used to analyse each transcript case-by-case allowing the researcher to make sense of the participant’s subjective world. The analysis process allowed the complexity surrounding the failure to be highlighted, alongside a narrative describing how students made sense of the experience. Results The circumstances surrounding students as they approached assessment and experienced failure at finals were a complex interaction between academic problems, personal problems (specifically finance and relationships), strained relationships with friends, family or faculty, and various mental health problems. Each student experienced multi-dimensional issues, each with their own individual combination of problems, but experienced remediation as a one-dimensional intervention with focus only on improving performance in written exams. What these students needed to be included was help with clinical skills, plus social and emotional support. Fear of termination of the their course was a barrier to open communication with staff. Conclusions These students’ experience of failure was complex. The experience of remediation is influenced by the way in which students make sense of failing. Generic remediation programmes may fail to meet the needs of students for whom personal, social and mental health issues are a part of the picture.

Patients' and physicians' experiences of atrial fibrillation consultations and anticoagulation decision-making:a multi-perspective IPA design

OBJECTIVE: To explore patients' and physicians' experiences of atrial fibrillation consultations and oral anticoagulation decision-making. DESIGN: Multi-perspective interpretative phenomenological analyses. METHODS: Participants included small homogeneous subgroups: AF patients who accepted (n=4), refused (n=4), or discontinued (n=3) warfarin, and four physician subgroups (n=4 each group): consultant cardiologists, consultant general physicians, general practitioners and cardiology registrars. Semi-structured interviews were conducted. Transcripts were analysed using multi-perspective IPA analyses to attend to individuals within subgroups and making comparisons within and between groups. RESULTS: Three themes represented patients' experiences: Positioning within the physician-patient dyad, Health-life balance, and Drug myths and fear of stroke. Physicians' accounts generated three themes: Mechanised metaphors and probabilities, Navigating toward the 'right' decision, and Negotiating systemic factors. CONCLUSIONS: This multi-perspective IPA design facilitated an understanding of the diagnostic consultation and treatment decision-making which foregrounded patients' and physicians' experiences. We drew on Habermas' theory of communicative action to recommend broadening the content within consultations and shifting the focus to patients' life contexts. Interventions including specialist multidisciplinary teams, flexible management in primary care, and multifaceted interventions for information provision may enable the creation of an environment that supports genuine patient involvement and participatory decision-making.

Mobility changes in older age: neuropsychological, neurophysiological and cognitive predictors of successful adaptation in a real world scenario

The aims of this thesis were to investigate the neuropsychological, neurophysiological, and cognitive contributors to mobility changes with increasing age. In a series of studies with adults aged 45-88 years, unsafe pedestrian behaviour and falls were investigated in relation to i) cognitive functions (including response time variability, executive function, and visual attention tests), ii) mobility assessments (including gait and balance and using motion capture cameras), iii) motor initiation and pedestrian road crossing behavior (using a simulated pedestrian road scene), iv) neuronal and functional brain changes (using a computer based crossing task with magnetoencephalography), and v) quality of life questionnaires (including fear of falling and restricted range of travel). Older adults are more likely to be fatally injured at the far-side of the road compared to the near-side of the road, however, the underlying mobility and cognitive processes related to lane-specific (i.e. near-side or far-side) pedestrian crossing errors in older adults is currently unknown. The first study explored cognitive, motor initiation, and mobility predictors of unsafe pedestrian crossing behaviours. The purpose of the first study (Chapter 2) was to determine whether collisions at the near-side and far-side would be differentially predicted by mobility indices (such as walking speed and postural sway), motor initiation, and cognitive function (including spatial planning, visual attention, and within participant variability) with increasing age. The results suggest that near-side unsafe pedestrian crossing errors are related to processing speed, whereas far-side errors are related to spatial planning difficulties. Both near-side and far-side crossing errors were related to walking speed and motor initiation measures (specifically motor initiation variability). The salient mobility predictors of unsafe pedestrian crossings determined in the above study were examined in Chapter 3 in conjunction with the presence of a history of falls. The purpose of this study was to determine the extent to which walking speed (indicated as a salient predictor of unsafe crossings and start-up delay in Chapter 2), and previous falls can be predicted and explained by age-related changes in mobility and cognitive function changes (specifically within participant variability and spatial ability). 53.2% of walking speed variance was found to be predicted by self-rated mobility score, sit-to-stand time, motor initiation, and within participant variability. Although a significant model was not found to predict fall history variance, postural sway and attentional set shifting ability was found to be strongly related to the occurrence of falls within the last year. Next in Chapter 4, unsafe pedestrian crossing behaviour and pedestrian predictors (both mobility and cognitive measures) from Chapter 2 were explored in terms of increasing hemispheric laterality of attentional functions and inter-hemispheric oscillatory beta power changes associated with increasing age. Elevated beta (15-35 Hz) power in the motor cortex prior to movement, and reduced beta power post-movement has been linked to age-related changes in mobility. In addition, increasing recruitment of both hemispheres has been shown to occur and be beneficial to perform similarly to younger adults in cognitive tasks (Cabeza, Anderson, Locantore, & McIntosh, 2002). It has been hypothesised that changes in hemispheric neural beta power may explain the presence of more pedestrian errors at the farside of the road in older adults. The purpose of the study was to determine whether changes in age-related cortical oscillatory beta power and hemispheric laterality are linked to unsafe pedestrian behaviour in older adults. Results indicated that pedestrian errors at the near-side are linked to hemispheric bilateralisation, and neural overcompensation post-movement, 4 whereas far-side unsafe errors are linked to not employing neural compensation methods (hemispheric bilateralisation). Finally, in Chapter 5, fear of falling, life space mobility, and quality of life in old age were examined to determine their relationships with cognition, mobility (including fall history and pedestrian behaviour), and motor initiation. In addition to death and injury, mobility decline (such as pedestrian errors in Chapter 2, and falls in Chapter 3) and cognition can negatively affect quality of life and result in activity avoidance. Further, number of falls in Chapter 3 was not significantly linked to mobility and cognition alone, and may be further explained by a fear of falling. The objective of the above study (Study 2, Chapter 3) was to determine the role of mobility and cognition on fear of falling and life space mobility, and the impact on quality of life measures. Results indicated that missing safe pedestrian crossing gaps (potentially indicating crossing anxiety) and mobility decline were consistent predictors of fear of falling, reduced life space mobility, and quality of life variance. Social community (total number of close family and friends) was also linked to life space mobility and quality of life. Lower cognitive functions (particularly processing speed and reaction time) were found to predict variance in fear of falling and quality of life in old age. Overall, the findings indicated that mobility decline (particularly walking speed or walking difficulty), processing speed, and intra-individual variability in attention (including motor initiation variability) are salient predictors of participant safety (mainly pedestrian crossing errors) and wellbeing with increasing age. More research is required to produce a significant model to explain the number of falls.

Les quantifieurs flottants sont des attributs quantitatifs totalisants

This paper considers three features of Floating Quantifiers FQ) in French. FQs comprise a larger class of items than is usually recognised; criterial distribution within the verb phrase and adjoined to a relative pronoun apply not only to the equivalents of all and each, but also to only, them both, one another and related items. This extension leads to the question of what properties may be defining the class. The semantic property is that of commenting on the relation between the individual entities and the set of the noun they belong to. Akin to focus particles in this respect, FQs are optional complements. These complements relating semantically to a nominal argument belong to the category of attributive complements. The dissociation between the QF and the noun referred to is the syntactic property of the class. An attributive function with a semantic commentary on the make-up of the nominal set in question defines Floating Quantifiers.

Reactive stalking:a new perspective on victimisation

Although much has been learnt about the psychological and physical harm caused to victims of stalking and cyberstalking, relatively little is known about the impact of stalking on social behaviour and relationships. This paper argues that victims of stalking sometimes go on to employ stalking behaviours against others. Although often arising from an instinctive need for self-protection, such reactive stalking can be defensive or offensive in nature. Those who engage in such behaviour may do so from a need to assert control over their lives, or from fear of further victimisation. In pursuing this argument, a case study is used to illustrate the behaviours described. The case study focuses on the experiences of three stalking victims and describes attempts to victimise the author during his research. The article also discusses some of the implications of reactive stalking for the criminal justice system and the way in which victims receive support.