机构

• 半导体研究所 [4]
• 软件研究所 [4]
• 计算技术研究所 [3]
• 理论物理研究所 [2]
• 上海应用物理研究所 [2]
• 沈阳自动化研究所 [2]
• 更多

采集方式

• OAI收割 [22]

内容类型

• 期刊论文 [20]
• 会议论文 [2]

发表日期

• 2020 [2]
• 2019 [1]
• 2018 [1]
• 2017 [1]
• 2016 [2]
• 2015 [3]
• 更多

学科主题

• 半导体物理 [4]
• Physics [2]
• Computer S... [1]
• Optics; Ph... [1]
• 环境催化与氢能 [1]

筛选

浏览/检索结果: 共22条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Structured Decomposition for Reversible Boolean Functions 期刊论文  OAI收割 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 卷号: 39, 期号: 10, 页码: 2410-2421 作者:  Jiang, Jiaqing;  Sun, Xiaoming;  Sun, Yuan;  Wu, Kewen;  Xia, Zhiyu   |  收藏  |  浏览/下载：26/0  |  提交时间：2020/12/10 Integrated circuits  logic gates  quantum computation  reversible computation  reversible logic  synthesis method   Programmable Live-Cell CRISPR Imaging with Toehold-Switch-Mediated Strand Displacement 期刊论文  OAI收割 ANGEWANDTE CHEMIE-INTERNATIONAL EDITION, 2020, 卷号: 59, 期号: 46, 页码: 20612-20618 作者:  Hao, YY;  Li, J;  Li, Q;  Zhang, LH;  Shi, JY   |  收藏  |  浏览/下载：20/0  |  提交时间：2021/09/06 LOGIC COMPUTATION  DNA  CAS9  ENDONUCLEASE   Programmable DNA Nanoindicator-Based Platform for Large-Scale Square Root Logic Biocomputing 期刊论文  OAI收割 Small, 2019, 卷号: 15, 期号: 49, 页码: 9 作者:  C.Y.Zhou;  H.M.Geng;  P.F.Wang;  C.L.Guo   |  收藏  |  浏览/下载：18/0  |  提交时间：2020/08/24 DNA hybridization,DNA switching,square root logic circuits,toehold,mediated reaction,enzyme-free,molecular logic,label-free,computation,operations,gates,circuit,system,half,Chemistry,Science & Technology - Other Topics,Materials Science,Physics   A computational framework for Karl Popper's logic of scientific discovery 期刊论文  OAI收割 SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61, 期号: 4, 页码: 10 作者:  Li, Wei;  Sui, Yuefei   |  收藏  |  浏览/下载：24/0  |  提交时间：2019/12/10 belief revision  logic of scientific discovery  approximate deduction  approximation algorithms  feasible computation   Computation in Chemistry: A Summary of the Development and Models of DNA Computing 期刊论文  OAI收割 PROGRESS IN CHEMISTRY, 2017, 卷号: 29, 期号: 11, 页码: 1297-1315 作者:  Yin, XY;  Li, F;  Bo, XC;  Luo, ZG;  Zuo, XL   |  收藏  |  浏览/下载：32/0  |  提交时间：2018/08/30 Molecular Computation  Strand Displacement  Logic-circuits  Hairpin Formation  Construction  Gates  Fluorescence  Complexes  Automaton  Ligation   Completeness of Hoare logic with inputs over the standard model 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28 作者:  Xu, Zhaowei;  Sui, Yuefei;  Zhang, Wenhui   |  收藏  |  浏览/下载：23/0  |  提交时间：2019/12/13 Hoare logic  Peano arithmetic  The standard model  Computation  Arithmetical definability  Logical completeness   Completeness of Hoare logic with inputs over the standard model 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28 Xu, ZW; Sui, YF; Zhang, WH   |  收藏  |  浏览/下载：29/0  |  提交时间：2016/12/13 Hoare logic  Peano arithmetic  The standard model  Computation  Arithmetical definability  Logical completeness   Digital Comparator in Excitable Chemical Media 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, 2015, 卷号: 11, 期号: 2, 页码: 131-145 作者:  Guo, Shan;  Sun MZ(孙明竹);  Han JD(韩建达);  Zhao X(赵新) 收藏  |  浏览/下载：25/0  |  提交时间：2015/07/19 Chemical computation  Belousov-Zhabotinsky reaction  excitable media  logic circuits  digital comparator  nesting way  cascading way   Crossover Structures for Logical Computations in Excitable Chemical Medium 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, 2015, 卷号: 11, 期号: 2, 页码: 165-184 作者:  Sun MZ(孙明竹);  Zhao X(赵新) 收藏  |  浏览/下载：36/0  |  提交时间：2015/07/19 Bclousov-Zhabotinsky reaction  chemical computation  excitable media  crossover structure  logic circuits  binary adder  binary encoder  binary decoder   DNA-based visual majority logic gate with one-vote veto function 期刊论文  OAI收割 chemical science, 2015, 卷号: 6, 期号: 3, 页码: 1973-1978 作者:  Fan,Daoqing;  Wang,Kun;  Zhu,Jinbo;  Xia,Yong;  Han,Yanchao 收藏  |  浏览/下载：57/0  |  提交时间：2016/05/03 STRAND DISPLACEMENT  CELLULAR-AUTOMATA  MOLECULAR LOGIC  DNAZYME  CIRCUIT  COMPUTATION  SYSTEM  INPUTS  SWITCH  ADDER