机构

• 软件研究所 [99]
• 数学与系统科学研究... [17]
• 计算技术研究所 [9]
• 中国科学院大学 [7]
• 昆明植物研究所 [4]
• 自动化研究所 [4]
• 更多

采集方式

• OAI收割 [151]
• iSwitch采集 [8]

内容类型

• 期刊论文 [108]
• 会议论文 [46]
• 学位论文 [3]
• SCI/SSCI论文 [2]

发表日期

• 2023 [3]
• 2019 [3]
• 2018 [2]
• 2016 [8]
• 2015 [2]
• 2014 [8]
• 更多

学科主题

• Computer S... [9]
• Computer S... [5]
• Artificial... [3]
• Chemistry [3]
• Informatio... [3]
• Computer S... [2]
• 更多

筛选

浏览/检索结果: 共159条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 10, 页码: 2082-2098 作者:  Wei Ren;  Zhuo-Rui Pan;  Weiguo Xia;  Xi-Ming Sun   |  收藏  |  浏览/下载：6/0  |  提交时间：2024/09/03 Abstraction-based control design  dynamic quantization  formal methods  linear temporal logic (LTL)   Enantioselective total syntheses of (-)-cephalotaxine and (-)-amathaspiramide F through a key Ir/Cu dual catalysis 期刊论文  OAI收割 ORGANIC CHEMISTRY FRONTIERS, 2023, 卷号: 10, 期号: 10, 页码: 2532-2537 作者:  Sheng,Peng-Zhen;  Li,Lu-Lu;  Zhang,Hongbin;  Wei,Kun;  Yang,Yu-Rong   |  收藏  |  浏览/下载：8/0  |  提交时间：2024/07/22 FORMAL TOTAL-SYNTHESIS  ALPHA-AMINO-ACIDS  CEPHALOTAXUS ALKALOIDS  (+/-)-CEPHALOTAXINE  AMATHASPIRAMIDES  REARRANGEMENT  CONSTRUCTION  CYCLIZATIO   Enantioselective Total Synthesis of the Cephalotaxus Alkaloid (-)-Cephalotine A 期刊论文  OAI收割 ORGANIC LETTERS, 2023 作者:  Sheng,Peng-Zhen;  Li,Lu-Lu;  Ni,Zhi-Bin;  Wei,Kun;  Yang,Yu-Rong   |  收藏  |  浏览/下载：22/0  |  提交时间：2024/07/10 FORMAL TOTAL-SYNTHESIS  ALPHA-ALLYLATION  UNIFIED STRATEGY  NATURAL-PRODUCTS  GAMMA-LACTAMS  HECK REACTION  (+/-)-CEPHALOTAXINE  REARRANGEMENT  C   Total Syntheses of Cinchona Alkaloids via Photoredox-Catalyzed Deoxygenative Arylation 期刊论文  OAI收割 ORGANIC LETTERS, 2023 作者:  Li,Lei;  Yang,Hua-Fei;  Ding,Qian-Hui;  Wei,Kun;  Yang,Yu-Rong   |  收藏  |  浏览/下载：23/0  |  提交时间：2024/07/10 ASYMMETRIC TOTAL SYNTHESES  ALPHA-ALLYLATION  FORMAL SYNTHESIS  QUININE   Evaluating and Constraining Hardware Assertions with Absent Scenarios 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 5, 页码: 1198-1216 作者:  Chao, Hui-Na;  Li, Hua-Wei;  Song, Xiaoyu;  Wang, Tian-Cheng;  Li, Xiao-Wei   |  收藏  |  浏览/下载：43/0  |  提交时间：2021/12/01 hardware formal verification  assertion generation  data mining  assertion evaluation  assertion coverage   Apparent singularities of D-finite systems 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 95, 页码: 217-237 作者:  Chen, Shaoshi;  Kauers, Manuel;  Li, Ziming;  Zhang, Yi   |  收藏  |  浏览/下载：36/0  |  提交时间：2020/01/10 D-finite system  Grobner basis  Ordinary point  Formal power series  Apparent singularity  Desingularization   Palladium-Catalyzed Propargylic [n+2] Cycloaddition: An Efficient Strategy for Construction of Benzo-Fused Medium-Sized Heterocycles 期刊论文  OAI收割 ADVANCED SYNTHESIS & CATALYSIS, 2019, 卷号: 361, 期号: 4, 页码: 836-841 作者:  Liu, Zhen-Ting;  Hu, Xiang-Ping   |  收藏  |  浏览/下载：75/0  |  提交时间：2019/06/20 A regioselective palladium-catalyzed formal [n+2] cycloaddition of propargylic esters as C-2-synthons with various linker-tethered bisphenols for the construction of medium-sized heterocycles bearing an exocyclic double bond has been developed  The reaction features mild conditions and broad substrate scopes  as well as readily available substrates and catalysts  Under optimal conditions  various medium-sized heterocycles from eight to eleven-membered rings can be afforded in good to excellent yields and regioselectivities with high Z-selectivity for the exocyclic double bond  palladium  medium-sized ring  propargylic ester  bisphenol  cycloaddition   Palladium-catalyzed propargylic [n+2] cycloaddition: an efficient strategy for construction of benzo-fused medium-sized heterocycles 期刊论文  iSwitch采集 Advanced synthesis & catalysis, 2019, 卷号: 361, 期号: 4, 页码: 836-841 作者:  Liu, Zhen-Ting;  Hu, Xiang-Ping 收藏  |  浏览/下载：99/0  |  提交时间：2019/05/08 A regioselective palladium-catalyzed formal [n+2] cycloaddition of propargylic esters as c-2-synthons with various linker-tethered bisphenols for the construction of medium-sized heterocycles bearing an exocyclic double bond has been developed  The reaction features mild conditions and broad substrate scopes  As well as readily available substrates and catalysts  Under optimal conditions  Various medium-sized heterocycles from eight to eleven-membered rings can be afforded in good to excellent yields and regioselectivities with high z-selectivity for the exocyclic double bond  Palladium  Medium-sized ring  Propargylic ester  Bisphenol  Cycloaddition   Matching biomedical ontologies based on formal concept analysis 期刊论文  OAI收割 JOURNAL OF BIOMEDICAL SEMANTICS, 2018, 卷号: 9, 页码: 27 作者:  Zhao, Mengyi;  Zhang, Songmao;  Li, Weizhuo;  Chen, Guowei   |  收藏  |  浏览/下载：48/0  |  提交时间：2018/07/30 Ontology matching  Formal concept analysis  Concept lattice   Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method 期刊论文  OAI收割 Algorithms, 2018, 卷号: 11, 期号: 9 作者:  Gao, Wei;  Lv, Hengyi;  Zhang, Qiang;  Cai, Dunbo   |  收藏  |  浏览/下载：24/0  |  提交时间：2019/09/17 Monte Carlo methods  Chains  Formal logic  Graphic methods  Markov processes