机译:提高搜索效率,以系统地审查诊断测试的准确性:一项探索性研究,旨在评估限制使用MEDLINE,EMBASE和参考检查的可行性
机译:检查点和细胞活力中检查点激酶1(CHK1)的细胞定位和功能
机译:在虚拟化层之上的VANET中高效且可行的基于交叉点的路由
机译:验证Qthread:在用户级别的任务运行时模型检查是否可行?
机译:利用虚拟机基础结构来实施低开销的错误检查工具。
机译:用于肥胖症和糖尿病的研究和教育的虚拟现实技术-由美国国立卫生研究院和国防部赞助:将虚拟现实变为现实:确保与饮食世界平行的饮食行为和体育活动的虚拟现实研究的清单
机译:使用分布式模型检查和虚拟化过程域的检查点/恢复的软件检查框架