消息
×
loading..
×
验证码:
换一张
忘记密码?
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
在结果中检索
研究单元&专题
信息科学与技术学院 [4]
创业与管理学院 [1]
生命科学与技术学院 [1]
创意与艺术学院 [1]
作者
哈亚军 [1]
石远明 [1]
吴幼龙 [1]
陈明 [1]
宋富 [1]
姜伟雄 [1]
更多...
文献类型
期刊论文 [5]
会议论文 [2]
发表日期
2024 [1]
2023 [1]
2022 [3]
2021 [2]
出处
2022 IEEE ... [1]
FRONTIERS ... [1]
FRONTIERS ... [1]
IEEE INTER... [1]
IEEE TRANS... [1]
JOURNAL OF... [1]
更多...
语种
英语 [7]
资助项目
National N... [1]
National N... [1]
Natural Sc... [1]
资助机构
收录类别
EI [3]
SCI [3]
SCIE [2]
SSCI [2]
CPCI-S [1]
状态
已发表 [7]
×
知识图谱
KMS
反馈留言
浏览/检索结果:
共7条,第1-7条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
WOS被引频次升序
WOS被引频次降序
提交时间升序
提交时间降序
题名升序
题名降序
发表日期升序
发表日期降序
期刊影响因子升序
期刊影响因子降序
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)
|
收藏
|
浏览/下载:328/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
Pharmacological effects of nicotine salts on dopamine release in the nucleus accumbens
期刊论文
FRONTIERS IN PHARMACOLOGY, 2023, 卷号: 14
作者:
Li, Xiaonan
;
Lu, Lehua
;
He, Ying
;
Zhang, Hui
;
Zhang, Yihui
Adobe PDF(2028Kb)
|
收藏
|
浏览/下载:389/147
|
提交时间:2023/10/23
nicotine
nicotine salts
dopamine
nucleus accumbens
satisfaction
Differentially Private Federated Learning via Reconfigurable Intelligent Surface
期刊论文
IEEE INTERNET OF THINGS JOURNAL, 2022, 卷号: 9, 期号: 20
作者:
Yuhan Yang
;
Yong Zhou
;
Youlong Wu
Adobe PDF(1801Kb)
|
收藏
|
浏览/下载:1163/290
|
提交时间:2022/05/20
Bioinformatics
Constraint satisfaction problems
Internet of things
Learning systems
Optimization
Atmospheric modeling
Biomedical monitoring
Computational modelling
Differential privacies
Differential privacy.
Federated learning
Over the airs
Over-the-air computation
Performances evaluation
Privacy
Reconfigurable
Reconfigurable intelligent surface
Wireless communications
Determinants of Satisfaction With Hospital Online Appointment Service Among Older Adults During the COVID-19 Pandemic: A Cross-Sectional Study
期刊论文
FRONTIERS IN PUBLIC HEALTH, 2022, 卷号: 10
作者:
Li, Wenjia
;
Shen, Shengwei
;
Yang, Jidong
;
Guo, Jingyu
;
Tang, Qinghe
Adobe PDF(314Kb)
|
收藏
|
浏览/下载:570/157
|
提交时间:2022/03/29
pandemic
older adults
digital divide
Internet-based appointment service
satisfaction
aging design
Alternating Direction Based Sequential Boolean Quadratic Programming Method for Transmit Antenna Selection
会议论文
2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), null,Cancun,MEXICO, DEC 06-09, 2022
作者:
Zhu, Shijie
;
Du, Xu
Adobe PDF(456Kb)
|
收藏
|
浏览/下载:472/131
|
提交时间:2023/05/05
5G
Boolean variables
Power consumption
Complementarity satisfaction
Impact of transboundary air pollution on service quality and consumer satisfaction
期刊论文
JOURNAL OF ECONOMIC BEHAVIOR & ORGANIZATION, 2021, 卷号: 192, 页码: 357-380
作者:
Agarwal, Sumit
;
Wang, Long
;
Yang, Yang
Adobe PDF(3697Kb)
|
收藏
|
浏览/下载:227/0
|
提交时间:2021/12/03
Air pollution
Firm productivity
Consumer satisfaction
Customer reviews
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas
会议论文
LECTURE NOTES IN COMPUTER SCIENCE, Beijing, China, November 25, 2021 - November 27, 2021
作者:
Xu, Yongjie
;
Song, Fu
;
Chen, Taolue
Adobe PDF(2466Kb)
|
收藏
|
浏览/下载:307/0
|
提交时间:2021/12/17
Boolean algebra
Constraint satisfaction problems
Formal logic-Boolean formulae
Boolean satisfiability
Classical problems
Constraint-based
Constraint-based sampling
Data optimization
Data testing
Efficient sampling
Satisfiability solving
Satisfying assignments
首页
上一页
1
下一页
末页