The University of Texas at Austin.;
机译:AskHERMES:一个用于在线解决复杂临床问题的系统。
机译:急诊医学期刊俱乐部志。 NHAMCS数据库,图表审查方法以及有关回归建模的更多信息,可以回答2010年5月期刊俱乐部的问题。
机译:二异氰酸酯哮喘的动物模型:遗留问题的答案。
机译:使用自动定理证明系统的问题答案的多答案提取
机译:基于临床医学语义域模型的复杂问题解答。
机译:针对自动穿戴系统的sEMG肌肉疲劳预测和检测的新型特征模型
机译:复杂系统的自动建模以回答预测问题
机译:使用自动定理证明器回答两个开放问题的有限模型和反例的生成和验证