CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Definition and formula of substance content change in marine bay and the application 会议论文
作者:  Yang, Dongfang;  Yang, Danfeng;  Wang, Fengyou;  Zhu, Sixi;  Yang, Xiuqin
收藏  |  浏览/下载：7/0  |  提交时间：2018/12/07
Definition and formula of substance content change in marine bay and the application 会议论文
作者:  Yang, Dongfang;  Yang, Danfeng;  Wang, Fengyou;  Zhu, Sixi;  Yang, Xiuqin
收藏  |  浏览/下载：4/0  |  提交时间：2019/08/19
Maximally dense random packings of intersecting spherocylinders with central symmetry 会议论文
Meng, Lingyi; Li, Shuixiang; Yao, Xiaohu
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
QBF encoding of temporal properties and QBF-based verification 会议论文
7th International Joint Conference on Automated Reasoning, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19, 2014 - July 22, 2014
Zhang, Wenhui (1)
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
Optimal Control of Logical Control Network with Noisy Inputs 会议论文
Yang, Meng; Chu, Tianguang
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
MQL: A mathematical formula query language for mathematical search 会议论文
14th IEEE Int. Conf. on Computational Science and Engineering, CSE 2011, the 11th International Symposium on Pervasive Systems, Algorithms, and Networks, I-SPAN 2011, and the 10th IEEE Int. Conf. on Ubiquitous Computing and Communications, IUCC 2011, Dalian, Liaoning, China, August 24, 2011 - August 26, 2011
作者:  Guo, Wei;  Su, Wei;  Li, Lian;  An, Ning;  Cui, Linwei
收藏  |  浏览/下载：2/0  |  提交时间：2017/01/18
Delay-dependent criteria for robust stability of singularly perturbed systems with delays 会议论文
作者:  Liu, Li-Li;  Peng, Ji-Gen;  Wu, Bao-Wei
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/18
An improved fuzzy neural network and its application in machine fault diagnosis 会议论文
作者:  Deng, Lin-Feng;  Zhao, Rong-Zhen
收藏  |  浏览/下载：2/0  |  提交时间：2020/11/15
On-line computational scheme for dynamic walking of anthropomorphic biped robots 会议论文
4th World Congress on Intelligent Control and Automation, Shanghai, China, June 10-14, 2002
作者:  Tan GZ(谭冠政);  Liang F(梁丰);  Wang YC(王越超)
收藏  |  浏览/下载：14/0  |  提交时间：2012/07/26
Some Conclusions about alpha-times Integrated C Semigroups (CPCI-S收录) 会议论文
2010 THE 3RD INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND INDUSTRIAL APPLICATION (PACIIA2010), VOL I
作者:  Liu, Chunjing[1];  Song, Xiaoqiu[1];  Wang, Tao[2]
收藏  |  浏览/下载：0/0  |  提交时间：2019/04/16

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