LEADER 05485nam 22008175 450 001 996465784803316 005 20200701044934.0 010 $a3-540-39901-1 024 7 $a10.1007/b94062 035 $a(CKB)1000000000212241 035 $a(SSID)ssj0000323560 035 $a(PQKBManifestationID)11937912 035 $a(PQKBTitleCode)TC0000323560 035 $a(PQKBWorkID)10297158 035 $a(PQKB)11183992 035 $a(DE-He213)978-3-540-39901-8 035 $a(MiAaPQ)EBC3087333 035 $a(PPN)155182110 035 $a(EXLCZ)991000000000212241 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aGlobal Optimization and Constraint Satisfaction$b[electronic resource] $eFirst International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers /$fedited by Christian Bliek, Christophe Jermann, Arnold Neumaier 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (XII, 248 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2861 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20463-6 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $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. 330 $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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2861 606 $aMathematical optimization 606 $aNumerical analysis 606 $aProgramming languages (Electronic computers) 606 $aCombinatorics 606 $aOperations research 606 $aManagement science 606 $aDecision making 606 $aOptimization$3https://scigraph.springernature.com/ontologies/product-market-codes/M26008 606 $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aCombinatorics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29010 606 $aOperations Research, Management Science$3https://scigraph.springernature.com/ontologies/product-market-codes/M26024 606 $aOperations Research/Decision Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/521000 615 0$aMathematical optimization. 615 0$aNumerical analysis. 615 0$aProgramming languages (Electronic computers). 615 0$aCombinatorics. 615 0$aOperations research. 615 0$aManagement science. 615 0$aDecision making. 615 14$aOptimization. 615 24$aNumeric Computing. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aCombinatorics. 615 24$aOperations Research, Management Science. 615 24$aOperations Research/Decision Theory. 676 $a005.1/1 702 $aBliek$b Christian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJermann$b Christophe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNeumaier$b Arnold$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCOCOS 2002 906 $aBOOK 912 $a996465784803316 996 $aGlobal Optimization and Constraint Satisfaction$9772774 997 $aUNISA LEADER 00922nam0 22002651i 450 001 UON00328808 005 20231205104211.876 100 $a20090805f |0itac50 ba 101 $arum 102 $aRO 105 $a|||| 1|||| 200 1 $aMite$eRoman$fE. Lovinescu 205 $a2. Ed 210 $aBucuresti$cEditura "Adeverul", [s.d.] 215 $a302 p.$d19 cm. 620 $aRO$dBucure?ti$3UONL000071 676 $a859$cLetteratura romena e letterature ladine$v21 700 1$aLOVINESCU$bEugen$3UONV187292$0533316 712 $aAdeverul$3UONV275861$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00328808 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI FONDO ONCIULESCU A 0491 $eSI MR 64900 5 0491 $sDeteriorato 996 $aMite$91363030 997 $aUNIOR