Global 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 Neumaier

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
• Edizione: 1st ed. 2003.
• Descrizione fisica: 1 online resource (XII, 248 p.)
• Disciplina: 005.1/1
• Soggetto topico: Mathematical optimization; Numerical analysis; Programming languages (Electronic computers); Combinatorics; Operations research; Management science; Decision making; Optimization; Numeric Computing; Programming Languages, Compilers, Interpreters; Operations Research, Management Science; Operations Research/Decision Theory
• Persona (resp. second.): BliekChristian; JermannChristophe; NeumaierArnold
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references at the end of each chapters and index.
• Nota di contenuto: 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.
• Sommario/riassunto: 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.
• Titolo autorizzato: Global Optimization and Constraint Satisfaction
• ISBN: 3-540-39901-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465784803316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 2861