BACKGROUND Primary care physicians hold a strategic position in delivering preventive services. However discrepancies exist between evidence based guidelines and practice. OBJECTIVES To assess the effects of interventions to improve the delivery of preventive services in primary care. SEARCH STRATEGY We searched the Cochrane Effective Practice and Organisation of Care Group specialised regi...

A common problem of automated tools for Formal Methods is their difficulty in dealing with infinite systems. Such systems may arise through the use of infinite data types. For example, in the LOTOS [6] formal description technique the simple process g?x : Nat; exit results in an infinite choice, one for each member of Nat. Rewriting logic [7] is a possible approach to dealing with such systems....

A variety of methodologies are available for process improvement. These include Six Sigma, Lean Management, Lean Six Sigma, Agile Management, Re-engineering, Total Quality Management, Just-In-Time, Kaizen, Hoshin Planning, Poka-Yoka, Design of Experiments, and Process Excellence. Consulting firms all seem to have one of these that they claim is the best. The large number of competing approaches...