机构

• 软件研究所 [21]
• 自动化研究所 [5]
• 计算技术研究所 [3]

采集方式

• OAI收割 [29]

内容类型

• 会议论文 [16]
• 期刊论文 [11]
• 学位论文 [2]

发表日期

• 2023 [2]
• 2020 [1]
• 2019 [1]
• 2014 [1]
• 2013 [1]
• 2012 [3]
• 更多

学科主题

• Computer S... [2]
• Software E... [1]
• Theory & ... [1]
• Theory & M... [1]

筛选

浏览/检索结果: 共29条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 Quantum Circuit Design for Integer Multiplication Based on Schonhage-Strassen Algorithm 期刊论文  OAI收割 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 卷号: 42, 期号: 12, 页码: 4791-4802 作者:  Nie, Junhong;  Zhu, Qinlin;  Li, Meng;  Sun, Xiaoming   |  收藏  |  浏览/下载：14/0  |  提交时间：2024/05/20 Quantum circuit  Qubit  Arithmetic  Logic gates  Convolutional neural networks  Time complexity  Standards  Integer programming  Integer multiplication  quantum circuit  Sch\"onhage--Strassen algorithm   Swarm Intelligence-Based Task Scheduling for Enhancing Security for IoT Devices 期刊论文  OAI收割 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 卷号: 42, 期号: 6, 页码: 1756-1769 作者:  Zhou, Junlong;  Shen, Yufan;  Li, Liying;  Zhuo, Cheng;  Chen, Mingsong   |  收藏  |  浏览/下载：32/0  |  提交时间：2023/12/04 Security  Internet of Things  Task analysis  Logic gates  Servers  Particle swarm optimization  Optimization  Energy efficiency  fund  Index Terms  Internet of Things (IoT)  mixed-integer linear programming (MILP)  security  swarm intelligence  task scheduling   Solving Trajectory Optimization Problems in the Presence of Probabilistic Constraints 期刊论文  OAI收割 IEEE TRANSACTIONS ON CYBERNETICS, 2020, 卷号: 50, 期号: 10, 页码: 4332-4345 作者:  Chai, Runqi;  Savvaris, Al;  Tsourdos, Antonios;  Chai, Senchun;  Xia, Yuanqing   |  收藏  |  浏览/下载：41/0  |  提交时间：2021/01/07 Planning  Probabilistic logic  Trajectory optimization  Optimal control  Prediction algorithms  Approximation function  chance-constrained  nonlinear programming  probabilistic constraints  trajectory optimization   In-Place Traceability for Automated Production Systems: A Survey of PLC and SysML Tools 期刊论文  OAI收割 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 卷号: 15, 期号: 6, 页码: 3155-3162 作者:  Alenazi, Mounifah;  Wang, Wentao;  Niu, Nan   |  收藏  |  浏览/下载：65/0  |  提交时间：2019/08/16 Automated production systems  development environments  industry 4.0  programming logic controllers (PLC)  systems modeling language (SysML)  traceability   FLP answer set semantics without circular justifications for general logic programs 期刊论文  OAI收割 Artificial Intelligence, 2014, 卷号: 213, 页码: 1-41 Shen, Yi-Dong (1); Wang, Kewen (2); Eiter, Thomas (3); Fink, Michael (3); Redl, Christoph (3); Krennwallner, Thomas (3); Deng, Jun (1)   |  收藏  |  浏览/下载：27/0  |  提交时间：2014/12/16 Answer set programming  Knowledge representation  Nonmonotonic reasoning  Logic programs with first-order formulas  Level mappings  Circular justifications   Quantitatively Measure Access Control Mechanisms Across Different Operating Systems 会议论文  OAI收割 7th IEEE International Conference on Software Security and Reliability (SERE), Gaithersburg, MD, JUN 18-20, 2013 Cheng, Liang; Zhang, Yang; Han, Zhihui   |  收藏  |  浏览/下载：27/0  |  提交时间：2014/12/16 Security Measurement  Vulnerability Profile  Operating System  Logic Programming   towards practical abox abduction in large description logic ontologies 期刊论文  OAI收割 International Journal on Semantic Web and Information Systems, 2012, 卷号: 8, 期号: 2, 页码: 1-33 Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z.   |  收藏  |  浏览/下载：22/0  |  提交时间：2013/09/17 Formal languages  Logic programming  Ontology   a concurrent temporal programming model with atomic blocks 会议论文  OAI收割 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12, 2012 - November 16, 2012 Yang Xiaoxiao; Zhang Yu; Fu Ming; Feng Xinyu   |  收藏  |  浏览/下载：32/0  |  提交时间：2013/09/22 Logic programming  Temporal logic   a new matchmaking approach based on abductive conjunctive query answering 会议论文  OAI收割 Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4, 2011 - December 7, 2011 Du Jianfeng; Wang Shuai; Qi Guilin; Pan Jeff Z.; Hu Yong   |  收藏  |  浏览/下载：44/0  |  提交时间：2013/09/22 Data description  Formal languages  Logic programming  Query processing  Semantic Web   带结构样本集上的机器学习 学位论文  OAI收割 工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2011 作者:  韩彦军 收藏  |  浏览/下载：42/0  |  提交时间：2015/09/02 带结构样本集  归纳逻辑  规则集成  多实例学习  推荐算法  群体发现  structural sample set  inductive logic programming  rule ensemble  multiple instance learning  recommendation systems  community detection