Automatically finding relevant citations for clinical guideline development
نویسندگان
چکیده
منابع مشابه
Finding Reductions Automatically
We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reductions between decision problems described in logic.
متن کاملClinical guideline for prevention and control of alcohol consumption
Background: Using alcohol is one of the most important death factors that can be prevented. Lifestyle-related diseases are at the top cause of mortality and burden of disease, whereas most of them can be prevented. Considering the growing importance of diseases related to lifestyle (including alcohol abuse), providing evidence-based clinical guidelines for diseases and life-style related condit...
متن کاملRegional Clinical Guideline for the Management of Stable Angina
Background and purpose: Prevalence of risk factors for health is growing rapidly in developing countries due to urbanization. In fact much of the global burden of some conditions such as ischemic heart disease is currently in low- and middle-income countries. Therefore, an integrated and effective clinical guide is highly needed for management of patients with stable angina. Materials and meth...
متن کاملFinding Small Stubborn Sets Automatically
State space generation is often needed in the analysis of concurrent and distributed systems. The stubborn set method is one of the techniques that try to alleviate the state space explosion encountered in state space generation. An algorithm for nding a stubborn set having as few enabled transitions as possible is presented. Practicality of the algorithm is motivated with the aid of examples.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Biomedical Informatics
سال: 2015
ISSN: 1532-0464
DOI: 10.1016/j.jbi.2015.09.003