Medical imaging is essential to screening, early diagnosis, and monitoring responses to cancer treatments and, when used with other diagnostics, provides guidance for clinicians in choosing the most effective patient management plan that maximizes survivorship and quality of life. At a gathering of agency officials, patient advocacy organizations, industry/professional stakeholder groups, and c...

BACKGROUND Regional collaborative organizations provide an effective structure for improving the quality of surgical care. With low complication rates and a long latency between surgical care and outcomes such as survival and local recurrence, quality measurement in breast cancer surgery is ideally suited to process measures. Diagnostic biopsy technique for breast cancer diagnosis is measurable...

The impact of access to information through advanced information and communication technology was assessed in a study involving the Ground-Based Air Defence Command Post (GBAD CP). At present the GBAD CP obtains information about aircraft and their movements by HF radio. In the study, digital data was directly transmitted to the GBAD CP. Its effect on the situation awareness (SA) of the Command...

In this paper, we have developed and analysed per models for recursive types, polymorphism, and subtyping. In developing our models, the emphasis has been on simplicity and on understanding the necessity of any conditions we impose on our structures. While similar structures have been given using the interpretation of constructive logic in a topos, the presentation of the models here is more di...

The fact that the development of breast cancer is linked to repeated or sustained exposure to high blood estrogen levels has raised obvious concern that reproductive hormones particularly estrogen, might increase the risk of breast cancer development. While, the general consensus is that overall; IVF is not associated with an increased risk for development of breast cancer, a recent report publ...

We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-variance recursive domain equations, and the existence of invariant relations on those solutions. We then define operational and denotational semantics for both a simplytyped CBV language with recursion and an untyped CBV langua...

On the initiative of the World Health Organization, two meetings on the Standardization of Reporting Results of Cancer Treatment have been held with representatives and members of several organizations. Recommendations have been developed for standardized approaches to the recording of baseline data relating to the patient, the tumor, laboratory and radiologic data, the reporting of treatment, ...