ℹ️
🇬🇧
Search
Search for people relevant for "efficient computation"
efficient computation
Person
Class
Person
Publication
Programmes
Mgr. Jan Kuřátko Ph.D.
External academic staff at Faculty of Mathematics and Physics
4 publications
Publications
publication
Combined Global and Local Search for the Falsification of Hybrid Systems
2014 |
Faculty of Mathematics and Physics
publication
Solving reachability problems by a scalable constrained optimization method
2020 |
Faculty of Mathematics and Physics
publication
Factorization of saddle-point matrices in dynamical systems optimization-reusing pivots
2019 |
Faculty of Mathematics and Physics
publication
An improvement of Euclid´s algorithm
2010 |
Faculty of Mathematics and Physics
Loading network view...
