Unilateral Analysis and Duality -- Monotonic Optimization: Branch and Cut Methods -- Duality Bound Methods in Global Optimization -- General Quadratic Programming -- On Solving Polynomial, Factorable, and Black-Box Optimization Problems Using the RLT Methodology -- Bilevel Programming -- Applications of Global Optimization to Portfolio Analysis -- Optimization Techniques in Medicine -- Global O…
A Primer in Column Generation -- Shortest Path Problems with Resource Constraints -- Vehicle Routing Problem with Time Windows -- Branch-and-Price Heuristics: A Case Study on the Vehicle Routing Problem with Time Windows -- Cutting Stock Problems -- Large-Scale Models in the Airline Industry -- Robust Inventory Ship Routing by Column Generation -- Ship Scheduling with Recurring Visits and Visit…
Production and Inventory Systems -- Average Cost Optimality in Inventory Models with Markovian Demands and Lost Sales -- Inventory Control of Switched Production Systems: LMI Approach -- A Two-Time-Scale Approach for Production Planning in Discrete Time -- Evaluation of Throughput in Serial Production Lines with Non-Exponential Machines -- Supply Chain Production Planning Modeling Facility Lead…
Mathematical Modeling of the Regional-Scale Variability of Gaseous Species and Aerosols in the Atmosphere -- Air Pollution Modeling in Action -- Advances in Urban Meteorology Modelling -- Modelling Studies on the Concentration and Deposition of Air Pollutants in East-Central Europe -- Estimation of the Exchange of Sulphur Pollution in Southeast Europe -- Implementing the Trajectory-Grid Transpo…
This volume is an expanded version of Chapters III, IV, V and VII of my 1963 book "Linear partial differential operators". In addition there is an entirely new chapter on convolution equations, one on scattering theory, and one on methods from the theory of analytic functions of several complex variables. The latter is somewhat limited in scope though since it seems superfluous to duplicate the…
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints -- An Algebraic Approach to the Complexity of Generalized Conjunctive Queries -- Incremental Compilation-to-SAT Procedures -- Resolve and Expand…
Constraint Satisfaction -- Efficient Pruning Technique Based on Linear Relaxations -- Inter-block Backtracking: Exploiting the Structure in Continuous CSPs -- Accelerating Consistency Techniques and Prony’s Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming Methods for Global Optimization -- A Method for Global Optimization of Large Syste…
Numerical Methods -- Algorithms and Computational Kernels -- Nonnumerical Algorithms -- Parallel Algorithms -- Environments and Libraries -- Performance and Scalability -- Programming Techniques -- Networks and Distributed Algorithms -- Parallel and Distributed Computing -- Grid Computing -- Failure Handling -- Optimization -- Modeling and Simulation -- Image Analysis and Processing -- Graphics…
Workshop on “Simulation of Multiphysics Multiscale Systems” -- Workshop on “Grid Computing Security and Resource Management” -- 2nd International Workshop on Active and Programmable Grids Architectures and Components (APGAC2005) -- International Workshop on Computational Nano-Science and Technology -- Workshop on “Collaborative and Cooperative Environments” -- Workshop on “Autonom…
Invited Papers -- Lexicographic Breadth First Search – A Survey -- Wireless Networking: Graph Theory Unplugged -- Graph Algorithms: Trees -- Constant Time Generation of Trees with Specified Diameter -- Treelike Comparability Graphs: Characterization, Recognition, and Applications -- Elegant Distance Constrained Labelings of Trees -- Collective Tree Spanners and Routing in AT-free Related Grap…