CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Reachability in Fuzzy Game Graphs 期刊论文
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2017
Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Li, Dechao
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
Nondeterministic fuzzy automata with membership values in complete residuated lattices 期刊论文
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017
Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Li, Ping
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Human-induced greening of the northern extratropical land surface 期刊论文
NATURE CLIMATE CHANGE, 2016
Mao, Jiafu; Ribes, Aurelien; Yan, Binyan; Shi, Xiaoying; Thornton, Peter E.; Seferian, Roland; Ciais, Philippe; Myneni, Ranga B.; Douville, Herve; Piao, Shilong; Zhu, Zaichun; Dickinson, Robert E.; Dai, Yongjiu; Ricciuto, Daniel M.; Jin, Mingzhou; Hoffman, Forrest M.; Wang, Bin; Huang, Mengtian; Lian, Xu
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
Formal representation of 3D structural geological models 期刊论文
COMPUTERS & GEOSCIENCES, 2016
Wang, Zhangang; Qu, Honggang; Wu, Zixing; Yang, Hongjun; Du, Qunle
收藏  |  浏览/下载：42/0  |  提交时间：2017/12/03
Markov Chain Monte Carlo (MCMC) uncertainty analysis for watershed water quality modeling and management 期刊论文
STOCHASTIC ENVIRONMENTAL RESEARCH AND RISK ASSESSMENT, 2016
Zheng, Yi; Han, Feng
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
Model synchronization based on triple graph grammars: correctness, completeness and invertibility 期刊论文
software and systems modeling, 2015
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei; Gottmann, Susann; Engel, Thomas
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/11
Incorporating Context into Web Services Discovery and Composition Process 其他
2015-01-01
Zhang, Zhichao; Li, Weiping; Wang, Wusheng; Wu, Zhonghai
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Formal modeling and verification of complex interactions in E-Government applications 其他
2014-01-01
Sun, Meng; Li, Yi
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Modeling and Analysis of Component Connectors in Coq 其他
2014-01-01
Li, Yi; Sun, Meng
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
Modeling and analysis of component connectors in coq 其他
2014-01-01
Li, Yi; Sun, Meng
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03

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