吉林大学计算机学院赖勇教授的研究生好考吗?
性别:男
职称:副教授
最高学历:博士
研究方向:
人工智能,包括知识表示和推理、易处理学习、概率图模型等。
教学课程:数据结构(课程链接)
算法分析(课程链接)
科研项目:
负责自然科学基金青年基金和博士点项目。
学术论文:
[1]雍来*、刘、尹:通过用合取分解扩充OBDDs的新规范表示(扩展摘要)。载于:第二十六届国际人工智能联合会议会议录(IJCAI-17),5010-5014。(CCF推荐为A类会议,人工智能领域的顶级会议,口头报告20分钟)。
[2]雍莱*、刘、尹。用合取分解扩充Obdds的新规范表示。人工智能研究杂志,2017,58: 453-521。(CCF推荐为B类期刊,人工智能领域顶级期刊之一)。
[3]刘,杨波*,尚高*,朱云刚,雍来。智能CPSS及其在医疗计算中的应用。Science中国信息科学,2016,59(5):050103(CCF推荐B类期刊)。
[4]王生生,昌吉文,永来*,刘,。基于定性时空关系轨迹的交互式活动学习。中国电子学报,2015,24(3): 508-512 (SCI: CM9KL)
刘、赖勇*、王生生。Tableau算法优化和模型规范技术。中国计算机学报,2014,37 (8): 1647-1657(国内权威计算机学报,EI: 201436063657)。
[6]永来、刘*、王生生。一种新的知识编译方法。知识与信息系统S,2013,35 (3): 665-712。(CCF推荐为B类期刊,SCI: 136PQ)。
[7]刘、*、赖勇、林海。C2E:一个高性能的EPCCL编译器。中国计算机学报,2013,36 (6): 1254-1260。(国内计算机科学权威期刊,EI: 20132760。
赖勇,刘·*。一种有效的分层加权库编译方法。软件学报,2012,23 (10): 2550-2563。(国内计算机科学权威期刊,EI: 201241567656
赖勇、欧阳*、蔡、。基于扩展规则的模型计数和智能规划方法。计算机研究与发展,2009,46(3): 459-469。(国内计算机科学权威期刊,EI:20091712051205438。
社会兼职:
AAAI-19计划委员会成员
KSEM-18组委会成员