Results for "004.415" Showing 1 - 23 results of 23 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22004.415%22&type=Subject&lng=en 23 0 50 The usage of ontologies for semantics analysis of texts on natural language Fri, 12 Jun 2026 01:00:17 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-990 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-990 Lescko, O.N. Article 2026 Lescko, O.N. 0 About construction of digital library models Tue, 02 Jun 2026 01:02:10 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-972 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-972 Reznichenko, V.A. Article 2026 Reznichenko, V.A. 0 Data Integration in the Internet: Linked data Tue, 02 Jun 2026 01:01:37 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-942 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-942 Novytskyi, O.V. Article 2026 Novytskyi, O.V. 0 Entity-substance characteristics of educational environment Tue, 02 Jun 2026 01:01:30 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-935 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-935 Parfirova, T.S. Article 2026 Parfirova, T.S. 0 Monitoring design flaws in object-oriented software Tue, 02 Jun 2026 01:01:03 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-908 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-908 Nechay, A.S. Article 2026 Nechay, A.S. 0 Metrics selection for the software properties Tue, 02 Jun 2026 01:00:59 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-907 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-907 Dyshlevyi, O.P. Article 2026 Dyshlevyi, O.P. 0 An approach to behavioral software models refinement using design patterns Tue, 02 Dec 2025 15:45:31 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-702 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-702 Chebanyuk, O.B. Article 2025 Chebanyuk, O.B. 0 About one Approach for the Verification of Algebraic Computations Wed, 17 Sep 2025 09:24:22 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-823 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-823 Lvov, M.S. Article 2025 Lvov, M.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. Article 2018 Ostapovska, Yu.A. 0 Traversal of arbitrary sequences of UCM symbolic transitions for test generation Thu, 17 Jul 2025 10:03:05 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-701 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-701 Guba, A.A. Article 2025 Guba, A.A. 0 Decision support system for quality management in study process Thu, 17 Jul 2025 10:00:56 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-413 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-413 Komleva, N.O. Article 2020 Komleva, N.O. 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. Article 2018 Zhygallo, A.A. 0 Regression testing: techniques and future research directions Thu, 17 Jul 2025 09:53:19 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-704 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-704 Moroz, H.B. Article 2025 Moroz, H.B. 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. Article 2024 Panchuk, B.O. 0 Agile requirement analysis approach using artificial intelligent technologies Thu, 17 Jul 2025 09:52:31 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-630 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-630 Chebanyuk, O.V. Article 2024 Chebanyuk, O.V. 0 Architecture and functionality of the decision support system SPOR Thu, 17 Jul 2025 09:52:03 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-563 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-563 Yalovets, A.L. Article 2023 Yalovets, A.L. 0 A GPU-based singular value decomposition algorithm Thu, 17 Jul 2025 09:46:54 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-556 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-556 Sukharskyi, S.S. Article 2023 Sukharskyi, S.S. 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. Article 2018 Panchenko, T.V. 0 The architecture and functionality of the multi-agent system Navigation Thu, 17 Jul 2025 09:44:24 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-224 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-224 Yalovets, A.L. Article 2018 Yalovets, A.L. 0 Formal foundations for software model to model transformation operation Thu, 17 Jul 2025 09:39:19 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-274 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-274 Chebanyuk, O.V. Article 2018 Chebanyuk, O.V. 0 On the possibility of a systematic study of the production management systems Thu, 17 Jul 2025 09:34:16 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-319 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-319 Kolesnyk, V.G. Article 2018 Kolesnyk, V.G. 0 DS-theory. Scientific aspects and prospects for development Thu, 17 Jul 2025 09:33:38 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-218 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-218 Kolesnyk, V.G. Article 2018 Kolesnyk, V.G. 0 DS-theory. The research of P-data factors formating Thu, 17 Jul 2025 09:33:31 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-209 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-209 Kolesnyk, V.G. Article 2018 Kolesnyk, V.G. 0