Program equivalence Game semantics Full abstraction Automata over infinite alphabets;
机译:全面参考的算法游戏
机译:在没有地面参考测量的情况下评估平滑算法的有效性
机译:在学生最优延迟验收算法下,在偏好启示录游戏中被动严格的纳入均衡
机译:全面参考的算法游戏
机译:未成年女孩的在线游戏偏好:在放学后计算机俱乐部中的所有女孩的社交环境中探索游戏偏好。
机译:电子游戏动机偏好和病理方面的个体差异:游戏态度动机和体验等级(GAMES)
机译:卫星影像地面气溶胶光学特性和反射特性检索算法的实践研究:用ASTER光谱反射率库验证MODIS影像参考反照率图检索算法的准确性