Programs that accept inputs, compute and produce outputs are specified by describing all possible inputs and the corresponding outputs. When the possible inputs are finite in number—as is the case with combinatorial circuits, for instance—the input,output pairs may be explicitly enumerated. However, for most programs it is convenient to describe input,output by logical propositions such as a pr...

We report on work towards an architecture that incorporates accessible design methods, guidelines and support tools for building and testing adaptive and accessible user interfaces (UI) for users with mild impairments. We especially address interaction constraints for elderly people, both during application design time and at run time, targeting on hybrid TV platforms. The functional principle ...

The problem of automatically generating a computer program from some specification has been studied since the early days of AI. Recently, two competing approaches for automatic program learning have received significant attention: (1) neural program synthesis, where a neural network is conditioned on input/output (I/O) examples and learns to generate a program, and (2) neural program induction,...

As a possible extension to his Haskell Object Observation Debugger Hood [7], Andy Gill has described the “dynamic viewing of structures”, stepping through observations instead of accumulating them into a static view. Starting from this idea, we have implemented and released an animation back-end for Hood, called GHood. Instead of the dynamic textual visualisation based on pretty-printing propos...

INTRODUCTION Community health worker (CHW) programs are a key strategy for reducing mortality and morbidity. Despite this, there is a gap in the literature on the cost and cost-effectiveness of CHW programs, especially in developing countries. METHODS This study assessed the costs of a CHW program in Mozambique over the period 2010-2012. Incremental cost-effectiveness ratios, comparing the ch...

OBJECTIVE To evaluate a 24-month supervised, community-based maintenance exercise program after 3 months of pulmonary rehabilitation (PR) in comparison with a 27-month physical activity counseling program, in terms of the effects on maximal muscle strength, muscle power output, and exercise capacity, in individuals with COPD. METHODS Sixty-three men with moderate-to-severe COPD were recruited...

Software maintainers are faced with the task of regression testing: retesting a modified program on an often large number of test cases. The cost of regression testing can be reduced if the size of the program that must be retested is reduced and if old test cases and old test results can be reused. Tw o complimentary algorithms for reducing the cost of regression testing are presented. The fir...

We study machine learning formulations of inductive program synthesis; that is, given input-output examples, we would like to synthesize source code that maps inputs to corresponding outputs. Our aims in this work are to develop new machine learning approaches to the problem based on neural networks and graphical models, and to understand the capabilities of machine learning techniques relative...

Traditional parallelizing compilers are designed to generate parallel programs that produce identical outputs as the original sequential program. The difficulty of performing the program analysis required to satisfy this goal and the restricted space of possible target parallel programs have both posed significant obstacles to the development of effective parallelizing compilers. The QuickStep ...

The purpose of this study is to describe how evaluate the Competency-Based Workforce Training Program by Bekasi City Manpower Office in 2021. method research descriptive. Data collection techniques using observation, interviews and documentation. types data used are primary secondary obtained from with informants study. In study, author uses theory program evaluation according Daniel Stufflebea...