Zobrazeno 1 - 10
of 75
pro vyhledávání: '"Konecny, Michal"'
Autor:
Rasheed, Junaid, Konečný, Michal
We give a process for verifying numerical programs against their functional specifications. Our implementation is capable of automatically verifying programs against tight error bounds featuring common elementary functions. We demonstrate and evaluat
Externí odkaz:
http://arxiv.org/abs/2207.00921
Exact real computation is an alternative to floating-point arithmetic where operations on real numbers are performed exactly, without the introduction of rounding errors. When proving the correctness of an implementation, one can focus solely on the
Externí odkaz:
http://arxiv.org/abs/2202.00891
Autor:
Bľandová, Gabriela, Janoštiaková, Nikola, Kodada, Dominik, Pastorek, Michal, Lipták, Róbert, Hodosy, Július, Šebeková, Katarína, Celec, Peter, Krasňanská, Gabriela, Eliaš, Vladimír, Wachsmannová, Lenka, Konečný, Michal, Repiská, Vanda, Baldovič, Marian
Publikováno v:
In Mitochondrion March 2024 75
Autor:
Mols, Raf, Zdychyncova, Kristyna, Konecny, Michal, Anderson, Philip O., Lukas, Milan, Mitrova, Katarina, Julsgaard, Mette, Augustijns, Patrick, Cerna, Karin, Mahadevan, Uma, Duricova, Dana
Publikováno v:
In Clinical Gastroenterology and Hepatology
We investigate a variant of the fuel-based approach to modeling diverging computation in type theories and use it to abstractly capture the essence of oracle Turing machines. The resulting objects we call continuous machines. We prove that it is poss
Externí odkaz:
http://arxiv.org/abs/2005.01624
Autor:
Konečný, Michal, Neumann, Eike
We give a technical overview of our exact-real implementation of various representations of the space of continuous unary real functions over the unit domain and a family of associated (partial) operations, including integration, range computation, a
Externí odkaz:
http://arxiv.org/abs/1910.04891
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Konečný, Michal, Neumann, Eike
A famous result due to Ko and Friedman (1982) asserts that the problems of integration and maximisation of a univariate real function are computationally hard in a well-defined sense. Yet, both functionals are routinely computed at great speed in pra
Externí odkaz:
http://arxiv.org/abs/1710.03702
Autor:
Collins, Pieter *, Konečný, Michal *
Publikováno v:
In IFAC PapersOnLine 2022 55(30):85-90
Autor:
Park, Sewon, Brauße, Franz, Collins, Pieter, Kim, SunYoung, Konečný, Michal, Lee, Gyesik, Müller, Norbert, Neumann, Eike, Preining, Norbert, Ziegler, Martin
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 2 (June 24, 2024) lmcs:7557
We propose a simple imperative programming language, ERC, that features arbitrary real numbers as primitive data type, exactly. Equipped with a denotational semantics, ERC provides a formal programming language-theoretic foundation to the algorithmic
Externí odkaz:
http://arxiv.org/abs/1608.05787