Identifying Novel Drug Indications Through Automated Reasoning

PLoS ONE - United States
doi 10.1371/journal.pone.0040946
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Public Library of Science (PLoS)

Related search

Automated Assume-Guarantee Reasoning Through Implicit Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Automated Reasoning on Feature Models

Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer ProcessesFluid Flow
2005English

Automated Reasoning for Web Page Layout

ACM SIGPLAN Notices
Computer Science
2016English

Automated Reasoning for Web Page Layout

2016English

3D Shape Reasoning for Identifying Anatomical Landmarks

Computer-Aided Design and Applications
Computational MechanicsComputational MathematicsComputer GraphicsComputer-Aided Design
2008English

Goals and Benchmarks for Automated Map Reasoning

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2000English

Automated Assume-Guarantee Reasoning by Abstraction Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Identifying Drug–Drug Interactions by Data Mining

Circulation. Cardiovascular quality and outcomes
MedicineCardiovascular MedicineCardiology
2016English

Reasoning in Science Through Representation

2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy