Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/3479

Appears in Collections:Computing Science and Mathematics Journal Articles
Peer Review Status: Refereed
Title: An integrated modelling approach for R5-X4 mutation and HAART therapy assessment
Authors: Sorathiya, Anil
Bracciali, Andrea
Lio, Pietro
Contact Email: abb@cs.stir.ac.uk
Keywords: HIV
HIV dynamics
HAART
Deterministic Modelling
Stochastic Modelling
Model Checking
Issue Date: Dec-2010
Publisher: Springer Verlag
Citation: Sorathiya A, Bracciali A & Lio P (2010) An integrated modelling approach for R5-X4 mutation and HAART therapy assessment, Swarm Intelligence, 4 (4), pp. 319-340.
Abstract: We have modelled the within-patient evolutionary process during HIV infection using different methodologies. New viral strains arise during the course of HIV infection. These multiple strains of the virus are able to use different coreceptors, in particular the CCR5 and the CXCR4 (R5 and X4 phenotypes, respectively)influence the progression of the disease to the AIDS phase. We present a model of HIV early infection and CTLs response which describes the dynamics of R5 quasispecies, specifying the R5 to X4 switch and effects of immune response. We illustrate dynamics of HIV multiple strains in the presence of multidrug HAART therapy. The HAART combined with X4 strain blocker drugs might help to reduce infectivity and lead to slower progression of disease. On the methodology side, our model represents a paradigm of integrating formal methods and mathematical models as a general framework to study HIV multiple strains during disease progression, and will inch towards providing help in selecting among vaccines and drug therapies. The results presented here are one of the rare cases of methodological cross comparison (stochastic and deterministic) and a novel implementation of model checking in therapy validation.
Type: Journal Article
URI: http://hdl.handle.net/1893/3479
DOI Link: http://dx.doi.org/10.1007/s11721-010-0046-4
Rights: Published in Swarm Intelligence by Springer Verlag. The original publication is available at www.springerlink.com
Affiliation: University of Cambridge
Computing Science - CSM Dept
University of Cambridge

Files in This Item:
File Description SizeFormat 
An integrated modelling approach.pdf3 MBAdobe PDFView/Open


This item is protected by original copyright



Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.