Herbs or natural substances as complementary therapies for chronic kidney disease: ideas for future studies

Chronic kidney disease (CKD) is an increasingly common condition with limited treatment options that is placing a major financial and emotional burden on the community. The use of complementary and alternative medicines (CAMS) has increased many-fold over the past decade. Although several compelling studies show renal toxicities and an adverse outcome from use of some CAMS, there is also emerging evidence in the literature that some may be renoprotective. Many nephrologists are unaware of these potential therapeutic benefits in treating CKD, or they are reluctant to consider them in research trials for fear of adverse effects (including nephrotoxicity) or deleterious interaction with co-prescribed, conventional medicines. The increased use of self-prescribed CAMS by their patients suggests that practitioners and researchers should keep abreast of the current information on these agents. A primary goal of this article was to review the available scientific evidence for the use of herbs or natural substances as a complementary treatment for patients with CKD. A further goal was to report the literature on herbs that have been reported to cause kidney failure.

Embedding defeasible logic into logic programming

Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning methods. So far no relationship has been established between defeasible logic and mainstream nonmonotonic reasoning approaches. In this paper we establish close links to known semantics of logic programs. In particular, we give a translation of a defeasible theory D into a meta-program P(D). We show that under a condition of decisiveness, the defeasible consequences of D correspond exactly to the sceptical conclusions of P(D) under the stable model semantics. Without decisiveness, the result holds only in one direction (all defeasible consequences of D are included in all stable models of P(D)). If we wish a complete embedding for the general case, we need to use the Kunen semantics of P(D), instead.

Extending the theory of Owicki and Gries with a logic of progress

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change.

Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations

In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.

The continuing use of complementary and alternative medicine in South Australia: costs and beliefs in 2004

Objective: To survey the use, cost, beliefs and quality of life of users of complementary and alternative medicine (CAM). Design: A representative population survey conducted in 2004 with longitudinal comparison to similar 1993 and 2000 surveys. Participants: 3015 South Australian respondents over the age of 15 years (71.7% participation). Results: In 2004, CAMs were used by 52.2% of the population. Greatest use was in women aged 25-34 years, with higher income and education levels. CAM therapists had been visited by 26.5% of the population. In those with children, 29.9% administered CAMs to them and 17.5% of the children had visited CAM therapists. The total extrapolated cost in Australia of CAMs and CAM therapists in 2004 was AUD$1.8 billion, which was a decrease from AUD$2.3 billion in 2000. CAMs were used mostly to maintain general health. The users of CAM had lower quality-of-life scores than non-users. Among CAM users, 49.7% used conventional medicines on the same day and 57.2% did not report the use of CAMs to their doctor. About half of the respondents assumed that CAMs were independently tested by a government agency; of these, 74.8% believed they were tested for quality and safety, 21.8% for what they claimed, and 17.9% for efficacy. Conclusions: Australians continue to use high levels of CAMs and CAM therapists. The public is often unaware that CAMs are not tested by the Therapeutic Goods Administration for efficacy or safety.

Linear temporal logic and z refinement

Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also in terms of its state. One means of doing this is to use Linear Temporal Logic (LTL) in which properties about the state of a system over time can be captured. This, however, raises the question of whether these properties are preserved under refinement. Refinement is observation preserving and the state of a specified system is regarded as internal and, hence, non-observable. In this paper, we investigate this issue by addressing the following questions. Given that a Z specification A is refined by a Z specification C, and that P is a temporal logic property which holds for A, what temporal logic property Q can we deduce holds for C? Furthermore, under what circumstances does the property Q preserve the intended meaning of the property P? The paper answers these questions for LTL, but the approach could also be applied to other temporal logics over states such as CTL and the mgr-calculus.

Interface adaptor logic: A new model for interfacing peripherals in IP based designs

The introduction of standard on-chip buses has eased integration and boosted the production of IP functional cores. However, once an IP is bus specific retargeting to a different bus is time-consuming and tedious, and this reduces the reusability of the bus-specific IP. As new bus standards are introduced and different interconnection methods are proposed, this problem increases. Many solutions have been proposed, however these solutions either limit the IP block performance or are restricted to a particular platform. A new concept is presented that can connect IP blocks to a wide variety of interface architectures with low overhead. This is achieved through the use a special interface adaptor logic layer.

Norm modifications in defeasible logic

This paper proposes a framework based on Defeasible Logic (DL) to reason about normative modifications. We show how to express them in DL and how the logic deals with conflicts between temporalised normative modifications. Some comments will be given with regard to the phenomenon of retroactivity.

Design of complementary UWB printed monopole antennas using simple formulas

Simple design formulas for designing ultra wideband (UWB) antennas in the form of complementary planar monopoles are described and their validity is tested using full electromagnetic wave simulations and measurements. Assuming dielectric substrate with relative permittivity of 10.2, the designed antennas feature a small size of 13 mmtimes26 mm. They exhibit a 10 dB return loss bandwidth from 3 to more than 15 GHz accompanied by near omnidirectional characteristics and good radiation efficiency throughout this band