Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy

BMC Bioinformatics

Volumn 11, Issue SUPPLL.1, 2010, Pages

  Sorathiya, Anil ^a   Bracciali, Andrea ^b   Liò, Pietro ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED PROCEDURES; DETERMINISTIC MODELING; IN-DEPTH UNDERSTANDING; INTRINSIC FLUCTUATIONS; MODEL-CHECKING TECHNIQUES; OPPORTUNISTIC INFECTIONS; PROBABILISTIC MODEL CHECKING; TRANSLATIONAL MEDICINE;

BIOINFORMATICS; IMMUNE SYSTEM; MEDICINE; MODEL CHECKING; STOCHASTIC MODELS;

VIRUSES;

HUMAN IMMUNODEFICIENCY VIRUS;

ARTICLE; DISEASE COURSE; HIGHLY ACTIVE ANTIRETROVIRAL THERAPY; HUMAN IMMUNODEFICIENCY VIRUS INFECTION; METHODOLOGY; STATISTICAL MODEL; TUBERCULOSIS; VIROLOGY;

ANTIRETROVIRAL THERAPY, HIGHLY ACTIVE; DISEASE PROGRESSION; HIV INFECTIONS; MODELS, STATISTICAL; TUBERCULOSIS;

EID: 75149162038     PISSN: None     EISSN: 14712105     Source Type: Journal    
DOI: 10.1186/1471-2105-11-S1-S67     Document Type: Article

References (44)

1. Lió P, Vannucci M. Finding pathogenicity islands and gene transfer events in genome data. Bioinformatics 2000, 16:932-940. 10.1093/bioinformatics/16.10.932, 11120683.
2. Gillespie DT. Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry 1977, 81(25):2340-2361.
3. Ho D, Neumann AU, Perelson AS, Chen W, Leonard JM, M M. Rapid turnover of plasma virions and CD4 lymphocytes in HIV-1 infection. Nature 1995, 373:123-126. 10.1038/373123a0, 7816094.
4. Nowak MA, May RM. Virus dynamics. mathematical principles of immunology and virology 2000, Oxford University Press.
5. Perelson AS. Modelling viral and immune system dynamics. Nature Review Immunology 2002, 2(1):28-36.
6. Eigen M, McCaskill J, Schuster P. The Molecular Quasi-Species. Advances in Chemical Physics 1989, 75:149-263.
7. Sguanci L, Bagnoli F, Li P. Modeling HIV quasispecies evolutionary dynamics. BMC Evolutionary Biology 2007, 7(2):S5. 10.1186/1471-2148-7-S2-S5, 1963478, 17767733.
8. Ronga L, Perelson AS. Modeling HIV persistence, the latent reservoir, and viral blips. Journal of Theoretical Biology 2009,
9. Bagnoli F, Lio' P, Sguanci L. Modeling viral coevolution. HIV multi-clonal persistence and competition dynamics. Physica A 2005, 366:333-346.
10. Chao L, Davenport MP, Forrest S, Perelson AS. A stochastic model of cytotoxic T cell responses. Journal Theoretical Biology 2004, 228:227-240.
11. Celada F, Seiden PE. Affinity maturation and hypermutation in a simulation of the humoral immune response. Journal of Theoretical Biology 1996, 26:1350-1358.
12. De Boer RJ, Perelson AS. Towards a general function describing T cell proliferation. European Journal of Immunology 1995, 175(4):567-576.
13. Wiegel FW, Perelson AS. Some scaling principles for the immune system. Immunology and Cell Biology 2004, 82:127-131. 10.1046/j.0818-9641.2004.01229.x, 15061763.
14. Regev A, Shapiro E. Cells as computation. Nature 2002, 419:343. 10.1038/419343a, 12353013.
15. Mateus D, Gallois JP, Comet E. Symbolic modeling of genetic regulatory networks. Journal of Bioinformatics and Computational Biology 2007, 5(2B):627-640. 10.1142/S0219720007002850, 17636866.
16. Fromentin J, Comet JP, Le Gall P, Roux O. Analysing gene regulatory networks by both constraint programming and model-checking. Conference proceedings, IEEE Engineering in Medicine and Biology 2007, 4595-4598.
17. Batt G, Yordanov B, Weiss R, Belta C. Robustness analysis and tuning of synthetic gene networks. Bioinformatics 2007, 23:2415-2422. 10.1093/bioinformatics/btm362, 17660209.
18. Batt G, Ropers D, De Jong H, Geiselmann J, Mateescu R, Page M, Schneider D. Validation of qualitative models of genetic regulatory networks by model checking. Analysis of the nutritional stress response in E. coli. Bioinformatics 2005, 21(Suppl 1):i19-i28. 10.1093/bioinformatics/bti1048, 15961457.
19. Clarke EM, Grumberg O, Peled DA. Model Checking. 1999, The MIT Press.
20. The PRISM model checker. , http://www.prismmodelchecker.org
21. Karlsson I, Antonsson L, Shi Y, Oberg M, Karlsson A, Albert J, Olde B, Owman C, M J, Fenyo EM. Coevolution of RANTES sensitivity and mode of CCR5 receptor use by human immunodeficiency virus type 1 of the R5 phenotype. Journal of Virology 2004, 78:11807-11815. 10.1128/JVI.78.21.11807-11815.2004, 523262, 15479822.
22. Gorry PR, Churchill M, Crowe SM, Cunningham AL, Gabuzda D. Pathogenesis of macrophage tropic HIV. Current HIV Research 2005, 3:53-60. 10.2174/1570162052772951, 15638723.
23. Gray L, Sterjovski J, Churchill M, Ellery P, Nasr N, Lewin SR, Crowe SM, Wesselingh SL, Cunningham AL, Gorry PR. Uncoupling coreceptor usage of human immunodeficiency virus type 1 (HIV-1) from macrophage tropism reveals biological properties of CCR5-restricted HIV-1 isolates from patients with acquired immunodeficiency syndrome. Virology 2005, 337:384-398. 10.1016/j.virol.2005.04.034, 15916792.
24. Pavlakis GN, Valentin A, Morrow M, Yarchoan R. Differential effects of TNF on HIV-1 expression. R5 inhibition and implications for viral evolution. Internation Conference AIDS 2004, 15:11-16.
25. Parczewski M, Leszczyszyn-Pynka M, M K, Adler G, Binczak-Kuleta A, Loniewska B, Boron-Kaczmarska A, Ciechanowicz A. Sequence variants of chemokine receptor genes and susceptibility to HIV-1 infection. Journal of Applied Genetics 2009, 50(2):159-166.
26. Hatse S, Huskens D, Princen K, Vermeire K, Bridger GJ, De Clercq E, Rosenkilde MM, Schwartz TW, D S. Modest human immunodeficiency virus coreceptor function of CXCR3 is strongly enhanced by mimicking the CXCR4 ligand binding pocket in the CXCR3 receptor. Journal of Virology 2007, 81(7):3632-3639. 10.1128/JVI.01941-06, 1866035, 17251291.
27. Wen W, Chen S, Cao Y, Zhu Y, Yamamoto Y. HIV-1 infection initiates changes in the expression of a wide array of genes in U937 promonocytes and HUT78 T cells. Virus Research 2005, 113(1):26-35. 10.1016/j.virusres.2005.04.002, 15885842.
28. Mayanja-Kizza H, Wu M, Aung H, Liu S, Luzze H, Hirsch C, Z T. The interaction of monocyte chemoattractant protein-1 and tumour necrosis factor-alpha in Mycobacterium tuberculosis-induced HIV-1 replication at sites of active tuberculosis. Scandinavian Journal of Immunology 2009, 69(6):516-520. 10.1111/j.1365-3083.2009.02246.x, 19439012.
29. Maddocks S, Scandurra GM, Nourse C, Bye C, Williams RB, Slobedman B, Cunningham AL, J BW. Gene expression in HIV-1/Mycobacterium tuberculosis co-infected macrophages is dominated by M. tuberculosis. Tuberculosis (Edinb) 2009, 89(4):285-293. 10.1016/j.tube.2009.05.003, 19520608.
30. Volpe E, Cappelli G, Grassi M, Martino A, Serafino A, Colizzi V, Sanarico N, Mariani F. Gene expression profiling of human macrophages at late time of infection with Mycobacterium tuberculosis. Immunology 2006, 118(4):449-460. 1782319, 16895554.
31. Hirano F, Komura K, Fukawa E, Makino I. Tumor necrosis factor alpha (TNF-alpha)-induced RANTES chemokine expression via activation of NF-kappaB and p38 MAP kinase. roles of TNF-alpha in alcoholic liver diseases. Journal of Hepatology 2003, 38(4):483-489. 10.1016/S0168-8278(02)00456-7, 12663241.
32. Ranjbar S, Boshoff HI, Mulder A, Siddiqi N, Rubin EJ, Goldfeld AE. HIV-1 replication is differentially regulated by distinct clinical strains of Mycobacterium tuberculosis. PLoS One 2009, 4(7):e6116. 10.1371/journal.pone.0006116, 2699470, 19568431.
33. Collins KR, Quinones-Mateu ME, Wu M, Luzze H, Johnson JL, Hirsch C, Toossi Z, Arts EJ. Human immunodeficiency virus type 1 (HIV-1) quasispecies at the sites of Mycobacterium tuberculosis infection contribute to systemic HIV-1 heterogeneity. Journal of Virology 2002, 76(4):1697-1706. 10.1128/JVI.76.4.1697-1706.2002, 135892, 11799165.
34. Wilkinson D. Stochastic Modelling for Systems Biology. 2006, CRC press.
35. Van-Kampen NG. Stochastic processes in physics and in chemistry. 1992, Elsevier, Amsterdam.
36. Kierzek AM. Stocks. Stochastic kinetic simulations of biochemical system with Gillespie algorithm. Bioinformatics 2002, 18:470-481. 10.1093/bioinformatics/18.3.470, 11934747.
37. Perelson AS, Neumann AU, Markowitz M, Leonard JM, Ho DD. HIV-1 Dynamics in Vivo. Virion Clearance Rate, Infected Cell Life-Span, and Viral Generation Time. Science 1996, 271:1582-1586. 10.1126/science.271.5255.1582, 8599114.
38. Fisher J, Piterman N, Hajnal A, Henzinger TA. Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology 2007, 3(5):e92. 10.1371/journal.pcbi.0030092, 1868774,1868774, 17511512.
39. Aziz A, Sanwal K, Singhal V, Brayton R. Model checking continuous time Markov chains. ACM Transactions on Computational Logic 2000, 1(1):162-170.
40. Baier C, Haverkort B, Hermanns H, Katoen JP. Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering 2003, 29(6):524-541.
41. Kwiatkowska M, Norman G, Parker D. Quantitative Verification Techniques for Biological Processes. 2009, Algorithmic Bioprocesses, Springer, Condon A, Harel D, Kok J, Salomaa A, Winfree E.
42. Bruch CL, Chao L. Evolvability of an RNA virus determined by its mutational neighborhood. Nature 2000, 406:625-628. 10.1038/35020564, 10949302.
43. Asquith B, Edwards CTT, Lipsitch M, McLean AR. Inefficient Cytotoxic T Lymphocyte Mediated Killing of HIV-1 Infected Cells In Vivo. PLOS Biology 2006, 4(4):e90. 10.1371/journal.pbio.0040090, 1395353,1395353, 16515366.
44. Althaus CL, Be Boer RJ. Dynamics of Immune escape during HIV/SIV Infection. PLOS Computational Biology 2008, 4(7):e1000103. 10.1371/journal.pcbi.1000103, 2423483, 18636096.