- Answer Set Program and Learning for ASP [2016-05-22]
- 随机矩阵的三类Gauss不变系综 [2016-05-19]
- 超越AlphaGo：IT及非IT专业所面临的新机遇与挑战 [2016-05-18]
- Systems and Algorithms for Big Data Analytics [2016-05-12]
- CCSL: A Formal Time Constraint Language for sound engineerin... [2016-04-18]
- Rigorous Development of High-integrity Java Applications [2016-04-13]
- Programming with dependent types using small inversions [2016-03-24]
- “十三五”信息化战略与发展规划刍议 [2016-03-18]
- Secure Multiparty Computation: Past and Present [2016-03-11]
- 北极海冰快速减退的北极放大效应及Rossby波响应 [2016-02-29]
- 密文域信号处理 [2016-01-06]
- Symplectic Invariants for Curves and Integrable Systems on S... [2015-12-25]
- Perturbation Analysis in Verification of Discrete-Time Marko... [2015-11-26]
- On Distributive Subalgebras of Qualitative Spatial and Tempo... [2015-11-19]
©2016 华东师范大学高可信计算重点实验室