University of Stirling    STORRE: Stirling Online Research Repository University Circle Images   Research Led, Student Focused  
 

STORRE >
School of Natural Sciences >
Computing Science and Mathematics >
Computing Science and Mathematics Conference Papers and Proceedings >

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

Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Refereed
Author(s): Lio, Pietro
Sorathiya, Anil
Bracciali, Andrea
Contact Email: abb@cs.stir.ac.uk
Title: An integrated modelling approach for R5-X4 mutation and HAART therapy assessment
Citation: Lio P, Sorathiya A & Bracciali A (2010) An integrated modelling approach for R5- X4 mutation and HAART therapy assessment. International Conference on Systems Biology, Edinburgh.
Issue Date: 2010
Conference Name: International Conference on Systems Biology
Conference Location: Edinburgh
Abstract: We have modelled the within-patient evolutionary process during HIV infection using different methodologies. During the HIV infection the arising of viral multi-strain of the virus able to use different coreceptors, in particular the CCR5 and CXCR4 (R5 and X4 phenotypes, respectively) influences 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 quasispecie and a model of HIV late infection, specifying the R5 and X4 switch and effect of immune response. We illustrate dynamics of HIV multiple strains on HAART and multidrug HAART therapy. The HAART combined with X4 strain blocker drug might help to reduce infectivity and that leads 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 here presented are one of the rare cases of methodological cross comparison (stochastic and deterministic) and the first implementation of model checking in therapy validation.
Type: Other
Status: Publisher version
Rights: Paper presented at The International Society for Systems Biology (ISSB) conference 2010. http://www.issb.org/
URI: http://hdl.handle.net/1893/3642
URL: http://www.issb.org/conferences.html
Affiliation: University of Cambridge
University of Cambridge
Computing Science - CSM Dept

Files in This Item:

File Description SizeFormat
An integrated modelling approach.pdf420.08 kBAdobe PDFView/Open


This item is protected by original copyright

Recommend this item

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.

 

Valid XHTML 1.0! Repository Service Operated by Information Services, University of Stirling
Powered by DSpace Software Copyright © 2002-2010  Duraspace - Feedback