Significance of antiviral therapy and CTL-mediated immune response in containing hepatitis B and C virus infection.
John Boscoh H. NjagarahFarai NyabadzaMoatlhodi KgosimoreCang HuiPublished in: Appl. Math. Comput. (2021)
Keyphrases
- immune response
- model checking
- temporal logic
- computation tree logic
- bounded model checking
- medical domain
- immune cells
- linear temporal logic
- temporal properties
- minimal change
- clinical trials
- virus detection
- computer virus
- computer viruses
- statistical significance
- drug resistance
- chronic hepatitis
- immune memory
- stem cell
- myocardial infarction
- medical images
- evolutionary algorithm