000 04482nam a22006495i 4500
001 978-3-540-39901-8
003 DE-He213
005 20240423132429.0
007 cr nn 008mamaa
008 121227s2003 gw | s |||| 0|eng d
020 _a9783540399018
_9978-3-540-39901-8
024 7 _a10.1007/b94062
_2doi
050 4 _aQA402.5-402.6
072 7 _aPBU
_2bicssc
072 7 _aMAT042000
_2bisacsh
072 7 _aPBU
_2thema
082 0 4 _a519.6
_223
245 1 0 _aGlobal Optimization and Constraint Satisfaction
_h[electronic resource] :
_bFirst International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers /
_cedited by Christian Bliek, Christophe Jermann, Arnold Neumaier.
250 _a1st ed. 2003.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2003.
300 _aXII, 248 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2861
505 0 _aInvited Lectures -- Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach -- GlobSol: History, Composition, and Advice on Use -- Optimisation -- LaGO – An Object Oriented Library for Solving MINLPs -- Solving Global Optimization Problems over Polynomials with GloptiPoly 2.1 -- Rigorous Error Bounds for the Optimal Value of Linear Programming Problems -- Minimal and Maximal Real Roots of Parametric Polynomials Using Interval Analysis -- D.C. Programming for Solving a Class of Global Optimization Problems via Reformulation by Exact Penalty -- Symbolic-Interval Heuristic for Bound-Constrained Minimization -- A Global Constrained Optimization Algorithm for Engine Calibration -- Numerical Behavior of a Stabilized SQP Method for Degenerate NLP Problems -- Constraint Satisfaction -- A New Method for the Global Solution of Large Systems of Continuous Constraints -- Consistency Techniques for the Localization of a Satellite -- Computing Interval Parameter Bounds from Fallible Measurements Using Overdetermined (Tall) Systems of Nonlinear Equations -- Maintaining Global Hull Consistency with Local Search for Continuous CSPs -- Numerical Constraint Satisfaction Problems with Non-isolated Solutions -- Benchmarking -- Benchmarking Global Optimization and Constraint Satisfaction Codes -- Quality Assurance and Global Optimization.
520 _aThis book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Global Constraints Optimization and Costraint Satisfaction, COCOS 2002, held in Valbonne-Sophia Antipolis, France in October 2002. The 15 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement. The papers address current issues in global optimization, mathematical programming, and constraint programming; they are grouped in topical sections on optimization, constraint satisfaction, and benchmarking.
650 0 _aMathematical optimization.
650 0 _aNumerical analysis.
650 0 _aCompilers (Computer programs).
650 0 _aDiscrete mathematics.
650 0 _aOperations research.
650 0 _aManagement science.
650 1 4 _aOptimization.
650 2 4 _aNumerical Analysis.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aDiscrete Mathematics.
650 2 4 _aOperations Research, Management Science.
650 2 4 _aOperations Research and Decision Theory.
700 1 _aBliek, Christian.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aJermann, Christophe.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aNeumaier, Arnold.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540204633
776 0 8 _iPrinted edition:
_z9783662210147
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2861
856 4 0 _uhttps://doi.org/10.1007/b94062
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c187674
_d187674