×
Študij fizike Študij matematike Raziskave O fakulteti EN
Dogodki Obvestila Imenik Urniki Knjižnica Založba Za sodelavce Iskanje

Ivo List: Optimization using Extended Interval Arithmetic

Datum objave: 9. 12. 2013
Seminar za temelje matematike in teoretično računalništvo
Torek, 10. 12. 2013, od 12h do 14h, Plemljev seminar, Jadranska 21
Abstract: Extended interval arithmetic (IA) will be presented, which will be used to approximate Dedekind cuts. Also Classic Newton's method for finding zeros will be extended to IA. We'll finish by using extended IA and Newton's method to find the global maximum of a function.
čet
22
Avg
Filip Koprivec: Efficient multishot algebraic effect handlers (presentation of results of doctoral research)
Seminar za temelje matematike in teoretično računalništvo
10.15 - predavalnica 3.07, Jadranska 21
čet
27
Jun
Sina Hazratpour: Polynomial Functors in Lean 4
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.06
čet
6
Jun
Fredrik Bakke & Egbert Rijke
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
30
Maj
Andrew Swan: Oracle modalities
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
23
Maj
Vojtěch Štěpančík: Properties of type families over pushouts in Homotopy Type Theory
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.07

Vsa obvestila