QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 发表日期：2019     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Protective effect of gastrodin against methamphetamine-induced autophagy in human dopaminergic neuroblastoma SH-SY5Y cells via the AKT/mTOR signaling pathway. 期刊论文 Neuroscience letters, 2019, 卷号: 707 作者:  Yang Genmeng;  Zeng Xiaofeng;  Li Juan;  Leung Chi-Kwan;  Zhang Dongxian 收藏  |  浏览/下载：26/0  |  提交时间：2019/12/04 AKT/mTOR  Autophagy  Gastrodin  METH  Methamphetamine  SH-SY5Y cells   Selective Conversion of Syngas to Aromatics over Fe3O4@MnO2 and Hollow HZSM-5 Bifunctional Catalysts 期刊论文 ACS CATALYSIS, 2019, 卷号: 9, 期号: 6 作者:  Xu, Yanfei;  Liu, Jingge;  Wang, Jie;  Ma, Guangyuan;  Lin, Jianghui 收藏  |  浏览/下载：12/0  |  提交时间：2019/12/05 syngas to aromatics  Fe3O4@MnO2  hollow zeolite  stability  Fischer-Tropsch synthesis   Selective Conversion of Syngas to Aromatics over Fe3O4@MnO2 and Hollow HZSM-5 Bifunctional Catalysts 期刊论文 ACS Catalysis, 2019, 卷号: 9, 期号: 6 作者:  Xu, Yanfei;  Liu, Jingge;  Wang, Jie;  Ma, Guangyuan;  Lin, Jianghui 收藏  |  浏览/下载：14/0  |  提交时间：2019/12/05 Refinement-Based Specification and Security Analysis of Separation Kernels 期刊论文 IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2019, 卷号: 16, 页码: 127-141 作者:  Zhao, Yongwang;  Sanan, David;  Zhang, Fuyuan;  Liu, Yang 收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30 Separation kernels  ARINC 653  refinement  formal specification  information-flow security  common criteria  theorem proving   A formally verified buddy memory allocation model 会议论文 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, 2019-11-10 作者:  Jiang, Ke;  Sanan, David;  Zhao, Yongwang;  Kan, Shuanglong;  Liu, Yang 收藏  |  浏览/下载：9/0  |  提交时间：2019/12/30