CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Optimizing a parametric linear function over a non-compact real algebraic variety 会议论文
40th ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, 2015-07-06
作者:  Guo F.;  Ei Din M.S.;  Wang C.;  Zhi L.
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/09
Optimizing a linear function over a noncompact real algebraic variety 会议论文
2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, 2014-07-28
作者:  Guo F.;  Wang C.;  Zhi L.
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/11
The research and application of efficient dust control system for whole-rock comprehensive mechanization driving face 会议论文
3rd International Conference on Energy and Environmental Protection, ICEEP 2014, April 26, 2014 - April 28, 2014
作者:  Nie, Wen;  Wang, Nai Guo;  Cheng, Wei Min;  Ma, You Ying;  Sun, Ya Ru
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/31
An improved fault tolerant mechanization of integrated navigation systems employing federated kalman filter 会议论文
20th Saint Petersburg International Conference on Integrated Navigation Systems, ICINS 2013, Saint Petersburg, Russia, 2013-05-27
作者:  Ushaq, M.;  Fang, J.Ch.;  Ali, J.
收藏  |  浏览/下载：12/0  |  提交时间：2020/01/06
a graph-based implementation for mechanized refinement calculus of oo programs 会议论文
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, 8-Nov
Liu Zhiming; Morisset Charles; Wang Shuling
收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10
Study on integrated framework of mathematical mechanization for NC trajectory planning 会议论文
2011 2nd International Conference on Applied Mechanics and Mechanical Engineering, ICAMME 2011, Sanya, China, October 8-9, 2011
作者:  Deng HB(邓华波);  Liu WJ(刘伟军);  Gao EY(高恩阳)
收藏  |  浏览/下载：25/0  |  提交时间：2012/10/24
Study on low-carbon technique of maize mechanization and its development tendency in Huanghuaihai Plain 会议论文
作者:  Du, Ruicheng;  Zhengchao;  Yang, Zidong
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/31
A new lattice-based public-key cryptosystem mixed with a knapsack 会议论文
10th International Conference on Cryptography and Network Security, CANS 2011, December 10, 2011 - December 12, 2011
作者:  Pan, Yanbin;  Deng, Yingpu;  Jiang, Yupeng;  Tu, Ziran
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31
an algebraic approach to mechanical tabu search algorithm generation 会议论文
2010 1st IEEE International Conference on Progress in Informatics and Computing, PIC 2010, Shanghai, China, 40878
Zheng Yujun; Shi Haihe; Xue Jinyun
收藏  |  浏览/下载：10/0  |  提交时间：2011/03/31
a category theoretic approach to search algorithms: towards a unified implementation for branch-and-bound and backtracking 会议论文
4th International Conference on Computer Science and Education, Nanning, PEOPLES R CHINA, JUL 25-28,
Zheng Yujun; Xue Jinyun; Shi Haihe
收藏  |  浏览/下载：9/0  |  提交时间：2011/03/20

©版权所有 ©2017 CSpace - Powered by CSpace