Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.authorBowles, Juliana Kuster Filipe
dc.contributor.authorSilvina, Agastya
dc.date.accessioned2016-02-24T00:12:26Z
dc.date.available2016-02-24T00:12:26Z
dc.date.issued2016-04-18
dc.identifier240664699
dc.identifier3dcba515-3ed3-4110-970f-2c1fae404d48
dc.identifier84968624504
dc.identifier000381398000094
dc.identifier.citationBowles , J K F & Silvina , A 2016 , Model checking cancer automata . in IEEE EMBS International Conference on Biomedical and Health Informatics, BHI 2016 . , 7455913 , Institute of Electrical and Electronics Engineers Inc. , pp. 376-379 , 3rd IEEE EMBS International Conference on Biomedical and Health Informatics, BHI 2016 , Las Vegas , United States , 24/02/16 . https://doi.org/10.1109/BHI.2016.7455913en
dc.identifier.citationconferenceen
dc.identifier.isbn9781509024551
dc.identifier.otherORCID: /0000-0002-5918-9114/work/58055305
dc.identifier.urihttps://hdl.handle.net/10023/8290
dc.description.abstractCancer is a chronic disease where cells grow and multiply in an uncontrollable manner ultimately spreading and invading surrounding tissue, and metastasising in other parts or organs of the body. Automata can be used to capture cancer evolving through a (discrete finite) sequence of progressive stages called phenotypes. Automata consist of states (known as hallmarks of cancer) and transitions between states, indicating a progression or regression of the cancer. We explore extensions and combinations of different variants of timed automata and associated tools to model and analyse a model of the disease in different ways. We combine patient information and comorbidities with the cancer automaton through composition. The goal of this work is to use model checking as an analysis technique to provide further insights into the effectiveness of treatment plans for a given patient, and how these could potentially inhibit or slow down the progression of cancer.
dc.format.extent279173
dc.language.isoeng
dc.publisherInstitute of Electrical and Electronics Engineers Inc.
dc.relation.ispartofIEEE EMBS International Conference on Biomedical and Health Informatics, BHI 2016en
dc.subjectRC0254 Neoplasms. Tumors. Oncology (including Cancer)en
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectNDASen
dc.subjectSDG 3 - Good Health and Well-beingen
dc.subject.lccRC0254en
dc.subject.lccQA75en
dc.titleModel checking cancer automataen
dc.typeConference itemen
dc.contributor.sponsorEPSRCen
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen
dc.identifier.doihttps://doi.org/10.1109/BHI.2016.7455913
dc.date.embargoedUntil2016-02-24
dc.identifier.grantnumberEP/M014290/1en


This item appears in the following Collection(s)

Show simple item record