Workshop entry page: www.fields.toronto.edu/programs/scientific/01-02/numerical/optimization

These are photos taken of the blackboards after our lectures.

Workshop participants

Workshop participants

At Fields: Mobile

At Fields: Stairs

At Fields: Stairs
**Raw schedule for the week**

Topics gathered by cluster

Topics suggested by Ken, Ned, Natalie, Baker

Topics suggested by George, Tamás, Bill, Mihály

Topics suggested by Tibor, Petter, Vladik

Vladik - 1: Computing with probabilities

Vladik - 2: Computing with probabilities

Vladik - 3: Computing with probabilities

Vladik - 4: Computing with probabilities

Vladik - 5: Computing with probabilities

Vladik - 6: Computing with probabilities

Vladik - 7: Computing with probabilities

Vladik - 8: Computing with probabilities
**Schedule for Tuesday - Range bounding & Taylor models**

Tibor - 1: Bounding using Bernstein polynomials

Tibor - 2: Bounding using Bernstein polynomials

Tibor - 3: Bounding using Bernstein polynomials

Tibor - 4: Bounding using Bernstein polynomials

Tibor - 5: Bounding using Bernstein polynomials

Tibor - 6: Bounding using Bernstein polynomials - Open Questions

Natalie conjecture: Bounding using Bernstein polynomials

Mihály - 1: Packing circles in a square

Mihály - 2: Packing circles in a square

Martin - 1: Taylor model roundoff handling

Martin - 2: Taylor model roundoff handling

Martin - 3: Taylor model roundoff handling

Kyoko - 1: Taylor model roundoff handling
**Schedule for Wednesday - Applications & Taylor Models**

Mihály - 1: Packing circles in a square

Mihály - 2: Packing circles in a square

Mihály - 3: Packing circles in a square

Ned: TM of Ax = b; Reachability

George: All together for optimization of ODEs

Ned: TM of Ax = b; Reachability

Ned: TM of Ax = b; Reachability

Ned: TM of Ax = b; Reachability

Ned: TM of Ax = b; Reachability

Ned: TM of Ax = b; Reachability

Ned: TM of Ax = b; Reachability

Ned: TM of Ax = b; Reachability

Martin - 1: Taylor model shrink wrapping

George: Shrink wrapping must be centered

Martin - 2: Linear Dominated Bounder Theorem

Kyoko - 1: Linear Dominated Bounder example
**Schedule for Thursday - Techniques for Validated Optimization**

Tibor - 1: Integration of tools

Tibor - 2: Integration of tools

Baker/Martin discussion

George: Randomization in a global optimization algorithm

Natalie - 1: Multiprecision interval arithmetic

Natalie - 2: Multiprecision interval arithmetic

Natalie - 3: Multiprecision interval arithmetic

Natalie - 4: Multiprecision interval arithmetic

Baker - 1: Nonlinear mini-max

Baker - 2: Nonlinear mini-max

Baker - 3: Nonlinear mini-max

Bill - 1: Big boxes; Overdetermined systems

Bill - 2: Big boxes; Overdetermined systems

Bill - 3: Big boxes; Overdetermined systems
**Schedule for Friday - Applications**

Kyoko & Martin - 1: Taylor models for x' = A x

Kyoko & Martin - 2: Taylor models for x' = A x

Kyoko & Martin - 3: Taylor models for x' = A x

Kyoko & Martin - 4: Taylor models for x' = A x

Kyoko & Martin - 5: Taylor models for x' = A x

Kyoko & Martin - 3A: Taylor models for x' = A x

Kyoko & Martin - 5A: Taylor models for x' = A x

Kyoko & Martin - 6: Taylor models for x' = A x

Kyoko & Martin - 2A: Taylor models for x' = A x

Kyoko & Martin - 8: Taylor models for x' = A x

Kyoko & Martin - 9: Taylor models for x' = A x

Baker - 1: GlobSol and Peeling

Baker - 2: GlobSol and Peeling

Baker - 3: GlobSol and Peeling

Baker - 4: GlobSol and Peeling

Baker - 5: GlobSol and Peeling

George: Neural Networks

Petter - 1: Financial applications

Petter - 2: Financial applications

Petter - 3: Financial applications

Petter - 4: Financial applications

Jeff - 1: GrafEq

Jeff - 2: GrafEq

Jeff - 3: GrafEq

Jeff - 4: GrafEq

Jeff - 5: GrafEq

Jeff - 6: GrafEq

Jeff - 7: GrafEq

Natalie - 1: Demo

Natalie - 2: Demo

Baker - 1: GlobSol

Baker - 2: GlobSol

Bill - 1: Csets

Bill - 2: Csets

Bill - 3: Csets

Bill - 4: Csets

Bill - 5: Csets

Bill - 6: Csets

Bill - 7: Csets

Bill - 8: Csets

Photos by Baker Kearfott

Originals (directory)