AIMCancer: Automated Integration of Mechanisms in Cancer
Abstract
Our project has four main directions: (1) automation of executable model inference from several different resources (literature, experimental observations and data); (2) automated reasoning about modeled system via simulation and formal analysis of executable models; (3) acceleration of algorithms used in (1) and (2) in hardware; (4) design of Use case for the FRIES consortium end-to-end system and its testing with wet lab experiments. (More details on each direction provided the attached report.)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 14, 2018
- Accession Number
- AD1070755
Entities
People
- Nataša Miškov-Živanov
Organizations
- Carnegie Mellon University