Sign in

Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235.

Herbert Rausch FernandesGiovanni Freitas GomesAntonio Carlos Pinheiro de OliveiraSérgio Vale Aguiar Campos
Published in: Sci. Comput. Program. (2024)
Keyphrases
  • formal model
  • predicate calculus
  • security properties
  • formal models
  • security patterns
  • software engineering
  • monte carlo
  • probabilistic knowledge
  • disease diagnosis