中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共9条，第1-9条

帮助

条数/页：排序方式：
	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 \| 收藏 \| 浏览/下载：5/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 \| 收藏 \| 浏览/下载：28/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 \| 收藏 \| 浏览/下载：38/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 \| 收藏 \| 浏览/下载：17/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 \| 收藏 \| 浏览/下载：76/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 \| 收藏 \| 浏览/下载：30/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 \| 收藏 \| 浏览/下载：23/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(赵明扬) 收藏 \| 浏览/下载：21/0 \| 提交时间：2012/06/06 fault detection and identification multiple-model adaptive estimation Boolean logic reasoning MMBLR climbing robot
	specification analysis and test data generation by solving boolean combinations of numeric constraints 会议论文 OAI收割 1st Asia-Pacific Conference on Quality Software, HONG KONG, PEOPLES R CHINA, OCT 30-31, Zhang J \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/29 Boolean constraint solver Boolean logic reasoning numeric constraints requirement specifications satisfiability software test data generation Boolean algebra computability formal specification