Department of Computer Science and Engineering The Hong Kong University of Science and Technology. Clear Water Bay Kowloon Hong Kong;
Automatic program verification; First-order logic; Mathematical induction; Recurrences; SMT; Arithmetic;
机译:诺斯罗普在新的11亿美元MDA目标竞争中击败洛克希德
机译:Kv1.1敲除小鼠的进步心肺功能障碍可以提供癫痫(SUDEP)突然意外死亡的时间生物标志物:orexin的贡献
机译:大鼠9α10烟碱乙酰胆碱受体与α-圆锥毒素RGIA和VC1.1的相互作用:对接,分子动力学和绑定能量贡献的见解
机译:VIAP 1.1(竞争贡献)
机译:制造业服务:对质量和竞争的贡献。
机译:评论:电压传感器中的通道病变突变揭示了保守的苯丙氨酸对Kv1.1通道的门控特性和共济失调的贡献
机译:在低硝酸盐供应下,NRT 1.1对NRT 1.1对拟南芥硝酸盐摄取的重新评估
机译:估算合作伙伴贡献对洪水测绘项目“蓝皮书”的价值。版本1.1