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.

Atomic Latin squares of order eleven

A Latin square is pan-Hamiltonian if the permutation which defines row i relative to row j consists of a single cycle for every i j. A Latin square is atomic if all of its conjugates are pan-Hamiltonian. We give a complete enumeration of atomic squares for order 11, the smallest order for which there are examples distinct from the cyclic group. We find that there are seven main classes, including the three that were previously known. A perfect 1-factorization of a graph is a decomposition of that graph into matchings such that the union of any two matchings is a Hamiltonian cycle. Each pan-Hamiltonian Latin square of order n describes a perfect 1-factorization of Kn,n, and vice versa. Perfect 1-factorizations of Kn,n can be constructed from a perfect 1-factorization of Kn+1. Six of the seven main classes of atomic squares of order 11 can be obtained in this way. For each atomic square of order 11, we find the largest set of Mutually Orthogonal Latin Squares (MOLS) involving that square. We discuss algorithms for counting orthogonal mates, and discover the number of orthogonal mates possessed by the cyclic squares of orders up to 11 and by Parker's famous turn-square. We find that the number of atomic orthogonal mates possessed by a Latin square is not a main class invariant. We also define a new sort of Latin square, called a pairing square, which is mapped to its transpose by an involution acting on the symbols. We show that pairing squares are often orthogonal mates for symmetric Latin squares. Finally, we discover connections between our atomic squares and Franklin's diagonally cyclic self-orthogonal squares, and we correct a theorem of Longyear which uses tactical representations to identify self-orthogonal Latin squares in the same main class as a given Latin square.

Twisted parafermions

A new type of nonlocal currents (quasi-particles), which we call twisted parafermions, and its corresponding twisted Z-algebra are found. The system consists of one spin-1 bosonic field and six nonlocal fields of fractional spins. Jacobi-type identities for the twisted parafermions are derived, and a new conformal field theory is constructed from these currents. As an application, a parafermionic representation of the twisted affine current algebra A(2)((2)) is given.

Experimental Analysis of Froude Number Effect on Air Entrainment in the Hydraulic Jump

A hydraulic jump is characterized by strong energy dissipation and mixing, large-scale turbulence, air entrainment, waves and spray. Despite recent pertinent studies, the interaction between air bubbles diffusion and momentum transfer is not completely understood. The objective of this paper is to present experimental results from new measurements performed in rectangular horizontal flume with partially-developed inflow conditions. The vertical distributions of void fraction and air bubbles count rate were recorded for inflow Froude number Fr1 in the range from 5.2 to 14.3. Rapid detrainment process was observed near the jump toe, whereas the structure of the air diffusion layer was clearly observed over longer distances. These new data were compared with previous data generally collected at lower Froude numbers. The comparison demonstrated that, at a fixed distance from the jump toe, the maximum void fraction Cmax increases with the increasing Fr1. The vertical locations of the maximum void fraction and bubble count rate were consistent with previous studies. Finally, an empirical correlation between the upper boundary of the air diffusion layer and the distance from the impingement point was provided.

Babesia bovis: Genome size, number of chromosomes and telomeric probe hybridisation

Pulsed field gel electrophoresis of intact chromosomes of Babesia bovis revealed four chromosomes in the haploid genome. A telomere probe, derived from Plasmodium berghei, hybridised to eight SfiI restriction fragments of genomic B. bovis DNA digests indicating the presence of four chromosomes. A small subunit (18S) ribosomal RNA gene probe hybridised to the third chromosome only. The genome size of B. bovis is estimated to be 9.4 million base pairs. The sizes of chromosomes 1, 2, 3 and 4 are estimated to be 1.4, 2.0, 2.8 and 3.2 million base pairs, respectively. (C) 1997 Australian Society for Parasitology. Published by Elsevier Science Ltd.

Effects of geological inhomogeneity on high Rayleigh number steady state heat and mass transfer in fluid-saturated porous media heated from below

A parametric study is carried out to investigate how geological inhomogeneity affects the pore-fluid convective flow field, the temperature distribution, and the mass concentration distribution in a fluid-saturated porous medium. The related numerical results have demonstrated that (1) the effects of both medium permeability inhomogeneity and medium thermal conductivity inhomogeneity are significant on the pore-fluid convective flow and the species concentration distribution in the porous medium; (2) the effect of medium thermal conductivity inhomogeneity is dramatic on the temperature distribution in the porous medium, but the effect of medium permeability inhomogeneity on the temperature distribution may be considerable, depending on the Rayleigh number involved in the analysis; (3) if the coupling effect between pore-fluid flow and mass transport is weak, the effect of the Lewis number is negligible on the pore-fluid convective flow and temperature distribution, hut it is significant on the species concentration distribution in the medium.

Women's health Australia: Recruitment for a national longitudinal cohort study

The Women's Health Australia (WHA) project is a longitudinal study of several cohorts of Australian women, which aims to examine the relationships between biological, psychological, social and lifestyle factors and women's physical health, emotional well-being, and their use of and satisfaction with health care. Using the Medicare database as a sampling frame (with oversampling of women from rural and remote areas), 106,000 women in the three age groups 18-23, 45-50 and 70-75 were sent an invitation to participate and a 24-page self-complete questionnaire. Reminder letters, a nation-wide publicity campaign, information brochures, a freecall number for inquiries, and the option of completing the questionnaire by telephone in English or in the respondent's own language, were used to encourage participation. Statutory regulations precluded telephone follow-up of non-respondents. Response rates were 41% (N = 14,792), 54% (N = 14,200) and 36% (N = 12,614) for the three age groups. Comparison with Australian census data indicated that the samples are reasonably representative of Australian women in these age groups, except fur a somewhat higher representation of women who are married or in a defacto relationship, and of women with post-school education. The most common reason for non-participation was lack of interest or time. Personal circumstances, objections to the questionnaire or specific items in it, and concerns about confidentiality were the other main reasons. Recruitment of three representative age-group cohorts of women, and the maintenance of these cohorts over a number of years, will provide a valuable opportunity to examine associations over time between aspects of women's lives and their physical and emotional health and well-being.

The fornax spectroscopic survey: the number of unresolved compact galaxies

We describe a sample of 13 bright (18.5 < B-J < 20.1), compact galaxies at low redshift (0.05 < z < 0.21) behind the Fornax Cluster. These galaxies are unresolved on UK Schmidt sky survey plates, and so they would be missing from most galaxy catalogs compiled from this material. The objects were found during initial observations of The Fornax Spectroscopic Survey. This project is using the Two-degree Field spectrograph on the Anglo-Australian Telescope to obtain spectra for a complete sample of all 14,000 objects, stellar and nonstellar, with 16.5 < B-J < 19.7, in a 12 deg(2) area centered on the Fornax Cluster of galaxies. The surface density of compact galaxies with magnitudes 16.5 < B-J < 19.7 is 7 +/- 3 deg(-2), representing 2.8% +/- 1.6% of all local (z < 0.2) galaxies to this limit. There are 12 +/- 3 deg(-2) with 16.5 < B-J < 20.2. They are luminous (-21.5 < M-B < -18.0, for H-o = 50 km s(-1) Mpc(-1)), and most have strong emission lines (H alpha equivalent widths of 40-200 Angstrom) and small sizes typical of luminous H II galaxies and compact narrow emission line galaxies. Four out of 13 have red colors and early-type spectra, and so they are unlikely to have been detected in any previous surveys.

Effects of medium thermoelasticity on high Rayleigh number steady-state heat transfer and mineralization in deformable fluid-saturated porous media heated from below

In this paper, a solution method is presented to deal with fully coupled problems between medium deformation, pore-fluid flow and heat transfer in fluid-saturated porous media having supercritical Rayleigh numbers. To validate the present solution method, analytical solutions to a benchmark problem are derived for some special cases. After the solution method is validated, a numerical study is carried out to investigate the effects of medium thermoelasticity on high Rayleigh number steady-state heat transfer and mineralization in fluid-saturated media when they are heated from below. The related numerical results have demonstrated that: (1) medium thermoelasticity has a little influence on the overall pattern of convective pore-fluid flow, but it has a considerable effect on the localization of medium deformation, pore-fluid flow, heat transfer and mineralization in a porous medium, especially when the porous medium is comprised of soft rock masses; (2) convective pore-fluid flow plays a very important role in the localization of medium deformation, heat transfer and mineralization in a porous medium. (C) 1999 Elsevier Science S.A. All rights reserved.

Extraordinary and extensive karyotypic variation: A 48-fold range in chromosome number in the gall-inducing scale insect Apiomorpha (Hemiptera : Coccoidea : Eriococcidae)

Chromosome number reflects strong constraints on karyotype evolution, unescaped by the majority of animal taxa. Although there is commonly chromosomal polymorphism among closely related taxa, very large differences in chromosome number are rare. This study reports one of the most extensive chromosomal ranges yet reported for an animal genus. Apiomorpha Rubsaamen (Hemiptera: Coccoidea: Eriococcidae), an endemic Australian gall-inducing scale insect genus, exhibits an extraordinary 48-fold variation in chromosome number with diploid numbers ranging from 4 to about 192. Diploid complements of all other eriococcids examined to date range only from 6 to 28. Closely related species of Apiomorpha usually have very different karyotypes, to the extent that the variation within some species- groups is as great as that across the entire genus. There is extensive chromosomal variation among populations within 17 of the morphologically defined species of Apiomorpha indicating the existence of cryptic species-complexes. The extent and pattern of karyotypic variation suggests rapid chromosomal evolution via fissions and (or) fusions. It is hypothesized that chromosomal rearrangements in Apiomorpha species may be associated with these insects' tracking the radiation of their speciose host genus, Eucalyptus.

The number of 4-cycles in 2-factorizations of K2n minus a 1-factor

In this paper we give a complete solution to problem of determining the number of 4-cycles in a 2-factorization of K-2n\ 1-factor. (C) 2000 Elsevier Science B.V. All rights reserved.

Neurons in the hilus region of the rat hippocampus are depleted in number by exposure to alcohol during early postnatal life

We have previously shown that exposing rats to a relatively high dose of ethanol during early postnatal life resulted in a deficit in spatial learning ability. This ability is controlled, at least in part, by the hippocampal formation. The purpose of the present study was to determine whether exposure of rats to ethanol during early postnatal life affected the number of specific neurons in the hippocampus. Wistar rats were exposed to a relatively high daily dose of ethanol between postnatal days 10 and 15 by placing them for 3 h each day in a chamber containing ethanol vapor. The blood ethanol concentration was about 430 mg/dl at the end of the exposure period. Groups of ethanol-treated (ET) rats, separation controls (SC), and mother-reared controls (MRC) were anesthetized and killed at 16 days of age by perfusion with phosphate-buffered glutaraldehyde (2.5%). The Cavalieri principle was used to determine the volume of various subdivisions of the hippocampal formation (CA1, CA2+CA3, hilus, and granule cell layer), and the physical disector method was used to estimate the numerical densities of neurons within each subdivision. The total number of neurons was calculated by multiplying estimates of the numerical density with the volume. There were, on average, about 441,000 granule cells in the granule cell layer and 153,000 to 177,000 pyramidal cells in both the CA1 and CA2+CA3 regions in all three treatment groups. In the hilus region, ET rats had about 27,000 neuronal cells. This was significantly fewer than the average of 38,000 such neurons estimated to be present in both MRC and SC animals. Thus, neurons in the hilus region may be particularly vulnerable to the effects of a high dose of ethanol exposure during early postnatal life. (C) 2000 Wiley-Liss, Inc.

Comparative analysis of dendritic cell density and total number in commonly transplanted organs: morphometric estimation in normal mice

Dendritic cells (DC) are considered to be the major cell type responsible for induction of primary immune responses. While they have been shown to play a critical role in eliciting allosensitization via the direct pathway, there is evidence that maturational and/or activational heterogeneity between DC in different donor organs may be crucial to allograft outcome. Despite such an important perceived role for DC, no accurate estimates of their number in commonly transplanted organs have been reported. Therefore, leukocytes and DC were visualized and enumerated in cryostat sections of normal mouse (C57BL/10, B10.BR, C3H) liver, heart, kidney and pancreas by immunohistochemistry (CD45 and MHC class II staining, respectively). Total immunopositive cell number and MHC class II+ cell density (C57BL/10 mice only) were estimated using established morphometric techniques - the fractionator and disector principles, respectively. Liver contained considerably more leukocytes (similar to 5-20 x 10(6)) and DC (similar to 1-3 x 10(6)) than the other organs examined (pancreas: similar to 0.6 x 10(6) and similar to 0.35 x 10(6): heart: similar to 0.8 x 10(6) and similar to 0.4 x 10(6); kidney similar to 1.2 x 10(6) and 0.65 x 10(6), respectively). In liver, DC comprised a lower proportion of all leukocytes (similar to 15-25%) than in the other parenchymal organs examined (similar to 40-60%). Comparatively, DC density in C57BL/10 mice was heart > kidney > pancreas much greater than liver (similar to 6.6 x 10(6), 5 x 10(6), 4.5 x 10(6) and 1.1 x 10(6) cells/cm(3), respectively). When compared to previously published data on allograft survival, the results indicate that the absolute number of MHC class II+ DC present in a donor organ is a poor predictor of graft outcome. Survival of solid organ allografts is more closely related to the density of the donor DC network within the graft. (C) 2000 Elsevier Science B.V. All rights reserved.

Level-one highest weight representation of U-q[sl((N)over-cap vertical bar 1)] and Bosonization of the multicomponent Super t-J model

We study the level-one irreducible highest weight representations of the quantum affine superalgebra U-q[sl((N) over cap\1)], and calculate their characters and supercharacters. We obtain bosonized q-vertex operators acting on the irreducible U-q[sl((N) over cap\1)] modules and derive the exchange relations satisfied by the vertex operators. We give the bosonization of the multicomponent super t-J model by using the bosonized vertex operators. (C) 2000 American Institute of Physics. [S0022- 2488(00)00508-9].