Formalising progress properties of non-blocking programs

A non-blocking program is one that uses non-blocking primitives, such as load-linked/store-conditional and compare-and-swap, for synchronisation instead of locks so that no process is ever blocked. According to their progress properties, non-blocking programs may be classified as wait-free, lock-free or obstruction-free. However, a precise description of these properties does not exist and it is not unusual to find a definition that is ambiguous or even incorrect. We present a formal definition of the progress properties so that any confusion is removed. The formalisation also allows one to prove the widely believed presumption that wait-freedom is a special case of lock-freedom, which in turn is a special case of obstruction-freedom.

Modelling of non-stationary processes using radial basis function networks

This paper reports preliminary progress on a principled approach to modelling nonstationary phenomena using neural networks. We are concerned with both parameter and model order complexity estimation. The basic methodology assumes a Bayesian foundation. However to allow the construction of pragmatic models, successive approximations have to be made to permit computational tractibility. The lowest order corresponds to the (Extended) Kalman filter approach to parameter estimation which has already been applied to neural networks. We illustrate some of the deficiencies of the existing approaches and discuss our preliminary generalisations, by considering the application to nonstationary time series.

Tracking of non-stationary time-series using resource allocating RBF networks

In this paper, we discuss some practical implications for implementing adaptable network algorithms applied to non-stationary time series problems. Using electricity load data and training with the extended Kalman filter, we demonstrate that the dynamic model-order increment procedure of the resource allocating RBF network (RAN) is highly sensitive to the parameters of the novelty criterion. We investigate the use of system noise and forgetting factors for increasing the plasticity of the Kalman filter training algorithm, and discuss the consequences for on-line model order selection. We also find that a recently-proposed alternative novelty criterion, found to be more robust in stationary environments, does not fare so well in the non-stationary case due to the need for filter adaptability during training.

A review of non-pharmacological and pharmacological management of seasonal and perennial allergic conjunctivitis

Allergic eye disease encompasses a group of hypersensitivity disorders which primarily affect the conjunctiva and its prevalence is increasing. It is estimated to affect 8% of patients attending optometric practice but is poorly managed and rarely involves ophthalmic assessment. Seasonal allergic conjunctivitis (SAC) is the most common form of allergic eye disease (90%), followed by perennial allergic conjunctivitis (PAC; 5%). Both are type 1 IgE mediated hypersensitivity reactions where mast cells play an important role in pathophysiology. The signs and symptoms are similar but SAC occurs periodically whereas PAC occurs year round. Despite being a relatively mild condition, the effects on the quality of life can be profound and therefore they demand attention. Primary management of SAC and PAC involves avoidance strategies depending on the responsible allergen(s) to prevent the hypersensitivity reaction. Cooled tear supplements and cold compresses may help bring relief. Pharmacological agents may become necessary as it is not possible to completely avoid the allergen(s). There are a wide range of anti-allergic medications available, such as mast cell stabilisers, antihistamines and dual-action agents. Severe cases refractory to conventional treatment require anti-inflammatories, immunomodulators or immunotherapy. Additional qualifications are required to gain access to these medications, but entry-level optometrists must offer advice and supportive therapy. Based on current evidence, the efficacy of anti-allergic medications appears equivocal so prescribing should relate to patient preference, dosing and cost. More studies with standardised methodologies are necessary elicit the most effective anti-allergic medications but those with dual-actions are likely to be first line agents.