吉林大学计算机学院赖勇教授的研究生好考吗?

姓名:赖勇

性别:男

职称:副教授

最高学历:博士

研究方向:

人工智能,包括知识表示和推理、易处理学习、概率图模型等。

教学课程:数据结构(课程链接)

算法分析(课程链接)

科研项目:

负责自然科学基金青年基金和博士点项目。

学术论文:

[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组委会成员