LEADER 05005nam 2200601 a 450 001 9910483458803321 005 20200520144314.0 010 $a3-540-32041-5 010 $a3-540-26003-X 024 7 $a10.1007/b136292 035 $a(CKB)1000000000212955 035 $a(SSID)ssj0000317962 035 $a(PQKBManifestationID)11245546 035 $a(PQKBTitleCode)TC0000317962 035 $a(PQKBWorkID)10308486 035 $a(PQKB)10501039 035 $a(DE-He213)978-3-540-32041-8 035 $a(MiAaPQ)EBC3067790 035 $a(PPN)123094666 035 $a(EXLCZ)991000000000212955 100 $a20050426d2005 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aGlobal optimization and constraint satisfaction $esecond international workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003 : revised selected papers /$fChristophe Jermann, Arnold Neumaier, Djamila Sam (eds.) 205 $a1st ed. 2005. 210 $aBerlin ;$aNew York $cSpringer$dc2005 215 $a1 online resource (XII, 193 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3478 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540260035 320 $aIncludes bibliographical references and index. 327 $aConstraint 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. 330 $aTheformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe 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,ortoobtainacompact, explicit representation of the whole feasible set. The 2nd Workshop on Global Constrained Optimization and Constraint S- isfaction, COCOS 2003, which took place during November 18?21, 2003 in L- sanne, Switzerland, was dedicated to theoretical, algorithmic, and application oriented advances in answering these questions. Here global optimization refers to ?nding the absolutely best feasible point, while constraint satisfaction refers to?ndingallpossiblefeasiblepoints.AsinCOCOS2002,the?rstsuchworkshop (see the proceeedings [1]), the emphasis was on complete solving techniques for problems involving continuous variables that provide all solutions with full rigor, and on applications which, however, were allowed to have relaxed standards of rigor. The participants used the opportunity to meet experts from global optimi- tion, mathematical programming, constraint programming, and applications, and to present and discuss ongoing work and new directions in the ?eld. Four invited lectures and 20 contributed talks were presented at the workshop. The invited lectures were given by John Hooker (Logic-Based Methods for Global Optimization), Jean-Pierre Merlet (Usual and Unusual Applications of Interval Analysis), Hermann Schichl (The COCONUT Optimization Environment), and Jorge Morī e (Global Optimization Computational Servers). This volume contains the text of Hooker?s invited lecture and of 12 c- tributed talks. Copies of the slides for most presentations can be found at [2]. Constraintsatisfactionproblems.Threepapersfocusonalgorithmicaspects of constraint satisfaction problems. 410 0$aLecture notes in computer science ;$v3478. 517 3 $aCOCOS 2003 606 $aConstraint programming (Computer science)$vCongresses 606 $aMathematical optimization$vCongresses 615 0$aConstraint programming (Computer science) 615 0$aMathematical optimization 676 $a005.1/16 701 $aJermann$b Christophe$f1975-$01762323 701 $aNeumaier$b A$042268 701 $aSam$b Djamila$01762324 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483458803321 996 $aGlobal optimization and constraint satisfaction$94202184 997 $aUNINA