Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.authorKovalov, Andrii
dc.contributor.authorBowles, Juliana Kuster Filipe
dc.contributor.editorÁbrahám, Erika
dc.contributor.editorHuisman, Marieke
dc.date.accessioned2017-05-24T23:34:55Z
dc.date.available2017-05-24T23:34:55Z
dc.date.issued2016
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 . https://doi.org/10.1007/978-3-319-33693-0_24en
dc.identifier.citationconferenceen
dc.identifier.isbn9783319336923
dc.identifier.isbn9783319336930
dc.identifier.issn0302-9743
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.identifier.urihttp://hdl.handle.net/10023/10849
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.format.extent15
dc.language.isoeng
dc.publisherSpringer
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 link.springer.com / https://dx.doi.org/10.1007/978-3-319-33693-0_24en
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectRM Therapeutics. Pharmacologyen
dc.subject3rd-DASen
dc.subject.lccQA75en
dc.subject.lccRMen
dc.titleAvoiding medication conflicts for patients with multimorbiditiesen
dc.typeConference itemen
dc.contributor.sponsorEPSRCen
dc.description.versionPostprinten
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen
dc.identifier.doihttps://doi.org/10.1007/978-3-319-33693-0_24
dc.date.embargoedUntil2017-05-24
dc.identifier.urlhttp://www.springer.com/gb/book/9783319336923en
dc.identifier.grantnumberEP/M014290/1en


This item appears in the following Collection(s)

Show simple item record