机构

• 软件研究所 [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   |  收藏  |  浏览/下载：25/0  |  提交时间：2019/06/20 Excited-state Hydrogen Bonding  Photosensitized Synthesis  Fluorescence Emission  Hydrogen-atom Abstracting Reaction  Rotational Reorientation  Excited-state Proton Transfer Coupled With Twisted Intramolecular Charge Transfer   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   |  收藏  |  浏览/下载：26/0  |  提交时间：2013/09/17 Abstracting   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   |  收藏  |  浏览/下载：20/0  |  提交时间：2013/09/22 Abstracting  Parameterization   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   |  收藏  |  浏览/下载：12/0  |  提交时间：2013/09/22 Abstracting  Security of data   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   |  收藏  |  浏览/下载：19/0  |  提交时间：2013/10/08 Abstracting  Flow control  Public policy  Static analysis   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   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/10/10 Abstracting  Algorithms  Fading (radio)  Mining  Trajectories   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   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/03/31 Abstracting  Computation theory  Contour followers  Data privacy  Electronic commerce  Model checking  Network protocols  Trees (mathematics)   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   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/03/31 Abstracting  Computation theory  Contour followers  Formal methods  Model checking  Multimedia signal processing  Network protocols  Signal processing   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   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/03/31 Abstracting  Contour followers  Model checking  Multimedia signal processing  Network protocols  Signal processing   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 收藏  |  浏览/下载：34/0  |  提交时间：2014/12/07 Algorithms  Abstracting  Management  Remote sensing