Academic literature on the topic 'Симуляція доведення'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Contents
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Симуляція доведення.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Симуляція доведення"
Kalashchenko, S. I., A. M. Hrynzovskyi, O. V. Dema, and K. Yu Zahorodniuk. "ДОМЕДИЧНА ДОПОМОГА ЯК БАЗОВА СКЛАДОВА У ФОРМУВАННІ КОМПЕТЕНТНОСТЕЙ ФАХІВЦІВ З ФІЗИЧНОЇ ТЕРАПІЇ ТА ЕРГОТЕРАПІЇ." Медична освіта, no. 4 (September 17, 2018): 132–35. http://dx.doi.org/10.11603/me.2414-5998.2018.4.8970.
Full textАлдобаев, Владимир Николаевич, Анастасия Дмитриевна Артемьева, and Александр Альбертович Масликов. "Исследование поведения классических критериев множественных сравнений, на ненормальных неоднородных распределениях, методом Монте-Карло." Вестник ВГУ. Серия: Системный анализ и информационные технологии, no. 3 (December 2, 2021): 72–80. http://dx.doi.org/10.17308/sait.2021.3/3737.
Full textБудник, Олена Богданівна, and Ольга Володимирівна Дзябенко. "ВИКОРИСТАННЯ ІНСТРУМЕНТАРІЮ ПЛАТФОРМИ GO-LAB ДЛЯ РОЗВИТКУ ДОСЛІДНИЦЬКИХ УМІНЬ ШКОЛЯРІВ." Information Technologies and Learning Tools 80, no. 6 (December 22, 2020): 1–20. http://dx.doi.org/10.33407/itlt.v80i6.3953.
Full textІваненко, І. В., and С. В. Гордійчук. "ФОРМУВАННЯ ЗАГАЛЬНИХ КОМПЕТЕНТНОСТЕЙ У ЗДОБУВАЧІВ МЕДИЧНОЇ ОСВІТИ." Pedagogical Sciences: Theory and Practice, no. 3 (January 10, 2022): 154–59. http://dx.doi.org/10.26661/2786-5622-2021-3-21.
Full textDissertations / Theses on the topic "Симуляція доведення"
Стасюкевич, Анатолій Тимурович. "Аналіз параметрів рекурсивних протоколів SNARK-доведень та способи симуляції доведення у цих протоколах." Bachelor's thesis, КПІ ім. Ігоря Сікорського, 2020. https://ela.kpi.ua/handle/123456789/34528.
Full textThe goal of this qualification work is to analyze the parameters of SNARK-proofs and substantiate the properties of triplets in recursive SNARK-proofs. During the work, two proof simulation algorithms were built for the zk-SNARK protocol, depending on when the parameters for the simulation were received: during configuration or after. For the first time, the properties of triplets for recursive SNARKs were formulated and proved. The obtained results can be used for further development of the SNARK-proof protocol and the Coda protocol.