机构

• 软件研究所 [12]
• 遥感与数字地球研究所 [2]
• 大连化学物理研究所 [1]

采集方式

• OAI收割 [15]

内容类型

• 会议论文 [13]
• 期刊论文 [2]

发表日期

• 2016 [1]
• 2013 [1]
• 2012 [2]
• 2011 [2]
• 2010 [4]
• 2008 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共15条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Establishing new mechanisms with triplet and singlet excited-state hydrogen bonding roles in photoinduced liquid dynamics 期刊论文  OAI收割 INTERNATIONAL REVIEWS IN PHYSICAL CHEMISTRY, 2016, 卷号: 35, 期号: 2, 页码: 187-208 作者:  Chu, Tian-shu;  Liu, Bai-tong   |  收藏  |   geometric quantifier elimination heuristics for automatically generating octagonal and max-plus invariants 期刊论文  OAI收割 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 卷号: 7788, 页码: 189-228 Kapur Deepak; Zhang Zhihai; Horbach Matthias; Zhao Hengjun; Lu Qi; Nguyen ThanhVu   |  收藏  |   attacking the dimensionality problem of parameterized systems via bounded reachability graphs 会议论文  OAI收割 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, April 20, 2011 - April 22, 2011 Yang Qiusong; Zhang Bei; Zhai Jian; Li Mingshu   |  收藏  |   ciphertext policy attribute-based encryption from lattices: extended abstract 会议论文  OAI收割 7th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2012, Seoul, Korea, Republic of, May 2, 2012 - May 4, 2012 Zhang Jiang; Zhang Zhenfeng; Ge Aijun   |  收藏  |   a multi-compositional enforcement on information flow security 会议论文  OAI收割 13th International Conference on Information and Communications Security, ICICS 2011, Beijing, China, November 2 Sun Cong; Zhai Ennan; Chen Zhong; Ma Jianfeng   |  收藏  |   efficiently retrieving longest common route patterns of moving objects by summarizing turning regions 会议论文  OAI收割 15th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2011, Shenzhen, China, 24-May-20 Huang Guangyan; Zhang Yanchun; He Jing; Ding Zhiming   |  收藏  |   some improvements on model checking coreasm models of security protocols 会议论文  OAI收割 2nd International Symposium on Data, Privacy and E-Commerce, ISDPE 2010, Buffalo, NY, United states, September Zhao Zhenju; Liu Feng; Peng Jianhua; Huang Danqing; Xue Rui; Zhang Zhenfeng   |  收藏  |   asm-spv: a model checker for security protocols 会议论文  OAI收割 6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831 Peng Jianhua; Liu Feng; Zhao Zhenju; Huang Danqing; Xue Rui   |  收藏  |   formal verification of hmqv using asm-spv 会议论文  OAI收割 6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831 Huang Danqing; Xue Rui; Liu Feng; Peng Jianhua; Zhao Zhenju; Ji Dongyao   |  收藏  |   DAG-extended deletion algorithm in Graphical Abstract Grid Workflow Model for remote sensing quantitative retrieval 会议论文  OAI收割 2010 2nd International Conference on Education Technology and Computer, ICETC 2010,, Shanghai, China, June 22, 2010 - June 24,2010 Liu, Fang; Wang, Zhiyong 收藏  |