Zobrazeno 1 - 10
of 116
pro vyhledávání: '"Hol light"'
Publikováno v:
EURASIP Journal on Advances in Signal Processing, Vol 2022, Iss 1, Pp 1-18 (2022)
Abstract Two-dimensional (2D) image processing systems are concerned with the processing of the images represented as 2D arrays and are widely used in medicine, transportation and many other autonomous systems. The dynamics of these systems are gener
Externí odkaz:
https://doaj.org/article/b439155ba7564e1e9b6f7913f93455ac
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.
Publikováno v:
PeerJ Computer Science, Vol 7, p e440 (2021)
MATLAB is a software based analysis environment that supports a high-level programing language and is widely used to model and analyze systems in various domains of engineering and sciences. Traditionally, the analysis of MATLAB models is done using
Externí odkaz:
https://doaj.org/article/6d6999bea0104f85bbbff75e19aaf02c
Autor:
Mario M Carneiro
Publikováno v:
Journal of Formalized Reasoning, Vol 9, Iss 1, Pp 187-200 (2016)
We present an algorithm for converting proofs from the OpenTheory interchange format, which can be translated to and from any of the HOL family of proof languages (HOL4, HOL Light, ProofPower, and Isabelle), into the ZFC-based Metamath language. This
Externí odkaz:
https://doaj.org/article/55ce068158ab4dc4a2e77a7e0ce40d8f
Autor:
Mark Miles Adams
Publikováno v:
Journal of Formalized Reasoning, Vol 9, Iss 1, Pp 3-32 (2016)
The first three formalisations of major mathematical proofs have heralded a new age in formalised mathematics, establishing that informal proofs at the limits of what can be understood by humans can be checked by machine. However, formalisation itsel
Externí odkaz:
https://doaj.org/article/92814624a1c54850b64dbdf3c0bbaee0
Publikováno v:
Energies, Vol 13, Iss 3, p 712 (2020)
Cost and utility modeling of economics agents based on the differential theory is fundamental to the analysis of the microeconomics models. In particular, the first and second-order derivative tests are used to specify the desired properties of the c
Externí odkaz:
https://doaj.org/article/87f8dd7eda5d47aabd9a137c8658b05a
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.
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.
Kniha
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.