Results for "UDC 519"

Results for "UDC 519" Showing 1 - 50 results of 56 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=en 56 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. Article 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. Article 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. Article 2026 Kolchin, A.V. 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. Article 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. Article 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. Article 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. Article 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. Article 2026 Romm, Ya. E. 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. Article 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. Article 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. Article 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. Article 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. Article 2026 Akulovsky, V.G. 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. Article 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. Article 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. Article 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. Article 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. Article 2025 Doroshenko, A.Yu. 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. Article 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. Article 2025 Glibovets, A.M. 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 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. Article 2024 Letychevskyi, O.O. 0 Development of the intelligent control system of an unmanned car Thu, 17 Jul 2025 10:02:50 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-659 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-659 Dakhno, N.B. Article 2024 Dakhno, N.B. 0 The completeness of the algorithm algebra with data Thu, 17 Jul 2025 09:59:35 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-207 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-207 Akulovskiy, V.G. Article 2018 Akulovskiy, V.G. 0 Block algorithm for Householder transformations for hybrid architecture computers Thu, 17 Jul 2025 09:58:12 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-700 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-700 Popov, O.V. Article 2025 Popov, O.V. 0 Problem-oriented computer simulators for solving theoretical and applied tasks of human physiology Thu, 17 Jul 2025 09:55:25 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-303 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-303 Grygoryan, R.D. Article 2018 Grygoryan, R.D. 0 Optimal placement of a multi-sensor system Thu, 17 Jul 2025 09:55:11 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-276 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-276 Pashko, S.V. Article 2018 Pashko, S.V. 0 Description of parallelism in algorithms of information management systems using algebraic apparatus Thu, 17 Jul 2025 09:48:18 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-749 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-749 Akulovsky, V.G. Article 2025 Akulovsky, V.G. 0 Error correcting code based on finite automaton and representation of numbers in the two-base numeration system Thu, 17 Jul 2025 09:48:01 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-713 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-713 Zavadskyi, I.O. Article 2025 Zavadskyi, I.O. 0 Medical-physiological simulators: the necessity and problems Thu, 17 Jul 2025 09:42:52 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-712 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-712 Grygoryan, R.D. Article 2025 Grygoryan, R.D. 0 Multi-level model of parallel computing for linear algebra problems Thu, 17 Jul 2025 09:39:16 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-269 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-269 Popov, A.V. Article 2018 Popov, A.V. 0 Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Intel Xeon Phi Thu, 17 Jul 2025 09:39:13 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-265 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-265 Gerasimova, T.O. Article 2018 Gerasimova, T.O. 0