Login / Signup
Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach.
Gustavo Santos-García
Carolyn L. Talcott
Adrián Riesco
Beatriz Santos-Buitrago
Javier De Las Rivas
Published in:
PACBB (2016)
Keyphrases
</>
reachability analysis
cancer cells
markov decision processes
model checking
timed automata
quantitative analysis
high rate
expert systems
state space
microscopy images
incremental algorithms
machine learning
three dimensional
machine learning methods
lung cancer
cell segmentation