Результати для "verification" Показ 1 - 12 результатів із 12 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22verification%22&type=Subject&lng=uk 12 0 50 Features of Software Solutions in the Field of Verification and Validation of Numerical Models Mon, 13 Apr 2026 01:00:05 +0000 https://harvester.nas.gov.ua/Record/drspiprikievua-article-354592 https://harvester.nas.gov.ua/Record/drspiprikievua-article-354592 Гейко, О. О. Стаття 2025 Гейко, О. О. 0 Overview of the new regulatory base for 2019–2020 on the decarbonisation of economy and its influence on the conditions of functconing of the ukrainian gas industry Tue, 24 Mar 2026 02:02:59 +0000 https://harvester.nas.gov.ua/Record/systemreorg-article-769 https://harvester.nas.gov.ua/Record/systemreorg-article-769 Leshchenko Стаття 2021 Leshchenko 0 Theory and practice of numerical-field analysis and refinement of electromagnetic and energy parameters in the designs of three-phase induction motors Sun, 08 Feb 2026 08:04:56 +0000 https://harvester.nas.gov.ua/Record/eiekhpieduua-article-347595 https://harvester.nas.gov.ua/Record/eiekhpieduua-article-347595 Milykh, V. I. Стаття 2026 Milykh, V. I. 0 About geological theory Thu, 17 Jul 2025 11:12:49 +0000 https://harvester.nas.gov.ua/Record/journalsuranua-geofizicheskiy-article-256266 https://harvester.nas.gov.ua/Record/journalsuranua-geofizicheskiy-article-256266 Gordienko, V.V. Стаття 2022 Gordienko, V.V. 0 Climatic projections of heating season in Ukraine up to the middle of the 21st century Thu, 17 Jul 2025 11:11:08 +0000 https://harvester.nas.gov.ua/Record/journalsuranua-geofizicheskiy-article-190072 https://harvester.nas.gov.ua/Record/journalsuranua-geofizicheskiy-article-190072 Krakovska, S. V. Стаття 2019 Krakovska, S. V. 0 Earthquake forecasting by the results of the seismic signal trend analysis Thu, 17 Jul 2025 11:10:20 +0000 https://harvester.nas.gov.ua/Record/journalsuranua-geofizicheskiy-article-151054 https://harvester.nas.gov.ua/Record/journalsuranua-geofizicheskiy-article-151054 Nagornyi, V. V. Стаття 2018 Nagornyi, V. V. 0 COLONIAL PICOFOSSIL'S OF PRECAMBRIAN HYME-NOPHACOIDES ROBLOT 1964: STAGES OF THEIR REPLICATION AS THE BASIC ARGUMENT OF THEIR BIOGENIC VERIFICATION Thu, 17 Jul 2025 10:47:52 +0000 https://harvester.nas.gov.ua/Record/mcm-mathkpnueduua-article-138951 https://harvester.nas.gov.ua/Record/mcm-mathkpnueduua-article-138951 LOPUKHIN, A. S. Стаття 2011 LOPUKHIN, A. S. 0 Correctness Property Proof for the Banking System for Money Transfer Payments Thu, 17 Jul 2025 10:04:35 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-187 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-187 Ostapovska, Yu.A. Стаття 2018 Ostapovska, Yu.A. 0 Peterson’s algorithm Total correctness proof in IPCL Thu, 17 Jul 2025 09:54:40 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-186 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-186 Zhygallo, A.A. Стаття 2018 Zhygallo, A.A. 0 Formal verification of deep neural networks Thu, 17 Jul 2025 09:52:41 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-644 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-644 Panchuk, B.O. Стаття 2024 Panchuk, B.O. 0 Equivalence of two parallel execution systems Thu, 17 Jul 2025 09:44:36 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-270 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-270 Panchenko, T.V. Стаття 2018 Panchenko, T.V. 0 Algebraic modeling in international and local service logistical systems Thu, 17 Jul 2025 09:35:11 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-442 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-442 Letychevskyi, O.O. Стаття 2021 Letychevskyi, O.O. 0