中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [10]
计算技术研究所 [5]
理论物理研究所 [5]
海洋研究所 [4]
自动化研究所 [3]
化学研究所 [2]
更多
采集方式
OAI收割 [37]
iSwitch采集 [1]
内容类型
期刊论文 [26]
会议论文 [5]
学位论文 [4]
CNKI期刊论文 [3]
发表日期
2024 [1]
2023 [3]
2022 [1]
2021 [2]
2020 [4]
2019 [2]
更多
学科主题
Physics [5]
Computer S... [1]
Hardware &... [1]
Software ... [1]
人工智能::人工智能... [1]
空间物理 [1]
更多
筛选
浏览/检索结果:
共38条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
Efficient Quantum Circuit Synthesis for SAT-Oracle With Limited Ancillary Qubit
期刊论文
OAI收割
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: 43, 期号: 3, 页码: 868-877
作者:
Yang, Shuai
;
Zi, Wei
;
Wu, Bujiao
;
Guo, Cheng
;
Zhang, Jialin
  |  
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2024/12/06
Qubit
Logic gates
Boolean functions
Quantum circuit
Quantum algorithm
Circuit synthesis
Sun
limited ancillary qubit
satisfiability (SAT) problem
SAT-oracle
space-depth tradeoff
Comparison of approaches to spatiotemporally interpolate land surface air temperature for the Qinghai-Tibet Plateau
期刊论文
OAI收割
ENVIRONMENTAL EARTH SCIENCES, 2023, 卷号: 82, 期号: 19, 页码: 14
作者:
Shen, Fengbei
;
Xu, Chengdong
;
Hu, Maogui
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2023/10/23
The Qinghai-Tibet Plateau
Surface air temperature (SAT) interpolation
Heterogeneity
Spatiotemporal kriging
Reappraisal of the Neoproterozoic to middle Paleozoic fossils of North Korea and its tectonic implication
期刊论文
OAI收割
GEOSCIENCES JOURNAL, 2023, 页码: 27
作者:
Oh, Yeongju
;
Jung, Jikhan
;
Lee, Mirinae
;
Jeon, Juwan
;
Lee, Seung-Bae
  |  
收藏
  |  
浏览/下载:28/0
  |  
提交时间:2023/10/24
North Korea
Pyeongnam Basin
Cambrian trilobites
Hwanghae District
South China-affinity terrane (SAT)
Machine Learning Methods in Solving the Boolean Satisfiability Problem
期刊论文
OAI收割
Machine Intelligence Research, 2023, 卷号: 20, 期号: 5, 页码: 640-655
作者:
Wenxuan Guo
;
Hui-Ling Zhen
;
Xijun Li
;
Wanqian Luo
;
Mingxuan Yuan
  |  
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2024/04/23
Machine learning (ML), Boolean satisfiability (SAT), deep learning, graph neural networks (GNNs), combinatorial optimization
逻辑公式可满足性判定中的推理技术研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2022
作者:
黄沛
  |  
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2022/06/17
SAT+逻辑
Hierarchical Motion Learning for Goal-Oriented Movements With Speed-Accuracy Tradeoff of a Musculoskeletal System
期刊论文
OAI收割
IEEE TRANSACTIONS ON CYBERNETICS, 2021, 页码: 14
作者:
Zhou, Junjie
;
Zhong, Shanlin
;
Wu, Wei
  |  
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2022/01/27
Muscles
Adaptation models
Task analysis
Arms
Mathematical model
Integrated circuit modeling
Basal ganglia
Brain-inspired decision making
Fitts' law
motion generation
musculoskeletal system
speed-accuracy tradeoff (SAT)
An evaluation of the Arctic clouds and surface radiative fluxes in CMIP6 models
CNKI期刊论文
OAI收割
2021
作者:
Jianfen Wei
;
Zhaomin Wang
;
Mingyi Gu
;
Jing-Jia Luo
;
Yunhe Wang
  |  
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2024/12/18
Arctic Basin
surface radiation budget
cloud radiative effect(CRE)
CMIP6 models
CERES
Cloud Sat-CALIPSO
APP-x
Heterophyllous Shoots of Japanese Larch Trees: The Seasonal and Yearly Variation in CO2 Assimilation Capacity of the Canopy Top with Changing Environment
期刊论文
OAI收割
PLANTS-BASEL, 2020, 卷号: 9, 期号: 10, 页码: 1-10
作者:
Kitaoka, Satoshi
;
Laiye, Qu
;
Watanabe, Yoko
;
Watanabe, Makoto
;
Watanabe, Toshihiro
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2021/08/31
Japanese larch (Larix kaempferi)
P-sat-N relation
V-cmax-N
J(max)-N
heterophyllous shoots
nitrogen remobilization rate
year-to-year variation
The Trend Inconsistency between Land Surface Temperature and Near Surface Air Temperature in Assessing Urban Heat Island Effects
期刊论文
OAI收割
REMOTE SENSING, 2020, 卷号: 12, 期号: 8, 页码: 1-11
作者:
Sun, Tao
;
Sun, Ranhao
;
Chen, Liding
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2021/08/31
LST
SAT
air temperature
UHI
remote sensing
一种布尔公式的代数逻辑约化新方法
期刊论文
OAI收割
计算机科学, 2020, 卷号: 47, 期号: 5, 页码: 32
作者:
刘江
;
周鸿昊
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2020/08/24
NP complete problem
Boolean satisfiability problem
1-in-3-SAT
XCNF
X pure literal
NP完全问题
布尔可满足性问题
1-in-3-SAT
XCNF
X-纯文字