Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program function » programme function, programs functional, program foundation
function general » functions general, function central, functioning general
program integer » program inverter, problem integer, programming integer
integer program » integer programs, integer programming
https » http
program function » programme function, programs functional, program foundation
function general » functions general, function central, functioning general
program integer » program inverter, problem integer, programming integer
integer program » integer programs, integer programming
https » http
1
Table of Contents:
“... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...”
View full text
View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Algorithms for 2-Stage Stochastic Scheduling Problems -- Session 5 -- On Integer Programming and the Branch...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“....- Subgradient based outer approximation for mixed integer secondorder cone programming.-Perspective...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
7
Table of Contents:
“...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...”
View full text
View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Pseudorandom Functions in Minicrypt -- On Black-Box Ring Extraction and Integer Factorization -- Extractable...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... and Reachability-Price Games on Hybrid Automata with Strong Resets -- Timed Automata with Integer Resets: Language...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”View full text
Electronic
eBook
16
“... parameters has generally not been considered in previous methods, and tuning has been done only in fixed...”
View full text
View full text
Article
17
Published 2005
Table of Contents:
“... Properties for Weakly Extended PRS -- Decision Procedures for Queues with Integer Constraints -- The Directed...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... and Presburger Arithmetic -- Synthesising Succinct Strategies in Safety and Reachability Games -- Integer Vector...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... by Integer Linear Programming -- An Efficient Lagrangian Relaxation for the Contact Map Overlap Problem -- A...”View full text
Electronic
eBook