00881nam0-22003131i-450-99000382638040332120060317145931.088-15-07363-9000382638FED01000382638(Aleph)000382638FED0100038263820030910d2000----km-y0itay50------baitaITy-------001yy<<L'>>Istituto Mobiliare Italianocentralità per la ricostruzione 1945-1954Giorgio LombardoBolognail Mulino2000787 p.Storia dell'IMILombardo,Giorgio139875Istituto mobiliare italianoITUNINARICAUNIMARCBK990003826380403321N2.4359884DECTSDECTSIstituto mobiliare italiano265828UNINA05485nam 22008175 450 99646578480331620200701044934.03-540-39901-110.1007/b94062(CKB)1000000000212241(SSID)ssj0000323560(PQKBManifestationID)11937912(PQKBTitleCode)TC0000323560(PQKBWorkID)10297158(PQKB)11183992(DE-He213)978-3-540-39901-8(MiAaPQ)EBC3087333(PPN)155182110(EXLCZ)99100000000021224120121227d2003 u| 0engurnn|008mamaatxtccrGlobal Optimization and Constraint Satisfaction[electronic resource] First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers /edited by Christian Bliek, Christophe Jermann, Arnold Neumaier1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (XII, 248 p.) Lecture Notes in Computer Science,0302-9743 ;2861Bibliographic Level Mode of Issuance: Monograph3-540-20463-6 Includes bibliographical references at the end of each chapters and index.Invited 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.This 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.Lecture Notes in Computer Science,0302-9743 ;2861Mathematical optimizationNumerical analysisProgramming languages (Electronic computers)CombinatoricsOperations researchManagement scienceDecision makingOptimizationhttps://scigraph.springernature.com/ontologies/product-market-codes/M26008Numeric Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I1701XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Combinatoricshttps://scigraph.springernature.com/ontologies/product-market-codes/M29010Operations Research, Management Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/M26024Operations Research/Decision Theoryhttps://scigraph.springernature.com/ontologies/product-market-codes/521000Mathematical optimization.Numerical analysis.Programming languages (Electronic computers).Combinatorics.Operations research.Management science.Decision making.Optimization.Numeric Computing.Programming Languages, Compilers, Interpreters.Combinatorics.Operations Research, Management Science.Operations Research/Decision Theory.005.1/1Bliek Christianedthttp://id.loc.gov/vocabulary/relators/edtJermann Christopheedthttp://id.loc.gov/vocabulary/relators/edtNeumaier Arnoldedthttp://id.loc.gov/vocabulary/relators/edtCOCOS 2002BOOK996465784803316Global Optimization and Constraint Satisfaction772774UNISA