中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 121-130 of 924)

Items/Page:    Sort:
GLOBAL REGULARITY AND MULTISCALE APPROACH FOR THERMAL RADIATION HEAT TRANSFER [期刊论文]
MULTISCALE MODELING & SIMULATION, 2014-01-01, 卷号: 12, 期号: 2, 页码: 694-724
Huang, Jizu; Cao, Liqun

 
A Generic Implementation Framework for Measuring Ontology-Based Information [期刊论文]
International Journal of Computational Intelligence Systems, 2014-01-01, 卷号: 7, 期号: 1, 页码: 136-146
Ma, Yinglong (1); Zhang, Xiaolan (1); Jin, Beihong (2); Lu, Ke (3)

 
A Tangible Programming Tool for Children to Cultivate Computational Thinking [期刊论文]
SCIENTIFIC WORLD JOURNAL, 2014-01-01
Wang, Danli; Wang, Tingting; Liu, Zhen

 
Constant-round zero-knowledge proofs of knowledge with strict polynomial-time extractors for NP [期刊论文]
Science China Information Sciences, 2014-01-01, 卷号: 57, 期号: 1, 页码: 1-14
Li, HongDa (1); Feng, DengGuo (2)

 
PRE: Stronger security notions and efficient construction with non-interactive opening [期刊论文]
Theoretical Computer Science, 2014-01-01, 卷号: 542, 页码: 1-16
Zhang, Jiang (1); Zhang, Zhenfeng (1); Chen, Yu (3)

 
An Investigation Into the Relationship Between Texture and Human Performance in Steering and Gesture Input Tasks [期刊论文]
International Journal of Human-Computer Interaction, 2014-01-01, 卷号: 30, 期号: 8, 页码: 654-662
Sun, Minghui (1); Ren, Xiangshi (1); Tu, Huawei (1); Tian, Feng (4)

 
FLP answer set semantics without circular justifications for general logic programs [期刊论文]
Artificial Intelligence, 2014-01-01, 卷号: 213, 页码: 1-41
Shen, Yi-Dong (1); Wang, Kewen (2); Eiter, Thomas (3); Fink, Michael (3); Redl, Christoph (3); Krennwallner, Thomas (3); Deng, Jun (1)

 
Adaptive algorithm for automated polygonal approximation of high spatial resolution remote sensing imagery segmentation contours [期刊论文]
IEEE Transactions on Geoscience and Remote Sensing, 2014-01-01, 卷号: 52, 期号: 2, 页码: 1099-1106
Liu, Jianhua (1); Zhang, Jinfang (3); Xu, Fangjiang (3); Huang, Zhijian (3); Li, Yaping (3)

 
The typical Turing degree [期刊论文]
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2014-01-01, 卷号: 109, 页码: 1-39
Barmpalias, George; Day, Adam R.; Lewis-Pye, Andy E. M.

 
Formal analysis of TPM2.0 key management APIs [期刊论文]
CHINESE SCIENCE BULLETIN, 2014-01-01, 卷号: 59, 期号: 32, 页码: 4210-4224
Zhang, Qianying; Zhao, Shijun; Qin, Yu; Feng, Dengguo

 

previous 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace