Preface This report documents the scientific work carried out during the part A of the Ph.D. studies of author at BRICS 1. The main topic of interest is programming languages, focusing on partial evaluation and program transformation. One of the ideas explored in the period was to assess the impact of partial evaluation on program analysis. The present report makes an account of the results obt...

Background The importance of evaluating policy processes to achieve health equity is well recognised but such evaluation encounters methodological, theoretical and political challenges. This paper describes how a program theorybased evaluation framework can be developed and tested, using the example of an evaluation of the South Australian Health in All Policies (HiAP) initiative.   Methods A f...

Program theory evaluation, which has grown in use over the past 10 years, assesses whether a program is designed in such a way that it can achieve its intended outcomes. This article describes a particular type of program theory evaluation-logic analysis-that allows us to test the plausibility of a program's theory using scientific knowledge. Logic analysis is useful for improving the intervent...

Gene-finding program evaluation (GFPE) is a set of Java classes for evaluating gene-finding programs. A command-line interface is also provided. Inputs to the program include the sequence data (in FASTA format), annotations of "actual" sequence features, and annotations of "predicted" sequence features. Annotation files are in the General Feature Format promoted by the Sanger center. GFPE calcu...

Patterns in the experience of game playing are key to understand the impact of digital games. The author’s approach starts from a firmly based pattern concept which is introduced first. Next, the relevance of the concept is exemplified by means of a few digital games studies. Finally, after the concepts has been made clear and the occurrence of the concepts in practice has been demonstrated, th...

PURPOSE/OBJECTIVES To describe the use of a logic model methodology in the development, implementation, and evaluation of a regionally based cancer health network. DATA SOURCES Published articles; online references; published reports from government, state, and private organizations; and regional breast health project results. DATA SYNTHESIS Through the use of the logic model, the program o...