Files in this item
Balancing prescriptions with constraint solvers
Item metadata
dc.contributor.author | Bowles, Juliana Kuster Filipe | |
dc.contributor.author | Caminati, Marco Bright | |
dc.contributor.editor | Liò, Pietro | |
dc.contributor.editor | Zuliani, Paolo | |
dc.date.accessioned | 2020-06-11T23:35:18Z | |
dc.date.available | 2020-06-11T23:35:18Z | |
dc.date.issued | 2019 | |
dc.identifier | 256142237 | |
dc.identifier | fa654853-41eb-4f11-8ed2-61666e1f80c4 | |
dc.identifier | 000503198000009 | |
dc.identifier.citation | Bowles , J K F & Caminati , M B 2019 , Balancing prescriptions with constraint solvers . in P Liò & P Zuliani (eds) , Automated Reasoning for Systems Biology and Medicine . Computational Biology , vol. 30 , Springer , Cham , pp. 243-267 . https://doi.org/10.1007/978-3-030-17297-8_9 | en |
dc.identifier.isbn | 9783030172961 | |
dc.identifier.isbn | 9783030172978 | |
dc.identifier.issn | 1568-2684 | |
dc.identifier.other | ORCID: /0000-0002-5918-9114/work/58984299 | |
dc.identifier.other | ORCID: /0000-0002-4529-5442/work/68281667 | |
dc.identifier.uri | https://hdl.handle.net/10023/20075 | |
dc.description | Funding: UK EPSRC grant EP/M014290/1 and MRC grant MR/S003819/1. | en |
dc.description.abstract | Clinical guidelines are evidence-based care plans which detail the essential steps to be followed when caring for patients with a specific clinical problem, usually a chronic disease (e.g. diabetes, cardiovascular disease, chronic kidney disease, cancer, chronic obstructive pulmonary disease, and so on). Recommendations for chronic diseases include the medications (or group of medications) to be given at different stages of the treatment plan. We present an automated approach which combines constraint solvers and theorem provers to find the best solutions for treatment according to different criteria, and avoiding adverse drug reactions as much as possible. We extended the approach here to further refine the choice(s) to avoid dangerous or undesirable side effects. | |
dc.format.extent | 25 | |
dc.format.extent | 818960 | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.relation.ispartof | Automated Reasoning for Systems Biology and Medicine | en |
dc.relation.ispartofseries | Computational Biology | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | RM Therapeutics. Pharmacology | en |
dc.subject | BDC | en |
dc.subject | R2C | en |
dc.subject | ~DC~ | en |
dc.subject | SDG 3 - Good Health and Well-being | en |
dc.subject.lcc | QA75 | en |
dc.subject.lcc | RM | en |
dc.title | Balancing prescriptions with constraint solvers | en |
dc.type | Book item | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.sponsor | Medical Research Council | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.identifier.doi | 10.1007/978-3-030-17297-8_9 | |
dc.date.embargoedUntil | 2020-06-12 | |
dc.identifier.grantnumber | EP/M014290/1 | en |
dc.identifier.grantnumber | MR/S003819/1 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.