KMS

浏览/检索结果: 共5条,第1-5条 帮助

已选(0)清除 条数/页:   排序方式:
RefSCAT: Formal Verification of Logic-Optimized Multipliers via Automated Reference Multiplier Generation and SCA-SAT Synergy 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: PP, 期号: 99, 页码: 1-1
作者:  Rui Li;  Lin Li;  Heng Yu;  Masahiro Fujita;  Weixiong Jiang
Adobe PDF(6854Kb)  |  收藏  |  浏览/下载:331/10  |  提交时间:2024/08/26
Development and validation of machine learning-based transient identification models in a liquid-fueled molten salt reactor system 期刊论文
NUCLEAR ENGINEERING AND DESIGN, 2023, 卷号: 415
作者:  Zhou, Tianze;  Yu, Kaicheng;  Cheng, Maosong;  Li, Rui;  Dai, Zhimin
Adobe PDF(6279Kb)  |  收藏  |  浏览/下载:258/0  |  提交时间:2023/10/27
Verifiable Homomorphic Secret Sharing for Machine Learning Classifiers 期刊论文
IEEE ACCESS, 2023, 卷号: 11, 页码: 43639-43647
作者:  Xin Chen
Adobe PDF(1068Kb)  |  收藏  |  浏览/下载:270/0  |  提交时间:2023/06/02
Decision Fusion Networks for Image Classification 期刊论文
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2022, 卷号: PP, 期号: 99
作者:  Keke Tang;  Yuexin Ma;  Dingruibo Miao;  Peng Song;  Zhaoquan Gu
Adobe PDF(4692Kb)  |  收藏  |  浏览/下载:257/0  |  提交时间:2022/09/13
Understanding the structure-performance relationship of cubic In2O3catalysts for CO2hydrogenation 期刊论文
JOURNAL OF CO2 UTILIZATION, 2021, 卷号: 49
作者:  Qin, Bin;  Zhou, Zhimin;  Li, Shenggang;  Gao, Peng
Adobe PDF(1983Kb)  |  收藏  |  浏览/下载:269/1  |  提交时间:2021/12/03
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页