Результати для "UDC 519"

Результати для "UDC 519" Показ 1 - 50 результатів із 86 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22UDC+519%22&type=Subject&lng=uk 86 0 50 The models of the quality expert analysis for the decisions made under target programming Tue, 23 Jun 2026 01:00:44 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-1016 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-1016 Ilyina, E.P. Стаття 2026 Ilyina, E.P. 0 A block-recursive approach to unitary matrix decomposition Tue, 23 Jun 2026 01:00:43 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-895 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-895 Malaschonok, G.I. Стаття 2026 Malaschonok, G.I. 0 A method for guided search and test scenarios generation in verification of formal models of asynchronous systems Tue, 23 Jun 2026 01:00:39 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-1012 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-1012 Kolchin, A.V. Стаття 2026 Kolchin, A.V. 0 Methods of forward and backward symbolic modeling of systems specified by basic protocols Tue, 23 Jun 2026 01:00:39 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-1014 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-1014 Potienko, S.V. Стаття 2026 Potienko, S.V. 0 Some approaches to the control and transformation of algorithms over the analysis of the data which are specified Tue, 23 Jun 2026 01:00:38 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-1018 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-1018 Akulovsky, V.G. Стаття 2026 Akulovsky, V.G. 0 Some aspects of formalization of an architectural development cycle of algorithms Fri, 12 Jun 2026 01:00:22 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-994 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-994 Akulovskiy, V.G. Стаття 2026 Akulovskiy, V.G. 0 Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms Thu, 11 Jun 2026 01:00:09 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-976 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-976 Akulovskiy, V.G. Стаття 2026 Akulovskiy, V.G. 0 Construction concepts of the integrated environment architecture of generative programming Tue, 02 Jun 2026 01:02:10 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-974 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-974 Morentsov, Y.I. Стаття 2026 Morentsov, Y.I. 0 Using of the Conceptual and Retrospective Knowledge for Risk Mitigation in the Delphi Procedures for the Strategic Management Tue, 02 Jun 2026 01:02:04 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-969 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-969 Ilyina, O.P. Стаття 2026 Ilyina, O.P. 0 Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration Tue, 02 Jun 2026 01:01:53 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-958 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-958 Romm, Ya. E. Стаття 2026 Romm, Ya. E. 0 Parallel implementation of directed search processes for optimal solutions Tue, 02 Jun 2026 01:01:51 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-955 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-955 Pepelyaev, V.A. Стаття 2026 Pepelyaev, V.A. 0 Multi-criteria analysis of the grid-systems security risk violation Tue, 02 Jun 2026 01:01:41 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-945 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-945 Lavrenyuk, S.I. Стаття 2026 Lavrenyuk, S.I. 0 Backward transformation of formulas in symbolic modeling: from the result to the source formula Tue, 02 Jun 2026 01:01:19 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-923 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-923 Godlevsky, A.B. Стаття 2026 Godlevsky, A.B. 0 Solving contest problems via formal program verification Tue, 02 Jun 2026 01:01:15 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-922 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-922 Shilov, N.V. Стаття 2026 Shilov, N.V. 0 Test scenarios generation based on formal model Tue, 02 Jun 2026 01:00:59 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-903 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-903 Letichevsky, A.A. Стаття 2026 Letichevsky, A.A. 0 Multi-Comparand Associative Machine and its Application to Relational Algebra Operations Tue, 02 Jun 2026 01:00:54 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-900 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-900 Nepomniaschaya, A.S. Стаття 2026 Nepomniaschaya, A.S. 0 Method for parallelizing nonlinear tasks Tue, 02 Jun 2026 01:00:42 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-885 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-885 Paulin, O.N. Стаття 2026 Paulin, O.N. 0 Fundamentals of data-based algorithm algebra Tue, 02 Jun 2026 01:00:14 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-869 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-869 Akulovsky, V.G. Стаття 2026 Akulovsky, V.G. 0 Application of GIS to Systems Analysis of Environmental Health Data in Context of Risk Assessment. Part 1: General Description of the Domain and the Problems Thu, 12 Mar 2026 23:18:18 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-29 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-29 Kuksa, A.I. Стаття 2015 Kuksa, A.I. 0 About the influence of features of fitness-functions on the convergence of the genetic algorithm Tue, 02 Dec 2025 15:42:19 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-428 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-428 Lukianov, I.O. Стаття 2020 Lukianov, I.O. 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 Optimization problems solution for queuing systems with failure under uncertainty Wed, 17 Sep 2025 09:24:51 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-832 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-832 Kopytchuk, M.B. Стаття 2025 Kopytchuk, M.B. 0 The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data Wed, 17 Sep 2025 09:24:15 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-821 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-821 Doroshenko, A.Yu. Стаття 2025 Doroshenko, A.Yu. 0 Algebra of algorithms with the data and forecasting of computing process Wed, 17 Sep 2025 09:23:44 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-811 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-811 Doroshenko, A.Yu. Стаття 2025 Doroshenko, A.Yu. 0 Software simulator of the pancreas Wed, 17 Sep 2025 09:22:49 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-790 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-790 Grygoryan, R.D. Стаття 2025 Grygoryan, R.D. 0 An intellectual information technology for organizational decisions expert-analytical support Wed, 17 Sep 2025 09:22:40 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-787 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-787 Ilyina, O.P. Стаття 2025 Ilyina, O.P. 0 Semantic web and Wiki-systems Wed, 17 Sep 2025 09:22:37 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-786 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-786 Glibovets, A.M. Стаття 2025 Glibovets, A.M. 0 Deductive verification of requirements for event-driven architecture Wed, 17 Sep 2025 09:21:41 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-778 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-778 Letichevsky, A.A. Стаття 2025 Letichevsky, A.A. 0 Specialised computer simulator "SimEnPhysiol" Wed, 23 Jul 2025 04:28:20 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-291 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-291 Grygoryan, R.D. Стаття 2018 Grygoryan, R.D. 0 Methodology to Solve Optimal Placement Problems for 3D Objects Thu, 17 Jul 2025 12:02:15 +0000 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-206729 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-206729 Chuhai, Andrii M. Стаття 2025 Chuhai, Andrii M. 0 Construction of both Geometric Relationships of Ellipses and Parabola-bounded Regions in Geometric Placement Problems Thu, 17 Jul 2025 12:02:14 +0000 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-206411 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-206411 Hil, Mykola I. Стаття 2025 Hil, Mykola I. 0 Adaptive Computation of Curve Lengths Given by Non-differentiable Functions Thu, 17 Jul 2025 12:02:12 +0000 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-199003 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-199003 Sheludko, Helii A. Стаття 2020 Sheludko, Helii A. 0 Methodology to Solve Multi-Dimentional Sphere Packing Problems Thu, 17 Jul 2025 12:01:42 +0000 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-160114 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-160114 Yaskov, G. N. Стаття 2019 Yaskov, G. N. 0 Adaptive discrete models of functionally represented object shapes Thu, 17 Jul 2025 12:01:37 +0000 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-153945 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-153945 Choporov, S. V. Стаття 2019 Choporov, S. V. 0 Packing convex homothetic polytopes into a cuboid Thu, 17 Jul 2025 12:01:29 +0000 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-135431 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-135431 Stoyan, Yu. G. Стаття 2018 Stoyan, Yu. G. 0 An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation Thu, 17 Jul 2025 12:00:33 +0000 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-70114 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-70114 Stoyan, Yu. G. Стаття 2016 Stoyan, Yu. G. 0 An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics Thu, 17 Jul 2025 12:00:26 +0000 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-70057 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-70057 Stoyan, Yu. G. Стаття 2016 Stoyan, Yu. G. 0 Packing non-equal hyperspheres into a hypersphere of minimal radius Thu, 17 Jul 2025 11:58:58 +0000 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-27174 https://harvester.nas.gov.ua/Record/oai:ojs.journals.uran.ua:article-27174 Yaskov, G. N. Стаття 2014 Yaskov, G. N. 0 Methodology to Solve Optimal Placement Problems for 3D Objects Thu, 17 Jul 2025 11:56:11 +0000 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-206729 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-206729 Chuhai, Andrii M. Стаття 2025 Chuhai, Andrii M. 0 Construction of both Geometric Relationships of Ellipses and Parabola-bounded Regions in Geometric Placement Problems Thu, 17 Jul 2025 11:56:10 +0000 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-206411 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-206411 Hil, Mykola I. Стаття 2025 Hil, Mykola I. 0 Adaptive Computation of Curve Lengths Given by Non-differentiable Functions Thu, 17 Jul 2025 11:56:08 +0000 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-199003 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-199003 Sheludko, Helii A. Стаття 2020 Sheludko, Helii A. 0 Methodology to Solve Multi-Dimentional Sphere Packing Problems Thu, 17 Jul 2025 11:55:39 +0000 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-160114 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-160114 Yaskov, G. N. Стаття 2019 Yaskov, G. N. 0 Adaptive discrete models of functionally represented object shapes Thu, 17 Jul 2025 11:55:34 +0000 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-153945 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-153945 Choporov, S. V. Стаття 2019 Choporov, S. V. 0 Packing convex homothetic polytopes into a cuboid Thu, 17 Jul 2025 11:55:25 +0000 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-135431 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-135431 Stoyan, Yu. G. Стаття 2018 Stoyan, Yu. G. 0 An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation Thu, 17 Jul 2025 11:54:34 +0000 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-70114 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-70114 Stoyan, Yu. G. Стаття 2016 Stoyan, Yu. G. 0 An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics Thu, 17 Jul 2025 11:54:27 +0000 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-70057 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-70057 Stoyan, Yu. G. Стаття 2016 Stoyan, Yu. G. 0 Packing non-equal hyperspheres into a hypersphere of minimal radius Thu, 17 Jul 2025 11:52:58 +0000 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-27174 https://harvester.nas.gov.ua/Record/journalsuranuajme-article-27174 Yaskov, G. N. Стаття 2014 Yaskov, G. N. 0 Neuro-symbolic approach for the biological systems and processes research Thu, 17 Jul 2025 10:08:01 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-646 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-646 Letychevskyi, O.O. Стаття 2024 Letychevskyi, O.O. 0 Probable use of regional situational centers of the intellectual system «Сontrol_TEE» using UAVs Thu, 17 Jul 2025 10:07:14 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-535 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-535 Pisarenko, J.V. Стаття 2023 Pisarenko, J.V. 0