搜索页_infinite+program

设为首页

收藏本站

网站地图 | English | 公务邮箱

读者指南

学术客户端

NSTL服务站

科技查新

外文资源

中国地质文献-英文(2)	SpringerLink电子期刊(627)	GSW全文库(12)
Wiley电子期刊(2)	ProQuest学位论文(37)	Elsevier电子期刊(424)
Springer电子图书(3)	NATURE电子期刊(1)	ACS电子期刊(9)

在“SpringerLink电子期刊”中，命中：627条，耗时：0.023989 秒

在所有数据库中总计命中：1,117条

1. Strong duality and sensitivity analysis in semi-infinite linear programming

作者： Amitabh Basu ; Kipp Martin ; Christopher Thomas Ryan

关键词：Semi ; infinite linear programming ; Duality ; Sensitivity analysis

刊名：Mathematical Programming

出版年：2017

2. A Multiplicative Weights Update Algorithm for Packing and Covering Semi-infinite Linear Programs

关键词：Multiplicative weights update ; Robust optimization ; Second ; order cone programming ; Packing and covering

刊名：Lecture Notes in Computer Science

出版年：2017

3. An empirical study of on-line models for relational data streams

作者： Ashwin Srinivasan ; Michael Bain

关键词：Inductive Logic Programming ; Data streams ; Online learning

刊名：Machine Learning

出版年：2017

4. Random Models for Evaluating Efficient Büchi Universality Checking

刊名：Lecture Notes in Computer Science

出版年：2017

5. Robust optimization in countably infinite linear programs

作者： Archis Ghate

关键词：Infinite ; dimensional optimization ; Uncertainty sets ; Planning horizon algorithm

刊名：Optimization Letters

出版年：2016

6. Optimality Conditions for Semi-Infinite and Generalized Semi-Infinite Programs Via Lower Order Exact Penalty Functions

作者： Xiaoqi Yang ; Zhangyou Chen…

刊名：Journal of Optimization Theory and Applications

出版年：2016

7. Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs

关键词：Probabilistic programs ; Expected run–time ; Positive almost–sure termination ; Weakest precondition ; Program verification

刊名：Lecture Notes in Computer Science

出版年：2016

8. Light on the infinite group relaxation I: foundations and taxonomy

作者： Amitabh Basu ; Robert Hildebrand ; Matthias Köppe

关键词：Cutting planes ; Cut ; generating functions ; Minimal and extreme functions ; Integer programming ; Infinite group problem

刊名：4OR: A Quarterly Journal of Operation Research

出版年：2016

9. Synthesis of large dynamic concurrent programs from dynamic specifications

作者： Paul C. Attie

刊名：Formal Methods in System Design

出版年：2016

10. A copositive formulation for the stability number of infinite graphs

作者： Cristian Dobre ; Mirjam Dür ; Leonhard Frerick ; Frank Vallentin

关键词：Copositive cone of continuous Hilbert ; Schmidt kernels ; Completely positive cone of measures ; Stability number ; Extreme rays

刊名：Mathematical Programming

出版年：2016

按检索点细分(627)

题名(39)

关键词(35)

文摘(569)

按出版年细分(627)

2017年(4)

2016年(42)

2015年(42)

2014年(34)

2013年(46)

2012年(43)

2011年(9)

2010年(26)

2009年(42)

2008年(57)

2007年(62)

2006年(68)

2005年(52)

2004年(12)

2003年(18)

2002年(12)

2001年(23)

2000年(9)

2000年及以前(26)

常见问题　|　交通位置　|　联系我们　|　OA远程办公

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700