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...

introduction: children with attention deficit hyperactivity disorder have problem in sustain attention that is necessary for learning. the purpose of present study is comparing explicit and implicit memory in children with attention deficit disorder and typically developing children. material and methods: in present cross sectional study, fifteen children with attention deficit disorder compare...

We present a verification system for a variant of Hoare-logic that supports proving program correctness by forward symbolic execution. No explicit weakening rules are needed and first-order reasoning is automated. The system is suitable for teaching program verification, because the student can concentrate on reasoning about programs following their natural control flow and proofs are machine-c...

Explicit self-representations often conflict with implicit and intuitive self-representations, with such discrepancies being seen as a source of psychological tension. Most of previous research on the psychological effects of mindfulness-meditation has assessed people's self-attitudes at an explicit level, leaving unknown whether mindfulness-meditation promotes changes on implicit self-represen...

We show that for constraint satisfaction problems (CSPs), weakly exponential size linear programming relaxations are as powerful the explicit program described by $n^{\Omega(1)}$-rounds o...

Program specializers improve the speed of programs by performing some of the programs' reductions at specialization time rather than at runtime. This specialization process can be time-consuming; one common technique for improving the speed of the specialization of a particular program is to specialize the specializer itself on that program, creating a custom specializer, or program generator, ...

Abductive logic programming offers a formalism to declaratively express and solve problems in areas such as diagnosis, planning, belief revision and hypothetical reasoning. Tabled logic programming offers a computational mechanism that provides a level of declarativity superior to that of Prolog, and which has supported successful applications in fields such as parsing, program analysis, and mo...

PURPOSE Interprofessional collaboration in health care is believed to enhance patient outcomes. However, where professions have overlapping scopes of practice (eg, chiropractors and physical therapists), "turf wars" can hinder effective collaboration. Deep-rooted beliefs, identified as implicit attitudes, provide a potential explanation. Even with positive explicit attitudes toward a social gro...

Diagonally split Runge–Kutta (DSRK) time discretization methods are a class of implicit time-stepping schemes which offer both high-order convergence and a form of nonlinear stability known as unconditional contractivity. This combination is not possible within the classes of Runge–Kutta or linear multistep methods and therefore appears promising for the strong stability preserving (SSP) timest...

flood routing has many applications in engineering projects and helps designers in understanding the flood flow characteristics in river flows. floods are taken unsteady flows that vary by time and location. equations governing unsteady flows in waterways are continuity and momentum equations which in case of one-dimensional flow the saint-venant hypothesis is considered. dynamic wave model as ...