Fields Institute Workshop on Validated Optimization

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

These are photos of George's notes.

 
1. Agenda, Fields information, Baker's SIAM article
2. Bill: Policy on interval; Vladik: Computing with probabilities
3. Vladik: Computing with probabilities
4. Vladik: Computing with probabilities
5. Vladik: Computing with probabilities; Bill: Decision theory
6. Tibor: Bernstein enclosures
7. Vladik: Beyond intervals; Mihaly: Circle packing
8. Martin and Kyoko: Taylor models - Roundoff
9. Martin and Kyoko: Taylor models - Roundoff
10. Martin and Kyoko: Taylor models - Roundoff
11. Martin and Kyoko: Taylor models - Roundoff
12. Martin and Kyoko: Taylor models - Roundoff
13. Martin and Kyoko: Taylor models - Roundoff
14. Martin and Kyoko: Taylor models - Roundoff
15. Martin and Kyoko: Taylor models - Roundoff
16. Martin and Kyoko: Taylor models - Roundoff
16. Mahaly: Circle packing; Ned: Reachability; George: All together
17. Martin and Kyoko: Taylor models - Shrink wrapping
18. Martin and Kyoko: Taylor models - Shrink wrapping
19. Martin and Kyoko: Taylor models - Shrink wrapping; George: Boxes must be centered
20. Martin and Kyoko: Taylor models - Linear Dominated Bounder
21. Martin and Kyoko: Taylor models - Linear Dominated Bounder
22. Martin and Kyoko: Taylor models - Linear Dominated Bounder
22A. Tibor: Integration of methods for global optimization
23. Tibor: Integration of methods for global optimization
24. Tibor: Integration of methods; Natalie: Multiple precision IA
25. Natalie: Multiple precision IA; Baker: Nonlinear minimax
26. Bill: Big boxes & crude range tests
27. Bill: Big boxes, Solving overdetermined systems
28. Bill: Solving overdetermined systems
28.1. Martin and Kyoko: Taylor models for x' = A x
29. Martin and Kyoko: Taylor models for x' = A x
30. Martin and Kyoko: Taylor models for x' = A x

 

Photos by Baker Kearfott
Originals (directory)