005865
constant: true
units: 420661
value: 0.004
name: alpha
type: Parameter

005851
constant: false
value: 3.0
name: x
type: Parameter

420517
exponent: 1.0
scale: 0
multipler: 86400.0
kind: SECOND
type: SBMLUnit

420541
exponent: -1.0
scale: 0
multipler: 86400.0
kind: SECOND
type: SBMLUnit

420625
exponent: -1.0
scale: 0
multipler: 86400.0
kind: SECOND
type: SBMLUnit

005861
constant: false
value: 1.0
name: w
type: Parameter

420697
unit: 420709
name: time
type: SBMLUnitsDef

005855
constant: true
units: 420529
value: 0.33
name: a
type: Parameter

MODEL1006230047
parameter: 005852
creator:
  ORG:
    orgname: University of Auckland
  n:
    given: Catherine
    family: Lloyd
time units: 420697
rule: 005844
creator:
  ORG:
    orgname: University of Auckland
  n:
    given: Catherine
    family: Lloyd
creator:
  ORG:
    orgname: University of Auckland
  n:
    given: Catherine
    family: Lloyd
parameter: 005864
rule: 005848
units def: 420553
modified:
  W3 CDTF: Fri Jun 25 14:13:26 BST 2010
type: SBMLModel
parameter: 005855
units def: 420529
parameter: 005866
units def: 420697
parameter: 005862
parameter: 005858
parameter: 005861
rule: 005847
parameter: 005853
area units: 291053
notes: This a model from the article: Fighting a virus with a virus: a dynamic model for HIV-1 therapy. Revilla T, Garcia-Ramos G. Math Biosci 2003 Oct;185(2):191-203 12941536 , Abstract: A mathematical model examined a potential therapy for controlling viral infections using genetically modified viruses. The control of the infection is an indirect effect of the selective elimination by an engineered virus of infected cells that are the source of the pathogens. Therefore, this engineered virus could greatly compensate for a dysfunctional immune system compromised by AIDS. In vitro studies using engineered viruses have been shown to decrease the HIV-1 load about 1000-fold. However, the efficacy of this potential treatment for reducing the viral load in AIDS patients is unknown. The present model studied the interactions among the HIV-1 virus, its main host cell (activated CD4+ T cells), and a therapeutic engineered virus in an in vivo context; and it examined the conditions for controlling the pathogen. This model predicted a significant drop in the HIV-1 load, but the treatment does not eradicate HIV. A basic estimation using a currently engineered virus indicated an HIV-1 load reduction of 92% and a recovery of host cells to 17% of their normal level. Greater success (98% HIV reduction, 44% host cells recovery) is expected as more competent engineered viruses are designed. These results suggest that therapy using viruses could be an alternative to extend the survival of AIDS patients. This model was taken from the CellML repository and automatically converted to SBML. The original model was: Revilla T, Garcia-Ramos G. (2003) - version=1.0 The original CellML model was created by: Catherine Lloyd c.lloyd@auckland.ac.nz The University of Auckland This model originates from BioModels Database: A Database of Annotated Published Models (http://www.ebi.ac.uk/biomodels/). It is copyright (c) 2005-2011 The BioModels.net Team. To the extent possible under law, all copyright and re…
is described by: http://identifiers.org/pubmed/12941536
compartment: 005840
units def: 420505
parameter: 005850
parameter: 005865
units def: 420577
parameter: 005856
modified:
  W3 CDTF: Fri Jun 25 14:13:26 BST 2010
created:
  W3 CDTF: Fri Jun 25 14:13:26 BST 2010
parameter: 005851
substance units: 178797
rule: 005846
parameter: 005854
rule: 005845
parameter: 005859
curated: false
units def: 420601
length unit: 076409
name: Revilla2003_HIV1therapy
units def: 420661
modified:
  W3 CDTF: Fri Jun 25 14:13:26 BST 2010
units def: 420637
parameter: 005857
parameter: 005860
volume units: 290956

420565
exponent: 3.0
scale: -3
multipler: 1.0
kind: METRE
type: SBMLUnit

420637
unit: 420649
name: vir_per_cell_day
type: SBMLUnitsDef

005866
constant: true
units: 420661
value: 0.004
name: beta
type: Parameter

420613
exponent: -3.0
scale: -3
multipler: 1.0
kind: METRE
type: SBMLUnit

420673
exponent: 3.0
scale: -3
multipler: 1.0
kind: METRE
type: SBMLUnit

005852
constant: true
units: 420601
value: 2.0
name: lamda
type: Parameter

420589
exponent: -3.0
scale: -3
multipler: 1.0
kind: METRE
type: SBMLUnit

005862
constant: true
units: 420637
value: 2000.0
name: c
type: Parameter

005856
constant: false
value: 0.0
name: z
type: Parameter

420709
exponent: 1.0
scale: 0
multipler: 86400.0
kind: SECOND
type: SBMLUnit

420529
unit: 420541
name: first_order_rate_constant
type: SBMLUnitsDef

005853
constant: true
units: 420529
value: 0.01
name: d
type: Parameter

420685
exponent: -1.0
scale: 0
multipler: 86400.0
kind: SECOND
type: SBMLUnit

420505
unit: 420517
name: day
type: SBMLUnitsDef

005857
constant: true
units: 420529
value: 2.0
name: b
type: Parameter

005850
constant: true
units: 420505
value: NaN
name: time
type: Parameter

420661
unit: 420685
unit: 420673
name: mm3_per_vir_day
type: SBMLUnitsDef

005859
constant: true
units: 420637
value: 50.0
name: k
type: Parameter

005864
constant: true
units: 420529
value: 2.0
name: q
type: Parameter

420649
exponent: -1.0
scale: 0
multipler: 86400.0
kind: SECOND
type: SBMLUnit

420553
unit: 420565
name: mm3
type: SBMLUnitsDef

420601
unit: 420625
unit: 420613
name: cell_per_mm3_day
type: SBMLUnitsDef

005854
constant: false
value: 6.0
name: y
type: Parameter

005840
constant: true
units: litre
size: 1.0
spatial dimensions: 3.0
type: Compartment

420577
unit: 420589
name: per_mm3
type: SBMLUnitsDef

005858
constant: false
value: 149.0
name: v
type: Parameter

005860
constant: true
units: 420529
value: 2.0
name: u
type: Parameter