×
验证码:
换一张
忘记密码?
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
在结果中检索
研究单元&专题
信息科学与技术学院 [4]
物质科学与技术学院 [2]
作者
李圣刚 [1]
哈亚军 [1]
石远明 [1]
戴志敏 [1]
姜伟雄 [1]
陈欣 [1]
更多...
文献类型
期刊论文 [5]
会议论文 [1]
发表日期
2025 [2]
2023 [2]
2022 [1]
2021 [1]
出处
2025 IEEE ... [1]
IEEE ACCES... [1]
IEEE TRANS... [1]
IEEE TRANS... [1]
JOURNAL OF... [1]
NUCLEAR EN... [1]
更多...
语种
英语 [6]
资助项目
National N... [1]
资助机构
收录类别
EI [6]
SCI [2]
SCIE [2]
状态
已发表 [6]
×
知识图谱
KMS
反馈留言
浏览/检索结果:
共6条,第1-6条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
WOS被引频次升序
WOS被引频次降序
题名升序
题名降序
发表日期升序
发表日期降序
作者升序
作者降序
期刊影响因子升序
期刊影响因子降序
Topology-Aware Routing for Federated Learning Over Multi-Layer Satellite Networks
会议论文
2025 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), Milan, Italy, 24-27 March 2025
作者:
Ruanjun Li
;
Jingyang Zhu
;
Yijie Mao
;
Yuanming Shi
;
Ting Wang
Adobe PDF(1192Kb)
|
收藏
|
浏览/下载:20/1
|
提交时间:2025/05/12
Binary trees
Decision trees
Flow graphs
Geodetic satellites
Network theory (graphs)
Satellite communication systems
Solar power satellites
Computing capability
Computing power
Dynamic nature
Global models
Low earth orbit satellites
Multi-layers
Power networks
Routings
Satellite network
Topology aware
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, 2025, 卷号: 44, 期号: 2, 页码: 791-804
作者:
Rui Li
;
Lin Li
;
Heng Yu
;
Masahiro Fujita
;
Weixiong Jiang
Adobe PDF(6854Kb)
|
收藏
|
浏览/下载:333/10
|
提交时间:2024/08/26
Benchmarking
Boolean functions
Constraint satisfaction problems
Integer programming
Multiplying circuits
Program debugging
Reverse engineering
Software design
Trees (mathematics)
Binary decision
Binary decision diagram
Computer algebra
Decision diagram
Logic
Logic-optimized multiplier
Optimisations
Satisfiability
Symbolic computer algebra
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)
|
收藏
|
浏览/下载:261/0
|
提交时间:2023/10/27
Decision trees
Learning systems
Nearest neighbor search
Nuclear energy
Nuclear fuels
Nuclear reactor accidents
Recurrent neural networks
Support vector machines
'current
Engineering applications
Identification modeling
Machine-learning
Nuclear reactor systems
Nuclear safety
Prevention of accidents
Rapid identification
Reactor systems
Transient identification
Verifiable Homomorphic Secret Sharing for Machine Learning Classifiers
期刊论文
IEEE ACCESS, 2023, 卷号: 11, 页码: 43639-43647
作者:
Xin Chen
Adobe PDF(1068Kb)
|
收藏
|
浏览/下载:273/0
|
提交时间:2023/06/02
Artificial intelligence
Classification (of information)
Cloud computing
Cryptography
Decision trees
Learning systems
Polynomials
Classification results
Cloud-computing
Computational modelling
Homomorphic secret sharing
Learning classifiers
Machine-learning
Multiservers
Partial results
Public keys
Secret sharing schemes
Decision Fusion Networks for Image Classification
期刊论文
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2022
作者:
Keke Tang
;
Yuexin Ma
;
Dingruibo Miao
;
Peng Song
;
Zhaoquan Gu
Adobe PDF(4692Kb)
|
收藏
|
浏览/下载:260/0
|
提交时间:2022/09/13
Decision trees
Training
Routing
Image recognition
Feature extraction
Semantics
Kernel
Image classification
image recognition
network architecture
neural networks
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)
|
收藏
|
浏览/下载:273/1
|
提交时间:2021/12/03
Activation energy
Carboxylation
Catalyst activity
Catalyst selectivity
Coordination reactions
Data Science
Decision trees
Density functional theory
Hydrogenation
Indium compounds
Methanol
Oxygen vacancies
Reaction intermediates
Activation barriers
CO formation
Data science analyse
Density
functional
theory
Indium oxide catalyst
Methanol synthesis
Rate determining step
Structure performance
Vacancy sites
]+ catalyst
Carbon dioxide
Indium oxide catalysts
Data science analysis
首页
上一页
1
下一页
末页