Результати для "formalization" Показ 1 - 31 результатів із 31 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22formalization%22&type=Subject&lng=uk 31 0 50 ANTHILL: a progressive formalization language for agent-supported software projects Fri, 01 May 2026 01:00:45 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-887 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-887 Shevchenko, R.S. Стаття 2026 Shevchenko, R.S. 0 Semantic approach to automated formation of information security systems documentation Fri, 01 May 2026 01:00:42 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-878 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-878 Bova, Yu.V. Стаття 2026 Bova, Yu.V. 0 Economic and Mathematical Model of Formally Formed Prices for Power Sector Tue, 24 Mar 2026 02:00:36 +0000 https://harvester.nas.gov.ua/Record/systemreorg-article-109 https://harvester.nas.gov.ua/Record/systemreorg-article-109 Dobrovolsky V.K. Стаття 2000 Dobrovolsky V.K. 0 General formal local cohomology modules Sun, 08 Feb 2026 07:59:08 +0000 https://harvester.nas.gov.ua/Record/admjournalluguniveduua-article-1068 https://harvester.nas.gov.ua/Record/admjournalluguniveduua-article-1068 Rezaei, Sh. Стаття 2021 Rezaei, Sh. 0 Formal theory model in the form of commutative semigroup of image constructions Sun, 08 Feb 2026 07:58:25 +0000 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-21315 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-21315 Бисикало, Олег Владимирович Стаття 2015 Бисикало, Олег Владимирович 0 Formal theory model in the form of commutative semigroup of image constructions Sun, 08 Feb 2026 07:57:57 +0000 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-21315 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-21315 Бисикало, Олег Владимирович Стаття 2015 Бисикало, Олег Владимирович 0 Formal functional calculus for copolynomials over a commutative ring Tue, 02 Dec 2025 15:39:48 +0000 https://harvester.nas.gov.ua/Record/admjournalluguniveduua-article-2352 https://harvester.nas.gov.ua/Record/admjournalluguniveduua-article-2352 Gefter, Sergiy L. Стаття 2025 Gefter, Sergiy L. 0 FRACTAL RADIOPHYSICS. 1. THEORETICAL BASES Tue, 02 Dec 2025 15:31:42 +0000 https://harvester.nas.gov.ua/Record/rpra-journalorgua-article-1326 https://harvester.nas.gov.ua/Record/rpra-journalorgua-article-1326 Lazorenko, O. V. Стаття 2020 Lazorenko, O. V. 0 Formal semantics and analysis of tokenomics properties Fri, 21 Nov 2025 02:19:21 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-515 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-515 Letychevskyi, O.O. Стаття 2023 Letychevskyi, O.O. 0 Algebraic approach to the analysis of legal documents Fri, 21 Nov 2025 02:19:17 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-514 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-514 Letychevskyi, O.O. Стаття 2023 Letychevskyi, O.O. 0 Integration of large language models with semantic processing tools as an instrument for knowledge digitization Tue, 04 Nov 2025 02:10:23 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-838 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-838 Sinitsyn, I.P. Стаття 2025 Sinitsyn, I.P. 0 А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment Thu, 17 Jul 2025 10:57:50 +0000 https://harvester.nas.gov.ua/Record/drspiprikievua-article-199409 https://harvester.nas.gov.ua/Record/drspiprikievua-article-199409 Zubok, V. Yu. Стаття 2019 Zubok, V. Yu. 0 An automated analysis of the patient’s condition and assessment of medical sessions (hypoxic therary). Thu, 17 Jul 2025 10:57:37 +0000 https://harvester.nas.gov.ua/Record/drspiprikievua-article-180130 https://harvester.nas.gov.ua/Record/drspiprikievua-article-180130 Poliagushko, L. G. Стаття 2019 Poliagushko, L. G. 0 A method of formalizing the making decision process based on the theory of threshold elements Thu, 17 Jul 2025 10:57:21 +0000 https://harvester.nas.gov.ua/Record/drspiprikievua-article-158519 https://harvester.nas.gov.ua/Record/drspiprikievua-article-158519 Azarova, A. O. Стаття 2018 Azarova, A. O. 0 The definition of formal languages in the meta language of normal forms of knowledge Thu, 17 Jul 2025 10:05:30 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-309 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-309 Kurgaev, A.F. Стаття 2018 Kurgaev, A.F. 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 The software tool of constructive-synthesizing modeling Thu, 17 Jul 2025 09:57:39 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-626 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-626 Shynkarenko, V.I. Стаття 2024 Shynkarenko, V.I. 0 Methods and software for significant indicators determination of the natural language texts author profile Thu, 17 Jul 2025 09:57:22 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-577 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-577 Shynkarenko, V.I. Стаття 2023 Shynkarenko, V.I. 0 The translator of Petri-object model visual programming language Thu, 17 Jul 2025 09:56:45 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-494 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-494 Dyfuchyn, А.Yu. Стаття 2022 Dyfuchyn, А.Yu. 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 Molecular modeling in the radiation therapy. The algebraic approach Thu, 17 Jul 2025 09:51:46 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-524 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-524 Volkov, V.A. Стаття 2023 Volkov, V.A. 0 Generation of multipurpose formal models from legacy code Thu, 17 Jul 2025 09:46:27 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-505 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-505 Potiyenko, S.V. Стаття 2023 Potiyenko, S.V. 0 Development of the information system for semantic identification and documentation of the results of non-formal and informal education Thu, 17 Jul 2025 09:45:27 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-393 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-393 Pryima, S.M. Стаття 2020 Pryima, S.M. 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 The grammar of Petri-object model visual programming language Thu, 17 Jul 2025 09:40:43 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-477 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-477 Dyfuchyn, А.J. Стаття 2022 Dyfuchyn, А.J. 0 Methods and tools for developing an information system for validation of non-formal learning outcomes Thu, 17 Jul 2025 09:40:08 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-397 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-397 Pryima, S.M. Стаття 2020 Pryima, S.M. 0 Survey on modern tools and methods of formal models verification Thu, 17 Jul 2025 09:38:07 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-109 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-109 Kolchin, A.V. Стаття 2015 Kolchin, A.V. 0 Method of detection of http attacks on a smart home using the algebraic matching method Thu, 17 Jul 2025 09:36:06 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-540 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-540 Gorbatiuk, V.O. Стаття 2023 Gorbatiuk, V.O. 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 A resource limited parallel program model Thu, 17 Jul 2025 09:34:39 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-376 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-376 Rahozin, D.V. Стаття 2019 Rahozin, D.V. 0