搜索页_Computational+program

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(24)	馆藏书目(6)	万方学术会议(2)	CNKI学位论文(24982)	知网期刊论文(12102)
中国地质文献-英文(3)	Springer电子图书(6)	CNKI会议论文(34)	CNKI期刊论文0611(44)	万方学位论文(1)

在“SpringerLink电子期刊”中，命中：3,502条，耗时：0.0479766 秒

在所有数据库中总计命中：37,204条

1. Evolutionary Program Sketching

关键词：Program synthesis ; Satisfiability modulo theory ; Program sketching ; Genetic programming

刊名：Lecture Notes in Computer Science

出版年：2017

2. MIDcor, an R-program for deciphering mass interferences in mass spectra of metabolites enriched in stable isotopes

作者： Vitaly A. Selivanov ; Adrián Benito ; Anibal Miranda ; Esther Aguilar…

关键词：13C labeling of metabolites ; Gas chromatography/mass spectrometry ; Correction of peaks overlapping ; Isotopic effect ; Computational analysisR ; program

刊名：BMC Bioinformatics

出版年：2017

3. The Ancestral Benders’ cutting plane algorithm with multi-term disjunctions for mixed-integer recourse decisions in stochastic programming

作者： Yunwei Qi ; Suvrajeet Sen

关键词：Two ; stage stochastic mixed ; integer programs ; Cutting plane tree algorithm ; Multi ; term disjunctive cut ; Benders’ decomposition

刊名：Mathematical Programming

出版年：2017

4. A network biology approach to understanding the importance of chameleon proteins in human physiology and pathology

作者： Golnaz Bahramali ; Bahram Goliaei ; Zarrin Minuchehr ; Sayed-Amir Marashi

关键词：PPI networks ; Disease network ; Enrichment analysis ; Computational approaches

刊名：Amino Acids

出版年：2017

5. Functional knowledge integration of the design process

作者： Bin Chen ; YouBai Xie

关键词：functional knowledge integration ; design process ; running model ; computational algorithm ; evaluating method

刊名：Science China Technological Sciences

出版年：2017

6. Scheduling reclaimers serving a stock pad at a coal terminal

作者： Thomas Kalinowski ; Reena Kapoor ; Martin W. P. Savelsbergh

关键词：Reclaimer scheduling ; Stockyard management ; Approximation algorithm ; Computational complexity ; Branch ; and ; bound

刊名：Journal of Scheduling

出版年：2017

7. Exploring Fitness and Edit Distance of Mutated Python Programs

关键词：Search Based Software Engineering ; Genetic Improvement ; Genetic Programming ; Automatic programming ; Software repair

刊名：Lecture Notes in Computer Science

出版年：2017

8. Analyzing restricted fragments of the theory of linear arithmetic

作者： Piotr Wojciechowski ; Pavlos Eirinakis…

关键词：Quantified linear programming ; Quantified linear implication ; Theory of real numbers with addition ; Complexity classes

刊名：Annals of Mathematics and Artificial Intelligence

出版年：2017

9. Abstract conjunctive partial deduction for the analysis and compilation of coroutines

作者： Vincent Nys ; Danny De Schreye

关键词：Coroutines ; Compiling control ; Abstract conjunctive partial deduction

刊名：Formal Aspects of Computing

出版年：2017

10. P Colonies with Evolving Environment

关键词：P colony ; Catalytic p system ; 0L scheme ; Computational completeness ; Partially blind register machine

刊名：Lecture Notes in Computer Science

出版年：2017

查看站内搜索结果(3)

按检索点细分(3502)

题名(32)

作者(33)

关键词(29)

文摘(2756)