Using the event calculus for tracking the normative state of contracts

In this work, we have been principally concerned with the representation of contracts so that their normative state may be tracked in an automated fashion over their deployment lifetime. The normative state of a contract, at a particular time, is the aggregation of instances of normative relations that hold between contract parties at that time, plus the current values of contract variables. The effects of contract events on the normative state of a contract are specified using an XML formalisation of the Event Calculus, called ecXML. We use an example mail service agreement from the domain of web services to ground the discussion of our work. We give a characterisation of the agreement according to the normative concepts of: obligation, power and permission, and show how the ecXML representation may be used to track the state of the agreement, according to a narrative of contract events. We also give a description of a state tracking architecture, and a contract deployment tool, both of which have been implemented in the course of our work.

Response of Fishes to Revetment Placement

Routine fish sampling with hoop nets was conducted monthly from April through December 1978 along natural and revetted riverbanks on the lower Mississippi River near Eudora, Arkansas, to monitor changes in fish populations affected by placement of new revetment for bank protection. Eighteen species of fish were collected with four species comprising over 75% of the total catch. During the months prior to revetment placement, freshwater drum, Aplodinotus grunniens, was the most abundant (32.7% of the catch) species collected. Following in abundance were the flathead catfish, Pylodictis olivaris, (9.8%), common carp, Cyprinus carpio, (7.8%), and blue catfish, Ictalurus furcatus, (3.3%). After revetment placement in August 1978, the freshwater drum was again the most abundant component, comprising 9.7% of the catch. Gizzard shad, Dorosoma cepedianum, flathead catfish, and blue catfish followed in abundance and comprised 8.9, 4.1, and 3.4% of the total catch, respectively. Catch per effort data indicated that fish were generally more abundant at natural bank stations than revetted bank stations but the difference was not significant. The study suggests that fish inhabiting natural riverbank habitat recover quite rapidly from bank perturbation caused by the placement of revetment

Detailed Structure and Dynamics in Particle-in-Cell Simulations of the Lunar Wake

The solar wind plasma from the Sun interacts with the Moon, generating a wake structure behind it, since the Moon is to a good approximation an insulator, has no intrinsic magnetic field and a very thin atmosphere. The lunar wake in simplified geometry has been simulated via a 1-1/2-D electromagnetic particle-in-cell code, with high resolution in order to resolve the full phase space dynamics of both electrons and ions. The simulation begins immediately downstream of the moon, before the solar wind has infilled the wake region, then evolves in the solar wind rest frame. An ambipolar electric field and a potential well are generated by the electrons, which subsequently create a counter-streaming beam distribution, causing a two-stream instability which confines the electrons. This also creates a number of electron phase space holes. Ion beams are accelerated into the wake by the ambipolar electric field, generating a two stream distribution with phase space mixing that is strongly influenced by the potentials created by the electron two-stream instability. The simulations compare favourably with WIND observations.Comment: 10 pages, 13 figures, to be published in Physics of Plasma

GRO J1744-28, search for the counterpart: infrared photometry and spectroscopy

Using VLT/ISAAC, we detected 2 candidate counterparts to the bursting pulsar GRO J1744-28, one bright and one faint, within the X-ray error circles of XMM-Newton and Chandra. In determining the spectral types of the counterparts we applied 3 different extinction corrections; one for an all-sky value, one for a Galactic Bulge value and one for a local value. We find the local value, with an extinction law of alpha = 3.23 +- 0.01 is the only correction that results in colours and magnitudes for both bright and faint counterparts consistent with a small range of spectral types, and for the bright counterpart, consistent with the spectroscopic identification. Photometry of the faint candidate indicates it is a K7/M0 V star at a distance of 3.75 +- 1 kpc. This star would require a very low inclination angle (i < 9deg) to satisfy the mass function constraints; however it cannot be excluded as the counterpart without follow-up spectroscopy to detect emission signatures of accretion. Photometry and spectroscopy of the bright candidate indicate it is most likely a G/K III star. The spectrum does not show Br-gamma emission, a known indicator of accretion. The bright star's magnitudes are in agreement with the constraints placed on a probable counterpart by the calculations of Rappaport & Joss (1997) for an evolved star that has had its envelope stripped. The mass function indicates the counterpart should have M < 0.3 Msol for an inclination of i >= 15deg; a stripped giant, or a main sequence M3+ V star are consistent with this mass-function constraint. In both cases mass-transfer, if present, will be by wind-accretion as the counterpart will not fill its Roche lobe given the observed orbital period. The derived magnetic field of 2.4 x 10^{11} G will inhibit accretion by the propeller effect, hence its quiescent state.Comment: 12 pages, 6 figures, 4 table, MNRAS accepted Changes to the content and an increased analysis of the Galactic centre extinctio

Pattern formation in self-propelled particles with density-dependent motility

We study the behaviour of interacting self-propelled particles, whose self-propulsion speed decreases with their local density. By combining direct simulations of the microscopic model with an analysis of the hydrodynamic equations obtained by explicitly coarse graining the model, we show that interactions lead generically to the formation of a host of patterns, including moving clumps, active lanes and asters. This general mechanism could explain many of the patterns seen in recent experiments and simulations

Brady et al.'s (2005) service evaluation models: A replication and extension in China

The research described in this study replicates and extends the Brady et al., [Brady, M. K., Knight, G. A., Cronin Jr. J. Toma, G., Hult, M. and Keillor, B. D. (2005), emoving the Contextual Lens: A Multinational, Mult-setting Comparison of Service Evaluation Models, Journal of Retailing, 81(3), pp. 215-230] study suggestion that future research in service evaluations should focus on emerging service economies such as China. The intent of the research was to examine the suitability of the models suggested by Brady and colleagues in the Chinese market. The replication somewhat successfully duplicated their finding as to the superiority of the comprehensive service evaluation model. Additionally, we also sought to examine as to whether the service evaluation model is gender invariant. Our findings indicate that there are significant differences between gender. These findings are discussed relative to the limitations associated with the study

A Comparative Analysis of Human Trafficking: The United States of America (USA) and the Republic of South Africa (RSA)

Human trafficking is a serious global problem that transcends international borders and disciplinary boundaries. It presents a conglomeration of problems generally dealt with by public health, criminal justice, social service and immigration agencies. Victim advocates state that millions are victimized each year. The data suggest that law enforcement agencies perceive human trafficking to be of greater, or equal, concern for the myriad of social institutions and participants affected by human trafficking than for law enforcement, itself. Policy recommendations are to refocus the law enforcement response - which may include various approaches that can simultaneously benefit public health - by incorporating an Epidemiological Criminology framework to help to guide the development of more systematic and integrative insight into the world of human trafficking

Exploring the interdependencies of research funders in the UK

Investment in medical research is vital to the continuing improvement of the UK's health and wealth. It is through research that we expand our understanding of disease and develop new treatments for patients. Medical research charities currently contribute over £1 billion annually to medical research in the UK, of which over £350 million is provided by Cancer Research UK. Many charities, including Cancer Research UK, receive no government funding for their research activity. Cancer Research UK is engaged in a programme of work in order to better understand the medical research funding environment and demonstrate the importance of sustained investment. A key part of that is the Office of Health Economics‟ (OHE) 2011 report “Exploring the interdependency between public and charitable medical research”. This study found that there are substantial benefits, both financial and qualitative, from the existence of a variety of funders and that reductions in the level of government financial support for medical research are likely to have broader negative effects. This contributed to other evidence which found that the activities and funding of the charity, public and private sectors respectively are complementary, i.e. mutually reinforcing, rather than duplicative or merely substituting for one another. “Exploring the interdependencies of research funders in the UK” by the Office of Health Economics (OHE) and SPRU: Science and Technology Policy Research at the University of Sussex, represents a continued effort to build the evidence base around the funding of medical research. This report uncovers the extent to which funders of cancer research are interdependent, nationally and internationally. Key figures show that two thirds of publications acknowledging external support have relied on multiple funders, while just under half benefited from overseas funding, and almost a fifth are also supported by industry. In addition the analysis shows that the general public would not want tax funding of cancer research to be reduced, but would not donate enough to charities to compensate for any such reduction