elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Avoiding medication conflicts for patients with multimorbidities

Kovalov, Andrii and Bowles, Juliana (2016) Avoiding medication conflicts for patients with multimorbidities. In: Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings Lecture Notes in Computer Science, 9681. Springer International Publishing. pp. 376-390. doi: 10.1007/978-3-319-33693-0_24. ISBN 978-3-319-33693-0. ISSN 0302-9743.

[img] PDF - Only accessible within DLR
373kB

Official URL: http://link.springer.com/chapter/10.1007/978-3-319-33693-0_24

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.

Item URL in elib:https://elib.dlr.de/105081/
Document Type:Book Section
Title:Avoiding medication conflicts for patients with multimorbidities
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Kovalov, AndriiUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Bowles, JulianaUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Date:2016
Journal or Publication Title:Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Volume:9681
DOI:10.1007/978-3-319-33693-0_24
Page Range:pp. 376-390
Editors:
EditorsEmailEditor's ORCID iDORCID Put Code
Ábrahám, ErikaUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Huisman, MariekeUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Publisher:Springer International Publishing
Series Name:Lecture Notes in Computer Science
ISSN:0302-9743
ISBN:978-3-319-33693-0
Status:Published
Keywords:SMT Solving, Multimorbidities, Clinical pathways
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space System Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Space System Technology
DLR - Research theme (Project):R - Virtueller Satellit (old)
Location: Braunschweig
Institutes and Institutions:Institut of Simulation and Software Technology > Software for Space Systems and Interactive Visualisation
Deposited By: Kovalov, Andrii
Deposited On:08 Aug 2016 10:01
Last Modified:04 Nov 2024 14:21

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
OpenAIRE Validator logo electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.