机构

• 软件研究所 [25]
• 合肥物质科学研究院 [1]

采集方式

• OAI收割 [26]

内容类型

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

发表日期

• 2020 [1]
• 2013 [1]
• 2011 [2]
• 2010 [4]
• 2009 [5]
• 2008 [4]
• 更多

学科主题

• Computer S... [2]
• Artificial... [1]
• Computer S... [1]
• Interdisci... [1]
• Operations... [1]
• Theory & M... [1]
• 更多

筛选

浏览/检索结果: 共26条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 A novel silicon nanoparticles-infilled capsule prepared by an oil-in-water emulsion strategy for high-performance Li-ion battery anodes 期刊论文  OAI收割 NANOTECHNOLOGY, 2020, 卷号: 31 作者:  Wu, Yong;  Han, Tianli;  Zhou, Ting;  Qiao, Xue;  Chen, Xi   |  收藏  |   Radl 形式规格说明相对正确性研究 期刊论文  OAI收割 Journal of Software, 2013, 卷号: 24, 期号: 4 Wang Changjing; Xue Jinyun   |  收藏  |   formal derivation of two algorithms involving sequences 会议论文  OAI收割 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011, Sanya, Hainan Island, China, May 16, 20 Shi Haihe; Xue Jinyun   |  收藏  |   a generative approach to searching algorithmic programs development 会议论文  OAI收割 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, August 29, Shi Haihe; Xue Jinyun   |  收藏  |   generating provably correct algorithmic programs from formal specifications 会议论文  OAI收割 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451 Shi Haihe; Xue Jinyun   |  收藏  |   an algebraic approach to mechanical tabu search algorithm generation 会议论文  OAI收割 2010 1st IEEE International Conference on Progress in Informatics and Computing, PIC 2010, Shanghai, China, 40878 Zheng Yujun; Shi Haihe; Xue Jinyun   |  收藏  |   problem reduction graph model for discrete optimization problems 会议论文  OAI收割 3rd International Joint Conference on Computational Sciences and Optimization, CSO 2010: Theoretical Development and Engineering Practice, Huangshan, Anhui, China, 43979 Zheng Yujun; Xue Jinyun   |  收藏  |   a problem reduction based approach to discrete optimization algorithm design 期刊论文  OAI收割 COMPUTING, 2010, 卷号: 88, 期号: 40545, 页码: 31-54 Zheng Yujun; Xue Jinyun   |  收藏  |   a category theoretic approach to search algorithms: towards a unified implementation for branch-and-bound and backtracking 会议论文  OAI收割 4th International Conference on Computer Science and Education, Nanning, PEOPLES R CHINA, JUL 25-28, Zheng Yujun; Xue Jinyun; Shi Haihe   |  收藏  |   formal derivation of a high-trustworthy generic algorithmic program for solving a class of path problems 会议论文  OAI收割 3rd International Frontiers of Algorithmics Workshop, FAW 2009, Hefei, China, 37427 Wang Changjing; Xue Jinyun   |  收藏  |