学术报告----中国科学院软件研究所

中国科学院软件研究所

学术报告

[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]自然语言表示学习、文本推理与机器阅读讲座
[2017-07-18][7-26]From Big Data to Big Knowledge: Knowledge Engineering with Big Data
[2017-07-10][7-12]Checking Crash Consistency on Storage Systems
[2017-07-07][7-10]Symmetry Breaking in Constraint Satisfaction and Optimization
[2017-06-23][6-27]Deep Learning Approaches for Brain Image Segmentation, Analysis, and Related Problems
[2017-06-23][6-27]Network Resource Management in Wireless Networked Control Systems

上5页 «67 »

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