机构

• 软件研究所 [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   |  收藏  |  浏览/下载：40/0  |  提交时间：2020/11/26 silicon nanoparticles  capsules  yolk-shell nanostructures  secondary batteries   Radl 形式规格说明相对正确性研究 期刊论文  OAI收割 Journal of Software, 2013, 卷号: 24, 期号: 4 Wang Changjing; Xue Jinyun   |  收藏  |  浏览/下载：22/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   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   |  收藏  |  浏览/下载：23/0  |  提交时间：2013/10/08 Algorithms  Information science  Problem solving  Specifications   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   |  收藏  |  浏览/下载：14/0  |  提交时间：2013/10/08 Productivity  Software engineering   generating provably correct algorithmic programs from formal specifications 会议论文  OAI收割 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451 Shi Haihe; Xue Jinyun   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/03/31 Algorithmic languages  Computer programming  Computer software selection and evaluation   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   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/03/31 Algebra  Automatic programming  Combinatorial optimization  Information science  Learning algorithms  Machinery  Specifications   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   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/03/31 Algorithms  Combinatorial optimization  Computer software reusability  Inference engines  Reusability   a problem reduction based approach to discrete optimization algorithm design 期刊论文  OAI收割 COMPUTING, 2010, 卷号: 88, 期号: 40545, 页码: 31-54 Zheng Yujun; Xue Jinyun   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/05/23 Discrete optimization  Program calculation  Problem reduction graph (PRG)  Algorithm design   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   |  收藏  |  浏览/下载：9/0  |  提交时间：2011/03/20 Category theory  PAR  Colimit  Branch-and-Bound  Backtracking   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   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/03/20 Algorithms  Computer software