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 |