"malaria as a disease" in the pre-DDT era must not be forgotten, for, as he states, "it is of great importance to keep alive the excitement of the malaria story, an aim to which this publication is dedicated". The author successfully meets this aim. The design of the book itself is simple and attractive and immediately offers both the specialist and non-specialist reader a fascinating insight i...

We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hypertext systems. In our presentation, a particular version of the situation calculus (which includes a language for programming complex actions) developed for the modeling of dynamic worlds and for the control of robotic ag...

Mathematical models for the electrical activity in cardiac cells are normally formulated as systems of ordinary differential equations (ODEs). The equations are nonlinear and describe processes occurring on a wide range of time scales. Under normal accuracy requirements, this makes the systems stiff and therefore challenging to solve numerically. As standard implicit solvers are difficult to im...

Water quality management policies on a river basin scale are of special importance in order to prevent and/or reduce environmental pollution caused by human sources. Industrial effluents are a priority issue particularly in Urban Wastewater Systems (UWS) that receive mixed household and industrial wastewaters, apart from rainfall water. In this paper, we present an analysis and implementation o...

Shapiro et al. [2005; 2006], presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some agent reqr ), and they remain committed to the goal unless the request is cancelled by reqr . A common assumption in the agent theory literature, e.g., [Cohen and Levesque, 1990; Rao and Georgeff, 1991], is that achiev...

Background Prompt and effective case detection and treatment are vital components of the malaria case management strategy as malaria-endemic countries implement the testing, treating and tracking policy. The implementation of this policy in public and formal private sectors continue to receive great attention while the informal private retail sector (mostly the patent and propriety medicine ven...

BACKGROUND Malaria control is based on early treatment of cases and on vector control. The current measures for malaria vector control in Africa are mainly based on long-lasting insecticide treated nets (LLINs) and to a much smaller extent on indoor residual spraying (IRS). A third pillar in the fight against the malaria vector, larval source management (LSM), has virtually not been used in Afr...