|
已选(0)清除
条数/页： 排序方式：
|
| Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant 期刊论文
2016, 2016
Hui Kong; Fei He; Xiaoyu Song; Ming Gu; Hongyan Tan; Jiaguang Sun; Hui Kong; Fei He; Xiaoyu Song; Ming Gu; Hongyan Tan; Jiaguang Sun
  收藏 | 浏览/下载：4/0 |
| 可组合嵌入式软件建模与验证技术研究综述 期刊论文
2016, 2016
王博; 白晓颖; 贺飞; Xiaoyu SONG; WANG Bo; BAI Xiao-Ying; HE Fei; Xiaoyu SONG
收藏 | 浏览/下载：5/0 |
| Integral invariants for robust geometry processing 期刊论文
2010, 2010
Pottmann, Helmut; Wallner, Johannes; Huang, Qi-Xing; Yang, Yong-Liang
收藏 | 浏览/下载：7/0 |
| Calculation of characteristic invariant manifolds on the boundary of transient stability region in power systems 期刊论文
2010, 2010
Liu Hui; Min Yong; Zhang Yi-wei; Wang Kai-peng; Chen Lei; Hou Kai-yuan
收藏 | 浏览/下载：7/0 |
| THE MOBIUS CHARACTERIZATIONS OF WILLMORE TORI AND VERONESE SUBMANIFOLDS IN THE UNIT SPHERE 期刊论文
2010, 2010
Guo, Zhen; Li, Haizhong; Wang, Changping
收藏 | 浏览/下载：6/0 |
| Hamiltonian structures and their reciprocal transformations for the r-KdV-CH hierarchy 期刊论文
2010, 2010
Chen, Ming; Liu, Si-Qi; Zhang, Youjin
收藏 | 浏览/下载：6/0 |
| A mathematical theory of the topological vertex 期刊论文
2010, 2010
Li, Jun; Liu, Chiu-Chu Melissa; Liu, Kefeng; Zhou, Jian
收藏 | 浏览/下载：5/0 | 提交时间：2017/06/15
|
| 基于积分不变量的三维模型编辑传播 会议论文
第18届全国多媒体学术会议（NCMT2009）、第5届全国人机交互学术会议（CHCI2009）、第5届全国普适计算学术会议（PCC2009）论文集, 第18届全国多媒体学术会议（NCMT2009）、第5届全国人机交互学术会议（CHCI2009）、第5届全国普适计算学术会议（PCC2009）, 中国陕西西安, CNKI, 中国图像图形学会多媒体委员会、中国计算机学会多媒体专业委员会、中国计算机学会普适计算委员会、ACM人机交互学会中国分会
杜松沛; Songpei Du
收藏 | 浏览/下载：3/0 |
| 基于微面有效应力矢量的各向异性屈服准则 期刊论文
2010, 2010
陈新; 杨强; Chen Xin; Yang Qiang
收藏 | 浏览/下载：7/0 |
| 基于目标匹配的遥感图像变化检测方法 期刊论文
2010, 2010
苏娟; 林行刚; 刘代志; SU Juan; LIN Xinggang; LIU Daizhi
收藏 | 浏览/下载：1/0 |
