机译:折叠变体变窄和最佳变体终止
DSIC-ELP, Universitat Politecnica de Valencia, Spain;
Department of Computer Science, University of Illinois at Urbana-Champaign, United States;
Department of Computer Science, University of Illinois at Urbana-Champaign, United States;
narrowing modulo; terminating narrowing strategy; variants; equational unification;
机译:通过测试具有纵向数据的变体的最佳加权组合来检测稀有和常见变体的关联
机译:通过测试具有纵向数据的变体的最佳加权组合来检测稀有和常见变体的关联
机译:通过测试普通家庭中量化性状的最佳加权组合来检测稀有变异的关联
机译:折叠变体变窄和最佳变体终止
机译:BPTI变体的折叠动力学和氢交换与蛋白质折叠关系的模型的开发。
机译:通过测试具有纵向数据的最佳加权组合来检测稀有和常见变异的关联
机译:折叠变体变窄和最佳变体终止