Abstract specification in Object-Z and CSP

A number of integrations of the state-based specification language Object-Z and the process algebra CSP have been proposed in recent years. In developing such integrations, a number of semantic decisions have to be made. In particular, what happens when an operation's precondition is not satisfied? Is the operation blocked, i.e., prevented from occurring, or can it occur with an undefined result? Also, are outputs from operations angelic, satisfying the environment's constraints on them, or are they demonic and not influenced by the environment at all? In this paper we discuss the differences between the models, and show that by adopting a blocking model of preconditions together with an angelic model of outputs one can specify systems at higher levels of abstraction.

The influence of national culture on the level and outcome of IS decision making in the IS maintenance/redevelopment decision

Would the outcome of a Global multinational organization’s decision be the same if the same decision were to be made in different countries throughout the world? Within the same organization, we propose that national cultural differences can influence decision making in different countries and cultural clusters. While much work has been done on organizational cultural influences, this study examines the influence that national culture has on organizational decision making in respect to the evolution/redevelopment decision that organizations face when a system is believed to be entering the obsolescence phase. Building on findings from the Globe research program, we show by empirical testing of a theoretical model that national cultural dimensions are significantly associated with a) the outcome of the decision to enhance or re-develop a system, and b) the organizational level at which such decisions are made. This research is significant as a means to improve management decision making, particularly with regard to the enhancement versus re-development decision. The research suggests that a relatively uniform sub-culture exists across the global IS project level but that national cultural dimensions play a more important role in determining the organizational management level at which decisions are made.

Advances in (poly)phenol research: novel sources, bioavailability, bioaccumulation and bioactivity

In the last decades, increasing scientific evidence has correlated the regular consumption of (poly)phenol-rich foods to a potential reduction of chronic disease incidence and mortality. However, epidemiological evidence on the role of (poly)phenol intake against the risk of some chronic diseases is promising, but not conclusive. In this framework a proper approach to (poly)phenol research is requested, using a step by step strategy. The plant kingdom produces an overwhelming array of structurally diverse secondary metabolites, among which flavonoids and related phenolic and (poly)phenolic compounds constitute one of the most numerous and widely distributed group of natural products. To date, more than 8000 structures have been classified as members of the phytochemical class of (poly)phenol, and among them over 4000 flavonoids have been identified. For this reason, a detailed food (poly)phenolic characterization is essential to identify the compounds that will likely enter the human body upon consumption, to predict the metabolites that will be generated and to unravel the potential effects of phenolic rich food sources on human health. In the first part of this work the attention was focused on the phenolic characterization of fruit and vegetable supplements, considering the increasing attention recently addressed to the so called "nutraceuticals", and on the main coffee industry by-product, namely coffee silverskin. The interest oriented toward (poly)phenols is then extended to their metabolism within the human body, paramount in the framework of their putative health promoting effects. Like all nutrients and non-nutrients, once introduced through the diet, (poly)phenols are subjected to an intense metabolism, able to convert the native compounds into similar conjugated, as well as smaller and deeply modified molecules, which in turn could be further conjugated. Although great strides have been made in the last decades, some steps of the (poly)phenol metabolism remain unclear and are interesting points of research. In the second part of this work the research was focused on a specific bran fraction, namely aleurone, added in feed pellets and in bread to investigate the absorption, metabolism and bioavailability of its phenolic compounds in animal and humans, with a preliminary in vitro step to determine their potential bioaccesibility. This part outlines the best approaches to assess the bioavailability of specific phenolics in several experimental models. The physiological mechanisms explaining the epidemiological and observational data on phenolics and health, are still far from being unraveled or understood in full. Many published results on phenolic actions at cell levels are biased by the fact that aglycones or native compounds have been used, not considering the previously mentioned chemical and biological transformations. In the last part of this thesis work, a new approach in (poly)phenol bioactivity investigation is proposed, consisting of a medium-long term treatment of animals with a (poly)phenol source, in this specific case resveratrol, the detection of its metabolites to determine their possible specific tissue accumulation, and the evaluation of specific parameters and/or mechanism of action at target tissue level. To conclude, this PhD work has contributed to advancing the field, as novel sources of (poly)phenols have been described, the bioavailability of (poly)phenols contained in a novel specific bran fraction used as ingredient has been evaluated in animal and in humans, and, finally, the tissue accumulation of specific (poly)phenol metabolites and the evaluation of specific parameters and/or mechanism of action has been carried out. For these reasons, this PhD work should be considered an example of adequate approach to the investigation of (poly)phenols and of their bioactivity, unavoidable in the process of unequivocally defining their effects on human health.

Advances in cataract surgery

Cataract surgery is a technique described since recorded history, yet it has greatly evolved only in the latter half of the past century. The development of the intraocular lens and phacoemulsification as a technique for cataract removal could be considered as the two most significant strides that have been made in this surgical field. This review takes a comprehensive look at all aspects of cataract surgery, starting from patient selection through the process of consent, anaesthesia, biometry, lens power calculation, refractive targeting, phacoemulsification, choice of intraocular lens and management of complications, such as posterior capsular opacification, as well as future developments. As the most common ophthalmic surgery and with the expanding range of intraocular lens options, optometrists have an important and growing role in managing patients with cataract.

Canadian province-building : the state as educator and entrepreneur in Alberta

This study provides an account and analysis of the development of systems of educational provision In capitalist democracies, especially in connection with the social origin and relative autonony of those systems. Using the case study of Athabasca University, a Canadian distance-education institution in the province of Alberta, the study is a critical work of historical sociology, in which the shifting social role of a system of educational provision during two transitions of a regional political economy is analyzed. Comparative observations are made in reference to other systems of educational provision and organizations, in particular the training department of a large Company based In the same region as the Unversity. The study explores the social origin and relative autonomy of systems of educational provision In relation to educational ideologies, which are themselves associated with social ideologies. Pierre Bourdieu's theoretical construction of "fields of power'' allows for a consideration of power as a relational phenomenon in the study. In other words, power is understood as being exercised in a way that simultaneously takes account of the power of other actors and groups. Fields of power also allow for an analysis of power as it is exercised at various levels of organizations and within society. The study is organized in two phases. First, an account is developed of the historical period in which the Unlversity and the Company were created, but especially the period of establishment for the Unlversity, 1970 - 75. Conclusions are offered concerning the causal associations between the historical antecedents that gave rise to the two organlzations. It is argued that both the University and the Company were established In part to enact the AIberta government's efforts to enhance Its powers within the Canadian federation (a process called province-building), The second phase is concerned with a more recent period of three years, 1993 - 95. By this time, province-building was not as significant a concern for policy-makers, and the organizational responses of the University and the Company reflected this shift. A divergence of practice is observed at the University and the Company, with actors at the Company encouraging the development of collectivist values for employees, while at the University no such overt strategy was followed, The study concludes that a consumerist model of education developed by the University in 1970 - 75 and expanded In 1993 - 95 contributed significantly to the institution's social origin and relative autonomy. The model was used as an Ideology in the earlier period and as a strategy In the later one, serving to forestall the institution's closure during both periods of crisis, though Ieading to ambiguous social outcomes. A consumerist model may on the one hand be progressive in that expanded access to educational opportunities is made possible. On the other hand, the consumerist model will tend increasingly to provide educational services to those social segments that already have access to educational opportunities.

Women in management in the new economic environment:the case of India

Liberalization of the Indian economy has created considerable employment opportunities for those, including women, who possess marketable skills and talent. Historically, women in India have not enjoyed a good status in workplace settings whether in managerial or operative roles. This traditional positioning of women has restricted the intensity of their efforts towards realizing the benefits of the globalisation process. An attempt has been made in this contribution to highlight the important issues relating to women in management in the Indian context. The messages from a review of the literature are analysed. Research evidence from various sources is presented to highlight the dynamics of developments in the status of Indian women managers. The contribution discusses the main aspects of the historical, socio-cultural and economic factors influencing women managers: issues concerning gender-based stereotypes; the main barriers to women's movement to top managerial positions; the impact of developments in information technology (IT) on women managers; and the way forward. Results from two research projects are also presented. The analysis has important messages for practitioners and contributes to women's studies and management in the Indian context. © 2005 Taylor & Francis Ltd.

Challenging the predictive ability of accounting techniques in modelling organizational futures

This article considers the role of accounting in organisational decision making. It challenges the rational nature of decisions made in organisations through the use of accounting models and the problems of predicting the future through the use of such models. The use of accounting in this manner is evaluated from an epochal postmodern stance. Issues raised by chaos theory and the uncertainty principle are used to demonstrate problems with the predictive ability of accounting models. The authors argue that any consideration of the predictive value of accounting needs to change to incorporate a recognition of the turbulent external environment, if it is to be of use for organisational decision making. Thus it is argued that the role of accounting as a mechanism for knowledge creation regarding the future is fundamentally flawed. We take this as a starting-point to argue for the real purpose of the use of the predictive techniques of accounting, using its ritualistic role in the context of myth creation to argue for the cultural benefits of the use of such flawed techniques.

Modelling the resuspensions of fibres in the racetrack channel

Presentation of the progress made in modelling fibre agglomerate transport in the racetrack channel. Fibre agglomerates can be generated through the disruption of insulation materials during LOCA in NPPs. The fibres can make their way to the containment sump strainers and lead to their blockage. This blockage can lead to an increase in the pressure drop acting across the strainers, which can lead to cavitation behind the strainer and in the recirculation pumps. This will lead to a loss of ECC water reaching the reactor. A small proportion of the fibres may also reach the reactor vessel. Therefore reliable numerical models of the three-dimensional flow behaviour of the fibres must be developed. The racetrack channel offers the chance to validate such models. The presentation describes the techniques involved and the results obtained from transient simulations of the whole channel.

Management processes in marketing planning

There has been concern in the literature about the adequacy of the traditional model of marketing planning, which focuses on what decisions should be made and not on how to make them. The aim of this article is a new conceptualisation that proposes key management processes about how marketing planning decisions are made in a dynamic context. The motives for this conceptualisation are to contribute to understanding by advancing the traditional model of marketing planning, to stimulate academic and practitioner debate about how marketing planning decisions are made, and to initiate new directions in marketing planning research. Two new competing models of marketing planning are developed, which address key management processes about how marketing planning decisions are made in a dynamic context, and research directions are proposed.

Brand extensions in emerging markets:theory development and testing in China

Brand extensions are increasingly used by multinational corporations in emerging markets such as China. However, understanding how consumers in the emerging markets evaluate brand extensions is hampered by a lack of research in the emerging markets contexts. To address the knowledge void, we built on an established brand extension evaluation framework in the West, namely Aaker and Keller (1990)1. Aaker , D. A. and Keller , K. L. 1990 . Consumer evaluations of brand extensions . Journal of Marketing , 54 ( 1 ) : 27 – 41 . [CrossRef], [Web of Science ®] View all references, and extended the model by incorporating two new factors: perceived fit based on brand image consistency and competition intensity in the brand extension category. The additions of two factors are made in recognition of the uniqueness of the considerations of consumers in the emerging markets in their brand extension evaluations. The extended model was tested by an empirical experiment using consumers in China. The results partly validated the Aaker and Keller model, and evidence that both newly added factors were significant in influencing consumers' evaluation of brand extensions was also found. More important, one new factor proposed, namely, consumer-perceived fit based on brand image consistency, was found to be more significant than all the factors in Aaker and Keller's original model, suggesting that the Aaker and Keller model may be limited in explaining how consumers in the emerging markets evaluate brand extensions. Further research implications and limitations are discussed in the paper.

Phakometric measurement of ocular surface radii of curvature, axial separations and alignment in relaxed and accommodated human eyes

Measurements (autokeratometry, A-scan ultrasonography and video ophthalmophakometry) of ocular surface radii, axial separations and alignment were made in the horizontal meridian of nine emmetropes (aged 20-38 years) with relaxed (cycloplegia) and active accommodation (mean ± 95% confidence interval: 3.7 ± 1.1 D). The anterior chamber depth (-1.5 ± 0.3 D) and both crystalline lens surfaces (front 3.1 ± 0.8 D; rear 2.1 ± 0.6 D) contributed to dioptric vergence changes that accompany accommodation. Accommodation did not alter ocular surface alignment. Ocular misalignment in relaxed eyes is mainly because of eye rotation (5.7 ± 1.6° temporally) with small amounts of lens tilt (0.2 ± 0.8° temporally) and decentration (0.1 ± 0.1 mm nasally) but these results must be viewed with caution as we did not account for corneal asymmetry. Comparison of calculated and empirically derived coefficients (upon which ocular surface alignment calculations depend) revealed that negligible inherent errors arose from neglect of ocular surface asphericity, lens gradient refractive index properties, surface astigmatism, effects of pupil size and centration, assumed eye rotation axis position and use of linear equations for analysing Purkinje image shifts. © 2004 The College of Optometrists.

Advanced UV inscribed fibre grating structures and applications in optical sensing and laser systems

This thesis presents detailed investigation of UV inscribed fibre grating based devices and novel developments in the applications of such devices in optical sensing and fibre laser systems. The major contribution of this PhD programme includes the systematic study on fabrication, spectral characteristics and applications of different types of UV written in-fibre gratings such as Type I and IA Fibre Bragg Gratings (FBGs), Chirped Fibre Bragg Gratings (CFBGs) and Tilted Fibre Gratings (TFGs) with small, large and 45º tilted structures inscribed in normal silica fibre. Three fabrication techniques including holographic, phase-mask and blank beam exposure scanning, which were employed to fabricate a range of gratings in standard single mode fibre, are fully discussed. The thesis reports the creation of smart structures with self-sensing capability by embedding FBG-array sensors in Al matrix composite. In another part of this study, we have demonstrated the particular significant improvements made in sensitising standard FBGs to the chemical surrounding medium by inducing microstructure to the grating by femtosecond (fs) patterning assisted chemical etching technique. Also, a major work is presented for the investigation on the structures, inscription methods and spectral Polarisation Dependent Loss (PDL) and thermal characteristics of different angle TFGs. Finally, a very novel application in realising stable single polarisation and multiwavelength switchable Erbium Doped Fibre Lasers (EDFLs) using intracavity polarisation selective filters based on TFG devices with tilted structures at small, large and exact 45° angles forms another important contribution of this thesis.

Cachexia in cancer patients

Cachexia — the massive (up to 80%) loss of both adipose tissue and skeletal muscle mass — is a significant factor in the poor performance status and high mortality rate of cancer patients. Although this metabolic defect has been known since cancer was first studied, it is only recently that major advances have been made in the identification of catabolic factors that act to destroy host tissues during the cachectic process. Although anorexia is frequently present, depression of food intake alone seems not to be responsible for the wasting of body tissues, as nutritional supplementation or pharmacological manipulation of appetite is unable to reverse the catabolic process — particularly with respect to skeletal muscle. However, recent clinical studies in cancer patients have shown that nutritional supplementation can be effective when combined with agents that attenuate the action of tumour factors and modifiers of the central effects on appetite might also show promise.

Proteomics in the study of hippocampal plasticity

Synaptic plasticity is the dynamic regulation of the strength of synaptic communication between nerve cells. It is central to neuronal development as well as experience-dependent remodeling of the adult nervous system as occurs during memory formation. Aberrant forms of synaptic plasticity also accompany a variety of neurological and psychiatric diseases, and unraveling the biological basis of synaptic plasticity has been a major goal in neurobiology research. The biochemical and structural mechanisms underlying different forms of synaptic plasticity are complex, involving multiple signaling cascades, reconfigurations of structural proteins and the trafficking of synaptic proteins. As such, proteomics should be a valuable tool in dissecting the molecular events underlying normal and disease-related forms of plasticity. In fact, progress in this area has been disappointingly slow. We discuss the particular challenges associated with proteomic interrogation of synaptic plasticity processes and outline ways in which we believe proteomics may advance the field over the next few years. We pay particular attention to technical advances being made in small sample proteomics and the advent of proteomic imaging in studying brain plasticity.

Fiber Bragg grating structures inscribed using 800nm femtosecond laser in single- and multi-core mid-IR glass fibers with their spectral, thermal and strain properties

Single- and multi-core passive and active germanate and tellurite glass fibers represent a new class of fiber host for in-fiber photonics devices and applications in mid-IR wavelength range, which are in increasing demand. Fiber Bragg grating (FBG) structures have been proven as one of the most functional in-fiber devices and have been mass-produced in silicate fibers by UV-inscription for almost countless laser and sensor applications. However, because of the strong UV absorption in germanate and tellurite fibers, FBG structures cannot be produced by UVinscription. In recent years femtosecond (fs) lasers have been developed for laser machining and microstructuring in a variety of glass fibers and planar substrates. A number of papers have been reported on fabrication of FBGs and long-period gratings in optical fibers and also on the photosensitivity mechanism using 800nm fs lasers. In this paper, we demonstrate for the first time the fabrication of FBG structures created in passive and active single- and three-core germanate and tellurite glass fibers by using 800nm fs-inscription and phase mask technique. With a fs peak power intensity in the order of 1011W/cm2, the FBG spectra with 2nd and 3rd order resonances at 1540nm and 1033nm in a single-core germanate glass fiber and 2nd order resonances between ~1694nm and ~1677nm with strengths up to 14dB in all three cores of three-core passive and active tellurite fibers were observed. Thermal and strain properties of the FBGs made in these mid-IR glass fibers were characterized, showing an average temperature responsivity of ~20pm/°C and a strain sensitivity of 1.219±0.003pm/µe.