机构

• 大连化学物理研究所 [17]
• 软件研究所 [3]
• 动物研究所 [2]
• 兰州化学物理研究所 [2]

采集方式

• OAI收割 [24]

内容类型

• 期刊论文 [23]
• 学位论文 [1]

发表日期

• 2018 [1]
• 2017 [1]
• 2010 [1]
• 2009 [2]
• 1997 [1]
• 1995 [1]
• 更多

学科主题

• Computer S... [1]
• 物理化学 [1]
• 物理化学与绿色催化 [1]

筛选

浏览/检索结果: 共24条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 METTL3-mediated m6A modification is required for cerebellar development 期刊论文  OAI收割 PLOS BIOLOGY, 2018, 卷号: 16, 期号: 4, 页码: e2004880 作者:  Wang CX(王晨鑫);  Cui GS(崔冠深);  Liu XY(刘修营);  Xu K(许凯);  Wang M(王猛)   |  收藏  |  浏览/下载：45/0  |  提交时间：2019/10/14 Generation of Mouse Haploid Somatic Cells by Small Molecules for Genome-Wide Genetic Screening 期刊论文  OAI收割 Cell Reports, 2017, 卷号: 20, 期号: 9, 页码: 2227-2237 作者:  He ZQ(何正泉);  Xia BL(夏宝龙);  Wang YK(王昱凯);  Li J(李静);  Feng GH(冯桂海)   |  收藏  |  浏览/下载：15/0  |  提交时间：2018/07/09 对时间自动机进行空性检测的过程和改进 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯 收藏  |  浏览/下载：21/0  |  提交时间：2011/05/23 时间自动机  模型检测  符号化方法  抽象方法  空性检测  LTL性质timed automata  model checking  symbolic method  abstraction  emptiness checking  LTL   时间自动机关于LTL性质的符号化模型检测工具及其改进 学位论文  OAI收割 硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009 魏绪凯   |  收藏  |  浏览/下载：22/0  |  提交时间：2009/06/14 时间自动机的LTL性质模型检测研究 期刊论文  OAI收割 计算机仿真, 2009, 卷号: 26, 期号: 5 彭云全; 魏绪凯; 李广元   |  收藏  |  浏览/下载：8/0  |  提交时间：2010/08/26 时间自动机  模型检测  线性时序逻辑性质  二叉决策图共享存储   ch3ab在清洁及预吸附氧pd100表面的热脱附性能 期刊论文  OAI收割 分子催化, 1997, 卷号: 11, 期号: 1, 页码: 21 作者:  魏绪明;  王德峥;  吴凯;  沈师孔;  曲昭君   |  收藏  |  浏览/下载：9/0  |  提交时间：2019/12/02 乙烯在规整表面合金pd{001}C(2×2)Mn上的氧化 OXIDATION OF ETHYLENE ON THE ORDERED ALLOYSURFACE pd{001}(2×2)Mn 期刊论文  OAI收割 Surface Science No. 388; PP. 6976; 1995, 1995, 页码: - 吴凯 魏绪明 吴思成 王德峥 收藏  |  浏览/下载：13/0  |  提交时间：2010/11/30 甲醇在清洁和氧预吸咐Pd(100)面上的吸咐与分解 期刊论文  OAI收割 分子催化, 1994, 卷号: 8, 期号: 1, 页码: 1-7 苏彩丽; 曲昭君; 丁雪加; 沈师孔; 魏绪明; 吴凯; 曹玉明; 王德峥 收藏  |  浏览/下载：42/0  |  提交时间：2014/11/14 高分辨电子能量损失谱(HREELS)  热脱附谱(TDS)  CH3OH的吸附与分解  Pd(100)  High Resolution Eletron Energy Loss Spectroscopy (HREELS)  Thermal Desorption Spectroscopy (TDS)  Adsorption decomposition of methanol   多晶铑表面上碳氧共存体系的研究 期刊论文  OAI收割 分子催化 Vol.8 No.6 1994, 1994, 页码: - 魏绪明 吴凯 曹玉明 收藏  |  浏览/下载：14/0  |  提交时间：2010/11/30 超高真空条件下CL改性Ag(III)的氧化及乙烯在氧化的表面上的吸附 OXIDATION OF CL-MODIFIED Ag(II ) UNDER UHV CONDITIONS AND ETHYLESE ADSO RPTION ON THE OXIDIZED SURFACE 期刊论文  OAI收割 Catalysis Letters 26(1994), 1994, 页码: - 吴凯 魏绪明 曹玉明 王德峥 郭燮贤 收藏  |  浏览/下载：27/0  |  提交时间：2010/11/30