CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Synthesis of ranking functions via DNN 期刊论文
NEURAL COMPUTING & APPLICATIONS, 2021, 页码: 21
作者:  Tan, Wang;  Li, Yi
收藏  |  浏览/下载：14/0  |  提交时间：2021/04/06
On ranking functions for single-path linear-constraint loops 期刊论文
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 页码: 12
作者:  
收藏  |  浏览/下载：2/0  |  提交时间：2020/08/24
Tracking control of piezoelectric actuators using a polynomial-based hysteresis model (EI收录) 期刊论文
AIP Advances, 2016, 卷号: 6
作者:  Gan, Jinqiang[1];  Zhang, Xianmin[1];  Wu, Heng[1]
收藏  |  浏览/下载：4/0  |  提交时间：2019/04/24
Termination analysis of multipath loop programs with one variable 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2015, 卷号: 26, 期号: 2, 页码: 297-304
作者:  Li, Yi;  Li, Chuan-Can;  Wu, Wen-Yuan
收藏  |  浏览/下载：10/0  |  提交时间：2018/03/16
An adaptive ANOVA-based PCKF for high-dimensional nonlinear inverse modeling 期刊论文
计算物理学杂志, 2014
Li, Weixuan; Lin, Guang; Zhang, Dongxiao
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/11
On invariant checking 其他
2013-01-01
Zhang Zhihai; Kapur, Deepak
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/10
Symbolic termination analysis of solvable loops 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2013, 卷号: 50, 页码: 28-49
Xu, Ming; Li, Zhi-Bin
收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16
The suspended sediment dynamics in the Inner-Mongolia reaches of the upper Yellow River 期刊论文
CATENA, 2013, 卷号: 109, 页码: 72-82
Fan, XiaoLi(范小黎); Shi, CX; Shao, WW; Zhou, YY
收藏  |  浏览/下载：19/0  |  提交时间：2013/10/18
The suspended sediment dynamics in the Inner-Mongolia reaches of the upper Yellow River SCI/SSCI论文
2013
Fan X. L.; Shi C. X.; Shao W. W.; Zhou Y. Y.
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/24
Counting representations of valued quivers over finite fields 期刊论文
2010, 2010
Wang, Yanxin
收藏  |  浏览/下载：3/0

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