中文版 | English

在结果中检索

KMS

浏览/检索结果: 共14条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
中国光子大科学装置的发展 期刊论文
自然杂志, 2024, 卷号: 46, 期号: 03, 页码: 161-172
作者:  刘志;  万唯实;  王东
Adobe PDF(2625Kb)  |  收藏  |  浏览/下载：331/3  |  提交时间：2024/08/09
Dynamic topological domain walls driven by lithium intercalation in graphene 期刊论文
NATURE NANOTECHNOLOGY, 2023, 卷号: 18, 期号: 10, 页码: 1154-1161
作者:  Endo, Yukihiro;  Yan, Xue;  Li, Meng;  Akiyama, Ryota;  Brandl, Christian
Adobe PDF(3877Kb)  |  收藏  |  浏览/下载：332/0  |  提交时间：2024/01/19
Design of a Miniaturized Electron Cyclotron Resonance Ion Source for High-Voltage Proton Accelerator 期刊论文
APPLIED SCIENCES-BASEL, 2023, 卷号: 13, 期号: 15
作者:  Yu, Hua-Fei;  He, Zi-Feng;  Zhao, Ming-Hua;  Wan, Wei-Shi;  Liu, Huan-Ling
Adobe PDF(9203Kb)  |  收藏  |  浏览/下载：1892/1079  |  提交时间：2023/08/28
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks 预印本
2023
作者:  Tao, Ye;  Liu, Wanwei;  Song, Fu;  Liang, Zhen;  Wang, Ji
Adobe PDF(733Kb)  |  收藏  |  浏览/下载：363/0  |  提交时间：2024/06/03
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks 会议论文
LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), Singapore, Singapore, October 24, 2023 - October 27, 2023
作者:  Tao, Ye;  Liu, Wanwei;  Song, Fu;  Liang, Zhen;  Wang, Ji
Adobe PDF(733Kb)  |  收藏  |  浏览/下载：428/122  |  提交时间：2023/11/24
PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation 会议论文
THE 34TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, Haifa, Israel, August 7, 2022 - August 10, 2022
作者:  Fan, Yuxin;  Song, Fu;  Chen, Taolue;  Zhang, Liangfeng;  Liu, Wanwei
Adobe PDF(547Kb)  |  收藏  |  浏览/下载：687/121  |  提交时间：2022/09/02
人工智能系统的形式化验证技术研究进展与趋势 科技报告
报告类型: 进展报告, , 2020
作者:  卜磊;  陈立前;  董云卫;  黄小炜;  李建霖
收藏  |  浏览/下载：616/0  |  提交时间：2020/12/14
Coverage-driven phase transition of copper silicide monolayer on Si (111) 期刊论文
ULTRAMICROSCOPY, 2019, 卷号: 200, 页码: 39-42
作者:  Zhu, Lin;  Wei, Zheng;  Shi, Guodong;  Shang, Bo;  Li, Meng
Adobe PDF(928Kb)  |  收藏  |  浏览/下载：719/5  |  提交时间：2019/06/04
Imaging nanoscale spatial modulation of a relativistic electron beam with a MeV ultrafast electron microscope 期刊论文
APPLIED PHYSICS LETTERS, 2018, 卷号: 112, 期号: 11
作者:  
Adobe PDF(3335Kb)  |  收藏  |  浏览/下载：1340/368  |  提交时间：2018/04/11
2017-2018中国计算机科学技术发展报告: 形式化方法的研究进展与趋势 科技报告
报告类型: 进展报告, , 2018
作者:  卜磊;  陈立前;  陈哲;  陈振邦;  冯新宇
Adobe PDF(6534Kb)  |  收藏  |  浏览/下载：9375/13  |  提交时间：2018/12/24
  • 首页
  • 上一页
  • 1
  • 2
  • 下一页
  • 末页