We proposed a mixed-integer program to model the management of C. trachomatis infections in women visiting publicly funded family planning clinics. We intended to maximize the number of infected women cured of C. trachomatis infections. The model incorporated screening, re-screening, and treatment options for three age groups with respective age-specific C. trachomatis infection and re-infectio...

This paper presents a mechanizable framework for software development by re nement. The framework is based on a category of higher-order speci cations. The key idea is representing knowledge about programming concepts, such as algorithm design, datatype re nement, and expression simpli cation, by means of taxonomies of speci cations and morphisms. The framework is partially implemented in the r...

Introduction: Previously, 186Re and 188Re radioisotopes have been produced through appropriate activities, and each of them has been used for therapeutic applications. The 186Re and 188Re have unique properties, which make them proper for the treatment of  tumors in different sizes. The long-range 188Re, is suitabl...

P RACTICE Advisories are systematically developed reports that are intended to assist decision-making in areas of patient care. Advisories provide a synthesis and analysis of expert opinion, clinical feasibility data, open forum commentary, and consensus surveys. Practice Advisories developed by the American Society of Anesthesiologists (ASA) are not intended as standards, guidelines, or absolu...

P RACTICE Advisories are systematically developed reports that are intended to assist decision-making in areas of patient care. Advisories provide a synthesis and analysis of expert opinion, clinical feasibility data, open forum commentary, and consensus surveys. Practice Advisories developed by the American Society of Anesthesiologists (ASA) are not intended as standards, guidelines, or absolu...

The rate control method of MPEG-2 over the ATM DBR service class is proposed in this paper. It is intended to guarantee the Quality of Service required by video applications. The disadvantages of MPEG-2 Test Model 5 are resolved by introducing the bandwidth re-negotiation with the network. And user-oriented high quality video transfer can be guaranteed with our method.

Stroke is a major cause of physical disability for those that survive it. Traditionally, treatment of disability involves interaction with professional trained in the movement therapies. However, there is a growing body of research into interactive systems that are intended to provide support for rehabilitation, many of which draw on game-like elements to motivate engagement. A promising tactic...

P RACTICE Advisories are systematically developed reports that are intended to assist decision-making in areas of patient care. Advisories provide a synthesis and analysis of expert opinion, clinical feasibility data, open forum commentary, and consensus surveys. Practice Advisories developed by the American Society of Anesthesiologists (ASA) are not intended as standards, guidelines, or absolu...

As realistic systems are built and commercial toolkits are created for plan ning and scheduling applications it becomes increasingly important that mod ularisation of these standard components is attempted This can lead to re usability embeddability and improved implementation provision One early example of a standardised component is the Truth Criterion condition establishment algorithmwhich i...