1
Published 2005
Table of Contents: ... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Model -- 16×16 Integer Cosine Transform for HD Video Coding -- Heegard-Berger Video Coding Using LMMSE...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Construction of Integer Wavelet Transforms for Embedded Image Coding -- Reinforcement Learning with Raw Image...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... by Sequential Integer Linear Programming -- Bio -- Bio-Inspired Material Design and Optimization -- Protein...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... programming model for genome rearrangement problems -- Statistical integration of p-values for enhancing...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Computer and Its Communication Protocol -- A Branch-and-Bound Algorithm to Solve Large Scale Integer...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Hydroscheduling Based on Stochastic Models -- Recent Progress in Two-stage Mixed-integer Stochastic Programming...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... for Real-Time Control -- A 0-1 Integer Linear Programming Based Approach for Global Locality Optimizations...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... and Self Reinforced Processes: M. Benaim -- 9 Wave Interaction with Floating Bodies in a Stratified...
View full text
Electronic eBook