Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools for supporting the development of ASP programs have been proposed in the last few years, the crucial task of testing ASP programs received less attention, and is an Achilles’ heel of the available programming environme...

This thesis addresses the challenges with unit testing of embedded software. Embedded software uses peripheral devices that are not available during testing, which results in higher barriers to use unit testing, compared to normal software. But even with these barriers there are no problems with unit testing of embedded software. The study looks at challenges with unit testing of Energy Micros ...

To more easily estimate accurate values of collimator scatter facor, S(c), we suggest a two-component saturation model that accounts for scatter from the primary collimator and flattening filter and from the collimator jaws. This model, which assumes an exponential distribution of scatter intensity, was tested by in-air measurements using a mini-phantom for 4 MV and 10 MV X-rays of a Clinac 210...

pan Association for Working Environment Measurement. The vapor pressures of these substances have been determined to be 2.5 •~ 10 mmHg for o-phthalodinitrile at 26•Ž, and 5 •~ 10-3 mmHg for acrylamide at 25•Ž, using the vapor saturation method.3) Due to sublimation on the filter, however, filter sampling of these substances may yield a lower value than their actual environmental concentration. ...

INTRODUCTION Medical and nursing care of newborns is predicated on the delicate control and balance of several vital parameters. Closed incubators and open radiant warmers are the most widely used devices for the care of neonates in intensive care; however, several well-known limitations of these devises have not been resolved. The use of laminar flow is widely used in many fields of medicine, ...

Certain important industrial fermentations require substantial amounts of sterile air that are commonly obtained by filtration through beds of fibers, granular solids, or specially prepared filter media (Gaden and Humphrey, 1956). To control the efficiency of such sterilization filters, several methods to estimate the microorganism content of the air have been proposed. These methods can be cla...

PURPOSE The effects of air cleaners on the removal of airborne indoor allergens, especially house dust mites (HDM), are still controversial. The objective of this study is to evaluate the effect of an air cleaner with an electrostatic filter on the removal of airborne mite allergens. MATERIALS AND METHODS A dried HDM culture medium that contained mite body particles and excretions was dispers...