Search Results - integrals integer program programming control https

1

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

2

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: “... the Quorumcast Routing Problem as a Mixed Integer Program -- A New MIP Model for Parallel-Batch Scheduling...”
View full text

Electronic eBook

3

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

Published 2011

Table of Contents: “... Trees for Multistage Stochastic Programs -- Risk Aversion in Two-Stage Stochastic Integer Programming...”
View full text

Electronic eBook

4

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

Published 2007

Table of Contents: “... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”
View full text

Electronic eBook

5

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

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

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

Published 2008

Table of Contents: “... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”
View full text

Electronic eBook

7

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

by Parnianifard, Amir, Ahmad, Siti Azfanizam
Published 2020

“... case in tuning a multiloop PID controller, proportional-integral (PI) controller, and fractional-order...”
View full text

Article

8

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

9

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: “... Bitwise Register Allocation Using Integer Linear Programming -- Register Allocation: What Does the NP...”
View full text

Electronic eBook

10

Distributed Model Predictive Control Made Easy

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

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

12

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

13

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

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

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

15

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Published 2010

Table of Contents: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
View full text

Electronic eBook

16

Privacy in Statistical Databases UNESCO Chair in Data Privacy International Conference, PSD 2008, Istanbul, Turkey, September 24-26, 2008, Proceedings /

Published 2008

Table of Contents: “... Optimisation Applied to the Classical Integer Programming Model for Statistical Disclosure Control -- How...”
View full text

Electronic eBook

17

Handbook of Power Systems I

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

Operations Research Proceedings 2013 Selected Papers of the International Conference on Operations Research, OR2013, organized by the German Operations Research Society (GOR), the...

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

Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006 /

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

Metaheuristic Optimization via Memory and Evolution Tabu Search and Scatter Search /

Published 2005

Table of Contents: “... Applying and Experimenting with Scatter Search -- Tabu Search for Mixed Integer Programming -- Scatter...”
View full text

Electronic eBook

Narrow Search