CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Robust Adaptive Tracking Control for Hypersonic Vehicle Based on Interval Type-2 Fuzzy Logic System and Small-Gain Approach 期刊论文
IEEE TRANSACTIONS ON CYBERNETICS, 2021, 卷号: 51, 期号: 5, 页码: 2504-2517
作者:  Tao, Xinlong;  Yi, Jianqiang;  Pu, Zhiqiang;  Xiong, Tianyi
收藏  |  浏览/下载：48/0  |  提交时间：2021/06/07
Thermodynamics of Majority-Logic Decoding in Information Erasure 期刊论文
ENTROPY, 2019, 卷号: 21, 期号: 3, 页码: —
作者:  Sheng, SQ;  Herpich, T;  Diana, G;  Esposito, M
收藏  |  浏览/下载：23/0  |  提交时间：2019/12/30
Coherent trees that are not Countryman 期刊论文
ARCHIVE FOR MATHEMATICAL LOGIC, 2017, 卷号: 56, 期号: 3-4, 页码: 237-251
作者:  Peng, Yinhe
收藏  |  浏览/下载：10/0  |  提交时间：2018/07/30
基于模糊逻辑的自动平行泊车控制方法 期刊论文
2016, 2016
张放; 党睿娜; 李克强; Zhang Fang; Dang Ruina; Li Keqiang
收藏  |  浏览/下载：6/0
Completeness of Hoare logic with inputs over the standard model 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
作者:  Xu, Zhaowei;  Sui, Yuefei;  Zhang, Wenhui
收藏  |  浏览/下载：20/0  |  提交时间：2019/12/13
A Low-Power Calibration-Free Fractional-N Digital PLL with High Linear Phase Interpolator 其他
2016-01-01
Yang, Fan; Guo, Hangyan; Wang, Runhua; Zhang, Zherui; Liu, Junhua; Liao, Huailin
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Completeness of Hoare logic with inputs over the standard model 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
Xu, ZW; Sui, YF; Zhang, WH
收藏  |  浏览/下载：14/0  |  提交时间：2016/12/13
NON-CLAUSAL alpha-MINIMAL GENERALIZED RESOLUTION PRINCIPLE FOR LATTICE-VALUED PROPOSITIONAL LOGIC 会议论文
12th International Conference on Fuzzy Logic and Intelligent Technologies in Nuclear Science (FLINS)
作者:  Jia, Hairui[1];  Du, Limin[2];  Xu, Yang[3]
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/23
Symmetric Structure in Logic Programming 期刊论文
2015, 2015
Jin-Zhao Wu; Harald Fecher
收藏  |  浏览/下载：2/0  |  提交时间：2017/06/19
A tractable approach to ABox abduction over description logic ontologies 会议论文
28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014
Du, Jianfeng (1); Wang, Kewen (2); Shen, Yi-Dong (3)
收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16

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