1
Published 2005
Table of Contents: ..., and the Maximum Weight Stable Set Problem -- Smoothed Analysis of Integer Programming -- Circular Ones Matrices...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... the Quorumcast Routing Problem as a Mixed Integer Program -- A New MIP Model for Parallel-Batch Scheduling...
View full text
Electronic eBook
3
Published 2011
Table of Contents: ... Trees for Multistage Stochastic Programs -- Risk Aversion in Two-Stage Stochastic Integer Programming...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...
View full text
Electronic eBook
7
... case in tuning a multiloop PID controller, proportional-integral (PI) controller, and fractional-order...
View full text
Article
8
Published 2013
Table of Contents: ... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Bitwise Register Allocation Using Integer Linear Programming -- Register Allocation: What Does the NP...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... control law, by R. Martí, D. Sarabia, C. de Prada -- 4 Distributed MPC for consensus and synchronization...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Optimisation Applied to the Classical Integer Programming Model for Statistical Disclosure Control -- How...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Hydroscheduling Based on Stochastic Models -- Recent Progress in Two-stage Mixed-integer Stochastic Programming...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... -- An Integer Programming Approach to the Hospitals/Residents Problem with Ties -- Learning in Highly Polarized...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Signal Control System for Smart World -- Development and Runtime Support for Situation-Aware Security...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Applying and Experimenting with Scatter Search -- Tabu Search for Mixed Integer Programming -- Scatter...
View full text
Electronic eBook