球友会qy

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

学术报告

[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
[2019-05-16][05-21] Symbolic semantics for Open Systems and their Bisimulation algorithms
[2019-04-30][05-17] Matching mu-logic: A powerful logic for specifying and reasoning about fixpoints and indu...
[2019-04-30][05-20] Developing Game-Changing Embedded Intelligence
[2019-04-28][05-06] Towards Safety Verification of Autonomous Systems
[2019-04-28][04-29] Orthogonal arrays, covering arrays, and combinatorial testing
[2019-04-22][04-23] Dense Regions: a Different Type of Event in Graph Streams
[2019-04-22][04-23] Toward Smarter Continuous Integration: Automated Fault Finding and Fixing with Sapienz at...
[2019-03-26][03-29] Supporting Edge Computing through Resource Management and Energy Efficient Hardware Design
[2019-02-21][02-25] Towards Verified and Certifiable Subsystems
[2019-01-08][01-09] Graph Based Nonparametric Testing for High Dimensional Data
[2019-01-02][01-03] In-Network Support for End-to-End Diagnostics and Security
[2018-12-20][12-21] Linear Recurrence Sequences: Theory and Algorithms
[2018-12-10][12-13] 交互式制造与制造交互式物品
[2018-12-04][12-04] A component-based approach for cyber-physical systems in differential dynamic logic
[2018-11-20][11-22] An Introduction to Automatic Structures

«1 2 345 »下5页

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