The input to backwards analysis is a program together with properties that are required to hold at given program points. The purpose of the analysis is to derive initial goals or pre-conditions that guarantee that, when the program is executed, the given properties hold. The solution for logic programs presented here is based on a transformation of the input program, which makes explicit the de...

Postgraduate training is a dynamic activity. Over the years it is undergoing increasing standardization. In the past programs have been haphazard and inconsistent but now structured curriculum are in place. Comprehensive details related to criteria of entry, duration of training, core knowledge areas, and competencies required can be found. How program is to be run is explicitly chalked down an...

Due to its explicit modeling of the grammaticality of the output via target-side syntax, the string-to-tree model has been shown to be one of the most successful syntax-based translation models. However, a major limitation of this model is that it does not utilize any useful syntactic information on the source side. In this paper, we analyze the difficulties of incorporating source syntax in a ...

Typically, services are co-created by service provider and customer. This paper describes an approach to account the full costs of a service considering costs at the provider side as well as on the customer side resulting in a more accurate cost model. Depending on the level of integration of provider and customer, explicit modeling of uncertainty is used to reflect the uncertainty about custom...

Though few question the importance of incorporating professionalism and humanism in the training of physicians, traditional residency programs have given little direct attention to the processes by which professional and humanistic values, attitudes, and behaviors are cultivated. The authors discuss the underlying philosophy of their primary care internal medicine residency program, in which th...