Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by James Cai
Identifying Novel Drug Indications Through Automated Reasoning
PLoS ONE
Multidisciplinary
Related publications
Automated Assume-Guarantee Reasoning Through Implicit Learning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Reasoning on Feature Models
Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer Processes
Fluid Flow
Automated Reasoning for Web Page Layout
ACM SIGPLAN Notices
Computer Science
Automated Reasoning for Web Page Layout
3D Shape Reasoning for Identifying Anatomical Landmarks
Computer-Aided Design and Applications
Computational Mechanics
Computational Mathematics
Computer Graphics
Computer-Aided Design
Goals and Benchmarks for Automated Map Reasoning
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Identifying Drug–Drug Interactions by Data Mining
Circulation. Cardiovascular quality and outcomes
Medicine
Cardiovascular Medicine
Cardiology
Reasoning in Science Through Representation
