学术交流-计算机科学与技术学院/人工智能学院

152022-11

计算机学科前沿论坛之二十——基于图差异移植的软件自动修复技术

计算机学科前沿论坛之二十报告题目：基于图差异移植的软件自动修复技术报告人：毛晓光国防科技大学教授、博士生导师、计算机学院副院长，软件工程学科带头人报告时间：2022年11月17日下午2:30-3:30腾讯会议：235-162-791报告摘要: 在软件广泛应用的时代，软件缺陷调试的经济成本已数以千亿计。因而，软件自动修复在近年来成为了软件工程领域的一个重要课题，并得到了学术界和工业界的持续关注。我们针对现有软件自动修复发展...

142022-11

计算机学科前沿论坛之十九——Formal design of safety-critical embedded systems

计算机学科前沿论坛之十九报告题目：Formal design of safety-critical embedded systems 报告人：詹乃军中国科学院软件研究所特聘教授、博士生导师、国家杰出青年科学基金获得者报告时间：2022年11月16日下午2:30-3:30腾讯会议：348-455-212报告摘要: I will report our recent work on model-based formal design of embedded systems. In our approach, one can build a graphical model of a system to be developed with...

142022-11

计算机学科前沿论坛之十八——智能数据库系统研究：技术与挑战

计算机学科前沿论坛之十八报告题目：智能数据库系统研究：技术与挑战报告人：李翠平中国人民大学教授、博士生导师报告时间：2022年11月15日下午3:30-4:30腾讯会议：325-971-571报告摘要：大数据时代，数据规模庞大、数据管理应用场景复杂，传统数据库和数据管理技术面临很大挑战。人工智能技术因其强大的学习、推理、规划能力，为数据库系统提供了新的发展机遇。智能数据库系统通过对数据分布、查询负载、性能表现等特征进...

142022-11

计算机学科前沿论坛之十七——演化子图计算及其应用

计算机学科前沿论坛之十七报告题目：演化子图计算及其应用报告人：李建新澳大利亚迪肯大学终身副教授、博士生导师报告时间：2022年11月15日下午2:30-3:30腾讯会议：325-971-571报告摘要：搜索局部和全局节点组是一个重要的研究问题，它支持各种复杂网络中的高级数据分析，如社交网络、知识图、网络安全网络等。这些网络的演变促使最近的几项研究识别动态网络中不断演变的子图。本报告中，李建新教授将首先提供一幅大图，概...

102022-11

中国矿业大学-蚂蚁集团区块链技术与安全讲座

中国矿业大学-蚂蚁集团区块链技术与安全讲座会议时间：11月11日（周五）下午 14:00-18:00报告地点：计A501（线下参会，不需注册）钉钉会议（线上参会需注册，注册二维码如下）14:00-14:15 开场致辞 - 王宇(断愚) & 矿大老师（蚂蚁集团网络空间安全负责人、蚂蚁安全天宸实验室主任）14:15-15:15智能合约漏洞发展 - 张中文（灵巧）报告简介：从基础漏洞到复杂漏洞，共赏合约漏洞发展脉络。报告人简介：张中文博士，区块链安全...

082022-11

中国矿业大学2022年“越崎论坛”计算机学科高层次人才分论坛——服务计算研究进展

中国矿业大学2022年“越崎论坛”计算机学科高层次人才分论坛——服务计算研究进展时间：11月10日下午 14:00-16:00报告地点：计A501/腾讯会议：808-455-742主持人：牛强计算机科学与技术学院副院长教授博士生导师时间报告人报告题目14:00-14:30于非教授以智能为中心的网络：如何定义智能14:30-15:00郭嵩教授神经增强的边缘感知系统15:00-15:30张海君教授基于人工智能的6G移动网络15:30-16:00王晓飞教授云边协同与算...

042022-11

计算机学科前沿论坛之十六——多模态智能感知技术

计算机学科前沿论坛之十六报告题目：多模态智能感知技术报告人：谢磊南京大学计算机科学与技术系教授，博士生导师，入选“教育部青年长江学者”、南京大学首届“仲英青年学者”报告时间：2022年11月8日下午3:00-4:00腾讯会议：826-314-511 报告摘要：在本次报告中，报告人将聚焦多模态感知技术，从射频信号感知、惯性感知、音频信号感知、新视觉感知等模态出发，介绍多模态感知面临的新的机遇和挑战、以及相应的科学问题，...

312022-10

计算机学科前沿论坛之十四——工业智能质检

计算机学科前沿论坛之十四报告题目：工业智能质检报告人：徐明亮郑州大学教授，国家优青报告时间：2022年11月3日下午2:40-3:20腾讯会议：201-976-751主办单位：计算机科学与技术学院报告摘要：工业智能质检技术与装备在保障制造业高质量发展中发挥着不可替代的关键作用，体现了国家战略与技术融合的双重叠加效应。报告围绕工业智能质检技术的产业化应用落地实践，从背景与国家需求、实验床科学装置、关键技术与进展三方面汇报...

312022-10

计算机学科前沿论坛之十三——神经科学启发的深度学习模型及其在视觉时空信息感知与理解中的应用

计算机学科前沿论坛之十三报告题目：神经科学启发的深度学习模型及其在视觉时空信息感知与理解中的应用报告人：胡卫明中科院自动化研究所研究员，国家杰青报告时间：2022年11月3日下午2:00-2:40腾讯会议：201-976-751主办单位：计算机科学与技术学院报告摘要：分析神经科学与计算机视觉之间的关系。从以几方面总结神经科学对计算机视觉的启发点：A) 基本视觉皮层的特征；B) 初级视皮层的原理扩展到高级区域；C) 顺向、逆向、侧...

312022-10

计算机学科前沿论坛之十二——研究往何处去：数学与智能，从分析讲起

计算机学科前沿论坛之十二报告题目：研究往何处去：数学与智能，从分析讲起报告人：熊红凯上海交通大学教授，国家杰青、长江学者报告时间：2022年11月2日下午3:00-4:00腾讯会议：761-946-893主办单位：计算机科学与技术学院报告摘要：从深度学习的数学基础、优化、信号处理思想入手，基于信号处理的分析角度，着重介绍来自数学分析的小波理论，发展基于谱图小波框架变换的多尺度图卷积网络。通过显式推演的多尺度图卷积层的...