1
Published 2010
Table of Contents: ... for Optimizing over N-Fold 4-Block Decomposable Integer Programs -- Universal Sequencing on a Single Machine...
View full text
Electronic eBook
2
Table of Contents: ... and Systems -- Mixed Integer Programming Algorithms -- Classification and Reformulation -- Reformulations...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... for the Assignment Problem -- Integral Boundary Points of Convex Polyhedra -- Outline of an Algorithm for Integer...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... -- Expected-Case Analysis for Delayed Filtering -- Plan B: Uncertainty/Time Trade-Offs for Linear and Integer...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...
View full text
Electronic eBook
8
... case in tuning a multiloop PID controller, proportional-integral (PI) controller, and fractional-order...
View full text
Article
9
Published 2007
Table of Contents: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... with Cosymmetry -- Weak Integer Quantifier Elimination Beyond the Linear Case -- Polynomial Division Using Dynamic...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... of Quantitative Information Flow -- E-voting and Broadcast -- On E-Vote Integrity in the Case of Malicious Voter...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... -- Supplement -- Forecast Methods -- Linear and Mixed Integer Programming -- Genetic Algorithms -- Constraint...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Summarization -- Integer Linear Programming for Dutch Sentence Compression -- GEMS: Generative Modeling...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... -- Forecast Methods -- Linear and Mixed Integer Programming -- Genetic Algorithms -- Constraint Programming....
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 2006
Table of Contents: ... Comprehensive Reputation-Based Trust Model with Fuzzy Subsystems -- An Integration Framework for Trustworthy...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Optimization -- An Interactive Fuzzy Satisficing Method for Multi-objective Integer Programming Problems...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... of Digital Movies -- TIVA: Trusted Integrity Verification Architecture -- Legal and Related Issues...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Programming: A Case Study of Wind Power -- The Integration of Social Concerns into Electricity Power Planning...
View full text
Electronic eBook