Skolem-type difference sets for cycle systems

Cyclic m-cycle systems of order v are constructed for all m greater than or equal to 3, and all v = 1(mod 2m). This result has been settled previously by several authors. In this paper, we provide a different solution, as a consequence of a more general result, which handles all cases using similar methods and which also allows us to prove necessary and sufficient conditions for the existence of a cyclic m-cycle system of K-v - F for all m greater than or equal to 3, and all v = 2(mod 2m).

DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies

This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE. The key ideas and the overall system architecture are described, and a particular negotiation case is presented in detail.

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Contextual Deliberation of Cognitive Agents in Defeasible Logic

This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.

Truncation errors in finite difference models for solute transport equation with first-order reaction

The truncation errors associated with finite difference solutions of the advection-dispersion equation with first-order reaction are formulated from a Taylor analysis. The error expressions are based on a general form of the corresponding difference equation and a temporally and spatially weighted parametric approach is used for differentiating among the various finite difference schemes. The numerical truncation errors are defined using Peclet and Courant numbers and a new Sink/Source dimensionless number. It is shown that all of the finite difference schemes suffer from truncation errors. Tn particular it is shown that the Crank-Nicolson approximation scheme does not have second order accuracy for this case. The effects of these truncation errors on the solution of an advection-dispersion equation with a first order reaction term are demonstrated by comparison with an analytical solution. The results show that these errors are not negligible and that correcting the finite difference scheme for them results in a more accurate solution. (C) 1999 Elsevier Science B.V. All rights reserved.

Tailored advice on exercise - Does it make a difference?

Objectives: A controlled trial to compare the effectiveness of verbal advice from a family physician (FP) combined with either standard or tailored written information on physical activity in increasing the levels of physical activity in sedentary patients. Design: Sedentary patients (n = 763) were recruited through ten family practices and allocated to a control group or one of two intervention groups, Brief advice on physical activity was given by the FP during the consultation and either a standard or tailored pamphlet was mailed to the home address of patients assigned to the intervention groups within two days of their visit to the FP. Results: The response to follow-up, via a postal survey at one, six, and twelve months after the index consultation was 70%, 60%, and 57%, respectively. Treating all nonresponders as sedentary, the results revealed that although more tailored subjects reported some physical activity at each follow-up compared with the standard group, these differences were not significant, Furthermore, there was no significant difference in movement across the stages of readiness to exercise at follow-up between subjects in the tailored group who received material targeting their current stage (precontemplation or contemplation) and the standard group who received generic material that addressed both stages. Conclusion: These findings do not concur with the results from previous research in the areas of nutrition and smoking cessation where additional benefits were seen with a tailored intervention. Future research on the application of the principles of tailoring to the promotion of physical activity should focus on identifying which, if any, physical, social, psychological or environmental variables should be addressed to produce improved outcomes over and above the effects of well designed generic materials. (C) 1999 American Journal of Preventive Medicine.

A wavelet visible difference predictor

In this paper, we describe a model of the human visual system (HVS) based on the wavelet transform. This model is largely based on a previously proposed model, but has a number of modifications that make it more amenable to potential integration into a wavelet based image compression scheme. These modifications include the use of a separable wavelet transform instead of the cortex transform, the application of a wavelet contrast sensitivity function (CSP), and a simplified definition of subband contrast that allows us to predict noise visibility directly from wavelet coefficients. Initially, we outline the luminance, frequency, and masking sensitivities of the HVS and discuss how these can be incorporated into the wavelet transform. We then outline a number of limitations of the wavelet transform as a model of the HVS, namely the lack of translational invariance and poor orientation sensitivity. In order to investigate the efficacy of this wavelet based model, a wavelet visible difference predictor (WVDP) is described. The WVDP is then used to predict visible differences between an original and compressed (or noisy) image. Results are presented to emphasize the limitations of commonly used measures of image quality and to demonstrate the performance of the WVDP, The paper concludes with suggestions on bow the WVDP can be used to determine a visually optimal quantization strategy for wavelet coefficients and produce a quantitative measure of image quality.

Finite-difference time-domain-based studies of MRI pulsed field gradient-induced eddy currents inside the human body

In modern magnetic resonance imaging (MRI), patients are exposed to strong, rapidly switching magnetic gradient fields that, in extreme cases, may be able to elicit nerve stimulation. This paper presents theoretical investigations into the spatial distribution of induced current inside human tissues caused by pulsed z-gradient fields. A variety of gradient waveforms have been studied. The simulations are based on a new, high-definition, finite-difference time-domain method and a realistic inhomogeneous 10-mm resolution human body model with appropriate tissue parameters. it was found that the eddy current densities are affected not only by the pulse sequences but by many parameters such as the position of the body inside the gradient set, the local biological material properties and the geometry of the body. The discussion contains a comparison of these results with previous results found in the literature. This study and the new methods presented herein will help to further investigate the biological effects caused by the switched gradient fields in a MRI scan. (C) 2002 Wiley Periodicals, Inc.

Increased rates of ENT surgery among young children: Have clinical guidelines made a difference?

Objectives: To examine the association between introduction of paediatric ear, nose and throat (ENT) surgery guidelines and population procedure rates. To determine changes in children's risk of undergoing ENT surgery. Methods: Trend analysis of incidence of myringotomy, tonsillectomy and adenoidectomy among New South Wales (NSW) children aged 0-14 between 1981 and mid 1999. Poisson regression models were used to estimate annual rates of change pre and postguidelines introduction and age/gender specific rates, and lifetable methods to determine risk of undergoing an ENT procedure by age 15. Results: ENT surgery rates increased by 21% over the study period. Children's risk of surgery increased from 17.9% in 1981 to 20.2% in 1998/99. Guideline introduction was associated with moderate short-term decreases in rates. For tonsillectomy, rates decreased between 1981 and 1983, but then rose continually until the introduction of myringotomy guidelines in 1993, when they fell, only to recommence rising until the end of the study period. For myringotomy, rates rose annually from 1981 to 1992/93 and fell in the 3 years following guideline introduction, after which they rose again. Increases were almost exclusively restricted to children aged 0-4 and correspond with increased use of formal childcare. The prevalence of myringotomy by the age of 5 years rose from 5.6% of children born in 1988/89 to 6.4% of those born in 1994/95, and the prevalence of tonsillectomy from 2.4% to 2.7%. Conclusions: The risk of young Australian children undergoing ENT surgery increased significantly over the last two decades despite the introduction of guidelines and no evidence of an increase in otitis media, one condition prompting surgery. Surgery increased most among the very young. We hypothesize this is related to increasing use of childcare.