Zobrazeno 1 - 10
of 49
pro vyhledávání: '"Zachary Kincaid"'
Autor:
Mohammad Azhar, Zachary Kincaid, Meenu Kesarwani, Jacob Menke, Joshua Schwieterman, Sekhu Ansari, Angela Reaves, Arhama Ahmed, Rammsha Shehzad, Areeba Khan, Nuha Syed, Noor Amir, Mark Wunderlich, Tahir Latif, William Seibel, Mohammad Azam
Publikováno v:
Blood Advances. 7:1460-1476
Despite significant advancements in developing selective FMS-like tyrosine kinase 3 (FLT3) inhibitors, resistance to treatment is common even on continued therapy. Acquisition of on-target mutations or adaptation to MAPK, JAK2, and ABL signaling path
Autor:
Mohammad Azam, Mohammad Azhar, Daniel T. Starczynowski, Tahir Latif, Zachary Kincaid, Meenu Kesarwani
Publikováno v:
Blood Advances. 6:1186-1192
Kinase activating mutation in FLT3 is the most frequent genetic lesion associated with poor prognosis in acute myeloid leukemia (AML). Therapeutic response to FLT3 tyrosine kinase inhibitor (TKI) therapy is dismal, and many patients relapse even afte
Publikováno v:
Blood. 140:9582-9583
Autor:
Mohammad Azhar, Zachary Kincaid, Meenu Kesarwani, Tahir Latif, Sekhu Ansari, William Seibel, Mohammad Azam
Publikováno v:
Blood. 140:3101-3102
This paper presents a theory of non-linear integer/real arithmetic and algorithms for reasoning about this theory. The theory can be conceived of as an extension of linear integer/real arithmetic with a weakly-axiomatized multiplication symbol, which
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f0046e00e221eb0a79595df23008b50
Autor:
Jay L. Lieberman, Travis Anderson, Sandra J. Shultz, Nancy I. Williams, Zachary Kincaid, Laurie Wideman, Ellen Casey
Publikováno v:
Women in Sport and Physical Activity Journal. 27:30-36
Evidence suggests menstrual cycle variation in the hormone relaxin may have an impact on ligament integrity and may be associated with risk of anterior cruciate ligament injury in physically active...
Publikováno v:
Proceedings of the ACM on Programming Languages. 3:1-29
Algebraic program analyses compute information about a program’s behavior by first (a) computing a valid path expression —i.e., a regular expression that recognizes all feasible execution paths (and usually more)—and then (b) interpreting the p
Publikováno v:
Proceedings of the ACM on Programming Languages. 3:1-29
This paper investigates the problem of reasoning about non-linear behavior of simple numerical loops. Our approach builds on classical techniques for analyzing the behavior of linear dynamical systems. It is well-known that a closed-form representati
Autor:
Zachary Kincaid, Shaowei Zhu
Publikováno v:
PLDI
Determining whether a given program terminates is the quintessential undecidable problem. Algorithms for termination analysis are divided into two groups: (1) algorithms with strong behavioral guarantees that work in limited circumstances (e.g., comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d814636ba07b2d6f31ec804c30df102
http://arxiv.org/abs/2101.09783
http://arxiv.org/abs/2101.09783
Publikováno v:
Computer Aided Verification ISBN: 9783030816841
CAV (1)
CAV (1)
This paper is a tutorial on algebraic program analysis. It explains the foundations of algebraic program analysis, its strengths and limitations, and gives examples of algebraic program analyses for numerical invariant generation and termination anal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b46735eddf5f047310ec1babb3bf932
https://doi.org/10.1007/978-3-030-81685-8_3
https://doi.org/10.1007/978-3-030-81685-8_3