Show simple item record

Files in this item


Item metadata

dc.contributor.authorKovalov, Andrii
dc.contributor.authorBowles, Juliana Kuster Filipe
dc.contributor.editorÁbrahám, Erika
dc.contributor.editorHuisman, Marieke
dc.identifier.citationKovalov , A & Bowles , J K F 2016 , Avoiding medication conflicts for patients with multimorbidities . in E Ábrahám & M Huisman (eds) , Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-3, 2016, Proceedings . Lecture Notes in Computer Science , vol. 9681 , Springer , pp. 376-390 , 12th International Conference on integrated Formal Methods , Reykjavík , Iceland , 1/06/16 .
dc.identifier.otherPURE: 241354487
dc.identifier.otherPURE UUID: 70912c96-c4ef-4fdf-8d1e-15a01875ff02
dc.identifier.otherScopus: 84977518774
dc.identifier.otherORCID: /0000-0002-5918-9114/work/58055296
dc.identifier.otherWOS: 000379291800024
dc.description.abstractClinical 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 asmultimorbidities) 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.
dc.relation.ispartofIntegrated Formal Methodsen
dc.relation.ispartofseriesLecture Notes in Computer Scienceen
dc.rights© 2016, Springer International Publishing Switzerland. This work is made available online in accordance with the publisher’s policies. This is the author created, accepted version manuscript following peer review and may differ slightly from the final published version. The final published version of this work is available at /
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectRM Therapeutics. Pharmacologyen
dc.titleAvoiding medication conflicts for patients with multimorbiditiesen
dc.typeConference itemen
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen

This item appears in the following Collection(s)

Show simple item record