Regular Derivations in Basic Superposition-Based Calculi

We prove the completeness of the regular strategy of derivations for superposition-based calculi. The regular strategy was pioneered by Kanger in [Kan63], who proposed that all equality inferences take place before all other steps in the proof. We show that the strategy is complete with the elimination of tautologies. The implication of our result is the completeness of non-standard selection functions by which in non-relational clauses only equality literals (and all of them) are selected.

Quantitative Information Flow, Relations and Polymorphic Types

This paper uses Shannon's information theory to give a quantitative definition of information flow in systems that transform inputs to outputs. For deterministic systems, the definition is shown to specialise to a simpler form when the information source and the known inputs jointly determine the inputs. For this special case, the definition is related to the classical security condition of non-interference and an equivalence is established between non-interference and independence of random variables. Quantitative information flow for deterministic systems is then presented in relational form. With this presentation, it is shown how relational parametricity can be used to derive upper and lower bounds on information flows through families of functions defined in the second order lambda calculus.

Renegotiating the pedagogical peace : a case study in online discussions for undergraduate on campus students

This paper reports an investigation into the ways in which undergraduate students, who are studying on campus, learn in online discussions. The study focuses on student strategies, and the role of text, time and place independence, peer interaction and the influence of the curriculum. It also examines the relationships between online discussions and face to face classes. The study found deep approaches to learning were widely used and were associated with constructivist learning activity, thinking and interacting online in groups in a way that adds value to the classroom, close integration with face to face activity and a positive perception of online discussions and the course as a whole. This case study confirms the relational nature of student learning in a blended learning environment.

The global village: online cross-cultural communication and HRM

Purpose – The purpose of this paper is to examine relational and task dimension of online communication and the associated emotional experience.

Design/methodology/approach – This paper examines four categories of work outcomes: emotional experiences of work, work attitudes, work dynamics and work behaviours; and links each to the cross-cultural online communication context.

Findings – It was found that diversity-oriented HRM can reduce the cultural fault-lines betweenindividualist and collectivist (IC) cultures, and thereby positively moderate the relationship between cross-cultural online communication and affective, cognitive and behavioural outcomes.

Practical implications – Diversity-oriented HRM can capitalize on an organisation’s cultural diversity and avoid cross-cultural misunderstandings. In a more practical sense, the research purports that combined use of IC HRM practices can produce greater efficiency and effectiveness in
online communications worldwide.

Originality/value – The paper provides an insight into the potential implications of increased use of information technology on cross-cultural communication, and human resource management. The significance of diversity-oriented human resource management in managing these implications is also highlighted.

Studio enquiry and new frontiers of research

Given the growing complexity of human existence, there is a need for new ways of representing ideas and of illuminating the world and domains of knowledge. A growing recognition of the limits of traditional ways of representing the world has given rise to a search for alternative approaches to transform and represent the contents of consciousness or what can be known of lived experience. Researchers are recognising that scientific inquiry is just one type of research and that ‘research is not merely a species of social science’ (Eisner 1997: 261). Dissatisfaction with positivism and behaviourism as reductive modes of knowing has also come from within the science disciplines themselves. In his work entitled, The Discontinuous Universe, (1972) Werner Heisenberg states that the knowledge of science is applicable only to limited realms of experience and the scientific method is but a single method for understanding the world. Moreover, the notion of scientifically-based knowledge as statements of ultimate truth contains an inner contradiction since ‘the employment of this procedure changes and transforms its object’ (Heisenberg 1972: 189). The work of Heisenberg and others including: Lincoln and Denzin (2003), Schwandt, (2001) and Schon (1983) reveals that knowledge is relational and that different models of inquiry will yield different forms of knowledge.

Don't rain on my parade : barriers to ecological tourism

This research investigates the perceived risks and perceptions of visitor experiences associated with visitation to an ecological tourist destination. The research identified a significant consumption barrier which appeared to impact significantly and reflect juxtapositions with regard to tourists’ perceived (reflective) and lived (responsive) experiences with the tourist attraction. The conflicting reports of the “over-commercialisation” of the attraction and the enjoyment of the natural experience recorded at varying recollection periods, provided valuable insight into tourist consumption barriers to the establishment of relational bonds between tourists and ecological tourist attractions.

Health watch exposure estimates:do they underestimate benzene exposure

A nested case–control study found that the excess of leukemia, identified among the male members of the Health Watch cohort, was associated with benzene exposure. Exposure had been retrospectively estimated for each individual occupational history using an algorithm in a relational database. Benzene exposure measurements, supplied by Australian petroleum companies, were used to estimate exposure for specific tasks. The tasks carried out within each job, the products handled, and the technology used, were identified from structured interviews with contemporary colleagues. More than half of the subjects started work after 1965 and had an average exposure period of 20 years. Exposure was low; nearly 85% of the cumulative exposure estimates were at or below 10 ppm-years. Matched analyses showed that leukemia risk increased with increasing cumulative benzene exposures and with increasing exposure intensity of the highest-exposed job. Non-Hodgkin lymphoma and multiple myeloma were not associated with benzene exposure. A reanalysis reported here, showed that for the 7 leukemia case-sets with greater than 16 ppm-years cumulative exposure, the odds ratio was 51.9 (5.6–477) when compared to the 2 lowest exposed categories combined to form a new reference category. The addition of occasional high exposures, e.g. as a result of spillages, increased exposure for 25% of subjects but for most, the increase was less than 5% of total exposure. The addition of these exposures reduced the odds ratios. Cumulative exposures did not range as high as those in comparable studies; however, the recent nature of the cohort and local handling practices can explain these differences.

The health watch case - control study of leukemia and benzene:the story so far

A case–control study nested in the Health Watch cohort of petroleum industry workers, investigated whether the excess of lymphohematopoetic cancers, identified among male members of the Health Watch cohort, was associated with benzene exposure. Cases of non-Hodgkin’s lymphoma (n=31),multiple myeloma (n=15), and leukemia (n=33)were identified between 1981 and 1999. Cases were age-matched to five controls. Exposure was retrospectively estimated for each occupational history using an algorithm in a relational database. Benzene exposure measurements, supplied by Australian petroleum companies, were used to estimate exposure for specific tasks. The tasks carried out within the job, the products handled, and the technology used,were identified from interviews with contemporary colleagues. More than half of the subjects started work after 1965 and had an average exposure period of 20 years. Exposure was low, 85% of the cumulative exposure estimates were<10 ppm years. Matched analyses showed that non-Hodgkin’s lymphoma and multiple myeloma were not associated with benzene exposure. Leukemia risk, however, was significantly increased for the subjects with greater than 16 ppm years cumulative exposure, odds ratio (OR) 51.9 (5.6–477) or with greater than 0.8 ppm intensity of highest exposed job. Cumulative exposures were similar to those found in comparable studies.The inclusion of occasional high exposures, for example, as a result of spillages, reduced the ORs, when the exposure was treated as either a continuous or a categorical variable. Our data demonstrate a strong association between leukemia and modest benzene exposure. The choice of cut-point and reference group has a marked effect on the ORs, but does not change the overall conclusions.

Expanding the buyer-supplier relationship definition: its antecedents and relationship with performance outcomes

This paper aims to contribute to current buyer-supplier relationship literature through conceptually examining associations between the buyer-supplier relationship itself, organisational antecedents and the external environment. Whilst the presence of relational components within the transaction has been acknowledged, there is, has been, and remains, great difficulty in defining and understanding the dynamics of the buyer-supplier relationship itself. This study aims to address current research limitations and further develop understanding of the dynamics between buyers and suppliers, through a grounded theory research approach. The core focus is to understand the basic motivations and considerations for organisations when potentially considering relationship development with a trade partner. Thus, the organisational attributes that must be apparent and those preferred by potential trade partners are studied. Development of a conceptual model leads to the recognition of three key research questions that are to be addressed in future empirical investigation of the model.

Developing a framework for understanding the emotional dimension of organizational culture

Why is it that in some organizations we are able to find and develop our positive selves and in others we are not? Responding to the call from positive organizational scholarship to better understand how to build contexts for human flourishing, in this paper we are concerned how an organization's culture contributes to our thriving, or failing to thrive, at work. We introduce the organizational culture construct and its summary dimensions, noting the absence of an emotional dimension. We show that it is through our interactions with others that organizational culture is developed and maintained, and through which we learn how to manage and interpret the emotions we experience. That is, relationships are central to both culture and emotions. Integrating Josselson's model of our relational needs with Schein's typology of organizational culture, we present a relationally-based framework for an emotional dimension of organizational culture. The paper concludes with a report on a study designed to refine the framework presented and suggests that individuals will thrive in organizations where the cultural norms and values for relating enable a "good enough" fulfillment of our relational needs.

The development of a new construct : the emotional dimension of organizational culture

Qualitative organisational culture studies reveal the emotional side of organisational life. Yet, in a recent review of the quantitative organisational culture survey measures available, 10 summary dimensions were identified intended to be representative of the major dimensional categories in the organisational culture literature, and an emotional dimension was notably absent. The PhD aims to address this gap in the literature by (a) developing a theoretical definition of the newly proposed dimension; and (b) developing and validating an instrument for its measurement. The talk presents the findings of the studies conducted to date and discusses the inherent challenges of bringing the rigours of psychometric development to areas more commonly associated with qualitative research. The theoretical bases for adopting a multidimensional, relational approach that draws on theories within the psychoanalytically oriented and feminist traditions is provided. A strength of this approach is that the research can potentially contribute to explaining the nature of the ties between organisational members that is currently lacking in organisational research.

The pragmatics of text facilitation : the study of academic English of native and non-native writers

In this paper I describe the discursive strategies related to the writer–reader textual reciprocity. I focus on one way of achieving such reciprocity -- the employment by the writer of facilitative schematic structures and metalanguage where one text segment signposts information conveyed in the segment that follows. I refer to these facilitative schematic structures as "organising relational schemata". I see organising relations as the most explicit components of the rhetorical structure of texts: they illuminate the main message and aid the reader's cognitive processes in the orientation of how information is conveyed by text.
This paper discusses the way the choices of organising relations and associated metalanguage by the writers in different cultures and different discourse communities contribute to the communicative homeostasis in the world of text. It shows how the influence of a native culture and intellectual style together with the forces operating within the writer's international disciplinary community interact in the authorial guidance in the scholarly prose.
I introduce and exemplify three types of organising relational structures: Advance Organisers, Introducers and Enumerators. I trace the utilisation of these three types of relations in sociology research papers written in English and produced in "Anglo" and Polish academic discourse comunities by native English speaking and native Polish speaking scholars. The relational typology adopted is based on a study by Golebiowski (2002), which proposed a theoretical framework for the examination of discoursal structure of research papers, referred to as FARS – Framework for the Analysis of the Rhetorical Structure of Texts. FARS entails a relational taxonomy which displays a pattern of rhetorical relations utilised by the writer to achieve textual coherence.
I describe intertextual differences in the frequency of occurrence of organising relations, their degree of explicitness and their positioning in the hierarchical structure of texts. Differences in the mode of employment of textual organisers suggest that the rhetorical structure of English research prose produced by non-native speakers cannot escape being shaped by the characteristics and conventions of the authors’ first language. They are also attributed to cultural norms and conventions as well as educational systems prevailing within the discourse communities which constitute the social contexts of texts.

Prominent messages in education and applied linguistic abstracts : how do authors appeal to their prospective readers?

This study investigates the rhetorical structure of abstracts of papers published in Applied Linguistics and Education. It examines how abstract authors in these two fields emphasise the significance of their research, and how they appeal to their prospective readership. Although abstracts in both disciplinary groups are found to display a coordinate textual development they exhibit a utilization of different relational schemata to indicate the functional prominence of textual propositions. In particular, different relational patterns are seen to be employed to fulfil the two primary objectives of an abstract: to provide a synopsis of the accompanying article, and to promote it to relevant research and professional communities. The way authors demonstrate the value of their research and their professional credibility appears to be conditioned by disciplinary writing conventions. It is proposed that relational choices, which result in differences in the accentuation of communicative messages in Applied Linguistics and Education abstracts, depend on the perceived relationship between the author and the discourse community in terms of expectations of prior knowledge.

Care : what nurses say and what nurses do

Caring is neither simply a set of attitudes or theories, nor does it comprise all that nurses do. Nursing care is determined by the way nurses use knowledge and skills to appreciate the uniqueness of the person they are caring for (changing the care noun into a caring verb). The purpose of this article is to present a range of contemporary nurse theorists' ideas on caring and to examine these ideas using the backdrop of nursing as practiced in both Australia and Canada to demonstrate a range of national and international similarities and theoretical beliefs. Caring relationships set up the conditions of trust that enable the one receiving the care to accept the help offered, underpinning the nurse-patient relationship or the therapeutic relationship. Caring is always specific and relational such as that found in the nurse-patient relationship. We believe that caring theory has much to offer nursing practice worldwide. Caring must be considered in the caring context because the nature of the caring relationship is central to most nursing interventions. Nurses need to be able to actually practice caring rather than just theorize about it-using caring theories to inform their practice.

Predicting in-role and extra-role performance by gender

Men and women are said to perceive justice differently, with women proposed to be more concerned with relational issues and men focused more on material issues. In this study, the potential for differential effects of justice on performance by gender was analyzed across the four contemporary types of justice. Respondents were 265 male and 113 female occupationally diverse employees in a single organization. The results show significant differences in how men and women respond to the four justice types with only one - informational justice - acting similarly by gender. Women were more interested in maintaining social harmony than men. The results appear to strongly support the use of the justice judgment model over the group-value model as a means of explaining the gender differences. Implications for management include the importance of informational justice both generally and within the performance appraisal process