學術報告----中國科學院軟件研究所

<u id="saeeq"><wbr id="saeeq"></wbr></u>

<s id="saeeq"><div id="saeeq"></div></s>

<u id="saeeq"></u>

<u id="saeeq"><noscript id="saeeq"></noscript></u>

<s id="saeeq"></s>

中國科學院軟件研究所

學術報告

[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] 用戶隱私，數據孤島和聯邦遷移學習
[2019-06-24][06-25] Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Fu...
[2019-06-20][07-05] Trustworthy Cyber-Physical Systems: Dream or Reality?
[2019-06-20][06-20] Wearable Interactions Using Touch without a Touchscreen
[2019-06-06][06-12] Classification Program for Counting Problems
[2019-05-28][05-30] The mCRL2 behavioural specification language and tools, including new developments

«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

<u id="saeeq"><wbr id="saeeq"></wbr></u>

<s id="saeeq"><div id="saeeq"></div></s>

<u id="saeeq"></u>

<u id="saeeq"><noscript id="saeeq"></noscript></u>

<s id="saeeq"></s>

久久久综合香蕉尹人综合网