Search Results - integrated integer programming programming based https

1

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings /

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

2

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings /

Published 2013

Table of Contents: “...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...”
View full text

Electronic eBook

3

Integer Programming and Combinatorial Optimization 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings /

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

4

Production Planning by Mixed Integer Programming

by Pochet, Yves., Pochet, Yves., Wolsey, Laurence A.
Published 2006

Table of Contents: “... and Systems -- Mixed Integer Programming Algorithms -- Classification and Reformulation -- Reformulations...”
View full text

Electronic eBook

5

50 Years of Integer Programming 1958-2008 From the Early Years to the State-of-the-Art /

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

6

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

Published 2014

Table of Contents: “...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”
View full text

Electronic eBook

7

Stochastic Programming The State of the Art In Honor of George B. Dantzig /

Published 2011

Table of Contents: “... Programs -- Simulation-Based Optimality Tests for Stochastic Programs -- Stochastic Decomposition...”
View full text

Electronic eBook

8

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2010

Table of Contents: “... -- Constraint Programming with Arbitrarily Large Integer Variables -- Constraint-Based Local Search...”
View full text

Electronic eBook

9

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2007

Table of Contents: “... Integer Programming -- A Position-Based Propagator for the Open-Shop Problem -- Directional...”
View full text

Electronic eBook

10

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2005

Table of Contents: “... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”
View full text

Electronic eBook

11

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
View full text

Electronic eBook

12

Metamodel-based robust simulation-optimization assisted optimal design of multiloop integer and fractional-order PID controller

by Parnianifard, Amir, Ahmad, Siti Azfanizam
Published 2020

“...Classical proportional-integral-derivative (PID) tuning methods such as Ziegler-Nichols simply...”
View full text

Article

13

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”
View full text

Electronic eBook

14

Integrated Uncertainty Management and Applications

Published 2010

Table of Contents: “...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...”
View full text

Electronic eBook

15

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers /

Published 2007

Table of Contents: “... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”
View full text

Electronic eBook

16

Integrating Routing Decisions in Public Transportation Problems

by Schmidt, Marie E., Schmidt, Marie E.
Published 2014

Subjects: “...Operations Research, Management Science. https://scigraph.springernature.com/ontologies/product...”
View full text

Electronic eBook

17

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2013

Table of Contents: “... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”
View full text

Electronic eBook

18

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...

Published 2007

Table of Contents: “... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”
View full text

Electronic eBook

19

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Published 2007

Table of Contents: “... the Constraints in the Light-Cone SU(3) Yang-Mills Mechanics Via Gröbner Bases -- On the Weight Spectra of Conway...”
View full text

Electronic eBook

20

Computer Security - ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings /

Published 2010

Table of Contents: “... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”
View full text

Electronic eBook

Narrow Search