QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 The Nonmonotonic Gentzen Deduction System for Reverse Sequents 会议论文 International Conference on Computer Science and Information Security (CSIS), Nanjing, PEOPLES R CHINA 作者:  Li, Wei;  Sui, Yue-Fei;  Wang, Yu-Hui 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30 Nonmonotonicity  The Gentzen-type deduction system  Valid formulas  Soundness  Completeness   The Nonmonotonic Gentzen Deduction System for Reverse Sequents 会议论文 2016 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SECURITY (CSIS 2016), 2016-01-01 作者:  Li, Wei;  Sui, Yue-Fei;  Wang, Yu-Hui 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 Nonmonotonicity  The Gentzen-type deduction system  Valid formulas  Soundness  Completeness   Local Convertibility and the Quantum Simulation of Edge States in Many-Body Systems 期刊论文 Physical Review X, 2014, 卷号: 4, 期号: 4 Franchini, F; Cui, J; Amico, L; Fan, H; Gu, M; Korepin, V; Kwek, LC; Vedral, V 收藏  |  浏览/下载：24/0  |  提交时间：2015/04/14 Photocarrier radiometric and ellipsometric characterization of ion-implanted silicon wafers 期刊论文 JOURNAL OF APPLIED PHYSICS, 2008, 卷号: 103, 期号: 12 作者:  Liu, Xianming;  Li, Bincheng;  Zhang, Xiren 收藏  |  浏览/下载：9/0  |  提交时间：2015/09/21 A nonmonotonic dependence of standard rate constant on reorganization energy for heterogeneous electron transfer processes on electrode surface 期刊论文 journal of chemical physics, 2006, 卷号: 124, 期号: 17, 页码: 文献编号：174706 Xu WL; Li ST; Zhou XC; Xing W; Huang MY; Lu TH; Liu CP 收藏  |  浏览/下载：14/0  |  提交时间：2010/08/17 LIQUID/LIQUID INTERFACE  LIQUID INTERFACES  INVERTED REGION  CHARGE-TRANSFER  MARCUS THEORY  OUTER-SPHERE  OXIDATION  SOLVENT  TRANSITIONS  MONOLAYER   Alternate step gradient method 期刊论文 OPTIMIZATION, 2003, 卷号: 52, 期号: 4-5, 页码: 395-415 作者:  Dai, YH 收藏  |  浏览/下载：11/0  |  提交时间：2018/07/30 linear system  unconstrained optimizations  gradient method  convergence rate  nonmonotone line search