机构

• 计算技术研究所 [3]
• 数学与系统科学研究院 [3]
• 软件研究所 [2]
• 宁波材料技术与工程研... [1]
• 上海药物研究所 [1]
• 沈阳自动化研究所 [1]
• 更多

采集方式

• OAI收割 [11]

内容类型

• 期刊论文 [8]
• 会议论文 [3]

发表日期

• 2025 [2]
• 2024 [1]
• 2022 [1]
• 2021 [1]
• 2020 [1]
• 2018 [1]
• 更多

学科主题

• Chemistry [1]

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择发表日期升序发表日期降序题名升序题名降序提交时间升序提交时间降序作者升序作者降序 OpenLS-DGF: An Adaptive Open-Source Dataset Generation Framework for Machine-Learning Tasks in Logic Synthesis 期刊论文  OAI收割 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2025, 卷号: 44, 期号: 10, 页码: 3830-3843 作者:  Ni, Liwei;  Wang, Rui;  Liu, Miao;  Meng, Xingyu;  Lin, Xiaoze   |  收藏  |  浏览/下载：0/0  |  提交时间：2025/12/03 Logic  Logic gates  Delays  Optimization  Machine learning  Hardware design languages  Boolean functions  Computer science  Benchmark testing  Wire  Adaptive  application  dataset  logic synthesis  machine learning (ML)   Shallow Quantum Circuit Implementation of Symmetric Functions With Limited Ancillary Qubits 期刊论文  OAI收割 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2025, 卷号: 44, 期号: 8, 页码: 3060-3072 作者:  Zi, Wei;  Nie, Junhong;  Sun, Xiaoming   |  收藏  |  浏览/下载：2/0  |  提交时间：2025/12/03 Qubit  Quantum circuit  Logic gates  Hamming weight  Quantum state  Boolean functions  Machine learning  Sun  Optimization  Hamming distances  quantum circuit optimization  quantum circuit synthesis  quantum computing  symmetric function  upper bound   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   |  收藏  |  浏览/下载：31/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   Observability Criteria for Boolean Networks 期刊论文  OAI收割 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 卷号: 67, 期号: 11, 页码: 6248-6254 作者:  Yu, Yongyuan;  Meng, Min;  Feng, Jun-E;  Chen, Ge   |  收藏  |  浏览/下载：47/0  |  提交时间：2023/02/07 Observability  Symmetric matrices  Probabilistic logic  Germanium  Boolean functions  Aerospace electronics  Upper bound  Boolean control network (BCN)  nonaugmented method  observability  probabilistic Boolean network (PBN)   Self-Triggered Scheduling for Boolean Control Networks 期刊论文  OAI收割 IEEE TRANSACTIONS ON CYBERNETICS, 2021, 页码: 11 作者:  Meng, Min;  Xiao, Gaoxi;  Cheng, Daizhan   |  收藏  |  浏览/下载：60/0  |  提交时间：2022/04/02 Probabilistic logic  Lyapunov methods  Switches  Stability criteria  Scheduling  Manganese  Genetics  Boolean control networks (BCNs)  Lyapunov function  self-triggered scheduling  semitensor product   Engineering Stimuli-Activatable Boolean Logic Prodrug Nanoparticles for Combination Cancer Immunotherapy 期刊论文  OAI收割 ADVANCED MATERIALS, 2020, 页码: 11 作者:  Hou, Bo;  Zhou, Lei;  Wang, Hui;  Saeed, Madiha;  Wang, Dangge   |  收藏  |  浏览/下载：49/0  |  提交时间：2020/07/01 Boolean logic gates  cancer immunotherapy  prodrug nanoparticles  stimuli activation  tumor microenvironment   Improving Unipolar Resistive Switching Uniformity with Cone Shaped Conducting Filaments and Its Logic-In-Memory Application 期刊论文  OAI收割 ACS APPLIED MATERIALS & INTERFACES, 2018, 卷号: 10, 期号: 7, 页码: 6453-6462 作者:  Yang, Huali;  Liu, Gang;  Chen, Qilai;  Xue, Wuhong;  Shang, Jie   |  收藏  |  浏览/下载：99/0  |  提交时间：2018/12/04 Memristive Devices  Boolean Logic  Nanofilament  Mechanism  Realization  Challenges  Operations  Evolution  Selector  Graphene   Input-state incidence matrix of Boolean control networks and its applications 期刊论文  OAI收割 SYSTEMS & CONTROL LETTERS, 2010, 卷号: 59, 期号: 12, 页码: 767-774 作者:  Zhao, Yin;  Qi, Hongsheng;  Cheng, Daizhan   |  收藏  |  浏览/下载：57/0  |  提交时间：2018/07/30 Boolean control network  Input-state incidence matrix  Reachability  Observability  Mix-valued logic   volume computation for boolean combination of linear arithmetic constraints 会议论文  OAI收割 22nd International Conference on Automated Deduction (CADE-22), Montreal, CANADA, AUG 02-07, Ma Feifei; Liu Sheng; Zhang Jian   |  收藏  |  浏览/下载：53/0  |  提交时间：2011/03/20 Automation  Boolean functions  Formal logic  Learning algorithms  Topology   A novel approach to fault detection and identification in suction foot control of a climbing robot 会议论文  OAI收割 IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing, China, October 9-13, 2006 作者:  Jiang Y(姜勇);  Wang HG(王洪光);  Fang LJ(房立金);  Zhao MY(赵明扬) 收藏  |  浏览/下载：41/0  |  提交时间：2012/06/06 fault detection and identification  multiple-model adaptive estimation  Boolean logic reasoning  MMBLR  climbing robot