Global Optimization and Constraint Satisfaction: Second International Workshop, Cocos 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selec (Paperback, 2005)

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 Systems of Quadratic Constraints.- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials.- Using a Cooperative Solving Approach to Global Optimization Problems.- Global Optimization of Convex Multiplicative Programs by Duality Theory.- Applications.- High-Fidelity Models in Global Optimization.- Incremental Construction of the Robot's Environmental Map Using Interval Analysis.- Nonlinear Predictive Control Using Constraints Satisfaction.- Gas Turbine Model-Based Robust Fault Detection Using a Forward - Backward Test.- Benchmarking on Approaches to Interval Observation Applied to Robust Fault Detection.