Khalifa University UAE;
Proteins; Protein engineering; Standards; Ontologies; Training; Biological processes; Linguistics;
机译:通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
机译:关于BAN逻辑和哈希函数,或:不合理的推理规则如何导致问题
机译:利用结构信息推断蛋白质相互作用特异性规则和功能注释的计算工具的开发
机译:采用谓词逻辑的推理规则来预测蛋白质功能
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:通过将谓词逻辑应用于生物医学文献来预测蛋白质功能
机译:关于BAN逻辑和哈希函数,或:不合理的推理规则如何导致问题