QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 发表日期：2016     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序提交时间升序提交时间降序题名升序题名降序作者升序作者降序 Completeness of Hoare logic with inputs over the standard model 期刊论文 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28 作者:  Xu, Zhaowei;  Sui, Yuefei;  Zhang, Wenhui 收藏  |  浏览/下载：20/0  |  提交时间：2019/12/13 Hoare logic  Peano arithmetic  The standard model  Computation  Arithmetical definability  Logical completeness   Sterile neutrino Dark Matter production from scalar decay in a thermal bath 期刊论文 JOURNAL OF HIGH ENERGY PHYSICS, 2016, 期号: 5, 页码: 51 作者:  Drewes, M;  Kang, JU 收藏  |  浏览/下载：11/0  |  提交时间：2019/04/08 Beyond Standard Model  3.5 KEV LINE  Cosmology of Theories beyond the SM  FINITE-TEMPERATURE  Neutrino Physics  FIELD-THEORY  Thermal Field Theory  X-RAY  RESONANT LEPTOGENESIS  BARYON ASYMMETRY  GAUGE-THEORIES  CUTTING RULES  OSCILLATIONS  MASSES   Sterile neutrino Dark Matter production from scalar decay in a thermal bath 期刊论文 JOURNAL OF HIGH ENERGY PHYSICS, 2016, 期号: 5, 页码: 51 作者:  Drewes, M (reprint author), Tech Univ Munich, Phys Dept T70, James Franck Str 1, D-85748 Garching, Germany.;  Kang, JU (reprint author), Chinese Acad Sci, Kavli Inst Theoret Phys China, Zhong Guan Cun East St 55,POB 2735, Beijing 100190, Peoples R China.;  Drewes, M;  Kang, JU (reprint author), Abdus Salaam Int Ctr Theoret Phys, Str Costiera 11, I-34151 Trieste, Italy.;  Kang, JU (reprint author), Kim Il Sung Univ, Dept Phys, Taesong Dist, Pyongyang, North Korea. 收藏  |  浏览/下载：17/0  |  提交时间：2017/10/13 Beyond Standard Model  CoSmology Of Theories Beyond The Sm  Neutrino Physics  Thermal Field Theory   Completeness of Hoare logic with inputs over the standard model 期刊论文 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28 Xu, ZW; Sui, YF; Zhang, WH 收藏  |  浏览/下载：14/0  |  提交时间：2016/12/13 Hoare logic  Peano arithmetic  The standard model  Computation  Arithmetical definability  Logical completeness   IPad: ID-based public auditing for the outsourced data in the standard model 期刊论文 CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016, 卷号: 19, 页码: 127-138 作者:  Zhang, Jianhong;  Li, Pengyan;  Mao, Jian 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30 ID-based auditing  Standard security model  The CDH problem  Simulation  Data integrity checking