Learn More
belugais a proof environment that provides a rich sophisticated infrastructure for implementing formal systems based on the logical framework LF together with a first-order reasoning language for implementing inductive proofs about them following the Curry-Howard isomorphism. In this paper we describe four significant extensions to beluga: 1) we enrich our(More)
Dyspnea is a cardinal symptom of chronic obstructive pulmonary disease (COPD), and its severity and magnitude increases as the disease progresses, leading to significant disability and a negative effect on quality of life. Refractory dyspnea is a common and difficult symptom to treat in patients with advanced COPD. There are many questions concerning(More)
COPD is considered a complex disease and global problem that is predicted to be the third most common cause of death by 2030. While managing this chronic condition, primary health care practitioners are faced with the ongoing challenge of achieving good quality of life and overall "wellness" for those affected. As such, a practical tool for monitoring(More)
It is undeniable that the increasing costs in healthcare are a concern. Although technological advancements have been made in healthcare systems, the return on investment made by governments and payers has been poor. The current model of care is unsustainable and is due for an upgrade. In developed nations, a law of diminishing returns has been noted in(More)
BACKGROUND Obesity is a pressing public health concern, which frequently presents in primary care. With the explosive obesity epidemic, there is an urgent need to maximize effective management in primary care. The 5As of Obesity Management™ (5As) are a collection of knowledge tools developed by the Canadian Obesity Network. Low rates of obesity management(More)
BACKGROUND The objectives of this paper are to describe the planned implementation and evaluation of the Building on Existing Tools to Improve Chronic Disease Prevention and Screening in Primary Care (BETTER 2) program which originated from the BETTER trial. The pragmatic trial, informed by the Chronic Care Model, demonstrated the effectiveness of an(More)
BACKGROUND Our randomized controlled trial (The BETTER Trial) found that training a clinician to become a Prevention Practitioner (PP) in family practices improved chronic disease prevention and screening (CDPS). PPs were trained on CDPS and provided prevention prescriptions tailored to participating patients. For this embedded qualitative study, we(More)