机构

• 软件研究所 [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条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 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-纯文字