Domov > Obvestila > Anja Petković: On computing simultaneous fixed points of monotone piecewise linear functions

Anja Petković: On computing simultaneous fixed points of monotone piecewise linear functions

Datum objave: 10. 9. 2018
Vir: Seminar za temelje matematike in teoretično računalništvo
Četrtek, 13. 9. 2018, ob 13:15 v predavalnici 3.07 na Jadranski 21

Pozor: dobimo se ob nestandardnem času, v četrtek 13. 9. 2018 ob 13:15 v 3.07! 

Attention: we meet at a non-standard time on Thursday, 13. 9. 2018 at 13:15 in 3.07! 

Abstract: In this talk I will present an iterative (and somewhat optimised) algorithm for computing simultaneous fixed points of monotone piecewise linear functions. We will start with necessary background knowledge about complete lattices and fixed-point calculus and build up to demonstrate the use of that in the algorithm and its optimisations. (joint work with Alex Simpson)