Logic Programming languages, such as Prolog, provide a highlevel, declarative approach to programming. Despite the power, flexibility and good performance that Prolog systems have achieved, some deficiencies in Prolog’s evaluation strategy SLD resolution limit the potential of the logic programming paradigm. Tabled evaluation is a recognized and powerful technique that overcomes SLD’s susceptib...

Businesses offering video-on-demand (VoD) and downloadable-CD sales are growing in the Internet. Batching of requests coupled with a one-to-many delivery mechanism such as multicast can increase scalability and efficiency. There is very little insight into pricing such services in a manner that utilizes network and system resources efficiently while also maximizing the expectation of revenue. I...

background: except in emergency cases, all patients should be seen first by a primary healthcare physician who decides whether a referral to secondary care is necessary. the present study examined the reasons for patient self-referral to specialists. methods: a random sample of 1036 individuals was selected from people attending public outpatient clinics and specialists’ offices in the private ...

this survey was carried out on children less than five years of age from rural areas of three provinces in iran (west azarbaijan, bushehre, and central province), with different health care delivery systems and various types of immunization scheme, to determine the immune status of measles and the vaccine coverage. our results indicate that the rates of measles immunity and vaccine coverage for...

Scientific applications require solvers that work on many small size problems that are independent from each other. At the same time, the high-end hardware evolves rapidly and becomes ever more throughput-oriented and thus there is an increasing need for an effective approach to develop energy-efficient, high-performance codes for these small matrix problems that we call batched factorizations....