机构

• 软件研究所 [3]
• 上海硅酸盐研究所 [3]
• 合肥物质科学研究院 [1]

采集方式

• OAI收割 [7]

内容类型

• 期刊论文 [6]
• 会议论文 [1]

发表日期

• 2019 [2]
• 2018 [1]
• 2016 [1]
• 2013 [1]
• 2012 [1]
• 2009 [1]
• 更多

学科主题

• Computer S... [1]
• Materials ... [1]
• Nanoscienc... [1]

筛选

浏览/检索结果: 共7条，第1-7条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Radiation-assisted metal ion interference tumor therapy by barium peroxide-based nanoparticles Electronic supplementary information (ESI) available. See DOI: 10.1039/c8mh01554f 期刊论文  OAI收割 MATERIALS HORIZONS, 2019, 卷号: 6, 期号: 5, 页码: 1034 作者:  Zhang, Meng;  Shen, Bo;  Song, Ruixue;  Wang, Han;  Lv, Bin   |  收藏  |  浏览/下载：77/0  |  提交时间：2019/12/26 Coordination derived stable Ni-Co MOFs for foldable all-solid-state supercapacitors with high specific energy 期刊论文  OAI收割 JOURNAL OF MATERIALS CHEMISTRY A, 2019, 卷号: 7, 期号: 9, 页码: 4998-5008 作者:  Ye, Changjing;  Qin, Qingqing;  Liu, Jiaqin;  Mao, Wenping;  Yan, Jian   |  收藏  |  浏览/下载：45/0  |  提交时间：2020/07/14 Photoelectron Transfer at ZnTPyP Self-Assembly/TiO2 Interfaces for Enhanced Two-Photon Photodynamic Therapy 期刊论文  OAI收割 ACS APPLIED MATERIALS & INTERFACES, 2018, 卷号: 10, 期号: 2, 页码: 1492, 1498 作者:  Liu, Yanyan;  Meng, Xianfu;  Wang, Han;  Tang, Zhongmin;  Zuo, Changjing   |  收藏  |  浏览/下载：60/0  |  提交时间：2018/12/28 ZSN photosemiconductor  amorphous TiO2 core/shell nanocrystal  two-photon  type-1 PDT   Upconversion nano-photosensitizer targeting into mitochondria for cancer apoptosis induction and cyt c fluorescence monitoring 期刊论文  OAI收割 NANO RESEARCH, 2016, 卷号: 9, 期号: 11, 页码: 3257-3266 作者:  Liu, Yanyan;  Zhang, Jiawen;  Zuo, Changjing;  Zhang, Zhen;  Ni, Dalong 收藏  |  浏览/下载：34/0  |  提交时间：2017/02/24 mitochondrial reactive oxygen species (mitoROS)  upconversion-based photodynamic therapy (PDT)  cytochrome c (cyt c)  mitochondrial apoptosis   Radl 形式规格说明相对正确性研究 期刊论文  OAI收割 Journal of Software, 2013, 卷号: 24, 期号: 4 Wang Changjing; Xue Jinyun   |  收藏  |  浏览/下载：23/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   automatically generated formal specification based on the problem decomposition tree 期刊论文  OAI收割 Qinghua Daxue Xuebao/Journal of Tsinghua University, 2012, 卷号: 52, 期号: SUPPL.1, 页码: 88-92 Wang Changjing   |  收藏  |  浏览/下载：21/0  |  提交时间：2013/09/17 Forestry  Knowledge based systems   formal derivation of a high-trustworthy generic algorithmic program for solving a class of path problems 会议论文  OAI收割 3rd International Frontiers of Algorithmics Workshop, FAW 2009, Hefei, China, 37427 Wang Changjing; Xue Jinyun   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/03/20 Algorithms  Computer software