Optimising mirid control on cocoa farms through complementary monitoring systems

Mirids (Sahlbergella singularis and Distantiella theobroma) are the most important insect pests affecting cocoa production across West Africa. Understanding the population dynamics of mirids is key to their management, however, the current recommended hand-height assessment method is labour intensive. The objective of the study was to compare recently developed mirid sex pheromone trapping and visual hand-height assessment methods as monitoring tools on cocoa farms and to consider implications for a decision support system. Ten farms from the Eastern and Ashanti regions of Ghana were used for the study. Mirid numbers and damage were assessed fortnightly on twenty trees per farm, using both methods, from January 2012 to April 2013. The mirid population increased rapidly in June, reached a peak in September and began to decline in October. There was a significant linear relationship between numbers of mirids sampled to hand-height and mirid damage. High numbers of male mirids were recorded in pheromone traps between January and April 2012 after which there was a gradual decline. There was a significant inverse relationship between numbers of trapped adult mirids and mirids sampled to hand-height (predominantly nymphs). Higher temperatures and lower relative humidities in the first half of the year were associated with fewer mirids at hand-height but larger numbers of adult males were caught in pheromone traps. The study showed that relying solely on one method is not sufficient to provide accurate information on mirid population dynamics and a combination of the two methods is necessary.

Aligning IS programs with industry: linking business analysis curricula design with the professional body

Aligning information systems (IS) solutions with business goals and needs are crucial for IS activities. IS professionals who are able to work closely with both the business and technical staff are key enablers of business and IT alignment. IS programs in higher education (HE) institutions have a long tradition of enabling graduates to develop the appropriate skills needed for their future careers. Yet, organizations are still having difficulty finding graduates who possess both the knowledge and skills that are best suited to their specific requirements. Prior studies suggest that IS curricula are often ill-matched with industry/business needs. This study reports on the business analysis curricula (re) design which was undertaken to align it with a key professional body for the IS industry. This study presents the approaches taken in the (re) design of the module, and provides a discussion of the wider implications for IS curricula design. The results show a positive outcome for the HE and professional body partnership.

Programs to compute magnetization to density ratio and the magnetization inclination from 3-D gravity and magnetic anomalies

Vector field formulation based on the Poisson theorem allows an automatic determination of rock physical properties (magnetization to density ratio-MDR-and the magnetization inclination-MI) from combined processing of gravity and magnetic geophysical data. The basic assumptions (i.e., Poisson conditions) are: that gravity and magnetic fields share common sources, and that these sources have a uniform magnetization direction and MDR. In addition, the previously existing formulation was restricted to profile data, and assumed sufficiently elongated (2-D) sources. For sources that violate Poisson conditions or have a 3-D geometry, the apparent values of MDR and MI that are generated in this way have an unclear relationship to the actual properties in the subsurface. We present Fortran programs that estimate MDR and MI values for 3-D sources through processing of gridded gravity and magnetic data. Tests with simple geophysical models indicate that magnetization polarity can be successfully recovered by MDR-MI processing, even in cases where juxtaposed bodies cannot be clearly distinguished on the basis of anomaly data. These results may be useful in crustal studies, especially in mapping magnetization polarity from marine-based gravity and magnetic data. (c) 2007 Elsevier Ltd. All rights reserved.

The complementary exponential power lifetime model

In this paper we propose a new lifetime distribution which can handle bathtub-shaped unimodal increasing and decreasing hazard rate functions The model has three parameters and generalizes the exponential power distribution proposed by Smith and Bain (1975) with the inclusion of an additional shape parameter The maximum likelihood estimation procedure is discussed A small-scale simulation study examines the performance of the likelihood ratio statistics under small and moderate sized samples Three real datasets Illustrate the methodology (C) 2010 Elsevier B V All rights reserved

The complementary exponential geometric distribution: Model, properties, and a comparison with its counterpart

In this paper, we proposed a new two-parameter lifetime distribution with increasing failure rate, the complementary exponential geometric distribution, which is complementary to the exponential geometric model proposed by Adamidis and Loukas (1998). The new distribution arises on a latent complementary risks scenario, in which the lifetime associated with a particular risk is not observable; rather, we observe only the maximum lifetime value among all risks. The properties of the proposed distribution are discussed, including a formal proof of its probability density function and explicit algebraic formulas for its reliability and failure rate functions, moments, including the mean and variance, variation coefficient, and modal value. The parameter estimation is based on the usual maximum likelihood approach. We report the results of a misspecification simulation study performed in order to assess the extent of misspecification errors when testing the exponential geometric distribution against our complementary one in the presence of different sample size and censoring percentage. The methodology is illustrated on four real datasets; we also make a comparison between both modeling approaches. (C) 2011 Elsevier B.V. All rights reserved.

A pointcut-based coverage analysis approach for aspect-oriented programs

Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.

Important Parameters in Designing and Presenting Exhibits and Planetarium Programs in Science Centers : A Visitor-Based Framework

This dissertation proposes an initial framework for designing and presenting exhibits in science centers and to recommend methods for improving the educational role of planetariums in science centers.

The Survivability of Swedish Emergency Management Related Research Centers and Academic Programs : A Preliminary Sociology of Science Analysis

The Survivability of Swedish Emergency Management Related Research Centers and Academic Programs: A Preliminary Sociology of Science Analysis Despite being a relatively safe nation, Sweden has four different universities supporting four emergency management research centers and an equal and growing number of academic programs. In this paper, I discuss how these centers and programs survive within the current organizational environment. The sociology of science or the sociology of scientific knowledge perspectives should provide a theoretical guide. Yet, scholars of these perspectives have produced no research on these related topics. Thus, the population ecology model and the notion of organizational niche provide my theoretical foundation. My data come from 26 interviews from those four institutions, the gathering of documents, and observations. I found that each institution has found its own niche with little or no competition – with one exception. Three of the universities do have an international focus. Yet, their foci have minimal overlap. Finally, I suggest that key aspects of Swedish culture, including safety, and a need aid to the poor, help explain the extensive funding these centers and programs receive to survive. 

Push or pull? : The relationship between quality of care and use of complementary and alternative medicine among patients with lung cancer in Sweden

Little is known about relationships between quality of care (QoC) and use of complementary and alternative medicine (CAM) among patients with lung cancer (LC). Purpose: This study examines CAM-use among patients with LC in Sweden, associations between QoC and CAM-use among these patients, and reported aspects of LC-care perceived as particularly positive and negative by patients, as well as suggestions for improving QoC. Methods: Survey data from 94 patient members of the Swedish LC patient organization about CAM-use and QoC as measured by the instrument “Quality from the patient’s perspective” were analyzed. Results: Fifty (53%) LC-patients used CAM, with 40 of the CAM-users reporting that CAM helped them. The most common CAMs used were dietary supplements and natural remedies, followed by prayer. Significantly more patients reported using prayer and meditation for cure than was the case for other types of CAM used. Less than half the CAM-users reported having spoken with staff from the biomedical health care system about their CAM-use. Patients provided numerous suggestions for improving LC-care in a variety of areas, aiming at a more effective and cohesive care trajectory. No differences in QoC were found between CAM-users and non-CAM-users, but differences in CAM-use i.e. type of CAM, reasons for using CAM, and CAM-provider consulted could be associated with different experiences of care. Conclusions: It is important to recognize that CAM-users are not a homogeneous group but might seek different types of CAMs and CAM-providers in different situations depending on experiences of care.

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.