中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共63条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
A graph-based method for interactive mapping revision in DL-Lite 期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2023, 卷号: 211, 页码: 24
作者:  Li, Weizhuo;  Ji, Qiu;  Zhang, Songmao;  Fu, Xuefeng;  Qi, Guilin
收藏  |  浏览/下载：91/0  |  提交时间：2023/02/07
Semantic Web  Ontology mappings  Interactive revision  Graph representation  
Lifting for the integer knapsack cover polyhedron 期刊论文
JOURNAL OF GLOBAL OPTIMIZATION, 2022, 页码: 45
作者:  Chen, Wei-Kun;  Chen, Liang;  Dai, Yu-Hong
收藏  |  浏览/下载：80/0  |  提交时间：2023/02/07
Integer programming  Cutting plane  Sequential lifting  MIR inequality  Separation algorithm  
Approximation algorithms for solving the line-capacitated minimum Steiner tree problem 期刊论文
JOURNAL OF GLOBAL OPTIMIZATION, 2022, 页码: 28
作者:  Li, Jianping;  Wang, Wencheng;  Lichen, Junran;  Liu, Suding;  Pan, Pengxiang
收藏  |  浏览/下载：77/0  |  提交时间：2023/02/07
Combinatorial optimization  Locations of lines  Line-capacitated Steiner trees  Approximation algorithms  Exact algorithms  
On some extended mixed integer optimization models of the Eisenberg-Noe model in systemic risk management 期刊论文
INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, 2021, 页码: 24
作者:  Dong, Zhi-Long;  Peng, Jiming;  Xu, Fengmin;  Dai, Yu-Hong
收藏  |  浏览/下载：149/0  |  提交时间：2021/04/26
financial network  systemic risk  mixed integer programming  coefficient strengthening  sequential linear optimization  
Quantum Algorithm for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2021, 页码: 40
作者:  Chen Yu-Ao;  Gao Xiao-Shan
收藏  |  浏览/下载：122/0  |  提交时间：2021/04/26
Block cipher AES  Boolean equation solving  condition number  hash function SHA-3  Keccak  HHL algorithm  MPKC  polynomial system solving  quantum algorithm  stream cipher Trivum  
Computing real radicals and S-radicals of polynomial systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 102, 页码: 259-278
作者:  El Din, Mohab Safey;  Yang, Zhi-Hong;  Zhi, Lihong
收藏  |  浏览/下载：299/0  |  提交时间：2020/09/23
Polynomial system  Real radical  S-radical ideal  Semi-algebraic set  Real algebraic geometry  
Quantum QR decomposition in the computational basis 期刊论文
QUANTUM INFORMATION PROCESSING, 2020, 卷号: 19, 期号: 8, 页码: 16
作者:  Ma, Guangsheng;  Li, Hongbo;  Zhao, Jiman
收藏  |  浏览/下载：138/0  |  提交时间：2020/09/23
Quantum algorithms  Computational basis  Quantum QR decomposition  
PARALLEL ENERGY-STABLE SOLVER FOR A COUPLED ALLEN-CAHN AND CAHN-HILLIARD SYSTEM 期刊论文
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2020, 卷号: 42, 期号: 5, 页码: C294-C312
作者:  Huang, Jizu;  Yang, Chao;  Wei, Ying
收藏  |  浏览/下载：140/0  |  提交时间：2021/04/26
coupled Allen-Cahn/Cahn-Hilliard system  discrete variational derivative method  unconditionally energy stable scheme  Newton-Krylov-Schwarz  domain decomposition method  
The Efficient Computation of Aircraft Range Problem 期刊论文
ACTA MATHEMATICAE APPLICATAE SINICA-ENGLISH SERIES, 2019, 卷号: 35, 期号: 4, 页码: 862-872
作者:  Yu, Fang;  Cui, Jin-chuan
收藏  |  浏览/下载：133/0  |  提交时间：2020/05/24
computational complexity  efficient computation mechanism  aircraft range problem  cluster  
A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x] 期刊论文
THEORETICAL COMPUTER SCIENCE, 2019, 卷号: 755, 页码: 89-109
作者:  Jing, Rui-Juan;  Yuan, Chun-Ming;  Gao, Xiao-Shan
收藏  |  浏览/下载：164/0  |  提交时间：2019/03/05
Generalized Hermite normal form  Grobner basis  Polynomial-time algorithm  Z[x] module