Scheduling in or-parallel Prolog systems: Survey and open problems

Implementation of or-parallel Prolog systems offers a number of interesting scheduling problems. The main issues are the interaction between memory models and scheduling, ordering of multiple solutions, and scheduling of speculative work. The problems occur partly because of the design choices (e.g. the choice of a memory model), and partly because of the desire to maintain observational equivalence between parallel and sequential implementations of Prolog, while achieving high efficiency. In the first part of this paper a common framework for discussing scheduling in or-parallel systems is introduced, and also a collection of issues that must be addressed in such systems is presented. In the second part of the paper we survey a number of solutions to these problems comparing their efficiency whenever possible. We close the survey with a short discussion of open problems.Current association: Carlstedt Elektronik AB     

Prolonged recovery of desiccated adenoviral serotypes 5, 8, and 19 from plastic and metal surfaces in vitro

BACKGROUND: Prevention of the spread of epidemic keratoconjunctivitis (EKC) at eye care facilities (doctors' offices, clinics, hospitals) has been a major public health goal for ophthalmology for more than 50 years. The authors explored a potentially contributing attribute of the adenovirus serotypes that cause EKC. Specifically, they investigated the capacity of different clinical and laboratory ocular serotypes (AD8, 19, and 5) to survive for extended periods of time in a desiccated state. METHODS: Twenty microliters containing 2000 plaque-forming units of different ATCC laboratory adenoviral ocular serotypes (AD8, 19, and 5) and clinical isolates (AD8 Cray, AD19 Kowalski, and AD5 McEwen) were inoculated onto 7-mm plastic disks and 6-mm aluminum foil disks and were allowed to completely desiccate. At weekly intervals up to 7 weeks, eight desiccated virus-inoculated plastic or metal disks per serotype were added to tissue culture medium, and the amount of recoverable virus was determined by plaque assay on A549 cells. RESULTS: Ocular adenoviral serotypes AD8, 19, and 5 could be recovered up to 49 days from plastic, and 35 to 49 days from metal. Sufficient virus concentrations (> 100 plaque-forming units/disk) to be clinically infectious were recovered up to 28 days. Differences in recovery among serotypes (AD19 > AD5, AD8) were demonstrated, but laboratory and clinical isolates of the same serotype were usually comparable. CONCLUSIONS: Ocular isolates of adenovirus that cause EKC are much harder than previously suspected, and the capacity to survive in a desiccated state may possibly play some role in office-based mini-epidemics of EKC.     

AlxGa−xAs/GaAs heterostructure characterization by wet chemical etching

Selective wet chemical etching of the Al_xGa_1−xAs/GaAs system has been applied to heterostructure characterization. Samples of LPE grown AlGaAs/GaAs laser double-heterostructures and separate confinement heterostructures as well as antiresonant reflecting optical waveguides heterostructures were treated with “I2 solution” (I₂:KI:H₂O) and hydrochloric acid. These compounds selectively etch the ternary Al_xGa_1−xAs layers, but with different “threshold composition” x_th values (the x value is that above which the etching rate of a given compound increases sharply). Selectively etched samples have been examined by SEM. The experimental dependence of etching rate on the x value for I2 solution has been derived. From this dependence, the x composition of any ternary layer can be estimated simply. Observations were made of the “microscopic” properties of the heterostructure, such as the smoothness of the interfaces and the uniformity of layers. All imperfections resulting from the growth process, such as interface perturbations or compositional nonuniformity of layers, are clearly seen. An additional advantage of this etching technique is its simplicity. It allows quick examination of grown heterostructure for the selection of wafers for further processing.     

Technical risk involved in long-term operation of steam turbines

The scope of the paper is the assessment of the technical risk involved in long-term operation of power units. Detailed analyses have been conducted for steam turbine components. The sources and consequences of risk have been identified and the probability of turbine components failure calculated. The quantitative assessment of the risk has been made and possibilities of its reduction discussed.     

Influence of the amount of ferromagnetic addition on the rheological properties of spinning solutions,the structure,the strength,and thermal properties of polyacrylonitrile fibres

The rheological properties of spinning solutions of polyacrylonitrile in dimethyl formamide (DMF) containing various amounts of a ferromagnetic nanoaddition were investigated. The porous structure, the strength and thermal properties of fibers obtained from these solutions were assessed, as well as the uniformity of the nanoaddition distribution on the fiber surface was estimated. © 2008 Wiley Periodicals, Inc. J Appl Polym Sci, 2008     

Note on covering monotone orthogonal polygons with star-shaped polygons

In 1986, Keil provided an O(n²) time algorithm for the problem of covering monotone orthogonal polygons with the minimum number of r-star-shaped orthogonal polygons. This was later improved to O(n) time and space by Gewali et al. in [L. Gewali, M. Keil, S.C. Ntafos, On covering orthogonal polygons with star-shaped polygons, Information Sciences 65 (1992) 45-63]. In this paper we simplify the latter algorithm—we show that with a little modification, the first step Sweep1 of the discussed algorithm—which computes the top ceilings of horizontal grid segments—can be omitted.In addition, for the minimum orthogonal guard problem in the considered class of polygons, our approach provides a linear time algorithm which uses O(k) additional space, where k is the size of the optimal solution—the algorithm in [L. Gewali, M. Keil, S.C. Ntafos, On covering orthogonal polygons with star-shaped polygons, Information Sciences 65 (1992) 45-63] uses both O(n) time and O(n) additional space.     

Recursion from iteration

In a simply-typed, call-by-value (CBV) language with first-class continuations, the usual CBV fixpoint operator can be defined in terms of a simple, infinitely-looping iteration primitive. We first consider a natural but flawed definition, based on exceptions and “iterative deepening” of finite unfoldings, and point out some of its shortcomings. Then we present the proper construction using full first-class continuations, with both an informal derivation and a proof that the behavior of the defined operator faithfully mimics a “built-in” recursion primitive. In fact, given an additional uniformity assumption, the construction is a two-sided inverse of the usual definition of iteration from recursion. Continuing, we show that the CBV looping primitive is in fact the direct-style equivalent of a continuation-passing-style fixpoint, and that this correspondence extends all the way to traditional definitions of these operators in terms of reflexive types.     

Ein Beitrag zur Bestimmung der mittleren Zeitkonstante von Diffusionsprozessen

In the paper the general Galerkin method has been applied for the determination of the equivalent time constant of diffusion processes. After establishing the step function response the general formulas have been obtained, which allow for the consideration of boundary conditions of various kinds. The method has been illustrated with some numerical examples.     

Tumor size and prognosis in aggressively treated osteosarcoma

PURPOSE: The aim of this retrospective analysis was to investigate the prognostic significance and optimal measures of tumor size in osteosarcoma treated with intensive neoadjuvant chemotherapy. PATIENTS AND METHODS: Initial anterior-posterior (AP) and lateral x-ray films of 128 patients treated within the trials Cooperative Osteosarcoma Study (COSS)-80, -82, and -86, were evaluated for the following three tumor diameters: length, width, and depth. Metastasis-free survival (MFS) analyses were performed in univariate and multivariate models with one, two, and three dimensions of the tumor as absolute or relative measures (tumor length, referred to bone length, plane and volume to body-surface area). RESULTS: Univariate analyses of MFS showed a high prognostic significance of all absolute measures. Relative measures, at best, showed a comparable predictive value. Cox regression analysis indicated the high prognostic significance of absolute tumor volume (ATV; P < .0001) and histologic response (P < .0001). None of 19 patients with an ATV < or = 70 cm3 and only four of 53 with an ATV < or = 150 cm3 relapsed, while in patients with an ATV more than 150 cm3, the relapse rate remained 40% to 60%, irrespective of further increase in volume. CONCLUSION: Initial tumor size is an important and easily obtainable prognostic factor in osteosarcoma and may serve as a basis for risk-adapted therapy. It is best represented by the absolute three-dimensional measure ATV. There is a cut-off point regarding the incidence of metastases at a tumor volume of approximately 150 cm3 as calculated from two-plane x-ray films.     

Determination of porous glass surface free energy components from contact angles

The contact angles of water drops and diiodomethane drops on pellets made of controlled porosity glasses have been measured. The surface of the glasses was modified by thermal treatment at 873 K which led to an increase in the surface concentration of boron atoms. Glass modified with Carbowax 20M (polyethylene glycol) and fully hydroxylated glass have also been studied. Using the measured contact angles and modified Young equation, the dispersion and nondispersion components of the glass surface free energy have been calculated. The values show that with increasing heating time (increasing surface density of boron atoms) an increase in the surface polarity takes place. However, the polarity of the same samples decreases after treatment with Carbowax, increasingly so with higher boron atom concentrations.