机构

• 软件研究所 [3]
• 高能物理研究所 [2]
• 近代物理研究所 [2]
• 上海应用物理研究所 [1]

采集方式

• OAI收割 [8]

内容类型

• 期刊论文 [5]
• 会议论文 [3]

发表日期

• 2017 [2]
• 2005 [2]
• 2002 [3]
• 2000 [1]

学科主题

筛选

浏览/检索结果: 共8条，第1-8条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Direct synthesis of all-inorganic heterostructured CdSe/CdS QDs in aqueous solution for improved photocatalytic hydrogen generation 期刊论文  OAI收割 JOURNAL OF MATERIALS CHEMISTRY A, 2017, 卷号: 5, 期号: 21, 页码: 10365-10373 作者:  Li, XB;  Li, ZJ;  Fan, XB;  Li, JX;  Zhan, F   |  收藏  |  浏览/下载：37/0  |  提交时间：2019/08/27 Self-Assembled Framework Enhances Electronic Communication of Ultrasmall-Sized Nanoparticles for Exceptional Solar Hydrogen Evolution 期刊论文  OAI收割 JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, 2017, 2017, 卷号: 139, 139, 期号: 13, 页码: 4789-4796, 4789-4796 作者:  Li, XB;  Gao, YJ;  Wang, Y;  Zhan, F;  Zhang, XY   |  收藏  |  浏览/下载：27/0  |  提交时间：2019/08/27 deriving non-determinism from conjunction and disjunction 会议论文  OAI收割 25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05, Zhan NJ; Majster-Cederbaum M   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/07/28 non-determinism  synchronization tree logic  mu-calculus  process algebra   compositionality of fixpoint logic with chop 会议论文  OAI收割 2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21, Zhan NJ; Wu JZ   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/28 FLC  compositionality  verification  bisimulation  characteristic formula  basic process algebra   Existence of a proton halo in Al-23 and its significance 期刊论文  OAI收割 PHYSICAL REVIEW C, 2002, 卷号: 65, 期号: 2 Cai, XZ（蔡翔舟）; Zhang, HY; Shen, WQ（沈文庆）; Ren, ZZ; Feng, J; Fang, DQ（方德清）; Zhu, ZY; Jiang, WZ; Ma, YG（马余刚）; Zhong, C（钟晨）; Zhan, WL; Guo, ZY; Xiao, GQ; Wang, JS; Zhu, YT; Wang, JC; Li, JX; Wang, M; Wang, JF; Ning, NJ; Wang, QJ; Chen, ZQ 收藏  |  浏览/下载：19/0  |  提交时间：2012/09/25 Existence of a proton halo in Al-23 and its significance 期刊论文  OAI收割 PHYS REV C, 2002, 卷号: 65, 页码: 024610 作者:  Cai, XZ;  Zhang, HY;  Shen, WQ;  Ren, ZZ;  Feng, J   |  收藏  |  浏览/下载：14/0  |  提交时间：2019/12/13 another formal proof for deadline driven scheduler 会议论文  OAI收割 7th International Conference on Real Time Computing Systems and Applications, CHEJU ISL, SOUTH KOREA, DEC 12-14, Zhan NJ   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/29 duration calculus  deadline driven scheduler  correctness