消息
×
loading..
×
验证码:
换一张
忘记密码?
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
在结果中检索
研究单元&专题
信息科学与技术学院 [16]
物质科学与技术学院 [2]
2060研究院 [2]
生命科学与技术学院 [1]
更多...
作者
周勇 [6]
石远明 [5]
哈亚军 [2]
石野 [2]
杨旸 [1]
Boris Hous... [1]
更多...
文献类型
期刊论文 [11]
会议论文 [9]
发表日期
2025 [2]
2024 [8]
2023 [3]
2022 [2]
2021 [2]
2019 [2]
更多...
出处
IEEE TRANS... [2]
2021 IEEE/... [1]
2022 IEEE ... [1]
2024 IEEE ... [1]
GLOBECOM 2... [1]
ICC 2019 -... [1]
更多...
语种
英语 [20]
资助项目
China Post... [1]
National K... [1]
National N... [1]
STI 2030-M... [1]
Shanghai S... [1]
资助机构
收录类别
EI [18]
SCI [4]
CPCI-S [3]
CPCI [1]
SCIE [1]
×
知识图谱
KMS
反馈留言
浏览/检索结果:
共20条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
WOS被引频次升序
WOS被引频次降序
期刊影响因子升序
期刊影响因子降序
题名升序
题名降序
Optimization of the future hydrogen supply chain for China: A new design of hydrogen storage and transportation
期刊论文
INTERNATIONAL JOURNAL OF HYDROGEN ENERGY, 2025, 卷号: 105, 页码: 701-718
作者:
Yu, Zijian
;
Wu, Xuantao
;
Wei, Baohuan
;
Sun, Yuhan
;
Wang, Hui
Adobe PDF(14475Kb)
|
收藏
|
浏览/下载:128/5
|
提交时间:2025/02/12
Carbon capture and storage
Carbon capture and utilization
Carbon sequestration
Integer linear programming
Integer programming
Linear programming
Mixed-integer linear programming
Carbon emissions
Carbon taxes
CO 2 emission
Dehydrogenation process
Hydrogen Energy
Hydrogen supply chains
Integer Linear Programming
Mixed integer linear
Multi-objectives optimization
Organic liquid
Federated Fine-Tuning for Pre-Trained Foundation Models Over Wireless Networks
期刊论文
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, 2025, 卷号: PP, 期号: 99
作者:
Wang, Zixin
;
Zhou, Yong
;
Shi, Yuanming
Adobe PDF(12364Kb)
|
收藏
|
浏览/下载:75/1
|
提交时间:2025/02/28
Adversarial machine learning
Data privacy
Differential privacy
Edge computing
Frequency allocation
Integer programming
Learning to rank
Network embeddings
Resource allocation
Edge server
Fine tuning
Foundation models
Intelligence services
Learning performance
On-line algorithms
Parameter-efficient fine-tuning
Pre-trained foundation model
Resources allocation
Upper Bound
Federated Low-Rank Adaptation for Large Language Model Fine-Tuning Over Wireless Networks
会议论文
GLOBECOM 2024 - 2024 IEEE GLOBAL COMMUNICATIONS CONFERENCE, Cape Town, South Africa, 8-12 Dec. 2024
作者:
Zixin Wang
;
Yong Zhou
;
Yuanming Shi
;
Khaled. B. Letaief
收藏
|
浏览/下载:43/0
|
提交时间:2025/03/18
Edge computing
Frequency allocation
Integer programming
Learning to rank
Mixed-integer linear programming
Problem oriented languages
Resource allocation
Critical challenges
Device scheduling
Distributed data
Fine tuning
Fine-tuning methods
Global models
Language model
Learning performance
On-line algorithms
Radio resources
Over-the-Air Computation Assisted Federated Learning with Progressive Training
会议论文
ICC 2024 - IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, Denver, CO, USA, 9-13 June 2024
作者:
Ge Gao
;
Qiaochu An
;
Zhibin Wang
;
Zixin Wang
;
Yuanming Shi
Adobe PDF(1013Kb)
|
收藏
|
浏览/下载:374/4
|
提交时间:2024/08/26
Adversarial machine learning
Differential privacy
Integer programming
Mixed-integer linear programming
Edge intelligence
Energy
Global models
Large models
Learning performance
Multiple stages
Over the airs
Privacy preserving
Submodels
Transmission overheads
Valkyrie: Improving fuzzing performance through deterministic techniques
期刊论文
JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 卷号: 209
作者:
Adobe PDF(1094Kb)
|
收藏
|
浏览/下载:226/0
|
提交时间:2024/02/23
Heuristic programming
Integer programming
Program debugging
Branch-coverage
Deterministic technique
Dynamics analysis
Fuzzing
Grey-box
Performance
Randomized Algorithms
Real world projects
State of the art
Vulnerability detection
EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis
期刊论文
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2024, 卷号: 8
作者:
Sun, Pu
;
F., Song
;
Y., Chen
;
T., Chen
Adobe PDF(457Kb)
|
收藏
|
浏览/下载:324/0
|
提交时间:2024/02/02
High level languages
Integer programming
Lyapunov methods
Security of data
Semantics
Algorithmic levels
Block ciphers
Cryptographic primitives
Cryptography-specific language
Differential cryptanalysis
Integer Linear Programming
Mixed integer linear
Security analysis
Specific languages
Symmetrics
Mixed Integer Linear Programming for Discrete Sampling Scheme Design in Diffusion MRI
会议论文
MEDICAL IMAGE COMPUTING AND COMPUTER ASSISTED INTERVENTION - MICCAI 2024, PT II, Palmeraie Conf Ctr,Marrakesh,MOROCCO, OCT 06-10, 2024
作者:
Zhang, Si-Miao
;
Wang, Jing
;
Wang, Yi-Xuan
;
Liu, Tao
;
Zhu, Haogang
收藏
|
浏览/下载:147/0
|
提交时间:2024/12/17
Diffusion MRI
Signal Sampling
Signal Reconstruction
Mixed Integer Linear Programming
Two-Stage Optimization for Efficient V2G Coordination in Distribution Power System
会议论文
2024 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CONTROL, AND COMPUTING TECHNOLOGIES FOR SMART GRIDS, SMARTGRIDCOMM 2024, Oslo, Norway, September 17, 2024 - September 20, 2024
作者:
Tian, Pengchao
Adobe PDF(675Kb)
|
收藏
|
浏览/下载:130/22
|
提交时间:2024/12/27
Integer linear programming
Nonlinear programming
Vehicle-to-grid
Difference of convex
Grid scheduling
Mixed-integer nonlinear programming
Mixed-Integer Programming
Optimal power flows
Optimisations
Trust region
Trust region optimization
Vehicle to grids
Vehicle-to-grid scheduling
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)
|
收藏
|
浏览/下载:322/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
Joint Device Scheduling and Resource Allocation for ISCC-Based Multi-View-Multi-Task Inference
期刊论文
IEEE INTERNET OF THINGS JOURNAL, 2024, 卷号: PP, 期号: 99
作者:
Diao Wang
;
Dingzhu Wen
;
Yinghui He
;
Qimei Chen
;
Guangxu Zhu
Adobe PDF(5134Kb)
|
收藏
|
浏览/下载:179/4
|
提交时间:2024/09/18
Convex optimization
Integer programming
Resource allocation
Scheduling algorithms
Sensory analysis
Sensory perception
Device scheduling
Edge AI inference
Integrated sensing
Integrated sensing-communication-computation
Multi tasks
Multi-task optimization
Multi-views
Optimisations
Resources allocation
Scheduling/allocation
首页
上一页
1
2
下一页
末页