球友会qy

中国科研实验室软件研究所

学术报告

[2017-12-25][12-26] 数学、物理、计算机中的张量系列报告
[2017-12-22][12-22] Seminar: IoT and Service Research Engagement
[2017-12-18][12-18] Beyond Functionality: Combating Timing and Security Challenges in the Design of Intellige...
[2017-12-13][12-14] Mathematics and Physics Foundation for Visual Computing and Virtual Environments
[2017-12-11][12-11] Seminar on Monday: Dependable Internet of Things
[2017-12-06][12-08] Seminar: A compositional semantics for the reversible pi-calculus
[2017-12-01][12-08] Seminar: Can we make readable formal proofs ?
[2017-11-15][11-17] Seminar: Programming with Higher Inductive Types
[2017-11-14][11-15] Seminar: Quantum Algorithm for Multivariate Polynomial Interpolation
[2017-11-14][11-15] Seminar: An Introduction to Quantum Programming using Quipper
[2017-11-09][11-10] Verification of Concurrent Data Structures
[2017-11-09][11-09] Efficient classical simulation of noisy quantum circuit
[2017-11-06][11-07] Compositional Methods for CPS Design
[2017-11-02][11-03] Visual Creativity for Art and Science
[2017-10-24]创新文化论坛系列报告——“一带一路”与包容性全球化
[2017-10-24][10-25] Seminar on Formal Methods: A Historical Perspective given by Prof. Cliff Jones
[2017-10-11][10-12]AN ARITHMETIC FOR ROOTED TREES
[2017-10-09][10-9] Deep View Morphing
[2017-09-04][9-11]Internet Investigation and Web Monitoring: a discussion about digital evidence quality and ...
[2017-09-01][9-4] Pixie: A system for Recommending 1+ Billion Items to 175+ Million Pinterest Users in Real-Time
[2017-09-01][9-5] Global Structure-from-Motion and Its Application
[2017-08-14][8-21]Dawn Song教授解读“AI 与安全”，Chengyu Song博士分享最新成果
[2017-08-14][8-16]From Clarity to Efficiency for Distributed Algorithms
[2017-08-14][8-15]联合信息环境与其系统框架
[2017-08-11][8-15]自然语言表示学习、文本推理与机器阅读讲座

上5页 «67 8 »

Copyright © Institute of Software, CAS. All rights reserved.info(at)leqiqqyp.com
版权所有 © 中国科研实验室软件研究所　京ICP备05046678号-1　文保网安备1101080077
电话：86-10-62661012　传真：86-10-62562533　电子邮箱：info@leqiqqyp.com