报告题目：Why, Can, and How Research?– personal experience sharing with beginners报告时间：3月24日 10:00线下报告地点：数学馆201主持人：王廷报告摘要：In this information age, IT industry associates, e.g., senior undergraduates, masters, and junior PhDs, may have questions like why do research, can I do excellent research, and how to do high quality research. We would like to share personal understanding on these questions with young and energetic researchers. Firstly, research will enhance our capability, which is totally differ
报告题目：Temporal Satisfiability Modulo Theories报告时间：11月2日 xx:00-xx：xx线下报告地点：理科大楼B1002腾讯会议号：主持人：李建文报告摘要：Checking temporal satisfiability (or validity) is a fundamental problem to make formal verification scale up with compositional reasoning. In this talk, we focus on LTL satisfiability modulo theories, which generalizes the satisfiability problem for LTL to the first-order case with respect to some background theories. Compositional reasoning takes into account both synchronous and asynchronous int
报告题目：Data Science for Deep Learning报告时间：10月20日 11:00-12：30线下报告地点：理科大楼B1002腾讯会议号：980181758主持人：程鹏报告摘要：In recent years, deep learning (DL) has significantly penetrated and has been widely adopted in various fields of application, including facial recognition, strategy games (AlphaGo and Texas holdem) and question answering. However, the effectiveness of the models and efficiency of the training process strongly depend on how well the associated data is managed. It is very challenging to train an ef
报告题目：Reachability Analysis of Learning-Enabled Cyber-Physical Systems报告时间：12月29日 09:00线下报告地点：理科大楼B002腾讯会议号：763-614-103主持人：张民教授报告摘要：Neural networks have been increasingly used as the central decision makers in a variety of tasks. However, the use of neural-network controllers also gives rise to new challenges on verifying the correctness of the resulting closed-loop control systems especially in safety-critical settings. This talk focuses on computing the reachable sets of Cyber-Physical Systems
新闻动态
学术报告
光荣榜
名师风采
快速链接
学生邮箱
下载专区