Currently, the variety of expressive extensions and different semantics created for logic programs with negation is diverse and heterogeneous, and there is a lack of comprehensive comparative studies which map out the multitude of perspectives in a uniform way. Most recently, however, a new methodology has been proposed which allows one to derive uniform characterizations of different declarati...

Little has changed in the delivery of optometric education in Australia for the past 40 years. In existing programs students undertake study in basic disciplines prior to gaining clinical exposure. This often occurs in university staff-student clinics, which are not necessarily representative of optometric practice in the wider community. Recently two new optometry programs have opened, both lo...

Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent variant of counter abstraction, where thread counters are used in a program-context aware way. While designed for bounded counters, this method also integrates well with the Karp-Miller tree construction for vector ad...

The capabilities of seven dynamic buffer overflow detection tools (Chaperon, Valgrind, CCured, CRED, Insure++, ProPolice and TinyCC) are evaluated in this paper. These tools employ different approaches to runtime buffer overflow detection and range from commercial products to opensource gcc-enhancements. A comprehensive testsuite was developed consisting of specifically-designed test cases and ...

This series evaluates the effectiveness of community-based interventions (CBIs) to prevent and control infectious diseases of poverty (IDoP). Evidence from our reviews suggests that CBIs and school-based delivery platforms are effective in averting risk behaviors and reducing the disease burden. Co-implementation of interventions through existing community-based programs including immunization ...

This paper describes a way to noticeably reduce the description cost of database operations executed in distributed computing environments by design of a novel declarative language to describe database operations, development of program transformation techniques to improve e ciency at execution time, and clari cation of prerequisites to execute the programs in distributed computing environments...

quality assurance as a comprehensive term encompasses all policies, processes and actions maintaining and developing higher education quality. quality assurance emphasizes on external goals of evaluation, one of which is to assure learners, public and government that each unit, department, program or institution manages its quality. thus quality assurance focuses on accountability. this article...

Early childhood development is influenced by characteristics of the child, the family, and the broader social environment. Physical health, cognition, language, and social and emotional development underpin school readiness. Publicly funded, center-based, comprehensive early childhood development programs are a community resource that promotes the well-being of young children. Programs such as ...

Boolean programs are a popular abstract domain for static-analysisbased software model checking. Yet little is known about the complexity of model checking for this model of computation. This paper aims to fill this void by providing a comprehensive study of the worst-case complexity of several basic analyses of Boolean programs, including reachability analysis, cycle detection, LTL, CTL, and C...

WinGene1.0/WinPep1.2 is a pair of Microsoft Windows programs designed to read nucleotide or amino acid sequence data. These versatile programs have the following capabilities: (i) searches for open reading frames and their translation, (ii) assisting the design of primers for PCR and (iii) calculation of molecular weight, isoelectric point and molar absorbtion coefficients of polypeptides. Furt...