Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Jermann, Christophe (Επιμελητής έκδοσης), Neumaier, Arnold (Επιμελητής έκδοσης), Sam, Djamila (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3478
• Θέματα: Computer science.; Computer logic.; Mathematical logic.; Numerical analysis.; Computer science > Mathematics.; Computer Science.; Numeric Computing.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.

Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyzed. It is of great interest to ?nd the possible scenarios satisfying all constraints, and, iftherearemanyofthem,eitherto?ndthebestsolution,ortoobtaina...

Πίνακας περιεχομένων:

• 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.