机构

• 地理科学与资源研... [103]
• 高能物理研究所 [65]
• 软件研究所 [58]
• 生态环境研究中心 [30]
• 长春光学精密机械与... [29]
• 理论物理研究所 [26]
• 更多

采集方式

• OAI收割 [533]
• iSwitch采集 [13]

内容类型

• 期刊论文 [418]
• 会议论文 [86]
• SCI/SSCI论... [30]
• 学位论文 [9]
• CNKI期刊论文 [3]

发表日期

• 2024 [12]
• 2023 [21]
• 2022 [41]
• 2021 [22]
• 2020 [26]
• 2019 [25]
• 更多

学科主题

• Physics [80]
• Astronomy ... [5]
• Plant Scie... [5]
• Astronomy ... [4]
• Science & ... [4]
• Thermodyna... [4]
• 更多

筛选

浏览/检索结果: 共546条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 On Modeling and Detecting Trojans in Instruction Sets 期刊论文  OAI收割 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: 43, 期号: 10, 页码: 3226-3239 作者:  Zhang, Ying;  He, Aodi;  Li, Jiaying;  Rezine, Ahmed;  Peng, Zebo   |  收藏  |  浏览/下载：5/0  |  提交时间：2024/12/06 Trojan horses  Security  Program processors  Companies  Inspection  Hardware security  Reverse engineering  Deep test for security  hidden instruction Trojan (HIT)  unbounded model checking (UMC)  VLSI test   A pyrolysis study of kerogen and extracted bitumen from a lacustrine shale of the Shahejie Formation and implications for in-situ conversion processes 期刊论文  OAI收割 JOURNAL OF ANALYTICAL AND APPLIED PYROLYSIS, 2024, 卷号: 183, 页码: 14 作者:  Sun, Yu;  Wang, Yiwei;  Liu, Jingzhong;  Wang, Yunpeng   |  收藏  |  浏览/下载：4/0  |  提交时间：2025/04/01 Pyrolysis  Kerogen  Extracted-bitumen  In-situ conversion process  Heating program   Unlocking the geochemical features of the Paleocene southern Pacific Ocean using carbon isotopes and biolipids 期刊论文  OAI收割 PALAEOGEOGRAPHY PALAEOCLIMATOLOGY PALAEOECOLOGY, 2024, 卷号: 650, 页码: 13 作者:  Jiang, Lian;  Ausin, Blanca;  Khanolkar, Sonal;  Wang, Yunpeng   |  收藏  |  浏览/下载：20/0  |  提交时间：2024/09/13 International Ocean Discovery Program (IODP)  Expedition 378  Hopanoid  Steroid  New Zealand   Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving 期刊论文  OAI收割 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 9, 页码: 2379-2397 作者:  Shi, Chenghang;  Li, Haofeng;  Sui, Yulei;  Lu, Jie;  Li, Lian   |  收藏  |  浏览/下载：1/0  |  提交时间：2024/12/06 Production  Standards  Termination of employment  Redundancy  Optimization  Heuristic algorithms  Symbols  Program analysis  CFL-reachability  constraint solving  transitive relations   A hybrid algorithm for quadratically constrained quadratic optimization problems 期刊论文  OAI收割 PHYSICA SCRIPTA, 2024, 卷号: 99, 期号: 6, 页码: 12 作者:  Zhou, Hongyi;  Peng, Sirui;  Li, Qian;  Sun, Xiaoming   |  收藏  |  浏览/下载：6/0  |  提交时间：2024/12/06 quantum computing  variational quantum algorithm  quadratically constrained quadratic program   Colorimetric and fluorescent independent dual "signal on" biosensor for accurate detection of ochratoxin A based on aptamer-triggered biocatalytic reactions 期刊论文  OAI收割 ANALYTICA CHIMICA ACTA, 2024, 卷号: 1299, 页码: 10 作者:  Ding, Hao;  Zhang, Mingdi;  Wang, Xiaochun;  He, Shuai;  Wang, Xiaokun   |  收藏  |  浏览/下载：19/0  |  提交时间：2024/05/23 Ochratoxin A  Dual-channel  Signal on  In-system correction  Mini-program   Colorimetric and fluorescent independent dual "signal on" biosensor for accurate detection of ochratoxin A based on aptamer-triggered biocatalytic reactions 期刊论文  OAI收割 ANALYTICA CHIMICA ACTA, 2024, 卷号: 1299, 页码: 10 作者:  Ding, Hao;  Zhang, Mingdi;  Wang, Xiaochun;  He, Shuai;  Wang, Xiaokun   |  收藏  |  浏览/下载：13/0  |  提交时间：2024/05/23 Ochratoxin A  Dual-channel  Signal on  In-system correction  Mini-program   Advancing space-based gravitational wave astronomy: Rapid parameter estimation via normalizing flows 期刊论文  OAI收割 SCIENCE CHINA-PHYSICS MECHANICS & ASTRONOMY, 2024, 卷号: 67, 期号: 3, 页码: 14 作者:  Du, Minghui;  Liang, Bo;  Wang, He;  Xu, Peng;  Luo, Ziren   |  收藏  |  浏览/下载：20/0  |  提交时间：2024/03/11 Taiji program  gravitational wave detection  parameter estimation  machine learning   From dynamics to sustainability: Modeling the shrimp (Penaeus chinensis) fishery in Shandong, China 期刊论文  OAI收割 ECOLOGICAL MODELLING, 2024, 卷号: 489, 页码: 8 作者:  Liu, Xin;  Geng, Ruiying;  Lv, Xin;  Hu, Xiaoke;  Do, Thang Nam   |  收藏  |  浏览/下载：10/0  |  提交时间：2024/10/28 Shrimp fishery  System dynamic model  Sustainable management  Fishing policy  Stock enhancement program  Fishing ban duration   From dynamics to sustainability: Modeling the shrimp (Penaeus chinensis) fishery in Shandong, China 期刊论文  OAI收割 ECOLOGICAL MODELLING, 2024, 卷号: 489, 页码: 8 作者:  Liu, Xin;  Geng, Ruiying;  Lv, Xin;  Hu, Xiaoke;  Do, Thang Nam   |  收藏  |  浏览/下载：16/0  |  提交时间：2024/05/07 Shrimp fishery  System dynamic model  Sustainable management  Fishing policy  Stock enhancement program  Fishing ban duration