On compliance of business processes with business contracts

This paper addresses the problem of ensuring compliance of business processes, implemented within and across organisational boundaries, with the constraints stated in related business contracts. In order to deal with the complexity of this problem we propose two solutions that allow for a systematic and increasingly automated support for addressing two specific compliance issues. One solution provides a set of guidelines for progressively transforming contract conditions into business processes that are consistent with contract conditions thus avoiding violation of the rules in contract. Another solution compares rules in business contracts and rules in business processes to check for possible inconsistencies. Both approaches rely on a computer interpretable representation of contract conditions that embodies contract semantics. This semantics is described in terms of a logic based formalism allowing for the description of obligations, prohibitions, permissions and violations conditions in contracts. This semantics was based on an analysis of typical building blocks of many commercial, financial and government contracts. The study proved that our contract formalism provides a good foundation for describing key types of conditions in contracts, and has also given several insights into valuable transformation techniques and formalisms needed to establish better alignment between these two, traditionally separate areas of research and endeavour. The study also revealed a number of new areas of research, some of which we intend to address in near future.

Improved constraints on possible variation of physical constants from HI 21-cm and molecular QSO absorption lines

Quasar (QSO) absorption spectra provide an extremely useful probe of possible cosmological variation in various physical constants. Comparison of H i 21-cm absorption with corresponding molecular (rotational) absorption spectra allows us to constrain variation in , where α is the fine-structure constant and gp is the proton g-factor. We analyse spectra of two QSOs, PKS 1413+135 and TXS 0218+357, and derive values of at absorption redshifts of and 0.6847 by simultaneous fitting of the H i 21-cm and molecular lines. We find and respectively, indicating an insignificantly smaller y in the past. We compare our results with other constraints from the same two QSOs given recently by Drinkwater et al. and Carilli et al., and with our recent optical constraints, which indicated a smaller α at higher redshifts.

A finite integral transform technique for solving the diffusion-reaction equation with Michaelis-Menten kinetics

An approximate analytical technique employing a finite integral transform is developed to solve the reaction diffusion problem with Michaelis-Menten kinetics in a solid of general shape. A simple infinite series solution for the substrate concentration is obtained as a function of the Thiele modulus, modified Sherwood number, and Michaelis constant. An iteration scheme is developed to bring the approximate solution closer to the exact solution. Comparison with the known exact solutions for slab geometry (quadrature) and numerically exact solutions for spherical geometry (orthogonal collocation) shows excellent agreement for all values of the Thiele modulus and Michaelis constant.

An equivalent algorithm for simulating thermal effects of magma intrusion problems in porous rocks

An equivalent algorithm is proposed to simulate thermal effects of the magma intrusion in geological systems, which are composed of porous rocks. Based on the physical and mathematical equivalence, the original magma solidification problem with a moving boundary between the rock and intruded magma is transformed into a new problem without the moving boundary but with a physically equivalent heat source. From the analysis of an ideal solidification model, the physically equivalent heat source has been determined in this paper. The major advantage in using the proposed equivalent algorithm is that the fixed finite element mesh with a variable integration time step can be employed to simulate the thermal effect of the intruded magma solidification using the conventional finite element method. The related numerical results have demonstrated the correctness and usefulness of the proposed equivalent algorithm for simulating the thermal effect of the intruded magma solidification in geological systems. (C) 2003 Elsevier B.V. All rights reserved.

Binary games with many players

We examine a problem with n players each facing the same binary choice. One choice is superior to the other. The simple assumption of competition - that an individual's payoff falls with a rise in the number of players making the same choice, guarantees the existence of a unique symmetric equilibrium (involving mixed strategies). As n increases, there are two opposing effects. First, events in the middle of the distribution - where a player finds itself having made the same choice as many others - become more likely, but the payoffs in these events fall. In opposition, events in the tails of the distribution - where a player finds itself having made the same choice as few others - become less likely, but the payoffs in these events remain high. We provide a sufficient condition (strong competition) under which an increase in the number of players leads to a reduction in the equilibrium probability that the superior choice is made.

Compact clinical MRI magnet design using a multilayer current density approach

In this work, a new method of optimization is successfully applied to the theoretical design of compact, actively shielded, clinical MRI magnets. The problem is formulated as a two-step process in which the desired current densities on multiple, cc-axial surface layers are first calculated by solving Fredholm equations of the first kind. Non-linear optimization methods with inequality constraints are then invoked to fit practical magnet coils to the desired current densities. The current density approach allows rapid prototyping of unusual magnet designs. The emphasis of this work is on the optimal design of short, actively-shielded MRI magnets for whole-body imaging. Details of the hybrid numerical model are presented, and the model is used to investigate compact, symmetric, and asymmetric MRI magnets. Magnet designs are presented for actively-shielded, symmetric magnets of coil length 1.0 m, which is considerably shorter than currently available designs of comparable dsv size. Novel, actively-shielded, asymmetric magnet designs are also presented in which the beginning of a 50-cm dsv is positioned just 11 cm from the end of the coil structure, allowing much improved access to the patient and reduced patient claustrophobia. Magn Reson Med 45:331540, 2001. (C) 2001 Wiley-Liss, Inc.

Context-free and context-sensitive dynamics in recurrent neural networks

Continuous-valued recurrent neural networks can learn mechanisms for processing context-free languages. The dynamics of such networks is usually based on damped oscillation around fixed points in state space and requires that the dynamical components are arranged in certain ways. It is shown that qualitatively similar dynamics with similar constraints hold for a(n)b(n)c(n), a context-sensitive language. The additional difficulty with a(n)b(n)c(n), compared with the context-free language a(n)b(n), consists of 'counting up' and 'counting down' letters simultaneously. The network solution is to oscillate in two principal dimensions, one for counting up and one for counting down. This study focuses on the dynamics employed by the sequential cascaded network, in contrast to the simple recurrent network, and the use of backpropagation through time. Found solutions generalize well beyond training data, however, learning is not reliable. The contribution of this study lies in demonstrating how the dynamics in recurrent neural networks that process context-free languages can also be employed in processing some context-sensitive languages (traditionally thought of as requiring additional computation resources). This continuity of mechanism between language classes contributes to our understanding of neural networks in modelling language learning and processing.

Numerical modelling of chemical effects of magma solidification problems in porous rocks

The solidification of intruded magma in porous rocks can result in the following two consequences: (1) the heat release due to the solidification of the interface between the rock and intruded magma and (2) the mass release of the volatile fluids in the region where the intruded magma is solidified into the rock. Traditionally, the intruded magma solidification problem is treated as a moving interface (i.e. the solidification interface between the rock and intruded magma) problem to consider these consequences in conventional numerical methods. This paper presents an alternative new approach to simulate thermal and chemical consequences/effects of magma intrusion in geological systems, which are composed of porous rocks. In the proposed new approach and algorithm, the original magma solidification problem with a moving boundary between the rock and intruded magma is transformed into a new problem without the moving boundary but with the proposed mass source and physically equivalent heat source. The major advantage in using the proposed equivalent algorithm is that a fixed mesh of finite elements with a variable integration time-step can be employed to simulate the consequences and effects of the intruded magma solidification using the conventional finite element method. The correctness and usefulness of the proposed equivalent algorithm have been demonstrated by a benchmark magma solidification problem. Copyright (c) 2005 John Wiley & Sons, Ltd.

Unitary R-matrices for topological quantum computing

The main problem with current approaches to quantum computing is the difficulty of establishing and maintaining entanglement. A Topological Quantum Computer (TQC) aims to overcome this by using different physical processes that are topological in nature and which are less susceptible to disturbance by the environment. In a (2+1)-dimensional system, pseudoparticles called anyons have statistics that fall somewhere between bosons and fermions. The exchange of two anyons, an effect called braiding from knot theory, can occur in two different ways. The quantum states corresponding to the two elementary braids constitute a two-state system allowing the definition of a computational basis. Quantum gates can be built up from patterns of braids and for quantum computing it is essential that the operator describing the braiding-the R-matrix-be described by a unitary operator. The physics of anyonic systems is governed by quantum groups, in particular the quasi-triangular Hopf algebras obtained from finite groups by the application of the Drinfeld quantum double construction. Their representation theory has been described in detail by Gould and Tsohantjis, and in this review article we relate the work of Gould to TQC schemes, particularly that of Kauffman.

The role of physiological understanding in plant breeding; From a breeding perspective

The role of physiological understanding in improving the efficiency of breeding programs is examined largely from the perspective of conventional breeding programs. Impact of physiological research to date on breeding programs, and the nature of that research, was assessed from (i) responses to a questionnaire distributed to plant breeders and physiologists, and (ii) a survey of literature abstracts. Ways to better utilise physiological understanding for improving breeding programs are suggested, together with possible constraints to delivering beneficial outcomes. Responses from the questionnaire indicated a general view that the contribution by crop physiology to date has been modest. However, most of those surveyed expected the contribution to be larger in the next 20 years. Some constraints to progress perceived by breeders and physiologists were highlighted. The survey of literature abstracts indicated that from a plant breeding perspective, much physiological research is not progressing further than making suggestions about possible approaches to selection. There was limited evidence in the literature of objective comparison of such suggestions with existing methodology, or of development and application of these within active breeding programs. It is argued in this paper that the development of outputs from physiological research for breeding requires a good understanding of the breeding program(s) being serviced and factors affecting its performance. Simple quantitative genetic models, or at least the ideas they represent, should be considered in conducting physiological research and in envisaging and evaluating outputs. The key steps of a generalised breeding program are outlined, and the potential pathways for physiological understanding to impact on these steps are discussed. Impact on breeding programs may arise through (i) better choice of environments in which to conduct selection trials, (ii) identification of selection criteria and traits for focused introgression programs, and (iii) identifying traits for indirect selection criteria as an adjunct to criteria already used. While many breeders and physiologists apparently recognise that physiological understanding may have a major role in the first area, there appears to be relatively Little research activity targeting this issue, and a corresponding bias, arguably unjustified, toward examining traits for indirect selection. Furthermore, research on traits aimed at crop improvement is often deficient because key genetic parameters, such as genetic variation in relevant breeding populations and genetic (as opposed to phenotypic) correlations with yield or other characters of economic importance, are not properly considered in the research. Some areas requiring special attention for successfully interfacing physiology research with breeding are discussed. These include (i) the need to work with relevant genetic populations, (ii) close integration of the physiological research with an active breeding program, and (iii) the dangers of a pre-defined or narrow focus in the physiological research.

Species and regional variations in the effectiveness of antivenom against the in Vitro neurotoxicity of death adder (Acanthophis) venoms

Although viperlike in appearance and habit, death adders belong to the Elapidae family of snakes. Systemic envenomation represents a serious medical problem with antivenom, which is raised against Acanthophis antarcticus venom, representing the primary treatment. This study focused on the major Acanthophis variants from Australia and islands in the Indo-Pacific region. Venoms were profiled using liquid chromatography-mass spectrometry, and analyzed for in vitro neurotoxicity (0.3-10 mug/ml), as well as the effectiveness of antivenom. (1-5 units/ml; 10 min prior to the addition of 10 mug/ml venom). The following death adder venoms were examined: A. antarcticus (from separate populations in New South Wales, Queensland, South Australia, and Western Australia), A. hawkei, A. praelongus, A. pyrrhus, A. rugosus, A. wellsi, and venom from an unnamed species from the Indonesian island of Seram. All venoms abolished indirect twitches of the chick isolated biventer cervicis nerve-muscle preparation in a dose-dependent manner. In addition, all venoms blocked responses to exogenous acetylcholine (1 m-M) and carbachol (20 muM), but not KCl (40 mM), suggesting postsynaptic neurotoxicity. Death adder antivenom (1 unit/ml) prevented the neurotoxic effects of A. pyrrhus, A. praelongus, and A. hawkei venoms, although it was markedly less effective against venoms from A. antarcticus (NSW, SA, WA), A. rugosus, A. wellsi, and A. sp. Scram. However, at 5 units/ml, antivenom was effective against all venoms tested. Death adder venoms, including those from A. antarcticus geographic variants, differed not only in their venom composition but also in their neurotoxic activity and susceptibility to antivenom. For the first time toxicological aspects of A. hawkei, A. wellsi, A. rugosus, and A. sp. Seram venoms were studied. (C) 2001 Academic Press.

A survey of Australian consumers' attitudes towards UHT milk

A telephone survey was conducted in Melbourne and Brisbane to obtain a profile of milk consumption in Australia and determine consumers' attitudes regarding UHT milk. It was anticipated that this survey would reveal the reasons for the low level of UHT milk consumption in Australia. Pasteurised milk was the main milk type used by more than 80% of respondents. For UHT milk this figure was much lower (approximately 10%), even though two thirds of respondents had tried UHT milk. Factors that were found to influence UHT milk consumption included existing milk consumption habits, consumer perception, flavour and price. The majority of non-users of UHT milk stated habit of using other milk type as their main reason for not using UHT milk. Other reasons included poor nutritional value, poor flavour and not real/pure milk, indicating a negative consumer perception of the product. The flavour of UHT milk was identified as a problem, with nearly half of UHT milk users considering it to be worse than the flavour of pasteurised milk. However, a small proportion of UHT milk users preferred the flavour of UHT milk, with the majority of them stating that it was creamier, richer and/or stronger than the flavour of pasteurised milk. Prior to post-farmgate deregulation, price was shown to discourage consumers from using UHT milk. At the time of the survey, post-farmgate prices in Victoria were deregulated resulting in UHT milk being priced below that of pasteurised milk in some instances. This was believed to contribute to a significantly higher market share of the product in Melbourne than in Brisbane.

Factors affecting the establishment and dispersal of nymphs of Pristhesancus plagipennis Walker (Hemiptera : Reduviidae) when released onto soybean, cotton and sunflower crops

A problem with augmenting predatory bugs through mass release is the logistical difficulty of delivering nymphs onto the foliage of field crops. In this paper we examine postrelease establishment and dispersal of the nymphs of the predatory bug Pristhesancus plagipennis on soybean, cotton and sunflower in an effort to devise an appropriate strategy for field release. The effects of predator stadia and release rates on field establishment and within-crop-canopy dispersal after hand release were recorded in soybean, cotton and sunflower. Field establishment improved with the release of more-developed nymphs, with third instars providing the most appropriate compromise between field hardiness and rearing cost. Increased nymphal density at the point of release had little effect on nymphal dispersal throughout the crop canopy. The patterns of nymphal dispersal observed on the three crops suggest that crop-canopy architecture may have an effect on the ability of nymphs to spread out postrelease, as nymphs dispersed poorly in cotton and sunflower compared to soybean. To overcome poor dispersal of nymphs after release, a mechanical release method, where nymphs were mixed with vermiculite and delivered onto a target crop through a spinning disk fertiliser spreader, was tested, and provided similar nymph establishment rates and dispersal patterns as releasing nymphs individually by hand. The implications of nymph dispersal and field hardiness in regard to inundative field release techniques are discussed.

Present and future pharmacotherapy for benign prostatic hyperplasia

Around 50% of men 51-60 years of age have pathological benign prostatic hyperplasia (BPH). Pharmacotherapy for BPH includes the 5alpha-reductase inhibitor finasteride, and alpha(1)-adrenoceptor antagonists. Finasteride reduces prostate volume and symptom scores, while increasing peak urinary flow rates. The main problem with finasteride treatment is that it increases the incidence of ejaculation disorders. All of the alpha(1)-adrenoceptor antagonists have been shown to reduce symptom scores and increase peak urinary flow rates in BPH. The nonselective alpha(1)-adrenoceptor antagonists (prazosin, terazosin and doxazosin) were developed as antihypertensives, and hypotensive-related side effects are the main problem with these agents in BPH. These side effects can be diminished by reducing peak concentrations of the drugs, as with once-daily alfuzosin, or by using the uroselective antagonist tamsulosin. Phytopharmaceuticals are commonly used in the treatment of BPH, such as saw palmetto berry which has been shown to improve the symptoms and peak urinary flow rate. Androgen receptor antagonists are not used in BPH because of their adverse effects. Newer drugs under development for the treatment of BPH include alpha(1)-adrenoceptor antagonists that show more selectivity for alpha(1A)-adrenoceptors than tamsulosin, combined 5alpha-reductase/alpha(1)-adrenoceptor inhibitors and combined type 1/type 2 5alpha-reductase inhibitors. New targets for the drug treatment of BPH include indothelin, growth factors, estrogens and the phosphodiesterase isoenzymes.