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

中国科学院软件研究所

学术报告

[2020-01-02][2020-01-03] On the complexity of Holant problems
[2019-12-26][2019-12-26] Interaction with Large and Multiple Displays
[2019-12-20][12-20] Proving that Programs are Differentially Private" "Quantitative information flow: when is...
[2019-12-18][12-20] Smart Development of Mobile Apps with Deep Learning
[2019-12-18][12-19] 学术地图的设计与实现
[2019-12-11][12-18] Quantum Computing Engineering: Challenges and Opportunities
[2019-12-09][12-10] Compositional Techniques for the Verification of a Separation Micro-kernel for Multi-Core...
[2019-12-06][12-20] Toward AI-Assisted UX Analysis Methods: Leveraging Subtle Verbalization and Speech Patter...
[2019-11-18][11-20] Logipedia: towards a Wikipedia of formal proofs
[2019-11-13][11-14] SafeHidden: 通过持续随机化来确保信息隐藏的高效性和安全性
[2019-10-23][10-23] 联邦学习在金融行业的实践：问题，方法及应用
[2019-10-15][10-25] Software Engineering Issues in Cyber-Physical Systems
[2019-09-20][09-23] View-Centric Performance Optimization for Database-Backed Web Applications
[2019-09-16][09-17] On Solving String Constraints
[2019-08-13][08-14] High-Performance Software Development Challenges in the Post-Moore Era
[2019-08-12][08-21] Scalable Analysis and Control of Boolean Networks
[2019-08-05][08-08] 2019 ISCAS-USC 联合学术研讨会
[2019-07-19][07-22] Designing Information Strategies for Digital Platforms: Findings from Randomized Field Ex...
[2019-07-15][07-16] Sapienz deployment at Facebook
[2019-07-08][07-17] Beyond NP Revolution
[2019-07-04][07-09] 慕课中的故事化学习法：双城记
[2019-07-04][07-09] Augmenting Stream Constraint Programming with Eventuality Conditions
[2019-07-04][07-09] Integrated System Usability and Reliability Assurance and Improvement
[2019-07-02][07-03] Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle
[2019-06-28][07-04] 用户隐私，数据孤岛和联邦迁移学习

«1 234 5 »下5页

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