Programs written in statically-typed languages are commonly extended with scripting engines that manipulate objects in the compiled layer. These scripting environments extend the capabilities of the program, at the cost of additional errors that would be caught by compile-time type checking. This paper describes a system for using type information from the compiled, statically-typed layer to pe...

Soft goals extend the classical model of planning with a simple model of preferences. The best plans are then not the ones with least cost but the ones with maximum utility, where the utility of a plan is the sum of the utilities of the soft goals achieved minus the plan cost. Finding plans with high utility appears to involve two linked problems: choosing a subset of soft goals to achieve and ...

Outcome data compiled and analyzed for patients taking a 4-session class in an integrative healthcare setting. Course content includes (1) education on chronic pain; (2) experiential learning of mindfulness practices related to breath, body scan, difficult emotions, and catastrophic thinking; (3) managing behavioral pacing and planning for breakout pain; (4) research-based holistic lifestyle an...

The SMARTKOM project Dialogue-Based Human Computer Interaction by Coordinated Analysis and Generation of Multiple Modalities was one of six lead projects in the area of human computer interaction funded by the Federal Ministry of Education and Research and the Federal Ministry of Economics and Labour of Germany. We describe the intention of this initiative and summarize the organizational and f...

The understanding, study, and use of educational tools and their application to the education of adults in professional fields are increasingly important. In this review, we have compiled a description of educational tools on the basis of the teaching and learning setting: the classroom, simulation center, hospital or clinic, and independent learning space. When available, examples of tools use...

INTRODUCTION. The information herein has been compiled from official publications of the Department of the Army, Office 0f Civil and Defense Mobilization, Department of Health, Education and Welfare, and from other sources. No classified material is included. This is not a substitute for the technical details in other official and more voluminous publications, but has been prepared as a guide t...

Griffin and Sweet • Medical Education T article presents basic data regarding the 20 accredited colleges of osteopathic medicine (COM) for the 2004–2005 academic year. Information in this article has been adapted from the American Association of Colleges of Osteopathic Medicine (AACOM)/American Osteopathic Association (AOA) Annual Osteopathic Medical School Questionnaire for the 2004–2005 acade...

Product catalogues are usually represented as tables. They are regularly updated with new variants and, over time, various forms of inconsistencies or undesirable properties can be introduced, especially when global changes are made. We argue that by compiling product catalogues into decision diagrams we can support a number of highlevel queries for detecting and checking for various forms of i...

One long-term goal for research on probabilistic programming languages (PPLs) is efficient inference using a single, generic inference engine. Many current inference engines are, however, interpreters for the given PP, leading to substantial overhead and poor performance. This paper describes a PPL compiler, Swift, that generates model-specific and inference-algorithm-specific target code from ...