Enclosures of Roundoff Errors using SDP
|
|
- Oliver Barnett
- 5 years ago
- Views:
Transcription
1 Enclosures of Roundoff Errors using SDP Victor Magron, CNRS Jointly Certified Upper Bounds with G. Constantinides and A. Donaldson Metalibm workshop: Elementary functions, digital filters and beyond March 2018 Victor Magron Enclosures of Roundoff Errors using SDP 0 / 20
2 Errors and Proofs GUARANTEED OPTIMIZATION Input : Linear problem (LP), geometric, semidefinite (SDP) Output : solution + certificate numeric-symbolic formal Victor Magron Enclosures of Roundoff Errors using SDP 1 / 20
3 Errors and Proofs GUARANTEED OPTIMIZATION Input : Linear problem (LP), geometric, semidefinite (SDP) Output : solution + certificate numeric-symbolic formal VERIFICATION OF CRITICAL SYSTEMS Reliable software/hardware embedded codes Aerospace control molecular biology, robotics, code synthesis,... Victor Magron Enclosures of Roundoff Errors using SDP 1 / 20
4 Errors and Proofs GUARANTEED OPTIMIZATION Input : Linear problem (LP), geometric, semidefinite (SDP) Output : solution + certificate numeric-symbolic formal VERIFICATION OF CRITICAL SYSTEMS Reliable software/hardware embedded codes Aerospace control molecular biology, robotics, code synthesis,... Efficient Verification of Nonlinear Systems Automated precision tuning of systems/programs analysis/synthesis Efficiency sparsity correlation patterns Certified approximation algorithms Victor Magron Enclosures of Roundoff Errors using SDP 1 / 20
5 Roundoff Error Bounds Real : f (x) := x 1 x 2 + x 3 Floating-point : ˆf (x, e) := [x1 x 2 (1 + e 1 ) + x 3 ](1 + e 2 ) Input variable constraints x X Finite precision bounds over e E: e i 2 53 (double) Guarantees on absolute round-off error ˆf f? max ˆf f min ˆf f Upper Bounds Lower Bounds Lower Bounds Upper Bounds max ˆf f min ˆf f Victor Magron Enclosures of Roundoff Errors using SDP 2 / 20
6 Nonlinear Programs Polynomials programs : +,, x 2 x 5 + x 3 x 6 + x 1 ( x 1 + x 2 + x 3 x 4 + x 5 + x 6 ) Victor Magron Enclosures of Roundoff Errors using SDP 3 / 20
7 Nonlinear Programs Polynomials programs : +,, x 2 x 5 + x 3 x 6 + x 1 ( x 1 + x 2 + x 3 x 4 + x 5 + x 6 ) Semialgebraic programs:,, /, sup, inf 4x 1 + x 1.11 Victor Magron Enclosures of Roundoff Errors using SDP 3 / 20
8 Nonlinear Programs Polynomials programs : +,, x 2 x 5 + x 3 x 6 + x 1 ( x 1 + x 2 + x 3 x 4 + x 5 + x 6 ) Semialgebraic programs:,, /, sup, inf 4x 1 + x 1.11 Transcendental programs: arctan, exp, log,... log(1 + exp(x)) Victor Magron Enclosures of Roundoff Errors using SDP 3 / 20
9 Existing Frameworks Classical methods: Abstract domains [Goubault-Putot 11] FLUCTUAT: intervals, octagons, zonotopes Interval arithmetic [Daumas-Melquiond 10] GAPPA: interface with COQ proof assistant Victor Magron Enclosures of Roundoff Errors using SDP 4 / 20
10 Existing Frameworks Recent progress: Affine arithmetic + SMT [Darulova 14], [Darulova 17], [Izycheva 17] rosa: sound compiler for reals (SCALA) Daisy: roundoff error + rewriting + multi-precision Symbolic Taylor expansions [Solovyev 15], [Chiang 17] FPTaylor: certified optimization (OCAML/HOL-LIGHT) Improve numerical accuracy of programs [Damouche 17] Salsa: program transformation Guided random testing s3fp [Chiang 14] Victor Magron Enclosures of Roundoff Errors using SDP 4 / 20
11 Contributions Maximal Roundoff error of the program implementation of f : r := max ˆf (x, e) f (x) Decomposition: linear term l w.r.t. e + nonlinear term h max l + max h r max l max h Coarse bound of h with interval arithmetic Semidefinite programming (SDP) bounds for l: Victor Magron Enclosures of Roundoff Errors using SDP 5 / 20
12 Contributions Maximal Roundoff error of the program implementation of f : r := max ˆf (x, e) f (x) Decomposition: linear term l w.r.t. e + nonlinear term h max l + max h r max l max h Coarse bound of h with interval arithmetic Semidefinite programming (SDP) bounds for l: Upper Bounds Lower Bounds Lower Bounds Upper Bounds Sparse SDP relaxations Robust SDP relaxations Victor Magron Enclosures of Roundoff Errors using SDP 5 / 20
13 Contributions 1 General SDP framework for upper and lower bounds 2 Comparison with SMT & affine/taylor arithmetic: Efficient optimization + Tight upper bounds 3 Extensions to transcendental/conditional programs 4 Formal verification of SDP bounds 5 Open source tools: Upper Bounds Real2Float (in OCAML and COQ) FPSDP (in MATLAB) Upper Bounds Lower Bounds Lower Bounds Victor Magron Enclosures of Roundoff Errors using SDP 5 / 20
14 Introduction Semidefinite Programming for Polynomial Optimization Upper Bounds with Sparse SDP Lower Bounds with Robust SDP Conclusion
15 What is Semidefinite Programming? Linear Programming (LP): min z c z s.t. A z d. Linear cost c Linear inequalities i A ij z j d i Polyhedron Victor Magron Enclosures of Roundoff Errors using SDP 6 / 20
16 What is Semidefinite Programming? Semidefinite Programming (SDP): min z s.t. c z F i z i F 0. i Linear cost c Symmetric matrices F 0, F i Linear matrix inequalities F 0 (F has nonnegative eigenvalues) Spectrahedron Victor Magron Enclosures of Roundoff Errors using SDP 6 / 20
17 What is Semidefinite Programming? Semidefinite Programming (SDP): min z s.t. c z F i z i F 0, A z = d. i Linear cost c Symmetric matrices F 0, F i Linear matrix inequalities F 0 (F has nonnegative eigenvalues) Spectrahedron Victor Magron Enclosures of Roundoff Errors using SDP 6 / 20
18 SDP for Polynomial Optimization Prove polynomial inequalities with SDP: Find z s.t. f (a, b) = f (a, b) := a 2 2ab + b 2 0. ( a ) ( ) z 1 z 2 b z 2 z 3 }{{} 0 ( ) a b Find z s.t. a 2 2ab + b 2 = z 1 a 2 + 2z 2 ab + z 3 b 2 (A z = d) ( ) ( ) ( ) ( ) ( ) z1 z = z z 2 z z z }{{}}{{}}{{}}{{} F 1 F 2 F 3 F 0. Victor Magron Enclosures of Roundoff Errors using SDP 7 / 20
19 SDP for Polynomial Optimization Choose a cost c e.g. (1, 0, 1) and solve: min z s.t. ( ) z1 z Solution 2 = z 2 z 3 c z F i z i F 0, A z = d. i ( ) (eigenvalues 0 and 2) 1 1 a 2 2ab + b 2 = ( a b ) ( ) ( ) 1 1 a = (a b) b }{{} 0 Solving SDP = Finding SUMS OF SQUARES certificates Victor Magron Enclosures of Roundoff Errors using SDP 8 / 20
20 SDP for Polynomial Optimization NP hard General Problem: f := min x X f (x) Semialgebraic set X := {x R n : g 1 (x) 0,..., g m (x) 0} Victor Magron Enclosures of Roundoff Errors using SDP 9 / 20
21 SDP for Polynomial Optimization NP hard General Problem: f := min x X f (x) Semialgebraic set X := {x R n : g 1 (x) 0,..., g m (x) 0} := [0, 1] 2 = {x R 2 : x 1 (1 x 1 ) 0, x 2 (1 x 2 ) 0} Victor Magron Enclosures of Roundoff Errors using SDP 9 / 20
22 SDP for Polynomial Optimization NP hard General Problem: f := min x X f (x) Semialgebraic set X := {x R n : g 1 (x) 0,..., g m (x) 0} := [0, 1] 2 = {x R 2 : x 1 (1 x 1 ) 0, x 2 (1 x 2 ) 0} f {}}{ x 1 x = σ 0 {}}{ ( 1 x 1 + x ) σ 1 {}}{ 1 2 g 1 {}}{ x 1 (1 x 1 ) + σ 2 {}}{ 1 2 g 2 {}}{ x 2 (1 x 2 ) Victor Magron Enclosures of Roundoff Errors using SDP 9 / 20
23 SDP for Polynomial Optimization NP hard General Problem: f := min x X f (x) Semialgebraic set X := {x R n : g 1 (x) 0,..., g m (x) 0} := [0, 1] 2 = {x R 2 : x 1 (1 x 1 ) 0, x 2 (1 x 2 ) 0} f {}}{ x 1 x = σ 0 {}}{ ( 1 x 1 + x ) σ 1 {}}{ 1 2 g 1 {}}{ x 1 (1 x 1 ) + σ 2 {}}{ 1 2 g 2 {}}{ x 2 (1 x 2 ) Sums of squares (SOS) σ i Victor Magron Enclosures of Roundoff Errors using SDP 9 / 20
24 SDP for Polynomial Optimization NP hard General Problem: f := min x X f (x) Semialgebraic set X := {x R n : g 1 (x) 0,..., g m (x) 0} := [0, 1] 2 = {x R 2 : x 1 (1 x 1 ) 0, x 2 (1 x 2 ) 0} f {}}{ x 1 x = σ 0 {}}{ ( 1 x 1 + x ) σ 1 {}}{ 1 2 g 1 {}}{ x 1 (1 x 1 ) + σ 2 {}}{ 1 2 g 2 {}}{ x 2 (1 x 2 ) Sums of squares (SOS) σ i Bounded degree: { } Q k (X) := σ 0 + m j=1 σ jg j, with deg σ j g j 2k Victor Magron Enclosures of Roundoff Errors using SDP 9 / 20
25 SDP for Polynomial Optimization Hierarchy { of SDP relaxations: } λ k := sup λ : f λ Q k (X) λ Convergence guarantees λ k f [Lasserre 01] Can be computed with SDP solvers (CSDP, SDPA) No Free Lunch Rule: ( n+2k ) SDP variables n Extension to semialgebraic functions r(x) = p(x)/ q(x) [Lasserre-Putinar 10] Victor Magron Enclosures of Roundoff Errors using SDP 10 / 20
26 Sparse SDP Optimization [Waki, Lasserre 06] Correlative sparsity pattern (csp) of variables x 2 x 5 + x 3 x 6 x 2 x 3 x 5 x 6 + x 1 ( x 1 + x 2 + x 3 x 4 + x 5 + x 6 ) Maximal cliques C 1,..., C l 2 Average size κ ( κ+2k κ ) variables C 1 := {1, 4} C 2 := {1, 2, 3, 5} C 3 := {1, 3, 5, 6} Dense SDP: 210 variables Sparse SDP: 115 variables Victor Magron Enclosures of Roundoff Errors using SDP 11 / 20
27 Introduction Semidefinite Programming for Polynomial Optimization Upper Bounds with Sparse SDP Lower Bounds with Robust SDP Conclusion
28 Polynomial Programs Upper Bounds Upper Bounds Input: exact f (x), approx ˆf (x, e), x X, e i 2 53 Output: Bound for f ˆf 1: Error r(x, e) := f (x) ˆf (x, e) = r α (e)x α α 2: Decompose r(x, e) = l(x, e) + h(x, e) 3: l(x, e) = m i=1 s i(x)e i 4: Maximal cliques correspond to {x, e 1 },..., {x, e m } Dense relaxation: Sparse relaxation: ( n+m+2k n+m m( n+1+2k n+1 ) SDP variables ) SDP variables Victor Magron Enclosures of Roundoff Errors using SDP 12 / 20
29 Preliminary Comparisons Upper Bounds Upper Bounds f (x) := x 2 x 5 + x 3 x 6 x 2 x 3 x 5 x 6 + x 1 ( x 1 + x 2 + x 3 x 4 + x 5 + x 6 ) x [4.00, 6.36] 6, e [ ɛ, ɛ] 15, ɛ = 2 53 Dense SDP: ( ) = variables Out of memory Victor Magron Enclosures of Roundoff Errors using SDP 13 / 20
30 Preliminary Comparisons Upper Bounds Upper Bounds f (x) := x 2 x 5 + x 3 x 6 x 2 x 3 x 5 x 6 + x 1 ( x 1 + x 2 + x 3 x 4 + x 5 + x 6 ) x [4.00, 6.36] 6, e [ ɛ, ɛ] 15, ɛ = 2 53 Dense SDP: ( ) = variables Out of memory Sparse SDP Real2Float tool: 15( ) = ɛ Victor Magron Enclosures of Roundoff Errors using SDP 13 / 20
31 Preliminary Comparisons Upper Bounds Upper Bounds f (x) := x 2 x 5 + x 3 x 6 x 2 x 3 x 5 x 6 + x 1 ( x 1 + x 2 + x 3 x 4 + x 5 + x 6 ) x [4.00, 6.36] 6, e [ ɛ, ɛ] 15, ɛ = 2 53 Dense SDP: ( ) = variables Out of memory Sparse SDP Real2Float tool: 15( ) = ɛ Interval arithmetic: 922ɛ (10 less CPU) Victor Magron Enclosures of Roundoff Errors using SDP 13 / 20
32 Preliminary Comparisons Upper Bounds Upper Bounds f (x) := x 2 x 5 + x 3 x 6 x 2 x 3 x 5 x 6 + x 1 ( x 1 + x 2 + x 3 x 4 + x 5 + x 6 ) x [4.00, 6.36] 6, e [ ɛ, ɛ] 15, ɛ = 2 53 Dense SDP: ( ) = variables Out of memory Sparse SDP Real2Float tool: 15( ) = ɛ Interval arithmetic: 922ɛ (10 less CPU) Symbolic Taylor FPTaylor tool: 721ɛ (21 more CPU) Victor Magron Enclosures of Roundoff Errors using SDP 13 / 20
33 Preliminary Comparisons Upper Bounds Upper Bounds f (x) := x 2 x 5 + x 3 x 6 x 2 x 3 x 5 x 6 + x 1 ( x 1 + x 2 + x 3 x 4 + x 5 + x 6 ) x [4.00, 6.36] 6, e [ ɛ, ɛ] 15, ɛ = 2 53 Dense SDP: ( ) = variables Out of memory Sparse SDP Real2Float tool: 15( ) = ɛ Interval arithmetic: 922ɛ (10 less CPU) Symbolic Taylor FPTaylor tool: 721ɛ (21 more CPU) SMT-based rosa tool: 762ɛ (19 more CPU) Victor Magron Enclosures of Roundoff Errors using SDP 13 / 20
34 Preliminary Comparisons Upper Bounds Upper Bounds 1, ɛ 762ɛ 721ɛ Error Bound (ɛ) Real2Float CPU Time rosa FPTaylor Victor Magron Enclosures of Roundoff Errors using SDP 13 / 20
35 Extensions: Transcendental Programs Upper Bounds Upper Bounds Reduce f := inf x K f (x) to semialgebraic optimization y par + par + a 2 a 1 arctan par a 2 m a 1 a 2 M a par a 1 Victor Magron Enclosures of Roundoff Errors using SDP 14 / 20
36 Extensions: Conditionals Upper Bounds Upper Bounds if (p(x) 0) f (x); else g(x); DIVERGENCE PATH ERROR: r := max{ } max ˆf (x, e) g(x) p(x) 0,p(x,e) 0 max ĝ(x, e) f (x) p(x) 0,p(x,e) 0 max ˆf (x, e) f (x) p(x) 0,p(x,e) 0 max ĝ(x, e) g(x) p(x) 0,p(x,e) 0 Victor Magron Enclosures of Roundoff Errors using SDP 15 / 20
37 Introduction Semidefinite Programming for Polynomial Optimization Upper Bounds with Sparse SDP Lower Bounds with Robust SDP Conclusion
38 Method 1: geneig [Lasserre 11] Lower Bounds Lower Bounds Generalized eigenvalue problem: f := min x X f (x) λ k := sup λ s.t. λ M k (f y) λm k (y). Victor Magron Enclosures of Roundoff Errors using SDP 16 / 20
39 Method 1: geneig [Lasserre 11] Lower Bounds Lower Bounds Generalized eigenvalue problem: f := min x X f (x) λ k := sup λ s.t. λ M k (f y) λm k (y). Uniform distribution moments: y α := X xα dx Localizing matrices M k (f y): M 1 (f y) = 1 x 1 x 2 1 X f (x)dx X f (x)x 1dx X f (x)x 2dx x 1 X f (x)x 1dx X f (x)x2 1 dx X f (x)x 1x 2 dx x 2 X f (x)x 2dx X f (x)x 2x 1 dx X f (x)x2 2 dx Victor Magron Enclosures of Roundoff Errors using SDP 16 / 20
40 Method 1: geneig [Lasserre 11] Lower Bounds Lower Bounds Generalized eigenvalue problem: f := min x X f (x) λ k := sup λ s.t. λ M k (f y) λm k (y). Uniform distribution moments: y α := X xα dx Localizing matrices M k (f y): M 1 (f y) = 1 x 1 x 2 1 X f (x)dx X f (x)x 1dx X f (x)x 2dx x 1 X f (x)x 1dx X f (x)x2 1 dx X f (x)x 1x 2 dx x 2 X f (x)x 2dx X f (x)x 2x 1 dx X f (x)x2 2 dx Theorem [Lasserre 11, de Klerk et al. 17] λ k f and λ k f = O (1/ k) Victor Magron Enclosures of Roundoff Errors using SDP 16 / 20
41 Method 2: mvbeta [DeKlerk et al. 17] Lower Bounds Lower Bounds Elementary calculation with f (x) = α f α x α : f := min x X f (x) f H k := min η+β 2k γ η+α,β f α α γ η,β Victor Magron Enclosures of Roundoff Errors using SDP 17 / 20
42 Method 2: mvbeta [DeKlerk et al. 17] Lower Bounds Lower Bounds Elementary calculation with f (x) = α f α x α : f := min x X f (x) f H k := min η+β 2k Multivariate beta distribution moments: γ η,β := x η (1 x) β dx. X γ η+α,β f α α γ η,β Victor Magron Enclosures of Roundoff Errors using SDP 17 / 20
43 Method 2: mvbeta [DeKlerk et al. 17] Lower Bounds Lower Bounds Elementary calculation with f (x) = α f α x α : f := min x X f (x) f H k := min η+β 2k Multivariate beta distribution moments: γ η,β := x η (1 x) β dx. X γ η+α,β f α α γ η,β Theorem [DeKlerk et al. 17] f H k f and λ k f = O (1/ k) Victor Magron Enclosures of Roundoff Errors using SDP 17 / 20
44 Method 3: robustsdp Lower Bounds Lower Bounds Robust SDP with l(x, e) = m s i (x)e i : i=1 l := min l(x, e) λ k := sup (x,e) X E λ s.t. λ e E, M k (l y) λm k (y). Victor Magron Enclosures of Roundoff Errors using SDP 18 / 20
45 Method 3: robustsdp Lower Bounds Lower Bounds Robust SDP with l(x, e) = m s i (x)e i : i=1 l := min l(x, e) λ k := sup (x,e) X E λ s.t. Linearity M k (l y) = m e i M k (s i y) i=1 Factorization M k (s i y) = L i k Ri k λ e E, M k (l y) λm k (y). Victor Magron Enclosures of Roundoff Errors using SDP 18 / 20
46 Method 3: robustsdp Lower Bounds Lower Bounds Robust SDP with l(x, e) = m s i (x)e i : i=1 l := min l(x, e) λ k := sup (x,e) X E λ s.t. Linearity M k (l y) = m e i M k (s i y) i=1 Factorization M k (s i y) = L i k Ri k Theorem following from [El Ghaoui et al. 98] λ e E, M k (l y) λm k (y). λ k l and λ k = sup λ,s,g s.t. λ ( λmk (y) L k S L T k R T ) k + L k G R k G L T 0, k S S T = S, G T = G. Victor Magron Enclosures of Roundoff Errors using SDP 18 / 20
47 Benchmark kepler0 with k = 2 Lower Bounds Lower Bounds ɛ Error Bound (ɛ) ɛ 71ɛ 0 geneig mvbeta CPU Time robustsdp Victor Magron Enclosures of Roundoff Errors using SDP 19 / 20
48 Introduction Semidefinite Programming for Polynomial Optimization Upper Bounds with Sparse SDP Lower Bounds with Robust SDP Conclusion
49 Conclusion Sparse/Robust SDP relaxations for NONLINEAR PROGRAMS: Polynomial and transcendental programs Certified Formal roundoff error bounds (Joint work with T. Weisser and B. Werner) Real2Float and FPSDP open source tools: Victor Magron Enclosures of Roundoff Errors using SDP 20 / 20
50 Conclusion Further research: Automatic FPGA code generation Handling while/for loops Master / PhD Positions Available! Victor Magron Enclosures of Roundoff Errors using SDP 20 / 20
51 End Thank you for your attention! V. Magron, G. Constantinides, A. Donaldson. Certified Roundoff Error Bounds Using Semidefinite Programming, ACM Trans. Math. Softw, Upper Bounds Upper Bounds V. Magron. Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming, arxiv.org/abs/ Lower Bounds Lower Bounds
Certification of Roundoff Errors with SDP Relaxations and Formal Interval Methods
Certification of Roundoff Errors with SDP Relaxations and Formal Interval Methods Victor Magron, CNRS VERIMAG Jointly Certified Upper Bounds with G. Constantinides and A. Donaldson Jointly Certified Lower
More informationAutomated Precision Tuning using Semidefinite Programming
Automated Precision Tuning using Semidefinite Programming Victor Magron, RA Imperial College joint work with G. Constantinides and A. Donaldson British-French-German Conference on Optimization 15 June
More informationCombining Tools for Optimization and Analysis of Floating-Point Computations
Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker 1, Pavel Panchekha 2, Eva Darulova 1, and Zachary Tatlock 2 1 MPI-SWS {hbecker,eva}@mpi-sws.org 2 University of
More informationA semidefinite hierarchy for containment of spectrahedra
A semidefinite hierarchy for containment of spectrahedra Thorsten Theobald (joint work with Kai Kellner and Christian Trabandt, arxiv: 1308.5076) Spectrahedra Given a linear pencil A(x) = A 0 + n i=1 x
More informationFormal Certification of Arithmetic Filters for Geometric Predicates
Introduction Formalization Implementation Conclusion Formal Certification of Arithmetic Filters for Geometric Predicates Guillaume Melquiond Sylvain Pion Arénaire, LIP ENS Lyon Geometrica, INRIA Sophia-Antipolis
More informationANALYSIS AND SYNTHESIS OF FLOATING-POINT ROUTINES. Zvonimir Rakamarić
ANALYSIS AND SYNTHESIS OF FLOATING-POINT ROUTINES Zvonimir Rakamarić ROADMAP 1. Introduction 2. Floating-point Research at Utah 3. Floating-points in SMACK Verifier 4. Floating-point Error Analysis 5.
More information6 Randomized rounding of semidefinite programs
6 Randomized rounding of semidefinite programs We now turn to a new tool which gives substantially improved performance guarantees for some problems We now show how nonlinear programming relaxations can
More informationTowards Efficient Higher-Order Semidefinite Relaxations for Max-Cut
Towards Efficient Higher-Order Semidefinite Relaxations for Max-Cut Miguel F. Anjos Professor and Canada Research Chair Director, Trottier Energy Institute Joint work with E. Adams (Poly Mtl), F. Rendl,
More informationRigorous Estimation of Floating- point Round- off Errors with Symbolic Taylor Expansions
Rigorous Estimation of Floating- point Round- off Errors with Symbolic Taylor Expansions Alexey Solovyev, Charles Jacobsen Zvonimir Rakamaric, and Ganesh Gopalakrishnan School of Computing, University
More informationLec13p1, ORF363/COS323
Lec13 Page 1 Lec13p1, ORF363/COS323 This lecture: Semidefinite programming (SDP) Definition and basic properties Review of positive semidefinite matrices SDP duality SDP relaxations for nonconvex optimization
More informationLinear & Conic Programming Reformulations of Two-Stage Robust Linear Programs
1 / 34 Linear & Conic Programming Reformulations of Two-Stage Robust Linear Programs Erick Delage CRC in decision making under uncertainty Department of Decision Sciences HEC Montreal (joint work with
More informationFormal Verification of a Floating-Point Elementary Function
Introduction Coq & Flocq Coq.Interval Gappa Conclusion Formal Verification of a Floating-Point Elementary Function Inria Saclay Île-de-France & LRI, Université Paris Sud, CNRS 2015-06-25 Introduction Coq
More informationCapabilities and limits of CP in Global Optimization
Capabilities and limits of CP in RUEHER Université de Nice Sophia-Antipolis / CNRS - I3S, France CPAIOR Workshop on Hybrid Methods for NLP 15/06/10 A 1 Outline A A 2 The Problem We consider the continuous
More informationShiqian Ma, MAT-258A: Numerical Optimization 1. Chapter 2. Convex Optimization
Shiqian Ma, MAT-258A: Numerical Optimization 1 Chapter 2 Convex Optimization Shiqian Ma, MAT-258A: Numerical Optimization 2 2.1. Convex Optimization General optimization problem: min f 0 (x) s.t., f i
More informationNumerical Computations and Formal Methods
Program verification Formal arithmetic Decision procedures Proval, Laboratoire de Recherche en Informatique INRIA Saclay IdF, Université Paris Sud, CNRS October 28, 2009 Program verification Formal arithmetic
More informationConvexity Theory and Gradient Methods
Convexity Theory and Gradient Methods Angelia Nedić angelia@illinois.edu ISE Department and Coordinated Science Laboratory University of Illinois at Urbana-Champaign Outline Convex Functions Optimality
More information8 Towards a Compiler for Reals 1
8 Towards a Compiler for Reals 1 EVA DARULOVA 2, Max Planck Institute for Software Systems VIKTOR KUNCAK 3, Ecole Polytechnique Federale de Lausanne Numerical software, common in scientific computing or
More informationLocal Constraints in Combinatorial Optimization
Local Constraints in Combinatorial Optimization Madhur Tulsiani Institute for Advanced Study Local Constraints in Approximation Algorithms Linear Programming (LP) or Semidefinite Programming (SDP) based
More information15.082J and 6.855J. Lagrangian Relaxation 2 Algorithms Application to LPs
15.082J and 6.855J Lagrangian Relaxation 2 Algorithms Application to LPs 1 The Constrained Shortest Path Problem (1,10) 2 (1,1) 4 (2,3) (1,7) 1 (10,3) (1,2) (10,1) (5,7) 3 (12,3) 5 (2,2) 6 Find the shortest
More informationRigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
0 Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamarić, Ganesh Gopalakrishnan, School
More informationMathematical Programming and Research Methods (Part II)
Mathematical Programming and Research Methods (Part II) 4. Convexity and Optimization Massimiliano Pontil (based on previous lecture by Andreas Argyriou) 1 Today s Plan Convex sets and functions Types
More informationExploiting Sparsity in SDP Relaxation for Sensor Network Localization. Sunyoung Kim, Masakazu Kojima, and Hayato Waki January 2008
Exploiting Sparsity in SDP Relaxation for Sensor Network Localization Sunyoung Kim, Masakazu Kojima, and Hayato Waki January 28 Abstract. A sensor network localization problem can be formulated as a quadratic
More informationConvex Algebraic Geometry
, North Carolina State University What is convex algebraic geometry? Convex algebraic geometry is the study of convex semialgebraic objects, especially those arising in optimization and statistics. What
More informationConvex Optimization MLSS 2015
Convex Optimization MLSS 2015 Constantine Caramanis The University of Texas at Austin The Optimization Problem minimize : f (x) subject to : x X. The Optimization Problem minimize : f (x) subject to :
More informationEXPLOITING SPARSITY IN SDP RELAXATION FOR SENSOR NETWORK LOCALIZATION
EXPLOITING SPARSITY IN SDP RELAXATION FOR SENSOR NETWORK LOCALIZATION SUNYOUNG KIM, MASAKAZU KOJIMA, AND HAYATO WAKI Abstract. A sensor network localization problem can be formulated as a quadratic optimization
More informationA Towards a Compiler for Reals 1
A Towards a Compiler for Reals 1 EVA DARULOVA 2, Max Planck Institute for Software Systems VIKTOR KUNCAK 3, Ecole Polytechnique Federale de Lausanne Numerical software, common in scientific computing or
More informationIntroduction to Convex Optimization. Prof. Daniel P. Palomar
Introduction to Convex Optimization Prof. Daniel P. Palomar The Hong Kong University of Science and Technology (HKUST) MAFS6010R- Portfolio Optimization with R MSc in Financial Mathematics Fall 2018-19,
More informationCode Generation for Embedded Convex Optimization
Code Generation for Embedded Convex Optimization Jacob Mattingley Stanford University October 2010 Convex optimization Problems solvable reliably and efficiently Widely used in scheduling, finance, engineering
More informationLecture 9. Semidefinite programming is linear programming where variables are entries in a positive semidefinite matrix.
CSE525: Randomized Algorithms and Probabilistic Analysis Lecture 9 Lecturer: Anna Karlin Scribe: Sonya Alexandrova and Keith Jia 1 Introduction to semidefinite programming Semidefinite programming is linear
More informationIntroduction to Modern Control Systems
Introduction to Modern Control Systems Convex Optimization, Duality and Linear Matrix Inequalities Kostas Margellos University of Oxford AIMS CDT 2016-17 Introduction to Modern Control Systems November
More informationExploiting Low-Rank Structure in Semidenite Programming by Approximate Operator Splitting
Exploiting Low-Rank Structure in Semidenite Programming by Approximate Operator Splitting Mario Souto, Joaquim D. Garcia and Álvaro Veiga June 26, 2018 Outline Introduction Algorithm Exploiting low-rank
More informationA primal-dual Dikin affine scaling method for symmetric conic optimization
A primal-dual Dikin affine scaling method for symmetric conic optimization Ali Mohammad-Nezhad Tamás Terlaky Department of Industrial and Systems Engineering Lehigh University July 15, 2015 A primal-dual
More informationarxiv: v3 [math.oc] 3 Nov 2016
BILEVEL POLYNOMIAL PROGRAMS AND SEMIDEFINITE RELAXATION METHODS arxiv:1508.06985v3 [math.oc] 3 Nov 2016 JIAWANG NIE, LI WANG, AND JANE J. YE Abstract. A bilevel program is an optimization problem whose
More informationRandomized rounding of semidefinite programs and primal-dual method for integer linear programming. Reza Moosavi Dr. Saeedeh Parsaeefard Dec.
Randomized rounding of semidefinite programs and primal-dual method for integer linear programming Dr. Saeedeh Parsaeefard 1 2 3 4 Semidefinite Programming () 1 Integer Programming integer programming
More informationConvexization in Markov Chain Monte Carlo
in Markov Chain Monte Carlo 1 IBM T. J. Watson Yorktown Heights, NY 2 Department of Aerospace Engineering Technion, Israel August 23, 2011 Problem Statement MCMC processes in general are governed by non
More informationWeek 5. Convex Optimization
Week 5. Convex Optimization Lecturer: Prof. Santosh Vempala Scribe: Xin Wang, Zihao Li Feb. 9 and, 206 Week 5. Convex Optimization. The convex optimization formulation A general optimization problem is
More informationRevisiting Frank-Wolfe: Projection-Free Sparse Convex Optimization. Author: Martin Jaggi Presenter: Zhongxing Peng
Revisiting Frank-Wolfe: Projection-Free Sparse Convex Optimization Author: Martin Jaggi Presenter: Zhongxing Peng Outline 1. Theoretical Results 2. Applications Outline 1. Theoretical Results 2. Applications
More informationDM545 Linear and Integer Programming. Lecture 2. The Simplex Method. Marco Chiarandini
DM545 Linear and Integer Programming Lecture 2 The Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark Outline 1. 2. 3. 4. Standard Form Basic Feasible Solutions
More informationConvex Optimization M2
Convex Optimization M2 Lecture 1 A. d Aspremont. Convex Optimization M2. 1/49 Today Convex optimization: introduction Course organization and other gory details... Convex sets, basic definitions. A. d
More informationFinite Math Linear Programming 1 May / 7
Linear Programming Finite Math 1 May 2017 Finite Math Linear Programming 1 May 2017 1 / 7 General Description of Linear Programming Finite Math Linear Programming 1 May 2017 2 / 7 General Description of
More informationConvexity: an introduction
Convexity: an introduction Geir Dahl CMA, Dept. of Mathematics and Dept. of Informatics University of Oslo 1 / 74 1. Introduction 1. Introduction what is convexity where does it arise main concepts and
More informationCODE ANALYSES FOR NUMERICAL ACCURACY WITH AFFINE FORMS: FROM DIAGNOSIS TO THE ORIGIN OF THE NUMERICAL ERRORS. Teratec 2017 Forum Védrine Franck
CODE ANALYSES FOR NUMERICAL ACCURACY WITH AFFINE FORMS: FROM DIAGNOSIS TO THE ORIGIN OF THE NUMERICAL ERRORS NUMERICAL CODE ACCURACY WITH FLUCTUAT Compare floating point with ideal computation Use interval
More informationInterval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen 1,2 Antoine Miné 3,2 Ji Wang 1 Patrick Cousot 2,4 1 National Lab. for Parallel and Distributed Processing, Changsha,
More informationGenerating formally certified bounds on values and round-off errors
Generating formally certified bounds on values and round-off errors Marc DAUMAS and Guillaume MELQUIOND LIP Computer Science Laboratory UMR 5668 CNRS ENS Lyon INRIA UCBL Lyon, France Generating formally
More informationAbstract Interpretation of Floating-Point. Computations. Interaction, CEA-LIST/X/CNRS. February 20, Presentation at the University of Verona
1 Laboratory for ModElling and Analysis of Systems in Interaction, Laboratory for ModElling and Analysis of Systems in Interaction, Presentation at the University of Verona February 20, 2007 2 Outline
More information= f (a, b) + (hf x + kf y ) (a,b) +
Chapter 14 Multiple Integrals 1 Double Integrals, Iterated Integrals, Cross-sections 2 Double Integrals over more general regions, Definition, Evaluation of Double Integrals, Properties of Double Integrals
More informationMathematical preliminaries and error analysis
Mathematical preliminaries and error analysis Tsung-Ming Huang Department of Mathematics National Taiwan Normal University, Taiwan August 28, 2011 Outline 1 Round-off errors and computer arithmetic IEEE
More informationIntroduction to optimization
Introduction to optimization G. Ferrari Trecate Dipartimento di Ingegneria Industriale e dell Informazione Università degli Studi di Pavia Industrial Automation Ferrari Trecate (DIS) Optimization Industrial
More informationAbstract Interpretation of Floating-Point Computations
Abstract Interpretation of Floating-Point Computations Sylvie Putot Laboratory for ModElling and Analysis of Systems in Interaction, CEA-LIST/X/CNRS Session: Static Analysis for Safety and Performance
More informationLecture 3 January 22
EE 38V: Large cale Learning pring 203 Lecture 3 January 22 Lecturer: Caramanis & anghavi cribe: ubhashini Krishsamy 3. Clustering In the last lecture, we saw Locality ensitive Hashing (LH) which uses hash
More informationIteratively Re-weighted Least Squares for Sums of Convex Functions
Iteratively Re-weighted Least Squares for Sums of Convex Functions James Burke University of Washington Jiashan Wang LinkedIn Frank Curtis Lehigh University Hao Wang Shanghai Tech University Daiwei He
More informationTowards an industrial use of FLUCTUAT on safety-critical avionics software
Towards an industrial use of FLUCTUAT on safety-critical avionics software David Delmas 1, Eric Goubault 2, Sylvie Putot 2, Jean Souyris 1, Karim Tekkal 3 and Franck Védrine 2 1. Airbus Operations S.A.S.,
More informationSONIC A Solver and Optimizer for Nonlinear Problems based on Interval Computation
SONIC A Solver and Optimizer for Nonlinear Problems based on Interval Computation Elke Just University of Wuppertal June 14, 2011 Contents About SONIC Miranda Borsuk Topological Degree Implementation Branch
More informationMODEL SELECTION AND REGULARIZATION PARAMETER CHOICE
MODEL SELECTION AND REGULARIZATION PARAMETER CHOICE REGULARIZATION METHODS FOR HIGH DIMENSIONAL LEARNING Francesca Odone and Lorenzo Rosasco odone@disi.unige.it - lrosasco@mit.edu June 6, 2011 ABOUT THIS
More informationLecture 2: August 29, 2018
10-725/36-725: Convex Optimization Fall 2018 Lecturer: Ryan Tibshirani Lecture 2: August 29, 2018 Scribes: Adam Harley Note: LaTeX template courtesy of UC Berkeley EECS dept. Disclaimer: These notes have
More informationAlternating Projections
Alternating Projections Stephen Boyd and Jon Dattorro EE392o, Stanford University Autumn, 2003 1 Alternating projection algorithm Alternating projections is a very simple algorithm for computing a point
More information60 2 Convex sets. {x a T x b} {x ã T x b}
60 2 Convex sets Exercises Definition of convexity 21 Let C R n be a convex set, with x 1,, x k C, and let θ 1,, θ k R satisfy θ i 0, θ 1 + + θ k = 1 Show that θ 1x 1 + + θ k x k C (The definition of convexity
More informationApproximation Algorithms
Approximation Algorithms Group Members: 1. Geng Xue (A0095628R) 2. Cai Jingli (A0095623B) 3. Xing Zhe (A0095644W) 4. Zhu Xiaolu (A0109657W) 5. Wang Zixiao (A0095670X) 6. Jiao Qing (A0095637R) 7. Zhang
More informationGeometric Registration for Deformable Shapes 3.3 Advanced Global Matching
Geometric Registration for Deformable Shapes 3.3 Advanced Global Matching Correlated Correspondences [ASP*04] A Complete Registration System [HAW*08] In this session Advanced Global Matching Some practical
More informationSpecification, Verification, and Interactive Proof
Specification, Verification, and Interactive Proof SRI International May 23, 2016 PVS PVS - Prototype Verification System PVS is a verification system combining language expressiveness with automated tools.
More informationConic Duality. yyye
Conic Linear Optimization and Appl. MS&E314 Lecture Note #02 1 Conic Duality Yinyu Ye Department of Management Science and Engineering Stanford University Stanford, CA 94305, U.S.A. http://www.stanford.edu/
More informationRecursive Estimation
Recursive Estimation Raffaello D Andrea Spring 28 Problem Set : Probability Review Last updated: March 6, 28 Notes: Notation: Unless otherwise noted, x, y, and z denote random variables, p x denotes the
More informationVerasco: a Formally Verified C Static Analyzer
Verasco: a Formally Verified C Static Analyzer Jacques-Henri Jourdan Joint work with: Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie,... June 13, 2017, Montpellier GdR GPL thesis prize
More informationComputer Vision I - Algorithms and Applications: Multi-View 3D reconstruction
Computer Vision I - Algorithms and Applications: Multi-View 3D reconstruction Carsten Rother 09/12/2013 Computer Vision I: Multi-View 3D reconstruction Roadmap this lecture Computer Vision I: Multi-View
More informationApplied Lagrange Duality for Constrained Optimization
Applied Lagrange Duality for Constrained Optimization Robert M. Freund February 10, 2004 c 2004 Massachusetts Institute of Technology. 1 1 Overview The Practical Importance of Duality Review of Convexity
More informationA C 2 Four-Point Subdivision Scheme with Fourth Order Accuracy and its Extensions
A C 2 Four-Point Subdivision Scheme with Fourth Order Accuracy and its Extensions Nira Dyn School of Mathematical Sciences Tel Aviv University Michael S. Floater Department of Informatics University of
More informationAMS : Combinatorial Optimization Homework Problems - Week V
AMS 553.766: Combinatorial Optimization Homework Problems - Week V For the following problems, A R m n will be m n matrices, and b R m. An affine subspace is the set of solutions to a a system of linear
More informationForward inner-approximated reachability of non-linear continuous systems
Forward inner-approximated reachability of non-linear continuous systems Eric Goubault 1 Sylvie Putot 1 1 LIX, Ecole Polytechnique - CNRS, Université Paris-Saclay HSCC, Pittsburgh, April 18, 2017 ric Goubault,
More informationConvex sets and convex functions
Convex sets and convex functions Convex optimization problems Convex sets and their examples Separating and supporting hyperplanes Projections on convex sets Convex functions, conjugate functions ECE 602,
More informationResearch Interests Optimization:
Mitchell: Research interests 1 Research Interests Optimization: looking for the best solution from among a number of candidates. Prototypical optimization problem: min f(x) subject to g(x) 0 x X IR n Here,
More informationHybrid CSP & Global Optimization. Michel RUEHER
Hybrid Michel RUEHER University of Nice Sophia-Antipolis / I3S CNRS, France Courtesy to Alexandre Goldsztejn, Yahia Lebbah, Claude Michel June, 2011 ACP Summer School Hybrid Methods for Constraint Programming
More informationWeakly Relational Domains for Floating-Point Computation Analysis
Weakly Relational Domains for Floating-Point Computation Analysis Eric Goubault, Sylvie Putot CEA Saclay, F91191 Gif-sur-Yvette Cedex, France {eric.goubault,sylvie.putot}@cea.fr 1 Introduction We present
More informationConvex Optimization - Chapter 1-2. Xiangru Lian August 28, 2015
Convex Optimization - Chapter 1-2 Xiangru Lian August 28, 2015 1 Mathematical optimization minimize f 0 (x) s.t. f j (x) 0, j=1,,m, (1) x S x. (x 1,,x n ). optimization variable. f 0. R n R. objective
More informationA C 2 Four-Point Subdivision Scheme with Fourth Order Accuracy and its Extensions
A C 2 Four-Point Subdivision Scheme with Fourth Order Accuracy and its Extensions Nira Dyn Michael S. Floater Kai Hormann Abstract. We present a new four-point subdivision scheme that generates C 2 curves.
More informationChapter 4 Convex Optimization Problems
Chapter 4 Convex Optimization Problems Shupeng Gui Computer Science, UR October 16, 2015 hupeng Gui (Computer Science, UR) Convex Optimization Problems October 16, 2015 1 / 58 Outline 1 Optimization problems
More informationKernels and representation
Kernels and representation Corso di AA, anno 2017/18, Padova Fabio Aiolli 20 Dicembre 2017 Fabio Aiolli Kernels and representation 20 Dicembre 2017 1 / 19 (Hierarchical) Representation Learning Hierarchical
More informationLecture 11: Randomized Least-squares Approximation in Practice. 11 Randomized Least-squares Approximation in Practice
Stat60/CS94: Randomized Algorithms for Matrices and Data Lecture 11-10/09/013 Lecture 11: Randomized Least-squares Approximation in Practice Lecturer: Michael Mahoney Scribe: Michael Mahoney Warning: these
More informationEfficient Iterative Semi-supervised Classification on Manifold
. Efficient Iterative Semi-supervised Classification on Manifold... M. Farajtabar, H. R. Rabiee, A. Shaban, A. Soltani-Farani Sharif University of Technology, Tehran, Iran. Presented by Pooria Joulani
More informationConvexity and Optimization
Convexity and Optimization Richard Lusby Department of Management Engineering Technical University of Denmark Today s Material Extrema Convex Function Convex Sets Other Convexity Concepts Unconstrained
More informationProof of Properties in FP Arithmetic
Proof of Properties in Floating-Point Arithmetic LMS Colloquium Verification and Numerical Algorithms Jean-Michel Muller CNRS - Laboratoire LIP (CNRS-INRIA-ENS Lyon-Université de Lyon) http://perso.ens-lyon.fr/jean-michel.muller/
More informationLecture 4: Convexity
10-725: Convex Optimization Fall 2013 Lecture 4: Convexity Lecturer: Barnabás Póczos Scribes: Jessica Chemali, David Fouhey, Yuxiong Wang Note: LaTeX template courtesy of UC Berkeley EECS dept. Disclaimer:
More informationCSC Linear Programming and Combinatorial Optimization Lecture 12: Semidefinite Programming(SDP) Relaxation
CSC411 - Linear Programming and Combinatorial Optimization Lecture 1: Semidefinite Programming(SDP) Relaxation Notes taken by Xinwei Gui May 1, 007 Summary: This lecture introduces the semidefinite programming(sdp)
More informationLecture 2 September 3
EE 381V: Large Scale Optimization Fall 2012 Lecture 2 September 3 Lecturer: Caramanis & Sanghavi Scribe: Hongbo Si, Qiaoyang Ye 2.1 Overview of the last Lecture The focus of the last lecture was to give
More informationGeoLMI Toulouse, November 2009 Approximating convex problems with AGM iterations 1
GeoLMI Toulouse, November 2009 Approximating convex problems with AGM iterations 1 Quadratic approximation of some convex optimization problems using the arithmetic-geometric mean iteration François Glineur
More informationOn Rainbow Cycles in Edge Colored Complete Graphs. S. Akbari, O. Etesami, H. Mahini, M. Mahmoody. Abstract
On Rainbow Cycles in Edge Colored Complete Graphs S. Akbari, O. Etesami, H. Mahini, M. Mahmoody Abstract In this paper we consider optimal edge colored complete graphs. We show that in any optimal edge
More informationPoint-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS
Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS Definition 1.1. Let X be a set and T a subset of the power set P(X) of X. Then T is a topology on X if and only if all of the following
More informationLSRN: A Parallel Iterative Solver for Strongly Over- or Under-Determined Systems
LSRN: A Parallel Iterative Solver for Strongly Over- or Under-Determined Systems Xiangrui Meng Joint with Michael A. Saunders and Michael W. Mahoney Stanford University June 19, 2012 Meng, Saunders, Mahoney
More informationLecture 27: Fast Laplacian Solvers
Lecture 27: Fast Laplacian Solvers Scribed by Eric Lee, Eston Schweickart, Chengrun Yang November 21, 2017 1 How Fast Laplacian Solvers Work We want to solve Lx = b with L being a Laplacian matrix. Recall
More informationDiffusion Wavelets for Natural Image Analysis
Diffusion Wavelets for Natural Image Analysis Tyrus Berry December 16, 2011 Contents 1 Project Description 2 2 Introduction to Diffusion Wavelets 2 2.1 Diffusion Multiresolution............................
More informationCMU-Q Lecture 9: Optimization II: Constrained,Unconstrained Optimization Convex optimization. Teacher: Gianni A. Di Caro
CMU-Q 15-381 Lecture 9: Optimization II: Constrained,Unconstrained Optimization Convex optimization Teacher: Gianni A. Di Caro GLOBAL FUNCTION OPTIMIZATION Find the global maximum of the function f x (and
More informationLecture notes on the simplex method September We will present an algorithm to solve linear programs of the form. maximize.
Cornell University, Fall 2017 CS 6820: Algorithms Lecture notes on the simplex method September 2017 1 The Simplex Method We will present an algorithm to solve linear programs of the form maximize subject
More informationLecture 2: August 31
10-725/36-725: Convex Optimization Fall 2016 Lecture 2: August 31 Lecturer: Lecturer: Ryan Tibshirani Scribes: Scribes: Lidan Mu, Simon Du, Binxuan Huang 2.1 Review A convex optimization problem is of
More informationContents. I Basics 1. Copyright by SIAM. Unauthorized reproduction of this article is prohibited.
page v Preface xiii I Basics 1 1 Optimization Models 3 1.1 Introduction... 3 1.2 Optimization: An Informal Introduction... 4 1.3 Linear Equations... 7 1.4 Linear Optimization... 10 Exercises... 12 1.5
More informationRelational Abstract Domains for the Detection of Floating-Point Run-Time Errors
ESOP 2004 Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors Antoine Miné École Normale Supérieure Paris FRANCE This work was partially supported by the ASTRÉE RNTL project
More informationCS321 Introduction To Numerical Methods
CS3 Introduction To Numerical Methods Fuhua (Frank) Cheng Department of Computer Science University of Kentucky Lexington KY 456-46 - - Table of Contents Errors and Number Representations 3 Error Types
More informationAn Extension of the Multicut L-Shaped Method. INEN Large-Scale Stochastic Optimization Semester project. Svyatoslav Trukhanov
An Extension of the Multicut L-Shaped Method INEN 698 - Large-Scale Stochastic Optimization Semester project Svyatoslav Trukhanov December 13, 2005 1 Contents 1 Introduction and Literature Review 3 2 Formal
More informationConvexity I: Sets and Functions
Convexity I: Sets and Functions Lecturer: Aarti Singh Co-instructor: Pradeep Ravikumar Convex Optimization 10-725/36-725 See supplements for reviews of basic real analysis basic multivariate calculus basic
More informationSDLS: a Matlab package for solving conic least-squares problems
SDLS: a Matlab package for solving conic least-squares problems Didier Henrion 1,2 Jérôme Malick 3 June 28, 2007 Abstract This document is an introduction to the Matlab package SDLS (Semi-Definite Least-Squares)
More informationFloating-point Precision vs Performance Trade-offs
Floating-point Precision vs Performance Trade-offs Wei-Fan Chiang School of Computing, University of Utah 1/31 Problem Statement Accelerating computations using graphical processing units has made significant
More informationCS 435, 2018 Lecture 2, Date: 1 March 2018 Instructor: Nisheeth Vishnoi. Convex Programming and Efficiency
CS 435, 2018 Lecture 2, Date: 1 March 2018 Instructor: Nisheeth Vishnoi Convex Programming and Efficiency In this lecture, we formalize convex programming problem, discuss what it means to solve it efficiently
More information