CORC

在结果中检索

CORC

浏览/检索结果: 共20条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Super-dense computation in verification of hybrid CSP processes 会议论文
10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, October 27, 2013 - October 29, 2013
Guelev, Dimitar P. (1); Wang, Shuling (2); Zhan, Naijun (2); Zhou, Chaochen (2)
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
Game-Theoretic Estimation for Continuous-Time Systems with Single Time-Delay in the Observations 会议论文
第三十二届中国控制会议
作者:  ZHAO Hongguo;  WANG Wei;  CUI Peng
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31
Game-Theoretic Estimation for Continuous-Time Systems with Single Time-Delay in the Observations 会议论文
32nd Chinese Control Conference (CCC), JUL 26-28, 2013
作者:  Zhao Hongguo;  Wang Wei;  Cui Peng
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31
an assume/guarantee based compositional calculus for hybrid csp 会议论文
9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012, Beijing, China, May 16, 2012 - May 21, 2012
Wang Shuling; Zhan Naijun; Guelev Dimitar
收藏  |  浏览/下载：9/0  |  提交时间：2013/09/22
Monitoring the deformation of a landslide with differential SAR interferometry using corner reflectors 会议论文
6th International Symposium on Digital Earth: Data Processing and Applications, Beijing, China, September 9, 2009 - September 12,2009
Fan, Jinghui; Tu, Pengfei; Guo, Xiaofang; Wang, Yi; Ge, Daqing; Liu, Guang
收藏  |  浏览/下载：9/0  |  提交时间：2014/12/07
Backward Stochastic Differential Equation, Nonlinear Expectation and Their Applications 会议论文
International Congress of Mathematicians (ICM 2010), AUG 19-27, 2010
作者:  Peng, Shige
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31
One kind of stochastic nonzero-sum game problem and BSDEs 会议论文
26th Chinese Control Conference, CCC 2007, 26 July 2007 through 31 July 2007
作者:  Wu, Zhen;  Yu, Zhiyong
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/31
One kind of Stochastic nonzero-sum game problem and BSDEs 会议论文
26th Chinese Control Conference, JUL 26-31, 2007
作者:  Wu Zhen;  Yu Zhiyong
收藏  |  浏览/下载：0/0  |  提交时间：2019/12/31
Difference discrete connection and curvature on cubic lattice 会议论文
Univ Sci & Technol China, Hefei, PEOPLES R CHINA, JUN 20-25, 2005-2006
作者:  Wu, K;  Zhao, WZ;  Guo, HY
收藏  |  浏览/下载：0/0  |  提交时间：2019/07/24
Discrete variation, Euler-Lagrange cohomology and symplectic, multisymplectic structures 会议论文
BEIJING, PEOPLES R CHINA, MAY 21-25, 2001
作者:  Guo, HY;  Wu, K
收藏  |  浏览/下载：0/0  |  提交时间：2019/07/24

©版权所有 ©2017 CSpace - Powered by CSpace