Zobrazeno 1 - 10
of 123
pro vyhledávání: '"Konečný Michal"'
Building on our prior work on axiomatization of exact real computation by formalizing nondeterministic first-order partial computations over real and complex numbers in a constructive dependent type theory, we present a framework for certified comput
Externí odkaz:
http://arxiv.org/abs/2410.13508
Publikováno v:
Management şi Marketing, Vol 16, Iss 2, Pp 134-151 (2021)
The COVID-19 pandemic has redefined procedures in every business sector. In the first half of 2020, companies had to face an unexpected and unpredictable situation that resulted in both threats and opportunities in real time. Almost overnight, brick-
Externí odkaz:
https://doaj.org/article/d3b1b04c8ef44124a86d6723b31a880e
Publikováno v:
SHS Web of Conferences, Vol 135, p 01006 (2022)
At a time of global crisis, also at a time of accelerated digitalisation of businesses, sensible investment in communication with their customers is becoming very topical. The paper focuses on the development of investments in Internet advertising in
Externí odkaz:
https://doaj.org/article/0b6c5dfebc274544aa5f585b527a784c
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