Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Can Formal Methods Improve the Efficiency of Code Reviews? Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

Avoiding Medication Conflicts for Patients with Multimorbidities

verfasst von : Andrii Kovalov, Juliana Küster Filipe Bowles

Erschienen in: Integrated Formal Methods

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Clinical pathways are care plans which detail essential steps in the care of patients with a specific clinical problem, usually a chronic disease. A pathway includes recommendations of medications prescribed at different stages of the care plan. For patients with three or more chronic diseases (known as multimorbidities) the multiple pathways have to be applied together. One common problem for such patients is the adverse interaction between medications given for different diseases. This paper proposes a solution for avoiding medication conflicts for patients with multimorbidities through the use of formal methods. We introduce the notion of a pharmaceutical graph to capture the medications associated to different stages of a pathway. We then explore the use of an optimising SMT solver (Z3) to quickly find the set of medications with the minimal number and severity of conflicts which is assumed to be the safest. We evaluate the approach on a well known case of an elderly patient with five multimorbidities.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel SMT Solvers for Validation of B and Event-B Models
Nächstes Kapitel Temporal Random Testing for Spark Streaming
Fußnoten
Literatur
1.
Abidi, S.R.: Ontology-based knowledge modeling to provide decision support for comorbid diseases. In: Riaño, D., ten Teije, A., Miksch, S., Peleg, M. (eds.) KR4HC 2010. LNCS, vol. 6512, pp. 27–39. Springer, Heidelberg (2011)CrossRef
2.
Abidi, S.R., Abidi, S.S.R.: Towards the merging of multiple clinical protocols and guidelines via ontology-driven modeling. In: Combi, C., Shahar, Y., Abu-Hanna, A. (eds.) AIME 2009. LNCS, vol. 5651, pp. 81–85. Springer, Heidelberg (2009)CrossRef
3.
Barnett, K., Mercer, S., Norbury, M., Watt, G., Wyke, S., Guthrie, B.: Epidemiology of multimorbidity and implications for health care, research, and medical education: a cross-sectional study. Lancet 380(9836), 37–43 (2012)CrossRef
4.
Bjørner, N., Phan, A.-D., Fleckenstein, L.: \(\nu \)Z - an optimizing SMT solver. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 194–199. Springer, Heidelberg (2015)
5.
Boyd, C.M., Darer, J., Boult, C., Fried, L.P., Boult, L., Wu, A.W.: Clinical practice guidelines and quality of care for older patients with multiple comorbid diseases: implications for pay for performance. JAMA 294(6), 716–724 (2005)CrossRef
6.
Campbell, H., Hotchkiss, R., Bradshaw, N., Porteous, M.: Integrated care pathways. BMJ 316(7125), 133–137 (1998)CrossRef
7.
Directorate-General for Health, Food Safety, European Commission: Conference “Which priorities for a European policy on multimorbidity?”, Final report, Brussels, 27 October 2015
8.
Long term conditions compendium of information, 3rd edn., Department of Health (2012)
9.
Hawley, S., Zikmund-Fisher, B., Ubel, P., Jancovic, A., Lucas, T., Fagerlin, A.: The impact of the format of graphical presentation on health-related knowledge and treatment choices. Patient Educ. Couns. 73(3), 448–455 (2008)CrossRef
10.
Hughes, L.D., McMurdo, M.E.T., Guthrie, B.: Guidelines for people not for diseases: the challenges of applying UK clinical guidelines to people with multimorbidity. Age Ageing 42(1), 62–69 (2013)CrossRef
11.
Jafarpour, B., Abidi, S.S.R.: Merging disease-specific clinical guidelines to handle comorbidities in a clinical decision support setting. In: Peek, N., Marín Morales, R., Peleg, M. (eds.) AIME 2013. LNCS, vol. 7885, pp. 28–32. Springer, Heidelberg (2013)CrossRef
12.
Kenning, C., Fisher, L., Bee, P., Bower, P., Coventry, P.: Primary care practitioner and patient understanding of the concepts of multimorbidity and self-management: a qualitative study. SAGE Open Med. 1, 1–11 (2013)CrossRef
13.
López-Vallverdú, J.A., Riaño, D., Collado, A.: Rule-based combination of comorbid treatments for chronic diseases applied to hypertension, diabetes mellitus and heart failure. In: Lenz, R., Miksch, S., Peleg, M., Reichert, M., Riaño, D., ten Teije, A. (eds.) ProHealth 2012 and KR4HC 2012. LNCS, vol. 7738, pp. 30–41. Springer, Heidelberg (2013)CrossRef
14.
de Moura, L., Bjørner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008)CrossRef
15.
Mutasingwa, D.R., Ge, H., Upshur, R.E.: How applicable are clinical practice guidelines to elderly patients with comorbidities? Can. Fam. Physician 57(7), e253–e262 (2011)
16.
Negrini, S., Giovannoni, S., Minozzi, S., Barneschi, G., Bonaiuti, D., Bussotti, A., D’Arienzo, M., Lorenzo, N.D., Mannoni, A., Mattioli, S., Modena, V., Padua, L., Serafini, F., Violante, F.: Diagnostic therapeutic flow-charts for low back pain patients: the Italian clinical guidelines. Europa Medicophysica 42(2), 151–70 (2006)
17.
Piovesan, L., Molino, G., Terenziani, P.: An ontological knowledge and multiple abstraction level decision support system in healthcare. Decis. Analytics 1(1), 8 (2014)CrossRef
18.
Salive, M.E.: Multimorbidity in older adults. Epidemiol. Rev. 35(1), 75–83 (2013)CrossRef
19.
Shaneyfelt, T., Mayo-Smith, M., Rothwangl, J.: Are guidelines following guidelines? the methodological quality of clinical practice guidelines in the peer-reviewed medical literature. JAMA 281(20), 1900–1905 (1999)CrossRef
20.
Wilk, S., Michalowski, M., Tan, X., Michalowski, W.: Using first-order logic to represent clinical practice guidelines and to mitigate adverse interactions. In: Miksch, S., Riano, D., Teije, A. (eds.) KR4HC 2014. LNCS, vol. 8903, pp. 45–61. Springer, Heidelberg (2014)
Metadaten
Titel
Avoiding Medication Conflicts for Patients with Multimorbidities
verfasst von
Andrii Kovalov
Juliana Küster Filipe Bowles
Copyright-Jahr
2016
Buch
Integrated Formal Methods

Print ISBN: 978-3-319-33692-3

Electronic ISBN: 978-3-319-33693-0

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-33693-0_24